Javascript required
Skip to content Skip to sidebar Skip to footer

How to Prove a Matrix Is a Subspace

Section S Subspaces

A subspace is a vector space that is contained within another vector space. So every subspace is a vector space in its own right, but it is also defined relative to some other (larger) vector space. We will discover shortly that we are already familiar with a wide variety of subspaces from previous sections.

Subsection S Subspaces

Here is the principal definition for this section.

Definition S Subspace

Suppose that $V$ and $W$ are two vector spaces that have identical definitions of vector addition and scalar multiplication, and that $W$ is a subset of $V$, $W\subseteq V$. Then $W$ is a subspace of $V$.

Let us look at an example of a vector space inside another vector space.

Example SC3 A subspace of $\complex{3}$

Subsection TS Testing Subspaces

In Example SC3 we proceeded through all ten of the vector space properties before believing that a subset was a subspace. But six of the properties were easy to prove, and we can lean on some of the properties of the vector space (the superset) to make the other four easier. Here is a theorem that will make it easier to test if a subset is a vector space. A shortcut if there ever was one.

Theorem TSS Testing Subsets for Subspaces

Suppose that $V$ is a vector space and $W$ is a subset of $V$, $W\subseteq V$. Endow $W$ with the same operations as $V$. Then $W$ is a subspace if and only if three conditions are met

  1. $W$ is nonempty, $W\neq\emptyset$.
  2. If $\vect{x}\in W$ and $\vect{y}\in W$, then $\vect{x}+\vect{y}\in W$.
  3. If $\alpha\in\complex{\null}$ and $\vect{x}\in W$, then $\alpha\vect{x}\in W$.

So just three conditions, plus being a subset of a known vector space, gets us all ten properties. Fabulous! This theorem can be paraphrased by saying that a subspace is "a nonempty subset (of a vector space) that is closed under vector addition and scalar multiplication."

You might want to go back and rework Example SC3 in light of this result, perhaps seeing where we can now economize or where the work done in the example mirrored the proof and where it did not. We will press on and apply this theorem in a slightly more abstract setting.

Example SP4 A subspace of $P_4$

Much of the power of Theorem TSS is that we can easily establish new vector spaces if we can locate them as subsets of other vector spaces, such as the vector spaces presented in Subsection VS.EVS.

It can be as instructive to consider some subsets that are not subspaces. Since Theorem TSS is an equivalence (see Proof Technique E) we can be assured that a subset is not a subspace if it violates one of the three conditions, and in any example of interest this will not be the "nonempty" condition. However, since a subspace has to be a vector space in its own right, we can also search for a violation of any one of the ten defining properties in Definition VS or any inherent property of a vector space, such as those given by the basic theorems of Subsection VS.VSP. Notice also that a violation need only be for a specific vector or pair of vectors.

Example NSC2Z A non-subspace in $\complex{2}$, zero vector

Example NSC2A A non-subspace in $\complex{2}$, additive closure

Example NSC2S A non-subspace in $\complex{2}$, scalar multiplication closure

There are two examples of subspaces that are trivial. Suppose that $V$ is any vector space. Then $V$ is a subset of itself and is a vector space. By Definition S, $V$ qualifies as a subspace of itself. The set containing just the zero vector $Z=\set{\zerovector}$ is also a subspace as can be seen by applying Theorem TSS or by simple modifications of the techniques hinted at in Example VSS. Since these subspaces are so obvious (and therefore not too interesting) we will refer to them as being trivial.

Definition TS Trivial Subspaces

Given the vector space $V$, the subspaces $V$ and $\set{\zerovector}$ are each called a trivial subspace.

We can also use Theorem TSS to prove more general statements about subspaces, as illustrated in the next theorem.

Theorem NSMS Null Space of a Matrix is a Subspace

Suppose that $A$ is an $m\times n$ matrix. Then the null space of $A$, $\nsp{A}$, is a subspace of $\complex{n}$.

