From A First Course in Linear Algebra

Version 1.08

© 2004.

Licensed under the GNU Free Documentation License.

http://linear.ups.edu/

Once the dimension of a vector space is known, then the determination
of whether or not a set of vectors is linearly independent, or if it spans
the vector space, can often be much easier. In this section we will
state a workhorse theorem and then apply it to the column space and
row space of a matrix. It will also help us describe a super-basis for
${\u2102}^{m}$.

We begin with a useful theorem that we will need later, and in the proof of the main theorem in this subsection. This theorem says that we can extend linearly independent sets, one vector at a time, by adding vectors from outside the span of the linearly independent set, all the while preserving the linear independence of the set.

Theorem ELIS

Extending Linearly Independent Sets

Suppose $V$ is
vector space and $S$
is a linearly independent set of vectors from
$V$. Suppose
$w$ is a vector such
that $w\notin \u2329S\u232a$. Then the
set ${S}^{\prime}=S\cup \left\{w\right\}$ is linearly
independent. $\square $

Proof Suppose $S=\left\{{v}_{1},\phantom{\rule{0em}{0ex}}{v}_{2},\phantom{\rule{0em}{0ex}}{v}_{3},\phantom{\rule{0em}{0ex}}\dots ,\phantom{\rule{0em}{0ex}}{v}_{m}\right\}$ and begin with a relation of linear dependence on ${S}^{\prime}$,

$${a}_{1}{v}_{1}+{a}_{2}{v}_{2}+{a}_{3}{v}_{3}+\cdots +{a}_{m}{v}_{m}+{a}_{m+1}w=0.$$ |

There are two cases to consider. First suppose that ${a}_{m+1}=0$. Then the relation of linear dependence on ${S}^{\prime}$ becomes

$${a}_{1}{v}_{1}+{a}_{2}{v}_{2}+{a}_{3}{v}_{3}+\cdots +{a}_{m}{v}_{m}=0.$$ |

and by the linear independence of the set $S$, we conclude that ${a}_{1}={a}_{2}={a}_{3}=\cdots ={a}_{m}=0$. So all of the scalars in the relation of linear dependence on ${S}^{\prime}$ are zero.

In the second case, suppose that ${a}_{m+1}\ne 0$. Then the relation of linear dependence on ${S}^{\prime}$ becomes

$$\begin{array}{llll}\hfill {a}_{m+1}w& =-{a}_{1}{v}_{1}-{a}_{2}{v}_{2}-{a}_{3}{v}_{3}-\cdots -{a}_{m}{v}_{m}\phantom{\rule{2em}{0ex}}& \hfill & \phantom{\rule{2em}{0ex}}\\ \hfill w& =-\frac{{a}_{1}}{{a}_{m+1}}{v}_{1}-\frac{{a}_{2}}{{a}_{m+1}}{v}_{2}-\frac{{a}_{3}}{{a}_{m+1}}{v}_{3}-\cdots -\frac{{a}_{m}}{{a}_{m+1}}{v}_{m}\phantom{\rule{2em}{0ex}}& \hfill & \phantom{\rule{2em}{0ex}}\end{array}$$This equation expresses $w$ as a linear combination of the vectors in $S$, contrary to the assumption that $w\notin \u2329S\u232a$, so this case leads to a contradiction.

The first case yielded only a trivial relation of linear dependence on ${S}^{\prime}$ and the second case led to a contradiction. So ${S}^{\prime}$ is a linearly independent set since any relation of linear dependence is trivial. $\u25a0$

In the story Goldilocks and the Three Bears, the young girl Goldilocks visits the empty house of the three bears while out walking in the woods. One bowl of porridge is too hot, the other too cold, the third is just right. One chair is too hard, one too soft, the third is just right. So it is with sets of vectors — some are too big (linearly dependent), some are too small (they don’t span), and some are just right (bases). Here’s Goldilocks’ Theorem.

Theorem G

Goldilocks

Suppose that $V$ is a vector
space of dimension $t$.
Let $S=\left\{{v}_{1},\phantom{\rule{0em}{0ex}}{v}_{2},\phantom{\rule{0em}{0ex}}{v}_{3},\phantom{\rule{0em}{0ex}}\dots ,\phantom{\rule{0em}{0ex}}{v}_{m}\right\}$ be a set
of vectors from $V$.
Then

- If $m>t$, then $S$ is linearly dependent.
- If $m<t$, then $S$ does not span $V$.
- If $m=t$ and $S$ is linearly independent, then $S$ spans $V$.
- If $m=t$ and $S$ spans $V$, then $S$ is linearly independent.

Proof Let $B$ be a basis of $V$. Since $dim\left(V\right)=t$, Definition B and Theorem BIS imply that $B$ is a linearly independent set of $t$ vectors that spans $V$.

- Suppose to the contrary that $S$ is linearly independent. Then $B$ is a smaller set of vectors that spans $V$. This contradicts Theorem SSLD.
- Suppose to the contrary that $S$ does span $V$. Then $B$ is a larger set of vectors that is linearly independent. This contradicts Theorem SSLD.
- Suppose to the contrary that $S$ does not span $V$. Then we can choose a vector $w$ such that $w\in V$ and $w\notin \u2329S\u232a$. By Theorem ELIS, the set ${S}^{\prime}=S\cup \left\{w\right\}$ is again linearly independent. Then ${S}^{\prime}$ is a set of $m+1=t+1$ vectors that are linearly independent, while $B$ is a set of $t$ vectors that span $V$. This contradicts Theorem SSLD.
- Suppose to the contrary that $S$ is linearly dependent. Then by Theorem DLDS (which can be upgraded, with no changes in the proof, to the setting of a general vector space), there is a vector in $S$, say ${v}_{k}$ that is equal to a linear combination of the other vectors in $S$. Let ${S}^{\prime}=S\setminus \left\{{v}_{k}\right\}$, the set of “other” vectors in $S$. Then it is easy to show that $V=\u2329S\u232a=\u2329{S}^{\prime}\u232a$. So ${S}^{\prime}$ is a set of $m-1=t-1$ vectors that spans $V$, while $B$ is a set of $t$ linearly independent vectors in $V$. This contradicts Theorem SSLD.

There is a tension in the construction of basis. Make a set too big and you will end up with relations of linear dependence among the vectors. Make a set too small and you will not have enough raw material to span the entire vector space. Make a set just the right size (the dimension) and you only need to have linear independence or spanning, and you get the other property for free. These roughly-stated ideas are made precise by Theorem G.

The structure and proof of this theorem also deserve comment. The hypotheses seem innocuous. We presume we know the dimension of the vector space in hand, then we mostly just look at the size of the set $S$. From this we get big conclusions about spanning and linear independence. Each of the four proofs relies on ultimately contradicting Theorem SSLD, so in a way we could think of this entire theorem as a corollary of Theorem SSLD. (See Technique LC.) The proofs of the third and fourth parts parallel each other in style (add $w$, toss ${v}_{k}$) and then turn on Theorem ELIS before contradicting Theorem SSLD.

Theorem G is useful in both concrete examples and as a tool in other proofs. We will use it often to bypass verifying linear independence or spanning.

Example BPR

Bases for ${P}_{n}$,
reprised

In Example BP we claimed that

were both bases for ${P}_{n}$ (Example VSP). Suppose we had first verified that $B$ was a basis, so we would then know that $dim\left({P}_{n}\right)=n+1$. The size of $C$ is $n+1$, the right size to be a basis. We could then verify that $C$ is linearly independent. We would not have to make any special efforts to prove that $C$ spans ${P}_{n}$, since Theorem G would allow us to conclude this property of $C$ directly. Then we would be able to say that $C$ is a basis of ${P}_{n}$ also. $\u22a0$

Example BDM22

Basis by dimension in ${M}_{22}$

In Example DSM22 we showed that

$$B=\left\{\left[\begin{array}{cc}\hfill -2\hfill & \hfill 1\hfill \\ \hfill 1\hfill & \hfill 0\hfill \end{array}\right],\phantom{\rule{0em}{0ex}}\left[\begin{array}{cc}\hfill -2\hfill & \hfill 0\hfill \\ \hfill 0\hfill & \hfill 1\hfill \end{array}\right]\right\}$$ |

