Skip to article frontmatterSkip to article content
Site not loading correctly?

This may be due to an incorrect BASE_URL configuration. See the MyST Documentation for reference.

5.2: Linear independence and invertibility

The column space tells us which outputs a matrix can produce. Now, let’s ask a second question: when an output is possible, how many inputs produce it? This will help us understand when we can undo matrix-vector multiplication, even for matrices larger than 2×22\times2.


Counting inputs

Let’s return to the matrices we used as a running example in Chapter 5.1, AA, BB, and CC:

A=[101101],B=[10211101−1],C=[102114013].A=\begin{bmatrix}1&0\\1&1\\0&1\end{bmatrix},\qquad B=\begin{bmatrix}1&0&2\\1&1&1\\0&1&-1\end{bmatrix},\qquad C=\begin{bmatrix}1&0&2\\1&1&4\\0&1&3\end{bmatrix}.

All three can produce the output b⃗=[495]\vec b=\begin{bmatrix}4\\9\\5\end{bmatrix}; in other words, b⃗∈colsp⁡(A)\vec b\in\operatorname{colsp}(A), b⃗∈colsp⁡(B)\vec b\in\operatorname{colsp}(B), and b⃗∈colsp⁡(C)\vec b\in\operatorname{colsp}(C). But knowing the output doesn’t always tell us what the input was.

  • For AA, the input has to be [45]\begin{bmatrix}4\\5\end{bmatrix}: its two entries become the first and third entries of the output. So

    A[45]=[495]A\begin{bmatrix}4\\5\end{bmatrix}=\begin{bmatrix}4\\9\\5\end{bmatrix}

    is the only way to produce b⃗\vec b.

  • For BB, there is more than one way:

    B[450]=B[261]=[495].B\begin{bmatrix}4\\5\\0\end{bmatrix} =B\begin{bmatrix}2\\6\\1\end{bmatrix} =\begin{bmatrix}4\\9\\5\end{bmatrix}.

    In fact, there are infinitely many inputs of the form [4−2t5+tt]\begin{bmatrix}4-2t\\5+t\\t\end{bmatrix}. Knowing the output doesn’t let us recover the input.

  • For CC, the only input is [450]\begin{bmatrix}4\\5\\0\end{bmatrix}. To see why, write Cx⃗=b⃗C\vec x=\vec b in matrix form:

    [102114013][x1x2x3]⏟x⃗=[b1b2b3]⏟b⃗=[495].\begin{bmatrix}1&0&2\\1&1&4\\0&1&3\end{bmatrix} \underbrace{\begin{bmatrix}x_1\\x_2\\x_3\end{bmatrix}}_{\vec x} =\underbrace{\begin{bmatrix}b_1\\b_2\\b_3\end{bmatrix}}_{\vec b} =\begin{bmatrix}4\\9\\5\end{bmatrix}.

    The equations are

    x1+2x3=4,x1+x2+4x3=9,x2+3x3=5.x_1+2x_3=4,\qquad x_1+x_2+4x_3=9,\qquad x_2+3x_3=5.

    The first and third equations give x1=4−2x3x_1=4-2x_3 and x2=5−3x3x_2=5-3x_3. Substituting into the second gives 9−x3=99-x_3=9, so x3=0x_3=0. Then x1=4x_1=4 and x2=5x_2=5.

What is different about the columns of these matrices?


Linear independence

Think of a collection of vectors as building blocks. If one of them can already be made using the others, it is redundant: removing it doesn’t change the span.

Sometimes we just say independent instead of linearly independent; they mean the same thing.

Dependent columns

For the matrix

B=[10211101−1],B=\begin{bmatrix}1&0&2\\1&1&1\\0&1&-1\end{bmatrix},

call the columns a⃗1,a⃗2,a⃗3\vec a_1,\vec a_2,\vec a_3. They satisfy

a⃗3=2a⃗1−a⃗2.\vec a_3=2\vec a_1-\vec a_2.

So the three columns are linearly dependent. The third column doesn’t add anything to the span of the first two.

This relationship is also why different inputs can produce the same output. Adding one copy of a⃗3\vec a_3 is the same as adding two copies of a⃗1\vec a_1 and subtracting one copy of a⃗2\vec a_2. We can compensate by changing the other coefficients:

B[p−2tq+tr+t]=(p−2t)a⃗1+(q+t)a⃗2+(r+t)(2a⃗1−a⃗2)=B[pqr].B\begin{bmatrix}p-2t\\q+t\\r+t\end{bmatrix} =(p-2t)\vec a_1+(q+t)\vec a_2+(r+t)(2\vec a_1-\vec a_2) =B\begin{bmatrix}p\\q\\r\end{bmatrix}.

This works for any starting input and any real number tt. Every output in colsp⁡(B)\operatorname{colsp}(B) has infinitely many inputs.

We could remove the third column, but we could also remove the second, since a⃗2=2a⃗1−a⃗3\vec a_2=2\vec a_1-\vec a_3. There may be several choices of which vector to remove from a dependent collection.

Independent columns

The columns of

A=[101101]A=\begin{bmatrix}1&0\\1&1\\0&1\end{bmatrix}

