maths.freeLinear Algebra › 3. Matrices › Column and Row Spaces

Column and Row Spaces

A matrix-vector product () is a linear combination of the columns of the matrix and this allows us to connect matrix multiplication with systems of equations via .

Column and Row Spaces

A matrix-vector product () is a linear combination of the columns of the matrix and this allows us to connect matrix multiplication with systems of equations via . Row operations are linear combinations of the rows of a matrix, and of course, reduced row-echelon form () is also intimately related to solving systems of equations. In this section we will formalize these ideas with two key definitions of sets of vectors derived from a matrix.

  1. \begin{bmatrix} 1 & 3 & 1 & 3\\ 2 & 0 & 1 & 1\\ -1 & 2 & 1 & 0 \end{bmatrix}
  2. Suppose that $A$ is an $n\times n$ nonsingular matrix. What can you say about its column space?
  3. \begin{bmatrix} 1 & 3 & 1 & 3\\ 2 & 0 & 1 & 1\\ -1 & 2 & 1 & 0 \end{bmatrix}

Column Spaces and Systems of Equations

showed us that there is a natural correspondence between solutions to linear systems and linear combinations of the columns of the coefficient matrix. This idea motivates the following important definition.

Some authors refer to the column space of a matrix as the range, but we will reserve this term for use with linear transformations ().

Upon encountering any new set, the first question we ask is what objects are in the set, and which objects are not? Here is an example of one way to answer this question, and it will motivate a theorem that will then answer the question precisely.

Example: Column space of a matrix and consistent systems

and are linear systems of equations, with an identical $3\times 4$ coefficient matrix, which we call $A$ here. However, is consistent, while is not. We can explain this difference by employing the column space of the matrix $A$.

The column vector of constants, $\vect{b}$, in is given below, and one solution listed for $\linearsystem{A}{\vect{b}}$ is $\vect{x}$, \vect{b}&=\colvector{8\\-12\\4} & \vect{x}&=\colvector{7\\8\\1\\3}

By , we can summarize this solution as a linear combination of the columns of $A$ that equals $\vect{b}$, 7\colvector{2\\-3\\1}+ 8\colvector{1\\4\\1}+ 1\colvector{7\\-5\\4}+ 3\colvector{-7\\-6\\-5}= \colvector{8\\-12\\4}=\vect{b}.

This equation says that $\vect{b}$ is a linear combination of the columns of $A$, and then by , we can say that $\vect{b}\in\csp{A}$.

On the other hand, is the linear system $\linearsystem{A}{\vect{c}}$, where the vector of constants is \vect{c}=\colvector{2\\3\\2} and this system of equations is inconsistent. This means $\vect{c}\not\in\csp{A}$, for if it were, then it would equal a linear combination of the columns of $A$ and would lead us to a solution of the system $\linearsystem{A}{\vect{c}}$.

So if we fix the coefficient matrix, and vary the vector of constants, we can sometimes find consistent systems, and sometimes inconsistent systems. The vectors of constants that lead to consistent systems are exactly the elements of the column space. This is the content of the next theorem, and since it is an equivalence, it provides an alternate view of the column space.

Employing we can form the chain of equivalences \vect{b}\in\csp{A} \iff \linearsystem{A}{\vect{b}}\text{ is consistent} \iff A\vect{x}=\vect{b}\text{ for some }\vect{x}

Condensed — the full section is in Beezer, A First Course in Linear Algebra.

Column Space Spanned by Original Columns

So we have a foolproof, automated procedure for determining membership in $\csp{A}$. While this works just fine a vector at a time, we would like to have a more useful description of the set $\csp{A}$ as a whole. The next example will preview the first of two fundamental results about the column space of a matrix.

Example: Column space, two ways

Consider the $5\times 7$ matrix $A$, \begin{bmatrix} 2 & 4 & 1 & -1 & 1 & 4 & 4 \\ 1 & 2 & 1 & 0 & 2 & 4 & 7 \\ 0 & 0 & 1 & 4 & 1 & 8 & 7 \\ 1 & 2 & -1 & 2 & 1 & 9 & 6 \\ -2 & -4 & 1 & 3 & -1 & -2 & -2 \end{bmatrix}