is a basis for the subspace $Z$ of ${M}_{22}$ (Example VSM) given by

$$Z=\left\{\left.\left[\begin{array}{cc}\hfill a\hfill & \hfill b\hfill \\ \hfill c\hfill & \hfill d\hfill \end{array}\right]\phantom{\rule{0em}{0ex}}\right|\phantom{\rule{0em}{0ex}}2a+b+3c+4d=0,\phantom{\rule{0em}{0ex}}-a+3b-5c-d=0\right\}$$ |

This tells us that $dim\left(Z\right)=2$. In this example we will find another basis. We can construct two new matrices in $Z$ by forming linear combinations of the matrices in $B$.

$$\begin{array}{llll}\hfill 2\left[\begin{array}{cc}\hfill -2\hfill & \hfill 1\hfill \\ \hfill 1\hfill & \hfill 0\hfill \end{array}\right]+\left(-3\right)\left[\begin{array}{cc}\hfill -2\hfill & \hfill 0\hfill \\ \hfill 0\hfill & \hfill 1\hfill \end{array}\right]& =\left[\begin{array}{cc}\hfill 2\hfill & \hfill 2\hfill \\ \hfill 2\hfill & \hfill -3\hfill \end{array}\right]\phantom{\rule{2em}{0ex}}& \hfill & \phantom{\rule{2em}{0ex}}\\ \hfill 3\left[\begin{array}{cc}\hfill -2\hfill & \hfill 1\hfill \\ \hfill 1\hfill & \hfill 0\hfill \end{array}\right]+1\left[\begin{array}{cc}\hfill -2\hfill & \hfill 0\hfill \\ \hfill 0\hfill & \hfill 1\hfill \end{array}\right]& =\left[\begin{array}{cc}\hfill -8\hfill & \hfill 3\hfill \\ \hfill 3\hfill & \hfill 1\hfill \end{array}\right]\phantom{\rule{2em}{0ex}}& \hfill & \phantom{\rule{2em}{0ex}}\end{array}$$Then the set

$$C=\left\{\left[\begin{array}{cc}\hfill 2\hfill & \hfill 2\hfill \\ \hfill 2\hfill & \hfill -3\hfill \end{array}\right],\phantom{\rule{0em}{0ex}}\left[\begin{array}{cc}\hfill -8\hfill & \hfill 3\hfill \\ \hfill 3\hfill & \hfill 1\hfill \end{array}\right]\right\}$$ |

has the right size to be a basis of $Z$. Let’s see if it is a linearly independent set. The relation of linear dependence

$$\begin{array}{llll}\hfill {a}_{1}\left[\begin{array}{cc}\hfill 2\hfill & \hfill 2\hfill \\ \hfill 2\hfill & \hfill -3\hfill \end{array}\right]+{a}_{2}\left[\begin{array}{cc}\hfill -8\hfill & \hfill 3\hfill \\ \hfill 3\hfill & \hfill 1\hfill \end{array}\right]& =\mathcal{O}\phantom{\rule{2em}{0ex}}& \hfill & \phantom{\rule{2em}{0ex}}\\ \hfill \left[\begin{array}{cc}\hfill 2{a}_{1}-8{a}_{2}\hfill & \hfill 2{a}_{1}+3{a}_{2}\hfill \\ \hfill 2{a}_{1}+3{a}_{2}\hfill & \hfill -3{a}_{1}+{a}_{2}\hfill \end{array}\right]& =\left[\begin{array}{cc}\hfill 0\hfill & \hfill 0\hfill \\ \hfill 0\hfill & \hfill 0\hfill \end{array}\right]\phantom{\rule{2em}{0ex}}& \hfill & \phantom{\rule{2em}{0ex}}\end{array}$$leads to the homogeneous system of equations whose coefficient matrix

$$\left[\begin{array}{cc}\hfill 2\hfill & \hfill -8\hfill \\ \hfill 2\hfill & \hfill 3\hfill \\ \hfill 2\hfill & \hfill 3\hfill \\ \hfill -3\hfill & \hfill 1\hfill \end{array}\right]$$ |

row-reduces to

$$\left[\begin{array}{cc}\hfill \text{1}\hfill & \hfill 0\hfill \\ \hfill 0\hfill & \hfill \text{1}\hfill \\ \hfill 0\hfill & \hfill 0\hfill \\ \hfill 0\hfill & \hfill 0\hfill \end{array}\right]$$ |

So with ${a}_{1}={a}_{2}=0$ as the only solution, the set is linearly independent. Now we can apply Theorem G to see that $C$ also spans $Z$ and therefore is a second basis for $Z$. $\u22a0$

Example SVP4

Sets of vectors in ${P}_{4}$

In Example BSP4 we showed that

$$B=\left\{x-2,\phantom{\rule{0em}{0ex}}{x}^{2}-4x+4,\phantom{\rule{0em}{0ex}}{x}^{3}-6{x}^{2}+12x-8,\phantom{\rule{0em}{0ex}}{x}^{4}-8{x}^{3}+24{x}^{2}-32x+16\right\}$$ |

is a basis for $W=\left\{\left.p\left(x\right)\phantom{\rule{0em}{0ex}}\right|\phantom{\rule{0em}{0ex}}p\in {P}_{4},\phantom{\rule{0ex}{0ex}}p\left(2\right)=0\right\}$. So $dim\left(W\right)=4$.

The set

$$\left\{3{x}^{2}-5x-2,\phantom{\rule{0em}{0ex}}2{x}^{2}-7x+6,\phantom{\rule{0em}{0ex}}{x}^{3}-2{x}^{2}+x-2\right\}$$ |

is a subset of $W$ (check this) and it happens to be linearly independent (check this, too). However, by Theorem G it cannot span $W$.

The set

$$\left\{3{x}^{2}-5x-2,\phantom{\rule{0em}{0ex}}2{x}^{2}-7x+6,\phantom{\rule{0em}{0ex}}{x}^{3}-2{x}^{2}+x-2,\phantom{\rule{0em}{0ex}}-{x}^{4}+2{x}^{3}+5{x}^{2}-10x,\phantom{\rule{0em}{0ex}}{x}^{4}-16\right\}$$ |

is another subset of $W$ (check this) and Theorem G tells us that it must be linearly dependent.

The set

$$\left\{x-2,\phantom{\rule{0em}{0ex}}{x}^{2}-2x,\phantom{\rule{0em}{0ex}}{x}^{3}-2{x}^{2},\phantom{\rule{0em}{0ex}}{x}^{4}-2{x}^{3}\right\}$$ |

is a third subset of $W$ (check this) and is linearly independent (check this). Since it has the right size to be a basis, and is linearly independent, Theorem G tells us that it also spans $W$, and therefore is a basis of $W$. $\u22a0$

A simple consequence of Theorem G is the observation that proper subspaces have strictly smaller dimensions. Hopefully this may seem intuitively obvious, but it still requires proof, and we will cite this result later.

Theorem PSSD

Proper Subspaces have Smaller Dimension

Suppose that $U$ and
$V$ are subspaces of
the vector space $W$,
such that $U\u228aV$.
Then $dim\left(U\right)<dim\left(V\right)$.
$\square $

Proof Suppose that $dim\left(U\right)=m$ and $dim\left(V\right)=t$. Then $U$ has a basis $B$ of size $m$. If $m>t$, then by Theorem G, $B$ is linearly dependent, which is a contradiction. If $m=t$, then by Theorem G, $B$ spans $V$. Then $U=\u2329B\u232a=V$, also a contradiction. All that remains is that $m<t$, which is the desired conclusion. $\u25a0$

The final theorem of this subsection is an extremely powerful tool for establishing the equality of two sets that are subspaces. Notice that the hypotheses include the equality of two integers (dimensions) while the conclusion is the equality of two sets (subspaces). It is the extra “structure” of a vector space and its dimension that makes possible this huge leap from an integer equality to a set equality.

Theorem EDYES

Equal Dimensions Yields Equal Subspaces

