Skip to main content

Section 17.5 Theory

Subsection 17.5.1 The Subspace Test

First we formally state the Subspace Test, and provide a proof.

Suppose we have a subcollection of vectors in a vector space that satisfies the three conditions of the Subspace Test. We would like to verify that this subcollection is a vector space all on its own, using the same vector addition and scalar multiplication operations as the larger space. But as explored in Discovery 17.1 and discussed in Subsection 17.3.1, we don't need to verify all ten vector space axioms — we get the six algebra axioms for free from knowing that is how vector algebra works in the larger space. The remaining four axioms are Axiom A 1, Axiom A 4, Axiom A 5, and Axiom S 1, so we really only need to verify that the subcollection contains the zero vector, and is closed under vector addition, scalar multiplication, and taking negatives. Furthermore, from Condition ii and Condition iii of the test, we already know that the subcollection is closed under addition and scalar multiplication. So we are down to checking the zero vector and negatives.

To show that the subcollection must contain the zero vector, consider that Condition i of the test guarantees that the subcollection contains some vector \(\uvec{v}\text{.}\) But then Condition iii of the test tells us that the subcollection must also contain every scalar multiple of \(\uvec{v}\text{.}\) In particular, the subcollection must contain \(0\uvec{v} = \zerovec\text{,}\) as desired.

To show that the subcollection must be closed under taking negatives, consider a vector \(\uvec{w}\) in the subcollection. Again, Condition i of the test says that the subcollection must also contain every scalar multiple of \(\uvec{w}\text{.}\) In particular, the subcollection must contain \((-1)\uvec{w} = -\uvec{w}\text{,}\) as desired.

Finally, we will consider the “only if” part of the statement. Suppose we have a subcollection of vectors in a vector space that we already know is a subspace. A subspace is itself a vector space, so it must be nonempty (since it at least contains some zero vector by Axiom A 4), it must be closed under vector addition (Axiom A 1), and it must be closed under scalar multiplication (Axiom S 1). In other words, it must pass the Subspace Test.

As per the proposition above, every subspace satisfies the conditions of the Subspace Test. But we can go a little further.

We have already established that a subspace is closed under the vector operations. Verifying that it also contains the zero vector and is closed under taking negatives is exactly as in the proof of Proposition 17.5.1 above, since we know that a subspace always passes the Subspace Test.

It remains to show that a subspace is closed under linear combinations. So suppose that \(\uvec{v}_1,\uvec{v}_2,\dotsc,\uvec{v}_\ell\) are vectors in the subspace. Since the subspace is closed under scalar multiplication, the vectors \(k_1\uvec{v}_1,k_2\uvec{v}_2,\dotsc,k_\ell\uvec{v}_\ell\) are all also in the subspace. And then, since the subspace is also closed under addition, the linear combination \(k_1\uvec{v}_1 + k_2\uvec{v}_2 + \dotsb + k_\ell\uvec{v}_\ell\) is also in the subspace.

From the first property of subspaces listed above, we can deduce our observation about the best way to verify Condition i of the Subspace Test.

Subsection 17.5.2 Universal examples of subspaces

Here we recognize examples of subspaces that occur in every vector space.

Recall that \(\Span S\) is the collection of all possible linear combinations of vectors in \(S\text{.}\) First we verify that \(\Span S\) contains every vector in \(S\text{.}\) Indeed, if \(\uvec{v}\) is a vector in \(S\text{,}\) then it is trivially a linear combination of vectors in \(S\) by \(\uvec{v} = 1\uvec{v}\text{.}\)

Let \(V\) represent the vector space from which the collection of vectors \(S\) is taken. First, we know that every vector in \(\Span S\) is a vector in \(V\text{,}\) because the vectors in \(\Span S\) are linear combinations of the vectors in \(S\text{,}\) and \(V\) is closed under taking linear combinations (Proposition 17.5.2, where \(V\) is considered as a subspace of itself using Proposition 17.5.4). So \(\Span S\) is a subcollection of \(V\text{.}\)

Now let's apply the Subspace Test to \(\Span S\text{.}\)

Nonempty.

We know \(\Span S\) is nonempty because it contains each of the vectors of \(S\text{.}\)

Closed under vector addition.

Suppose \(\uvec{u}\) and \(\uvec{v}\) are vectors in \(\Span S\text{.}\) Then each is a linear combination of vectors in \(S\text{,}\) say

\begin{align*} \uvec{u} \amp= k_1 \uvec{u}_1 + k_2 \uvec{u}_2 + \dotsb + k_s \uvec{u}_s, \\ \uvec{v} \amp= m_1 \uvec{v}_1 + m_2 \uvec{v}_2 + \dotsb + m_t \uvec{v}_t, \end{align*}

