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×2.
All three can produce the output b=⎣⎡495⎦⎤; in other words, b∈colsp(A), b∈colsp(B), and b∈colsp(C). But knowing the output doesn’t always tell us what the input was.
For A, the input has to be [45]: its two entries become the first and third entries of the output. So
A[45]=⎣⎡495⎦⎤
is the only way to produce b.
For B, there is more than one way:
B⎣⎡450⎦⎤=B⎣⎡261⎦⎤=⎣⎡495⎦⎤.
In fact, there are infinitely many inputs of the form ⎣⎡4−2t5+tt⎦⎤. Knowing the output doesn’t let us recover the input.
For C, the only input is ⎣⎡450⎦⎤. To see why, write Cx=b in matrix form:
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.
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 a3 is the same as adding two copies of a1 and subtracting one copy of a2. We can compensate by changing the other coefficients:
This works for any starting input and any real number t. Every output in colsp(B) has infinitely many inputs.
We could remove the third column, but we could also remove the second, since a2=2a1−a3. There may be several choices of which vector to remove from a dependent collection.
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=⎣⎡110011243⎦⎤.
The first two columns are the same as A’s. The third column is outside their plane,
x−y+z=0,
since 2−4+3=0. 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.
Recall that an inverse undoes multiplication by a matrix. For an n×n matrix A, its inverse A−1 satisfies
A−1A=AA−1=In.
If we know the output b, we can recover the input by computing x=A−1b. So an invertible matrix must produce every vector in Rn, 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:
Matrix
Column space
Columns independent?
Invertible?
A
The plane x−y+z=0
Yes
No: A is not square
B
The plane x−y+z=0
No
No
C
All of R3
Yes
Yes
Both A and C have independent columns, but A only produces vectors on a plane, while C produces every vector in R3. The equivalences in the “Invertibility and columns” box above apply to square matrices.
H is invertible. Its columns point along four different coordinate directions, so none can be made using the others. More explicitly,
H⎣⎡x1x2x3x4⎦⎤=⎣⎡2x2−3x14x45x3⎦⎤.
Every output ⎣⎡b1b2b3b4⎦⎤ has exactly one input:
⎣⎡−b2/3b1/2b4/5b3/4⎦⎤.
J is not invertible. Every output has third entry zero, so it cannot produce every vector in R4. Its third column is also 21 times its first minus 34 times its second, so the columns are dependent.
D is not invertible. Its second column is a combination of its first and third columns: a2=3a1−2a3. For example,
D⎣⎡30−2⎦⎤=D⎣⎡010⎦⎤=⎣⎡47−6⎦⎤.
E is invertible. For any output ⎣⎡b1b2b3⎦⎤, the equations are
3x1−2x2+x3=b1,−x2+4x3=b2,2x3=b3.
Starting with the last equation, we can determine x3, then x2, then x1. Each is uniquely determined, whatever b1,b2,b3 are.
F is not invertible. Its second column is zero. For example,
F⎣⎡100⎦⎤=F⎣⎡150⎦⎤=⎣⎡102⎦⎤.
A column relationship can save us a lot of work. For instance, a zero column is always redundant: adding any multiple of 0 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?