Suppose that $U$ and
$V$ are subspaces of
the vector space $W$,
such that $U\subseteq V$
and $dim\left(U\right)=dim\left(V\right)$.
Then $U=V$.
$\square $

Proof We give a proof by contradiction (Technique CD). Suppose to the contrary that $U\ne V$. Since $U\subseteq V$, there must be a vector $v$ such that $v\in V$ and $v\notin U$. Let $B=\left\{{u}_{1},\phantom{\rule{0em}{0ex}}{u}_{2},\phantom{\rule{0em}{0ex}}{u}_{3},\phantom{\rule{0em}{0ex}}\dots ,\phantom{\rule{0em}{0ex}}{u}_{t}\right\}$ be a basis for $U$. Then, by Theorem ELIS, the set $C=B\cup \left\{v\right\}=\left\{{u}_{1},\phantom{\rule{0em}{0ex}}{u}_{2},\phantom{\rule{0em}{0ex}}{u}_{3},\phantom{\rule{0em}{0ex}}\dots ,\phantom{\rule{0em}{0ex}}{u}_{t},\phantom{\rule{0em}{0ex}}v\right\}$ is a linearly independent set of $t+1$ vectors in $V$. However, by hypothesis, $V$ has the same dimension as $U$ (namely $t$) and therefore Theorem G says that $C$ is too big to be linearly independent. This contradiction shows that $U=V$. $\u25a0$

We now prove one of the most surprising theorems about matrices. Notice the paucity of hypotheses compared to the precision of the conclusion.

Theorem RMRT

Rank of a Matrix is the Rank of the Transpose

Suppose $A$ is
an $m\times n$ matrix.
Then $r\left(A\right)=r\left({A}^{t}\right)$.
$\square $

Proof Suppose we row-reduce $A$ to the matrix $B$ in reduced row-echelon form, and $B$ has $r$ non-zero rows. The quantity $r$ tells us three things about $B$: the number of leading 1’s, the number of non-zero rows and the number of pivot columns. For this proof we will be interested in the latter two.

Theorem BRS and Theorem BCS each has a conclusion that provides a basis, for the row space and the column space, respectively. In each case, these bases contain $r$ vectors. This observation makes the following go.

$$\begin{array}{llllllll}\hfill r\left(A\right)& =dim\left(\mathcal{C}\phantom{\rule{0em}{0ex}}\left(A\right)\right)\phantom{\rule{2em}{0ex}}& \hfill & \text{}\text{Definition ROM}\text{}\phantom{\rule{2em}{0ex}}& \hfill & \phantom{\rule{2em}{0ex}}& \hfill & \phantom{\rule{2em}{0ex}}\\ \hfill & =r\phantom{\rule{2em}{0ex}}& \hfill & \text{}\text{Theorem BCS}\text{}\phantom{\rule{2em}{0ex}}& \hfill & \phantom{\rule{2em}{0ex}}& \hfill & \phantom{\rule{2em}{0ex}}\\ \hfill & =dim\left(\mathcal{\mathcal{R}}\phantom{\rule{0em}{0ex}}\left(A\right)\right)\phantom{\rule{2em}{0ex}}& \hfill & \text{}\text{Theorem BRS}\text{}\phantom{\rule{2em}{0ex}}& \hfill & \phantom{\rule{2em}{0ex}}& \hfill & \phantom{\rule{2em}{0ex}}\\ \hfill & =dim\left(\mathcal{C}\phantom{\rule{0em}{0ex}}\left({A}^{t}\right)\right)\phantom{\rule{2em}{0ex}}& \hfill & \text{}\text{Theorem CSRST}\text{}\phantom{\rule{2em}{0ex}}& \hfill & \phantom{\rule{2em}{0ex}}& \hfill & \phantom{\rule{2em}{0ex}}\\ \hfill & =r\left({A}^{t}\right)\phantom{\rule{2em}{0ex}}& \hfill & \text{}\text{Definition ROM}\text{}\phantom{\rule{2em}{0ex}}& \hfill & \phantom{\rule{2em}{0ex}}& \hfill & \phantom{\rule{2em}{0ex}}\end{array}$$ Jacob Linenthal helped with this proof. $\u25a0$

This says that the row space and the column space of a matrix have the same dimension, which should be very surprising. It does not say that column space and the row space are identical. Indeed, if the matrix is not square, then the sizes (number of slots) of the vectors in each space are different, so the sets are not even comparable.

It is not hard to construct by yourself examples of matrices that illustrate Theorem RMRT, since it applies equally well to any matrix. Grab a matrix, row-reduce it, count the nonzero rows or the leading 1’s. That’s the rank. Transpose the matrix, row-reduce that, count the nonzero rows or the leading 1’s. That’s the rank of the transpose. The theorem says the two will be equal. Here’s an example anyway.

Example RRTI

Rank, rank of transpose, Archetype I

Archetype I has a $4\times 7$
coefficient matrix which row-reduces to

$$\left[\begin{array}{ccccccc}\hfill \text{1}\hfill & \hfill 4\hfill & \hfill 0\hfill & \hfill 0\hfill & \hfill 2\hfill & \hfill 1\hfill & \hfill -3\hfill \\ \hfill 0\hfill & \hfill 0\hfill & \hfill \text{1}\hfill & \hfill 0\hfill & \hfill 1\hfill & \hfill -3\hfill & \hfill 5\hfill \\ \hfill 0\hfill & \hfill 0\hfill & \hfill 0\hfill & \hfill \text{1}\hfill & \hfill 2\hfill & \hfill -6\hfill & \hfill 6\hfill \\ \hfill 0\hfill & \hfill 0\hfill & \hfill 0\hfill & \hfill 0\hfill & \hfill 0\hfill & \hfill 0\hfill & \hfill 0\hfill \end{array}\right]$$ |

so the rank is $3$. Row-reducing the transpose yields

$$\left[\begin{array}{cccc}\hfill \text{1}\hfill & \hfill 0\hfill & \hfill 0\hfill & \hfill -\frac{31}{7}\hfill \\ \hfill 0\hfill & \hfill \text{1}\hfill & \hfill 0\hfill & \hfill \frac{12}{7}\hfill \\ \hfill 0\hfill & \hfill 0\hfill & \hfill \text{1}\hfill & \hfill \frac{13}{7}\hfill \\ \hfill 0\hfill & \hfill 0\hfill & \hfill 0\hfill & \hfill 0\hfill \\ \hfill 0\hfill & \hfill 0\hfill & \hfill 0\hfill & \hfill 0\hfill \\ \hfill 0\hfill & \hfill 0\hfill & \hfill 0\hfill & \hfill 0\hfill \\ \hfill 0\hfill & \hfill 0\hfill & \hfill 0\hfill & \hfill 0\hfill \end{array}\right].$$ |

demonstrating that the rank of the transpose is also $3$. $\u22a0$

That the rank of a matrix equals the rank of its transpose is a fundamental and surprising result. However, applying Theorem FS we can easily determine the dimension of all four fundamental subspaces associated with a matrix.

Theorem DFS

Dimensions of Four Subspaces

Suppose that $A$
is an $m\times n$
matrix, and $B$
is a row-equivalent matrix in reduced row-echelon form with
$r$
nonzero rows. Then

- $dim\left(\mathcal{N}\phantom{\rule{0em}{0ex}}\left(A\right)\right)=n-r$
- $dim\left(\mathcal{C}\phantom{\rule{0em}{0ex}}\left(A\right)\right)=r$
- $dim\left(\mathcal{\mathcal{R}}\phantom{\rule{0em}{0ex}}\left(A\right)\right)=r$
- $dim\left(\mathcal{\mathcal{L}}\phantom{\rule{0em}{0ex}}\left(A\right)\right)=m-r$

Proof If $A$ row-reduces to a matrix in reduced row-echelon form with $r$ nonzero rows, then the matrix $C$ of extended echelon form (Definition EEF) will be an $r\times n$ matrix in reduced row-echelon form with no zero rows and $r$ pivot columns (Theorem PEEF). Similarly, the matrix $L$ of extended echelon form (Definition EEF) will be an $m-r\times m$ matrix in reduced row-echelon form with no zero rows and $m-r$ pivot columns (Theorem PEEF).