where each of \(\uvec{u}_1,\uvec{u}_2,\dotsc,\uvec{u}_s\) and \(\uvec{v}_1,\uvec{v}_2,\dotsc,\uvec{v}_t\) are vectors in \(S\text{.}\) Then,

\begin{align*} \uvec{u} + \uvec{v} \amp = k_1 \uvec{u}_1 + k_2 \uvec{u}_2 + \dotsb + k_s \uvec{u}_s \\ \amp\phantom{=} \quad {} + m_1 \uvec{v}_1 + m_2 \uvec{v}_2 + \dotsb + m_t \uvec{v}_t \text{,} \end{align*}

which is again a linear combination of vectors in \(S\text{,}\) so \(\uvec{u}+\uvec{v}\) is also in \(\Span S\text{.}\) This shows that \(\Span S\) is closed under vector addition.

Closed under scalar multiplication.

Suppose \(\uvec{v}\) is a vector in \(\Span S\text{.}\) Then it is a linear combination of vectors in \(S\text{,}\) say

\begin{equation*} \uvec{v} = m_1\uvec{v}_1 + m_2\uvec{v}_2 + \dotsb + m_\ell\uvec{v}_\ell \text{,} \end{equation*}

where each of \(\uvec{v}_1,\uvec{v}_2,\dotsc,\uvec{v}_\ell\) are vectors in \(S\text{.}\) Then for every scalar \(k\text{,}\)

\begin{align*} k\uvec{v} \amp = k (m_1 \uvec{v}_1 + m_2 \uvec{v}_2 + \dotsb + m_t \uvec{v}_\ell) \\ \amp = k m_1 \uvec{v}_1 + k m_2 \uvec{v}_2 + \dotsb + k m_\ell \uvec{v}_\ell, \end{align*}

which is again a linear combination of vectors in \(S\text{,}\) so \(k\uvec{v}\) is always also in \(\Span S\text{.}\) This shows that \(\Span S\) is closed under scalar multiplication.

Conclusion.

Since \(\Span S\) passes the Subspace Test, it is a subspace of \(V\text{.}\)

We wish to show that every other subspace that contains the vectors of \(S\) must also contain \(\Span S\) as a subspace. So suppose we have another subspace that contains the vectors of \(S\text{.}\) Then it must contain every linear combination of the vectors in \(S\text{,}\) since subspaces are closed under taking linear combinations (Proposition 17.5.2). That is, if a subspace contains all of the vectors in \(S\text{,}\) then it must also contain all of the vectors in \(\Span S\text{.}\)

Note.

There is no need to use the Subspace Test to prove that \(\Span S\) is a subspace of this other subspace — we already know from Statement 1 that \(\Span S\) is a subspace of \(V\text{,}\) the vector space from which the vectors \(S\) are taken. So \(\Span S\) is a vector space all on its own, hence will be a subspace of any space that contains all of its vectors. (See the definition of subspace in Section 17.2.)

A vector space \(V\) always has an obvious spanning set — itself! That is, we claim that \(V = \Span V\) is always true. To verify this, we must demonstrate that each vector in the collection \(V\) is also in the collection \(\Span V\text{,}\) and vice versa, so that they are exactly the same collection of vectors. However, by applying Statement 1 we can immediately say that \(\Span V\) is a subspace of \(V\) (implying every vector in \(\Span V\) is in \(V\)) that contains every vector of the spanning set \(V\) (i.e. every vector in \(V\) is in \(\Span V\)).

Subsection 17.5.3 Equality of subspaces created via spanning sets

Finally, we provide a way to determine when two spanning sets generate the same subspace.

Recall that \(\Span S'\) is the collection of all possible linear combinations of the vectors in \(S'\text{.}\) So assuming that each vector in \(S\) can be expressed as a linear combination of the vectors in \(S'\) is the same as assuming that each vector in \(S\) is in \(\Span S'\text{.}\) But Statement 2 of Proposition 17.5.5 tells us that \(\Span S\) is the smallest subspace that contains all the vectors in \(S\text{,}\) and that \(\Span S\) must therefore be a subspace of \(\Span S'\text{.}\)

Now we assume both that each vector in \(S\) can be expressed as a linear combination of the vectors in \(S'\) and that each vector in \(S'\) can be expressed as a linear combination of the vectors in \(S\text{.}\) Then we can apply Statement 1 of this proposition twice, first to conclude that \(\Span S\) is a subspace of \(\Span S'\text{,}\) and second to conclude that \(\Span S'\) is a subspace of \(\Span S\text{.}\) But then \(\Span S\) is a subcollection of the vectors in \(\Span S'\text{,}\) and also vice versa. This can only happen if they are in fact the same collection of vectors.