According to the definition (), the column space of $A$ is \csp{A}= \spn{\set{ \colvector{ 2 \\ 1 \\ 0 \\ 1 \\ -2 },\, \colvector{ 4 \\ 2 \\ 0 \\ 2 \\ -4 },\, \colvector{ 1 \\ 1 \\ 1 \\ -1 \\ 1 },\, \colvector{ -1 \\ 0 \\ 4 \\ 2 \\ 3 },\, \colvector{ 1 \\ 2 \\ 1 \\ 1 \\ -1 },\, \colvector{ 4 \\ 4 \\ 8 \\ 9 \\ -2 },\, \colvector{ 4 \\ 7 \\ 7 \\ 6 \\ -2 } }}

While this is a concise description of an infinite set, we might be able to describe the span with fewer than seven vectors. This is the substance of . So we take these seven vectors and make them the columns of a matrix, which is simply the original matrix $A$ again. Now we row-reduce, \begin{bmatrix} 2 & 4 & 1 & -1 & 1 & 4 & 4 \\ 1 & 2 & 1 & 0 & 2 & 4 & 7 \\ 0 & 0 & 1 & 4 & 1 & 8 & 7 \\ 1 & 2 & -1 & 2 & 1 & 9 & 6 \\ -2 & -4 & 1 & 3 & -1 & -2 & -2 \end{bmatrix} \rref \begin{bmatrix} \leading{1} & 2 & 0 & 0 & 0 & 3 & 1 \\ 0 & 0 & \leading{1} & 0 & 0 & -1 & 0 \\ 0 & 0 & 0 & \leading{1} & 0 & 2 & 1 \\ 0 & 0 & 0 & 0 & \leading{1} & 1 & 3 \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 \end{bmatrix}

The pivot columns are $D=\set{1,\,3,\,4,\,5}$, so we can create the set T=\set{ \colvector{ 2 \\ 1 \\ 0 \\ 1 \\ -2 },\, \colvector{ 1 \\ 1 \\ 1 \\ -1 \\ 1 },\, \colvector{ -1 \\ 0 \\ 4 \\ 2 \\ 3 },\, \colvector{ 1 \\ 2 \\ 1 \\ 1 \\ -1 } } and know that $\csp{A}=\spn{T}$ and $T$ is a linearly independent set of columns from the set of columns of $A$.

We will now formalize the previous example, which will make it trivial to determine a linearly independent set of vectors that will span the column space of a matrix, and is constituted of just columns of $A$.

Condensed — the full section is in Beezer, A First Course in Linear Algebra.

Column Space of a Nonsingular Matrix

Let us specialize to square matrices and contrast the column spaces of the coefficient matrices in and .

Example: Column space of Archetype A

The coefficient matrix in is $A$, which row-reduces to $B$, A&=&B&=

Columns 1 and 2 are pivot columns, so by we can write \csp{A}=\spn{\set{\vect{A}_1,\,\vect{A}_2}}=\spn{\set{\colvector{1\\2\\1},\,\colvector{-1\\1\\1}}}.

We want to show in this example that $\csp{A}\neq\complex{3}$. So take, for example, the vector $\vect{b}=\colvector{1\\3\\2}$. Then there is no solution to the system $\linearsystem{A}{\vect{b}}$, or equivalently, it is not possible to write $\vect{b}$ as a linear combination of $\vect{A}_1$ and $\vect{A}_2$. Try one of these two computations yourself. (Or try both!). Since $\vect{b}\not\in\csp{A}$, the column space of $A$ cannot be all of $\complex{3}$. So by varying the vector of constants, it is possible to create inconsistent systems of equations with this coefficient matrix (the vector $\vect{b}$ being one such example).

In we wished to show that the coefficient matrix from was not invertible as a first example of a matrix without an inverse. Our device there was to find an inconsistent linear system with $A$ as the coefficient matrix. The vector of constants in that example was $\vect{b}$, deliberately chosen outside the column space of $A$.

Example: Column space of Archetype B

The coefficient matrix in , call it $B$ here, is known to be nonsingular (see ). By , the linear system $\linearsystem{B}{\vect{b}}$ has a (unique) solution for every choice of $\vect{b}$. then says that $\vect{b}\in\csp{B}$ for all $\vect{b}\in\complex{3}$. Stated differently, there is no way to build an inconsistent system with the coefficient matrix $B$, but then we knew that already from .

and together motivate the following equivalence, which says that nonsingular matrices have column spaces that are as big as possible.

With this equivalence for nonsingular matrices we can update our list, .

Condensed — the full section is in Beezer, A First Course in Linear Algebra.

Row Space of a Matrix

The rows of a matrix can be viewed as vectors, since they are just lists of numbers, arranged horizontally. So we will transpose a matrix, turning rows into columns, so we can then manipulate rows as column vectors. As a result we will be able to make some new connections between row operations and solutions to systems of equations. OK, here is the second primary definition of this section.