$$\begin{array}{llllllll}\hfill dim\left(\mathcal{N}\phantom{\rule{0em}{0ex}}\left(A\right)\right)& =dim\left(\mathcal{N}\phantom{\rule{0em}{0ex}}\left(C\right)\right)\phantom{\rule{2em}{0ex}}& \hfill & \text{}\text{Theorem FS}\text{}\phantom{\rule{2em}{0ex}}& \hfill & \phantom{\rule{2em}{0ex}}& \hfill & \phantom{\rule{2em}{0ex}}\\ \hfill & =n-r\phantom{\rule{2em}{0ex}}& \hfill & \text{}\text{Theorem BNS}\text{}\phantom{\rule{2em}{0ex}}& \hfill & \phantom{\rule{2em}{0ex}}& \hfill & \phantom{\rule{2em}{0ex}}\\ \hfill \phantom{\rule{0ex}{0ex}}& \phantom{\rule{2em}{0ex}}& \hfill & \phantom{\rule{2em}{0ex}}& \hfill \\ \hfill dim\left(\mathcal{C}\phantom{\rule{0em}{0ex}}\left(A\right)\right)& =dim\left(\mathcal{N}\phantom{\rule{0em}{0ex}}\left(L\right)\right)\phantom{\rule{2em}{0ex}}& \hfill & \text{}\text{Theorem FS}\text{}\phantom{\rule{2em}{0ex}}& \hfill & \phantom{\rule{2em}{0ex}}& \hfill & \phantom{\rule{2em}{0ex}}\\ \hfill & =m-\left(m-r\right)\phantom{\rule{2em}{0ex}}& \hfill & \text{}\text{Theorem BNS}\text{}\phantom{\rule{2em}{0ex}}& \hfill & \phantom{\rule{2em}{0ex}}& \hfill & \phantom{\rule{2em}{0ex}}\\ \hfill & =r\phantom{\rule{2em}{0ex}}& \hfill & \phantom{\rule{2em}{0ex}}& \hfill & \phantom{\rule{2em}{0ex}}\\ \hfill \phantom{\rule{0ex}{0ex}}& \phantom{\rule{2em}{0ex}}& \hfill & \phantom{\rule{2em}{0ex}}& \hfill \\ \hfill dim\left(\mathcal{\mathcal{R}}\phantom{\rule{0em}{0ex}}\left(A\right)\right)& =dim\left(\mathcal{\mathcal{R}}\phantom{\rule{0em}{0ex}}\left(C\right)\right)\phantom{\rule{2em}{0ex}}& \hfill & \text{}\text{Theorem FS}\text{}\phantom{\rule{2em}{0ex}}& \hfill & \phantom{\rule{2em}{0ex}}& \hfill & \phantom{\rule{2em}{0ex}}\\ \hfill & =r\phantom{\rule{2em}{0ex}}& \hfill & \text{}\text{Theorem BRS}\text{}\phantom{\rule{2em}{0ex}}& \hfill & \phantom{\rule{2em}{0ex}}& \hfill & \phantom{\rule{2em}{0ex}}\\ \hfill \phantom{\rule{0ex}{0ex}}& \phantom{\rule{2em}{0ex}}& \hfill & \phantom{\rule{2em}{0ex}}& \hfill \\ \hfill dim\left(\mathcal{\mathcal{L}}\phantom{\rule{0em}{0ex}}\left(A\right)\right)& =dim\left(\mathcal{\mathcal{R}}\phantom{\rule{0em}{0ex}}\left(L\right)\right)\phantom{\rule{2em}{0ex}}& \hfill & \text{}\text{Theorem FS}\text{}\phantom{\rule{2em}{0ex}}& \hfill & \phantom{\rule{2em}{0ex}}& \hfill & \phantom{\rule{2em}{0ex}}\\ \hfill & =m-r\phantom{\rule{2em}{0ex}}& \hfill & \text{}\text{Theorem BRS}\text{}\phantom{\rule{2em}{0ex}}& \hfill & \phantom{\rule{2em}{0ex}}& \hfill & \phantom{\rule{2em}{0ex}}\\ \hfill & \phantom{\rule{2em}{0ex}}& \hfill & \phantom{\rule{2em}{0ex}}& \hfill \end{array}$$ $\u25a0$There are many different ways to state and prove this result, and indeed, the equality of the dimensions of the column space and row space is just a slight expansion of Theorem RMRT. However, we have restricted our techniques to applying Theorem FS and then determining dimensions with bases provided by Theorem BNS and Theorem BRS. This provides an appealing symmetry to the results and the proof.

Some of the more advanced ideas in linear algebra are closely related to decomposing (Technique DC) vector spaces into direct sums of subspaces. With our previous results about bases and dimension, now is the right time to state and collect a few results about direct sums, though we will only mention these results in passing until we get to Section NLT, where they will get a heavy workout.

A direct sum is a short-hand way to describe the relationship between a vector space and two, or more, of its subspaces. As we will use it, it is not a way to construct new vector spaces from others.

Definition DS

Direct Sum

Suppose that $V$ is a vector
space with two subspaces $U$
and $W$ such that
for every $v\in V$,

- There exists vectors $u\in U$, $w\in W$ such that $v=u+w$
- If $v={u}_{1}+{w}_{1}$ and $v={u}_{2}+{w}_{2}$ where ${u}_{1},\phantom{\rule{0em}{0ex}}{u}_{2}\in U$, ${w}_{1},\phantom{\rule{0em}{0ex}}{w}_{2}\in W$ then ${u}_{1}={u}_{2}$ and ${w}_{1}={w}_{2}$.

Then $V$ is the direct sum of $U$ and $W$ and we write $V=U\oplus W$.

(This definition contains Notation DS.) $\u25b3$

Informally, when we say $V$ is the direct sum of the subspaces $U$ and $W$, we are saying that each vector of $V$ can always be expressed as the sum of a vector from $U$ and a vector from $W$, and this expression can only be accomplished in one way (i.e. uniquely). This statement should begin to feel something like our definitions of nonsingular matrices (Definition NM) and linear independence (Definition LI). It should not be hard to imagine the natural extension of this definition to the case of more than two subspaces. Could you provide a careful definition of $V={U}_{1}\oplus {U}_{2}\oplus {U}_{3}\oplus \dots \oplus {U}_{m}$ (Exercise PD.M50)?

Example SDS

Simple direct sum

In ${\u2102}^{3}$,
define

Then ${\u2102}^{3}=\u2329\left\{{v}_{1},\phantom{\rule{0em}{0ex}}{v}_{2}\right\}\u232a\oplus \u2329\left\{{v}_{3}\right\}\u232a$. This statement derives from the fact that $B=\left\{{v}_{1},\phantom{\rule{0em}{0ex}}{v}_{2},\phantom{\rule{0em}{0ex}}{v}_{3}\right\}$ is basis for ${\u2102}^{3}$. The spanning property of $B$ yields the decomposition of any vector into a sum of vectors from the two subspaces, and the linear independence of $B$ yields the uniqueness of the decomposition. We will illustrate these claims with a numerical example.

Choose $v=\left[\begin{array}{c}\hfill 10\hfill \\ \hfill 1\hfill \\ \hfill 6\hfill \end{array}\right]$. Then

$$\begin{array}{llll}\hfill v& =2{v}_{1}+\left(-2\right){v}_{2}+1{v}_{3}=\left(2{v}_{1}+\left(-2\right){v}_{2}\right)+\left(1{v}_{3}\right)\phantom{\rule{2em}{0ex}}& \hfill & \phantom{\rule{2em}{0ex}}\end{array}$$where we have added parentheses for emphasis. Obviously $1{v}_{3}\in \u2329\left\{{v}_{3}\right\}\u232a$, while $2{v}_{1}+\left(-2\right){v}_{2}\in \u2329\left\{{v}_{1},\phantom{\rule{0em}{0ex}}{v}_{2}\right\}\u232a$. Theorem VRRB provides the uniqueness of the scalars in these linear combinations. $\u22a0$

Example SDS is easy to generalize into a theorem.

Theorem DSFB

Direct Sum From a Basis

