My introductory linear algebra textbook claims the following:
If $S$ is a subset of a vector space $V$, then $\text{span}(S)$ equals the intersection of all subspaces of $V$ that contain $S$.
I understand the aforementioned individual concepts, such as subsets, vector spaces, subspaces, and span, but I do not understand what is meant by, "$\text{span}(S)$ equals the intersection of all subspaces of $V$ that contain $S$." In addition, it seems to me that this statement is false: $\text{span}(S)$ does not necessarily have to equal the intersection of all subspaces of $V$ that contain $S$.
I would greatly appreciate it if someone would please take the time to elaborate on this concept and clarify what the textbook is saying. Please refrain from introducing more complex concepts from linear algebra in any explanation.
Best Answer
$\newcommand{\Span}[1]{\left\langle #1 \right\rangle}$There is a recurring situation in algebra, when you try and define
where $\text{object} \in \{ \text{vector space}, \text{group}, \text{ring}, \dots\}$.
$\Span{S}$ is usually defined as
The trouble is, just saying a magic formula like this does not guarantee that this objects exists.
So you usually try and do two things.
$$\tag{existence}\text{Prove that this subobject exists.}$$ $$\tag{description}\text{Describe it in terms of the elements of $S$.}$$ A convenient way of addressing (existence), which has usually no impact on the much more useful (description), though, is to prove the following.
In the case of vector spaces, of course the useful bit (description) is that $\Span{S}$ is the set of (finite) linear combinations of elements of $S$.