Here is an example where we can exercise Theorem NSMS.

Example RSNS Recasting a subspace as a null space

Subsection TSS The Span of a Set

The span of a set of column vectors got a heavy workout in Chapter V and Chapter M. The definition of the span depended only on being able to formulate linear combinations. In any of our more general vector spaces we always have a definition of vector addition and of scalar multiplication. So we can build linear combinations and manufacture spans. This subsection contains two definitions that are just mild variants of definitions we have seen earlier for column vectors. If you have not already, compare them with Definition LCCV and Definition SSCV.

Definition LC Linear Combination

Suppose that $V$ is a vector space. Given $n$ vectors $\vectorlist{u}{n}$ and $n$ scalars $\alpha_1,\,\alpha_2,\,\alpha_3,\,\ldots,\,\alpha_n$, their linear combination is the vector \begin{equation*} \lincombo{\alpha}{u}{n}. \end{equation*}

Example LCM A linear combination of matrices

When we realize that we can form linear combinations in any vector space, then it is natural to revisit our definition of the span of a set, since it is the set of all possible linear combinations of a set of vectors.

Definition SS Span of a Set

Suppose that $V$ is a vector space. Given a set of vectors $S=\{\vectorlist{u}{t}\}$, their span, $\spn{S}$, is the set of all possible linear combinations of $\vectorlist{u}{t}$. Symbolically, \begin{align*} \spn{S}&=\setparts{\lincombo{\alpha}{u}{t}}{\alpha_i\in\complex{\null},\,1\leq i\leq t}\\ &=\setparts{\sum_{i=1}^{t}\alpha_i\vect{u}_i}{\alpha_i\in\complex{\null},\,1\leq i\leq t} \end{align*}

Theorem SSS Span of a Set is a Subspace

Suppose $V$ is a vector space. Given a set of vectors $S=\{\vectorlist{u}{t}\}\subseteq V$, their span, $\spn{S}$, is a subspace.

Example SSP Span of a set of polynomials

Let us again examine membership in a span.

Example SM32 A subspace of $M_{32}$

Notice how Example SSP and Example SM32 contained questions about membership in a span, but these questions quickly became questions about solutions to a system of linear equations. This will be a common theme going forward.

Subsection SC Subspace Constructions

Several of the subsets of vectors spaces that we worked with in Chapter M are also subspaces — they are closed under vector addition and scalar multiplication in $\complex{m}$.

Theorem CSMS Column Space of a Matrix is a Subspace

Suppose that $A$ is an $m\times n$ matrix. Then $\csp{A}$ is a subspace of $\complex{m}$.

That was easy! Notice that we could have used this same approach to prove that the null space is a subspace, since Theorem SSNS provided a description of the null space of a matrix as the span of a set of vectors. However, I much prefer the current proof of Theorem NSMS. Speaking of easy, here is a very easy theorem that exposes another of our constructions as creating subspaces.

Theorem RSMS Row Space of a Matrix is a Subspace

Suppose that $A$ is an $m\times n$ matrix. Then $\rsp{A}$ is a subspace of $\complex{n}$.

One more.

Theorem LNSMS Left Null Space of a Matrix is a Subspace

Suppose that $A$ is an $m\times n$ matrix. Then $\lns{A}$ is a subspace of $\complex{m}$.

So the span of a set of vectors, and the null space, column space, row space and left null space of a matrix are all subspaces, and hence are all vector spaces, meaning they have all the properties detailed in Definition VS and in the basic theorems presented in Section VS. We have worked with these objects as just sets in Chapter V and Chapter M, but now we understand that they have much more structure. In particular, being closed under vector addition and scalar multiplication means a subspace is also closed under linear combinations.

Sage VS Vector Spaces

Reading Questions

Exercises

How to Prove a Matrix Is a Subspace

Source: http://linear.ups.edu/html/section-S.html