Suppose that $V$ is a vector
space with a basis $B=\left\{{v}_{1},\phantom{\rule{0em}{0ex}}{v}_{2},\phantom{\rule{0em}{0ex}}{v}_{3},\phantom{\rule{0em}{0ex}}\dots ,\phantom{\rule{0em}{0ex}}{v}_{n}\right\}$.
Define

Then $V=U\oplus W$. $\square $

Proof Choose any vector $v\in V$. Then by Theorem VRRB there are unique scalars, ${a}_{1},\phantom{\rule{0em}{0ex}}{a}_{2},\phantom{\rule{0em}{0ex}}{a}_{3},\phantom{\rule{0em}{0ex}}\dots ,\phantom{\rule{0em}{0ex}}{a}_{n}$ such that

$$\begin{array}{llll}\hfill v& ={a}_{1}{v}_{1}+{a}_{2}{v}_{2}+{a}_{3}{v}_{3}+\cdots +{a}_{n}{v}_{n}\phantom{\rule{2em}{0ex}}& \hfill & \phantom{\rule{2em}{0ex}}\\ \hfill & =\left({a}_{1}{v}_{1}+{a}_{2}{v}_{2}+{a}_{3}{v}_{3}+\cdots +{a}_{m}{v}_{m}\right)+\phantom{\rule{2em}{0ex}}& \hfill & \phantom{\rule{2em}{0ex}}\\ \hfill & \phantom{\rule{1em}{0ex}}\phantom{\rule{1em}{0ex}}\left({a}_{m+1}{v}_{m+1}+{a}_{m+2}{v}_{m+2}+{a}_{m+3}{v}_{m+3}+\cdots +{a}_{n}{v}_{n}\right)\phantom{\rule{2em}{0ex}}& \hfill & \phantom{\rule{2em}{0ex}}\\ \hfill & =u+w\phantom{\rule{2em}{0ex}}& \hfill & \phantom{\rule{2em}{0ex}}\end{array}$$where we have implicitly defined $u$ and $w$ in the last line. It should be clear that $u\in U$, and similarly, $w\in W$ (and not simply by the choice of their names).

Suppose we had another decomposition of $v$, say $v={u}^{\ast}+{w}^{\ast}$. Then we could write ${u}^{\ast}$ as a linear combination of ${v}_{1}$ through ${v}_{m}$, say using scalars ${b}_{1},\phantom{\rule{0em}{0ex}}{b}_{2},\phantom{\rule{0em}{0ex}}{b}_{3},\phantom{\rule{0em}{0ex}}\dots ,\phantom{\rule{0em}{0ex}}{b}_{m}$. And we could write ${w}^{\ast}$ as a linear combination of ${v}_{m+1}$ through ${v}_{n}$, say using scalars ${c}_{1},\phantom{\rule{0em}{0ex}}{c}_{2},\phantom{\rule{0em}{0ex}}{c}_{3},\phantom{\rule{0em}{0ex}}\dots ,\phantom{\rule{0em}{0ex}}{c}_{n-m}$. These two collections of scalars would then together give a linear combination of ${v}_{1}$ through ${v}_{n}$ that equals $v$. By the uniqueness of ${a}_{1},\phantom{\rule{0em}{0ex}}{a}_{2},\phantom{\rule{0em}{0ex}}{a}_{3},\phantom{\rule{0em}{0ex}}\dots ,\phantom{\rule{0em}{0ex}}{a}_{n}$, ${a}_{i}={b}_{i}$ for $1\le i\le m$ and ${a}_{m+i}={c}_{i}$ for $1\le i\le n-m$. From the equality of these scalars we conclude that $u={u}^{\ast}$ and $w={w}^{\ast}$. So with both conditions of Definition DS fulfilled we see that $V=U\oplus W$. $\u25a0$

Given one subspace of a vector space, we can always find another subspace that will pair with the first to form a direct sum. The main idea of this theorem, and its proof, is the idea of extending a linearly independent subset into a basis with repeated applications of Theorem ELIS.

Theorem DSFOS

Direct Sum From One Subspace

Suppose that $U$ is a subspace
of the vector space $V$. Then
there exists a subspace $W$
of $V$ such
that $V=U\oplus W$.
$\square $

Proof If $U=V$, then choose $W=\left\{0\right\}$. Otherwise, choose a basis $B=\left\{{v}_{1},\phantom{\rule{0em}{0ex}}{v}_{2},\phantom{\rule{0em}{0ex}}{v}_{3},\phantom{\rule{0em}{0ex}}\dots ,\phantom{\rule{0em}{0ex}}{v}_{m}\right\}$ for $U$. Then since $B$ is a linearly independent set, Theorem ELIS tells us there is a vector ${v}_{m+1}$ in $V$, but not in $U$, such that $B\cup \left\{{v}_{m+1}\right\}$ is linearly independent. Define the subspace ${U}_{1}=\u2329B\cup \left\{{v}_{m+1}\right\}\u232a$.

We can repeat this procedure, in the case were ${U}_{1}\ne V$, creating a new vector ${v}_{m+2}$ in $V$, but not in ${U}_{1}$, and a new subspace ${U}_{2}=\u2329B\cup \left\{{v}_{m+1},\phantom{\rule{0em}{0ex}}{v}_{m+2}\right\}\u232a$. If we continue repeating this procedure, eventually, ${U}_{k}=V$ for some $k$, and we can no longer apply Theorem ELIS. No matter, in this case $B\cup \left\{{v}_{m+1},\phantom{\rule{0em}{0ex}}{v}_{m+2},\phantom{\rule{0em}{0ex}}\dots ,\phantom{\rule{0em}{0ex}}{v}_{m+k}\right\}$ is a linearly independent set that spans $V$, i.e. a basis for $V$.

Define $W=\u2329\left\{{v}_{m+1},\phantom{\rule{0em}{0ex}}{v}_{m+2},\phantom{\rule{0em}{0ex}}\dots ,\phantom{\rule{0em}{0ex}}{v}_{m+k}\right\}\u232a$. We now are exactly in position to apply Theorem DSFB and see that $V=U\oplus W$. $\u25a0$

There are several different ways to define a direct sum. Our next two theorems give equivalences (Technique E) for direct sums, and therefore could have been employed as definitions. The first should further cement the notion that a direct sum has some connection with linear independence.

Theorem DSZV

Direct Sums and Zero Vectors

Suppose $U$ and
$W$ are subspaces of
the vector space $V$.
Then $V=U\oplus W$
if and only if

- For every $v\in V$, there exists vectors $u\in U$, $w\in W$ such that $v=u+w$.
- Whenever $0=u+w$ with $u\in U$, $w\in W$ then $u=w=0$.

Proof The first condition is identical in the definition and the theorem, so we only need to establish the equivalence of the second conditions.

($\Rightarrow $) Assume that $V=U\oplus W$, according to Definition DS. By Property Z, $0\in V$ and $0=0+0$. If we also assume that $0=u+w$, then the uniqueness of the decomposition gives $u=0$ and $w=0$.

($\Leftarrow $) Suppose that $v\in V$, $v={u}_{1}+{w}_{1}$ and $v={u}_{2}+{w}_{2}$ where ${u}_{1},\phantom{\rule{0em}{0ex}}{u}_{2}\in U$, ${w}_{1},\phantom{\rule{0em}{0ex}}{w}_{2}\in W$. Then

$$\begin{array}{llllllll}\hfill 0& =v-v\phantom{\rule{2em}{0ex}}& \hfill & \text{}\text{Property AI}\text{}\phantom{\rule{2em}{0ex}}& \hfill & \phantom{\rule{2em}{0ex}}& \hfill & \phantom{\rule{2em}{0ex}}\\ \hfill & =\left({u}_{1}+{w}_{1}\right)-\left({u}_{2}+{w}_{2}\right)\phantom{\rule{2em}{0ex}}& \hfill & \phantom{\rule{2em}{0ex}}& \hfill & \phantom{\rule{2em}{0ex}}\\ \hfill & =\left({u}_{1}-{u}_{2}\right)+\left({w}_{1}-{w}_{2}\right)\phantom{\rule{2em}{0ex}}& \hfill & \text{}\text{Property AA}\text{}\phantom{\rule{2em}{0ex}}& \hfill & \phantom{\rule{2em}{0ex}}& \hfill & \phantom{\rule{2em}{0ex}}\end{array}$$By Property AC, ${u}_{1}-{u}_{2}\in U$ and ${w}_{1}-{w}_{2}\in W$. We can now apply our hypothesis, the second statement of the theorem, to conclude that

