Subsection SS Spanning Sets

In a vector space $V$, suppose we are given a set of vectors $S\subseteq V$. Then we can immediately construct a subspace, $\spn{S}$, using Definition SS and then be assured by Theorem SSS that the construction does provide a subspace. We now turn the situation upside-down. Suppose we are first given a subspace $W\subseteq V$. Can we find a set $S$ so that $\spn{S}=W$? Typically $W$ is infinite and we are searching for a finite set of vectors $S$ that we can combine in linear combinations and “build” all of $W$.

I like to think of $S$ as the raw materials that are sufficient for the construction of $W$. If you have nails, lumber, wire, copper pipe, drywall, plywood, carpet, shingles, paint (and a few other things), then you can combine them in many different ways to create a house (or infinitely many different houses for that matter). A fast-food restaurant may have beef, chicken, beans, cheese, tortillas, taco shells and hot sauce and from this small list of ingredients build a wide variety of items for sale. Or maybe a better analogy comes from Ben Cordes — the additive primary colors (red, green and blue) can be combined to create many different colors by varying the intensity of each. The intensity is like a scalar multiple, and the combination of the three intensities is like vector addition. The three individual colors, red, green and blue, are the elements of the spanning set.

Because we will use terms like “spanned by” and “spanning set,” there is the potential for confusion with “the span.” Come back and reread the first paragraph of this subsection whenever you are uncertain about the difference. Here is the working definition.

Definition SSVS Spanning Set of a Vector Space

Suppose $V$ is a vector space. A subset $S$ of $V$ is a spanning set of $V$ if $\spn{S}=V$. In this case, we also frequently say $S$ spans $V$.

The definition of a spanning set requires that two sets (subspaces actually) be equal. If $S$ is a subset of $V$, then $\spn{S}\subseteq V$, always. Thus it is usually only necessary to prove that $V\subseteq\spn{S}$. Now would be a good time to review Definition SE.

Example SSP4 Spanning set in $P_4$

Given a subspace and a set of vectors, as in Example SSP4 it can take some work to determine that the set actually is a spanning set. An even harder problem is to be confronted with a subspace and required to construct a spanning set with no guidance. We will now work an example of this flavor, but some of the steps will be unmotivated. Fortunately, we will have some better tools for this type of problem later on.

Example SSM22 Spanning set in $M_{22}$
Example SSC Spanning set in the crazy vector space
(in context)