Informally, the row space is the set of all linear combinations of the rows of $A$. However, we write the rows as column vectors, thus the necessity of using the transpose to make the rows into columns. Additionally, with the row space defined in terms of the column space, all of the previous results of this section can be applied to row spaces.

Notice that if $A$ is a rectangular $m\times n$ matrix, then $\csp{A}\subseteq\complex{m}$, while $\rsp{A}\subseteq\complex{n}$ and the two sets are not comparable since they do not even hold objects of the same type. However, when $A$ is square of size $n$, both $\csp{A}$ and $\rsp{A}$ are subsets of $\complex{n}$, though usually the sets will not be equal (but see ).

Example: Row space of Archetype I

The coefficient matrix in is I=

To build the row space, we transpose the matrix, \transpose{I}= \begin{bmatrix} 1 & 2 & 0 & -1\\ 4 & 8 & 0 & -4\\ 0 & -1 & 2 & 2\\ -1 & 3 & -3 & 4\\ 0 & 9 & -4 & 8\\ 7 & -13 & 12 & -31\\ -9 & 7 & -8 & 37 \end{bmatrix}

Then the columns of this matrix are used in a span to build the row space, \rsp{I}=\csp{\transpose{I}}= \spn{\set{ \colvector{1\\4\\0\\-1\\0\\7\\-9},\, \colvector{2\\8\\-1\\3\\9\\-13\\7},\, \colvector{0\\0\\2\\-3\\-4\\12\\-8},\, \colvector{-1\\-4\\2\\4\\8\\-31\\37} }}.

However, we can use to get a slightly better description. First, row-reduce $\transpose{I}$, \begin{bmatrix} \leading{1} & 0 & 0 & -\frac{31}{7}\\ 0 & \leading{1} & 0 & \frac{12}{7}\\ 0 & 0 & \leading{1} & \frac{13}{7}\\ 0 & 0 & 0 & 0\\ 0 & 0 & 0 & 0\\ 0 & 0 & 0 & 0\\ 0 & 0 & 0 & 0 \end{bmatrix}.

Since the pivot columns have indices $D=\set{1,\,2,\,3}$, the column space of $\transpose{I}$ can be spanned by just the first three columns of $\transpose{I}$, \rsp{I}=\csp{\transpose{I}}= \spn{\set{ \colvector{1\\4\\0\\-1\\0\\7\\-9},\, \colvector{2\\8\\-1\\3\\9\\-13\\7},\, \colvector{0\\0\\2\\-3\\-4\\12\\-8} }}.

Condensed — the full section is in Beezer, A First Course in Linear Algebra.

Symbols used here

A = \begin{pmatrix} a & b \\ c & d \end{pmatrix}
matrix
A rectangular array of numbers; a linear map.
x \in A,\ A \subseteq B
element of, subset
x belongs to A; every element of A is in B.
\leq,\ \geq
less/greater than or equal
Inequalities that allow equality; < and > exclude it.
\neq
not equal
The two sides are different.
\mathbf{v},\ \vec{v}
vector
A quantity with magnitude and direction; a column of numbers.
\det A,\ |A|
determinant
Scaling factor of area/volume under A; zero means singular.
A^{-1},\ A^{T}
inverse, transpose
The matrix that undoes A; A with rows and columns swapped.
\lambda
lambda (eigenvalue)
The factor by which an eigenvector is stretched: Av = λv.
\mathbf{u} \cdot \mathbf{v},\ \|\mathbf{v}\|
dot product, norm
Σ u_i v_i; the length of v, √(v·v).

Questions people ask

What does a determinant mean geometrically?

It is the factor by which the matrix scales area (2×2) or volume (3×3), with a negative sign if orientation flips. Zero means the matrix flattens space and cannot be undone.

What is an eigenvector?

A direction the matrix does not turn — it only stretches it by the eigenvalue. Along eigenvectors a complicated matrix acts like multiplication by a number.

Why is matrix multiplication not commutative?

Because a matrix is a transformation and AB means "do B, then A". Rotating then reflecting is not the same as reflecting then rotating.

ನಿಮ್ಮದೇ ಆದದ್ದನ್ನು ಪ್ರಯತ್ನಿಸಿ

Parts of this page are adapted from Beezer, A First Course in Linear Algebra (GFDL 1.2). Condensed and re-explained here; errors are ours.

ಇನ್ನಷ್ಟು Linear Algebra