$$\begin{array}{llllllll}\hfill {u}_{1}-{u}_{2}& =0\phantom{\rule{2em}{0ex}}& \hfill {w}_{1}-{w}_{2}& =0\phantom{\rule{2em}{0ex}}& \hfill & \phantom{\rule{2em}{0ex}}& \hfill & \phantom{\rule{2em}{0ex}}\\ \hfill {u}_{1}& ={u}_{2}\phantom{\rule{2em}{0ex}}& \hfill {w}_{1}& ={w}_{2}\phantom{\rule{2em}{0ex}}& \hfill & \phantom{\rule{2em}{0ex}}& \hfill & \phantom{\rule{2em}{0ex}}\\ \hfill & \phantom{\rule{2em}{0ex}}& \hfill & \phantom{\rule{2em}{0ex}}& \hfill \end{array}$$which establishes the uniqueness needed for the second condition of the definition. $\u25a0$

Our second equivalence lends further credence to calling a direct sum a decomposition. The two subspaces of a direct sum have no (nontrivial) elements in common.

Theorem DSZI

Direct Sums and Zero Intersection

Suppose $U$ and
$W$ are subspaces of
the vector space $V$.
Then $V=U\oplus W$
if and only if

- For every $v\in V$, there exists vectors $u\in U$, $w\in W$ such that $v=u+w$.
- $U\cap W=\left\{0\right\}$.

Proof The first condition is identical in the definition and the theorem, so we only need to establish the equivalence of the second conditions.

($\Rightarrow $) Assume that $V=U\oplus W$, according to Definition DS. By Property Z and Definition SI, $\left\{0\right\}\subseteq U\cap W$. To establish the opposite inclusion, suppose that $x\in U\cap W$. Then, since $x$ is an element of both $U$ and $W$, we can write two decompositions of $x$ as a vector from $U$ plus a vector from $W$,

$$\begin{array}{llllllll}\hfill x& =x+0\phantom{\rule{2em}{0ex}}& \hfill x& =0+x\phantom{\rule{2em}{0ex}}& \hfill & \phantom{\rule{2em}{0ex}}& \hfill & \phantom{\rule{2em}{0ex}}\end{array}$$By the uniqeness of the decomposition, we see (twice) that $x=0$ and $U\cap W\subseteq \left\{0\right\}$. Applying Definition SE, we have $U\cap W=\left\{0\right\}$.

($\Leftarrow $) Assume that $U\cap W=\left\{0\right\}$. And assume further that $v\in V$ is such that $v={u}_{1}+{w}_{1}$ and $v={u}_{2}+{w}_{2}$ where ${u}_{1},\phantom{\rule{0em}{0ex}}{u}_{2}\in U$, ${w}_{1},\phantom{\rule{0em}{0ex}}{w}_{2}\in W$. Define $x={u}_{1}-{u}_{2}$. then by Property AC, $x\in U$. Also

$$\begin{array}{llll}\hfill x& ={u}_{1}-{u}_{2}\phantom{\rule{2em}{0ex}}& \hfill & \phantom{\rule{2em}{0ex}}\\ \hfill & =\left(v-{w}_{1}\right)-\left(v-{w}_{2}\right)\phantom{\rule{2em}{0ex}}& \hfill & \phantom{\rule{2em}{0ex}}\\ \hfill & =\left(v-v\right)-\left({w}_{1}-{w}_{2}\right)\phantom{\rule{2em}{0ex}}& \hfill & \phantom{\rule{2em}{0ex}}\\ \hfill & ={w}_{2}-{w}_{1}\phantom{\rule{2em}{0ex}}& \hfill & \phantom{\rule{2em}{0ex}}\end{array}$$So $x\in W$ by Property AC. Thus, $x\in U\cap W=\left\{0\right\}$ (Definition SI). So $x=0$ and

$$\begin{array}{lllllll}\hfill {u}_{1}-{u}_{2}& =0\phantom{\rule{2em}{0ex}}& \hfill {w}_{2}-{w}_{1}=0& \phantom{\rule{2em}{0ex}}& \hfill & \phantom{\rule{2em}{0ex}}& \hfill \\ \hfill {u}_{1}& ={u}_{2}\phantom{\rule{2em}{0ex}}& \hfill {w}_{2}& ={w}_{1}\phantom{\rule{2em}{0ex}}& \hfill & \phantom{\rule{2em}{0ex}}& \hfill & \phantom{\rule{2em}{0ex}}\\ \hfill & \phantom{\rule{2em}{0ex}}& \hfill & \phantom{\rule{2em}{0ex}}& \hfill \end{array}$$yielding the desired uniqueness of the second condition of the definition. $\u25a0$

If the statement of Theorem DSZV did not remind you of linear independence, the next theorem should establish the connection.

Theorem DSLI

Direct Sums and Linear Independence

Suppose $U$ and
$W$ are subspaces of
the vector space $V$
with $V=U\oplus W$. Suppose
that $R$ is a linearly
independent subset of $U$
and $S$ is a linearly
independent subset of $W$.
Then $R\cup S$ is a linearly
independent subset of $V$.
$\square $

Proof Let $R=\left\{{u}_{1},\phantom{\rule{0em}{0ex}}{u}_{2},\phantom{\rule{0em}{0ex}}{u}_{3},\phantom{\rule{0em}{0ex}}\dots ,\phantom{\rule{0em}{0ex}}{u}_{k}\right\}$ and $S=\left\{{w}_{1},\phantom{\rule{0em}{0ex}}{w}_{2},\phantom{\rule{0em}{0ex}}{w}_{3},\phantom{\rule{0em}{0ex}}\dots ,\phantom{\rule{0em}{0ex}}{w}_{\ell}\right\}$. Begin with a relation of linear dependence (Definition RLD) on the set $R\cup S$ using scalars ${a}_{1},\phantom{\rule{0em}{0ex}}{a}_{2},\phantom{\rule{0em}{0ex}}{a}_{3},\phantom{\rule{0em}{0ex}}\dots ,\phantom{\rule{0em}{0ex}}{a}_{k}$ and ${b}_{1},\phantom{\rule{0em}{0ex}}{b}_{2},\phantom{\rule{0em}{0ex}}{b}_{3},\phantom{\rule{0em}{0ex}}\dots ,\phantom{\rule{0em}{0ex}}{b}_{\ell}$. Then,

$$\begin{array}{llll}\hfill 0& ={a}_{1}{u}_{1}+{a}_{2}{u}_{2}+{a}_{3}{u}_{3}+\cdots +{a}_{k}{u}_{k}+{b}_{1}{w}_{1}+{b}_{2}{w}_{2}+{b}_{3}{w}_{3}+\cdots +{b}_{\ell}{w}_{\ell}\phantom{\rule{2em}{0ex}}& \hfill & \phantom{\rule{2em}{0ex}}\\ \hfill & =\left({a}_{1}{u}_{1}+{a}_{2}{u}_{2}+{a}_{3}{u}_{3}+\cdots +{a}_{k}{u}_{k}\right)+\left({b}_{1}{w}_{1}+{b}_{2}{w}_{2}+{b}_{3}{w}_{3}+\cdots +{b}_{\ell}{w}_{\ell}\right)\phantom{\rule{2em}{0ex}}& \hfill & \phantom{\rule{2em}{0ex}}\\ \hfill & =u+w\phantom{\rule{2em}{0ex}}& \hfill & \phantom{\rule{2em}{0ex}}\end{array}$$where we have made an implicit definition of the vectors $u\in U$, $w\in W$. Applying Theorem DSZV we conclude that