are independent: neither is a scalar multiple of the other. Each vector on their plane has just one representation using these two columns.

Now consider

C=[102114013].C=\begin{bmatrix}1&0&2\\1&1&4\\0&1&3\end{bmatrix}.

The first two columns are the same as AA’s. The third column is outside their plane,

x−y+z=0,x-y+z=0,

since 2−4+3≠02-4+3\ne0. It cannot be made using the first two. These three columns are independent, and every vector in their span has just one representation using them.


Invertibility

Recall that an inverse undoes multiplication by a matrix. For an n×nn\times n matrix AA, its inverse A−1A^{-1} satisfies

A−1A=AA−1=In.A^{-1}A=AA^{-1}=I_n.

If we know the output b⃗\vec b, we can recover the input by computing x⃗=A−1b⃗\vec x=A^{-1}\vec b. So an invertible matrix must produce every vector in Rn\mathbb R^n, and each output must come from exactly one input.

This leads to a series of equivalent statements, which connect invertibility to the column space and linear independence.

We don’t need a new inverse formula for each matrix size. We can often decide whether a matrix is invertible by looking at its columns!

For our three matrices:

MatrixColumn spaceColumns independent?Invertible?
AAThe plane x−y+z=0x-y+z=0YesNo: AA is not square
BBThe plane x−y+z=0x-y+z=0NoNo
CCAll of R3\mathbb R^3YesYes

Both AA and CC have independent columns, but AA only produces vectors on a plane, while CC produces every vector in R3\mathbb R^3. The equivalences in the “Invertibility and columns” box above apply to square matrices.

Example: 4×44\times4 matrices

Consider the two matrices

H=[0200−300000040050],J=[20100−34000000005].H=\begin{bmatrix}0&2&0&0\\-3&0&0&0\\0&0&0&4\\0&0&5&0\end{bmatrix},\qquad J=\begin{bmatrix}2&0&1&0\\0&-3&4&0\\0&0&0&0\\0&0&0&5\end{bmatrix}.
  • HH is invertible. Its columns point along four different coordinate directions, so none can be made using the others. More explicitly,

    H[x1x2x3x4]=[2x2−3x14x45x3].H\begin{bmatrix}x_1\\x_2\\x_3\\x_4\end{bmatrix} =\begin{bmatrix}2x_2\\-3x_1\\4x_4\\5x_3\end{bmatrix}.

    Every output [b1b2b3b4]\begin{bmatrix}b_1\\b_2\\b_3\\b_4\end{bmatrix} has exactly one input: [−b2/3b1/2b4/5b3/4]\begin{bmatrix}-b_2/3\\b_1/2\\b_4/5\\b_3/4\end{bmatrix}.

  • JJ is not invertible. Every output has third entry zero, so it cannot produce every vector in R4\mathbb R^4. Its third column is also 12\frac12 times its first minus 43\frac43 times its second, so the columns are dependent.


More examples

Consider these three matrices. What can their columns tell us about invertibility?

D=[24117−20−63],E=[3−210−14002],F=[10200320−1].D=\begin{bmatrix}2&4&1\\1&7&-2\\0&-6&3\end{bmatrix},\qquad E=\begin{bmatrix}3&-2&1\\0&-1&4\\0&0&2\end{bmatrix},\qquad F=\begin{bmatrix}1&0&2\\0&0&3\\2&0&-1\end{bmatrix}.
  • DD is not invertible. Its second column is a combination of its first and third columns: a⃗2=3a⃗1−2a⃗3\vec a_2=3\vec a_1-2\vec a_3. For example,

    D[30−2]=D[010]=[47−6].D\begin{bmatrix}3\\0\\-2\end{bmatrix} =D\begin{bmatrix}0\\1\\0\end{bmatrix} =\begin{bmatrix}4\\7\\-6\end{bmatrix}.
  • EE is invertible. For any output [b1b2b3]\begin{bmatrix}b_1\\b_2\\b_3\end{bmatrix}, the equations are

    3x1−2x2+x3=b1,−x2+4x3=b2,2x3=b3.3x_1-2x_2+x_3=b_1,\qquad -x_2+4x_3=b_2,\qquad 2x_3=b_3.

    Starting with the last equation, we can determine x3x_3, then x2x_2, then x1x_1. Each is uniquely determined, whatever b1,b2,b3b_1,b_2,b_3 are.

  • FF is not invertible. Its second column is zero. For example,

    F[100]=F[150]=[102].F\begin{bmatrix}1\\0\\0\end{bmatrix} =F\begin{bmatrix}1\\5\\0\end{bmatrix} =\begin{bmatrix}1\\0\\2\end{bmatrix}.

A column relationship can save us a lot of work. For instance, a zero column is always redundant: adding any multiple of 0⃗\vec0 doesn’t change a linear combination. Changing the corresponding input entry therefore has no effect on the output.

Independence describes the vectors we’re using to build outputs. In Chapter 5.3, we’ll look more closely at the set of outputs itself: what do these lines, planes, and higher-dimensional collections have in common, and how many independent vectors do we need to describe them?