$$\begin{array}{llll}\hfill u& ={a}_{1}{u}_{1}+{a}_{2}{u}_{2}+{a}_{3}{u}_{3}+\cdots +{a}_{k}{u}_{k}=0\phantom{\rule{2em}{0ex}}& \hfill & \phantom{\rule{2em}{0ex}}\\ \hfill w& ={b}_{1}{w}_{1}+{b}_{2}{w}_{2}+{b}_{3}{w}_{3}+\cdots +{b}_{\ell}{w}_{\ell}=0\phantom{\rule{2em}{0ex}}& \hfill & \phantom{\rule{2em}{0ex}}\end{array}$$Now the linear independence of $R$ and $S$ (individually) yields

$$\begin{array}{llllllll}\hfill {a}_{1}& ={a}_{2}={a}_{3}=\cdots ={a}_{k}=0\phantom{\rule{2em}{0ex}}& \hfill {b}_{1}& ={b}_{2}={b}_{3}=\cdots ={b}_{\ell}=0\phantom{\rule{2em}{0ex}}& \hfill & \phantom{\rule{2em}{0ex}}& \hfill & \phantom{\rule{2em}{0ex}}\end{array}$$Forced to acknowledge that only a trivial linear combination yields the zero vector, Definition LI says the set $R\cup S$ is linearly independent in $V$. $\u25a0$

Our last theorem in this collection will go some ways towards explaining the word “sum” in the moniker “direct sum,” while also partially explaining why these results appear in a section devoted to a discussion of dimension.

Theorem DSD

Direct Sums and Dimension

Suppose $U$ and
$W$ are subspaces of
the vector space $V$
with $V=U\oplus W$.
Then $dim\left(V\right)=dim\left(U\right)+dim\left(W\right)$.
$\square $

Proof We will establish this equality of positive integers with two inequalities. We will need a basis of $U$ (call it $B$) and a basis of $W$ (call it $C$).

First, note that $B$ and $C$ have sizes equal to the dimensions of the respective subspaces. The union of these two linearly independent sets, $B\cup C$ will be linearly independent in $V$ by Theorem DSLI. Further, the two bases have no vectors in common by Theorem DSZI, since $B\cap C\subseteq \left\{0\right\}$ and the zero vector is never an element of a linearly independent set (Exercise LI.T10). So the size of the union is exactly the sum of the dimensions of $U$ and $W$. By Theorem G the size of $B\cup C$ cannot exceed the dimension of $V$ without being linearly dependent. These observations give us $dim\left(U\right)+dim\left(W\right)\le dim\left(V\right)$.

Grab any vector $v\in V$. Then by Theorem DSZI we can write $v=u+w$ with $u\in U$ and $w\in W$. Individually, we can write $u$ as a linear combination of the basis elements in $B$, and similarly, we can write $w$ as a linear combination of the basis elements in $C$, since the bases are spanning sets for their respective subspaces. These two sets of scalars will provide a linear combination of all of the vectors in $B\cup C$ which will equal $v$. The upshot of this is that $B\cup C$ is a spanning set for $V$. By Theorem G, the size of $B\cup C$ cannot be smaller than the dimension of $V$ without failing to span $V$. These observations give us $dim\left(U\right)+dim\left(W\right)\ge dim\left(V\right)$. $\u25a0$

There is a certain appealling symmetry in the previous proof, where both linear independence and spanning properties of the bases are used, both of the first two conclusions of Theorem G are employed, and we have quoted both of the two conditions of Theorem DSZI.

One final theorem tells us that we can successively decompose direct sums into sums of smaller and smaller subspaces.

Theorem RDS

Repeated Direct Sums

Suppose $V$ is a vector
space with subspaces $U$
and $W$ with
$V=U\oplus W$. Suppose
that $X$ and
$Y$ are
subspaces of $W$
with $W=X\oplus Y$.
Then $V=U\oplus X\oplus Y$.
$\square $

Proof Suppose that $v\in V$. Then due to $V=U\oplus W$, there exist vectors $u\in U$ and $w\in W$ such that $v=u+w$. Due to $W=X\oplus Y$, there exist vectors $x\in X$ and $y\in Y$ such that $w=x+y$. All together,

$$\begin{array}{llll}\hfill v& =u+w=u+x+y\phantom{\rule{2em}{0ex}}& \hfill & \phantom{\rule{2em}{0ex}}\end{array}$$which would be the first condition of a definition of a 3-way direct product. Now consider the uniqueness. Suppose that

$$\begin{array}{llllllll}\hfill v& ={u}_{1}+{x}_{1}+{y}_{1}\phantom{\rule{2em}{0ex}}& \hfill v& ={u}_{2}+{x}_{2}+{y}_{2}\phantom{\rule{2em}{0ex}}& \hfill & \phantom{\rule{2em}{0ex}}& \hfill & \phantom{\rule{2em}{0ex}}\end{array}$$Because ${x}_{1}+{y}_{1}\in W$, ${x}_{2}+{y}_{2}\in W$, and $V=U\oplus W$, we conclude that

$$\begin{array}{llllllll}\hfill {u}_{1}& ={u}_{2}\phantom{\rule{2em}{0ex}}& \hfill {x}_{1}+{y}_{1}& ={x}_{2}+{y}_{2}\phantom{\rule{2em}{0ex}}& \hfill & \phantom{\rule{2em}{0ex}}& \hfill & \phantom{\rule{2em}{0ex}}\end{array}$$From the second equality, an application of $W=X\oplus Y$ yields the conclusions ${x}_{1}={x}_{2}$ and ${y}_{1}={y}_{2}$. This establishes the uniqueness of the decomposition of $v$ into a sum of vectors from $U$, $X$ and $Y$. $\u25a0$

Remember that when we write $V=U\oplus W$ there always needs to be a “superspace,” in this case $V$. The statement $U\oplus W$ is meaningless. Writing $V=U\oplus W$ is simply a shorthand for a somewhat complicated relationship between $V$, $U$ and $W$, as described in the two conditions of Definition DS, or Theorem DSZV, or Theorem DSZI. Theorem DSFB and Theorem DSFOS gives us sure-fire ways to build direct sums, while Theorem DSLI, Theorem DSD and Theorem RDS tell us interesting properties of direct sums. This subsection has been long on theorems and short on examples. If we were to use the term “lemma” we might have chosen to label some of these results as such, since they will be important tools in other proofs, but may not have much interest on their own (see Technique LC). We will be referencing these results heavily in later sections, and will remind you then to come back for a second look.

- Why does Theorem G have the title it does?
- What is so surprising about Theorem RMRT?
- Row-reduce the matrix $A$
to reduced row-echelon form. Without any further
computations, compute the dimensions of the four subspaces,
$\mathcal{N}\phantom{\rule{0em}{0ex}}\left(A\right)$,
$\mathcal{C}\phantom{\rule{0em}{0ex}}\left(A\right)$,
$\mathcal{\mathcal{R}}\phantom{\rule{0em}{0ex}}\left(A\right)$ and
$\mathcal{\mathcal{L}}\phantom{\rule{0em}{0ex}}\left(A\right)$.
$$A=\left[\begin{array}{ccccc}\hfill 1\hfill & \hfill -1\hfill & \hfill 2\hfill & \hfill 8\hfill & \hfill 5\hfill \\ \hfill 1\hfill & \hfill 1\hfill & \hfill 1\hfill & \hfill 4\hfill & \hfill -1\hfill \\ \hfill 0\hfill & \hfill 2\hfill & \hfill -3\hfill & \hfill -8\hfill & \hfill -6\hfill \\ \hfill 2\hfill & \hfill 0\hfill & \hfill 1\hfill & \hfill 8\hfill & \hfill 4\hfill \end{array}\right]$$

C10 Example SVP4 leaves several details for the reader to check. Verify
these five claims.

Contributed by Robert Beezer

M50 Mimic Definition DS and construct a reasonable definition of
$V={U}_{1}\oplus {U}_{2}\oplus {U}_{3}\oplus \dots \oplus {U}_{m}$.

Contributed by Robert Beezer

T05 Trivially, if $U$
and $V$ are two
subspaces of $W$,
then $dim\left(U\right)=dim\left(V\right)$.
Combine this fact, Theorem PSSD, and Theorem EDYES all into one grand
combined theorem. You might look to Theorem PIP stylistic inspiration.
(Notice this problem does not ask you to prove anything. It just asks you to
roll up three theorems into one compact, logically equivalent statement.)

Contributed by Robert Beezer

T10 Prove the following theorem, which could be viewed as a reformulation of parts (3) and (4) of Theorem G, or more appropriately as a corollary of Theorem G (Technique LC).

Suppose $V$ is a vector
space and $S$ is a subset of
$V$ such that the number
of vectors in $S$ equals the
dimendion of $V$. Then
$S$ is linearly independent
if and only if $S$
spans $V$.

Contributed by Robert Beezer

T15 Suppose that $A$
is an $m\times n$ matrix
and let $\text{min}\left(m,n\right)$ denote
the minimum of $m$
and $n$. Prove
that $r\left(A\right)\le \text{min}\left(m,n\right)$.

Contributed by Robert Beezer

T20 Suppose that $A$
is an $m\times n$ matrix and
$b\in {\u2102}^{m}$. Prove that the linear
system $\mathcal{\mathcal{L}}\mathcal{S}\phantom{\rule{0em}{0ex}}\left(A,\phantom{\rule{0em}{0ex}}b\right)$ is consistent
if and only if $r\left(A\right)=r\left(\left[\left.A\phantom{\rule{0em}{0ex}}\right|\phantom{\rule{0em}{0ex}}b\right]\right)$.

Contributed by Robert Beezer Solution [1031]

T25 Suppose that $V$
is a vector space with finite dimension. Let
$W$ be any
subspace of $V$.
Prove that $W$
has finite dimension.

Contributed by Robert Beezer

T60 Suppose that $W$ is a vector
space with dimension 5, and $U$
and $V$ are subspaces of
$W$, each of dimension
3. Prove that $U\cap V$
contains a non-zero vector. State a more general result.

Contributed by Joe Riegsecker Solution [1031]

T20 Contributed by Robert Beezer Statement [1030]

($\Rightarrow $) Suppose first that
$\mathcal{\mathcal{L}}\mathcal{S}\phantom{\rule{0em}{0ex}}\left(A,\phantom{\rule{0em}{0ex}}b\right)$ is consistent. Then
by Theorem CSCS, $b\in \mathcal{C}\phantom{\rule{0em}{0ex}}\left(A\right)$.
This means that $\mathcal{C}\phantom{\rule{0em}{0ex}}\left(A\right)=\mathcal{C}\phantom{\rule{0em}{0ex}}\left(\left[\left.A\phantom{\rule{0em}{0ex}}\right|\phantom{\rule{0em}{0ex}}b\right]\right)$ and
so it follows that $r\left(A\right)=r\left(\left[\left.A\phantom{\rule{0em}{0ex}}\right|\phantom{\rule{0em}{0ex}}b\right]\right)$.

($\Leftarrow $) Adding a column to a matrix will only increase the size of its column space, so in all cases, $\mathcal{C}\phantom{\rule{0em}{0ex}}\left(A\right)\subseteq \mathcal{C}\phantom{\rule{0em}{0ex}}\left(\left[\left.A\phantom{\rule{0em}{0ex}}\right|\phantom{\rule{0em}{0ex}}b\right]\right)$. However, if we assume that $r\left(A\right)=r\left(\left[\left.A\phantom{\rule{0em}{0ex}}\right|\phantom{\rule{0em}{0ex}}b\right]\right)$, then by Theorem EDYES we conclude that $\mathcal{C}\phantom{\rule{0em}{0ex}}\left(A\right)=\mathcal{C}\phantom{\rule{0em}{0ex}}\left(\left[\left.A\phantom{\rule{0em}{0ex}}\right|\phantom{\rule{0em}{0ex}}b\right]\right)$. Then $b\in \mathcal{C}\phantom{\rule{0em}{0ex}}\left(\left[\left.A\phantom{\rule{0em}{0ex}}\right|\phantom{\rule{0em}{0ex}}b\right]\right)=\mathcal{C}\phantom{\rule{0em}{0ex}}\left(A\right)$ so by Theorem CSCS, $\mathcal{\mathcal{L}}\mathcal{S}\phantom{\rule{0em}{0ex}}\left(A,\phantom{\rule{0em}{0ex}}b\right)$ is consistent.

T60 Contributed by Robert Beezer Statement [1030]

Let $\left\{{u}_{1},\phantom{\rule{0em}{0ex}}{u}_{2},\phantom{\rule{0em}{0ex}}{u}_{3}\right\}$ and
$\left\{{v}_{1},\phantom{\rule{0em}{0ex}}{v}_{2},\phantom{\rule{0em}{0ex}}{v}_{3}\right\}$ be bases
for $U$ and
$V$ (respectively).
Then, the set $\left\{{u}_{1},\phantom{\rule{0em}{0ex}}{u}_{2},\phantom{\rule{0em}{0ex}}{u}_{3},\phantom{\rule{0em}{0ex}}{v}_{1},\phantom{\rule{0em}{0ex}}{v}_{2},\phantom{\rule{0em}{0ex}}{v}_{3}\right\}$
is linearly dependent, since Theorem G says we cannot have 6 linearly
independent vectors in a vector space of dimension 5. So we can assert that there
is a non-trivial relation of linear dependence,

$${a}_{1}{u}_{1}+{a}_{2}{u}_{2}+{a}_{3}{u}_{3}+{b}_{1}{v}_{1}+{b}_{2}{v}_{2}+{b}_{3}{v}_{3}=0$$ |

where ${a}_{1},\phantom{\rule{0em}{0ex}}{a}_{2},\phantom{\rule{0em}{0ex}}{a}_{3}$ and ${b}_{1},\phantom{\rule{0em}{0ex}}{b}_{2},\phantom{\rule{0em}{0ex}}{b}_{3}$ are not all zero.

We can rearrange this equation as

$${a}_{1}{u}_{1}+{a}_{2}{u}_{2}+{a}_{3}{u}_{3}=-{b}_{1}{v}_{1}-{b}_{2}{v}_{2}-{b}_{3}{v}_{3}$$ |

This is an equality of two vectors, so we can give this common vector a name, say $w$,

$$w={a}_{1}{u}_{1}+{a}_{2}{u}_{2}+{a}_{3}{u}_{3}=-{b}_{1}{v}_{1}-{b}_{2}{v}_{2}-{b}_{3}{v}_{3}$$ |

This is the desired non-zero vector, as we will now show.

First, since $w={a}_{1}{u}_{1}+{a}_{2}{u}_{2}+{a}_{3}{u}_{3}$, we can see that $w\in U$. Similarly, $w=-{b}_{1}{v}_{1}-{b}_{2}{v}_{2}-{b}_{3}{v}_{3}$, so $w\in V$. This establishes that $w\in U\cap V$ (Definition SI).

Is $w\ne 0$? Suppose not, in other words, suppose $w=0$. Then

$$0=w={a}_{1}{u}_{1}+{a}_{2}{u}_{2}+{a}_{3}{u}_{3}$$ |

Because $\left\{{u}_{1},\phantom{\rule{0em}{0ex}}{u}_{2},\phantom{\rule{0em}{0ex}}{u}_{3}\right\}$ is a basis for $U$, it is a linearly independent set and the relation of linear dependence above means we must conclude that ${a}_{1}={a}_{2}={a}_{3}=0$. By a similar process, we would conclude that ${b}_{1}={b}_{2}={b}_{3}=0$. But this is a contradiction since ${a}_{1},\phantom{\rule{0em}{0ex}}{a}_{2},\phantom{\rule{0em}{0ex}}{a}_{3},\phantom{\rule{0em}{0ex}}{b}_{1},\phantom{\rule{0em}{0ex}}{b}_{2},\phantom{\rule{0em}{0ex}}{b}_{3}$ were chosen so that some were nonzero. So $w\ne 0$.

How does this generalize? All we really needed was the original relation of linear dependence that resulted because we had “too many” vectors in $W$. A more general statement would be: Suppose that $W$ is a vector space with dimension $n$, $U$ is a subspace of dimension $p$ and $V$ is a subspace of dimension $q$. If $p+q>n$, then $U\cap V$ contains a non-zero vector.