Let be the 3 by 3 matrix with columns , and , where each tuple stands for a column vector. It sends both and to the same output , so the input change is invisible to it. Which input changes does a matrix send to zero, and which combinations of output entries vanish for every input? This lesson finds both sets, the null space and the left null space, counts their dimensions, and places all four fundamental subspaces of a matrix in their proper spaces.
Key terms
Null space
Definition The null space of a real matrix is the solution set of the homogeneous system ,
It is a subspace of , the input space of . Row operations do not change it. If they take to , then with invertible, so exactly when . A basis comes from the reduced row echelon form, by solving for the pivot variables in terms of the free variables. If , then the solutions of are exactly the vectors with in .
In plain words The null space holds the inputs the matrix sends to zero, which are exactly the input changes that leave every output as it was. The word null describes the output, not the inputs. The null space contains nonzero vectors exactly when the columns of are dependent.
Example The matrix and its reduced row echelon form are
So means and . The variable is free, and
Hence is the line through spanned by , and the rows of check it, since , and . The inputs with output are the vectors , a parallel line that misses the origin.
Nullity
Definition The nullity of is . If is a real matrix of rank , then
Proof. An echelon form of has pivot columns, so has free variables. For each free variable, set it to and the other free variables to , and solve for the pivot variables. This gives vectors in . Each one has a in its own free position and in the other free positions, so a zero combination of them forces every coefficient to be , and they are independent. They also span. Subtracting from a solution the combination of them whose coefficients are its own free entries leaves a solution whose free entries are all , and the reduced equations then make its pivot entries as well. When there are no free variables, the null space is , and its basis is the empty list.
In plain words Each free variable gives one independent direction of input changes that the matrix cannot detect. The nullity counts these directions, and the rank counts the pivot variables, the rest of the input coordinates.
Example Let
The operation gives , and then and give the reduced rows and . The pivots are in columns 1 and 3, so and the variables , are free. Setting , gives , and setting , gives . These two vectors form a basis of , and the nullity is .
Left null space
Definition The left null space of a real matrix is the null space of its transpose,
a subspace of , the output space of . Transposing gives , with on the left, which explains the name. So a vector is in the left null space exactly when the combination times row 1 plus plus times row of is the zero row. For every output ,
Hence if for some in , the system has no solution.
In plain words A left null vector is a list of weights on the rows that cancels them completely. The same weights give a measurement of the output that is zero for every input, so a target with a nonzero measurement cannot be reached.
Example To solve , reduce
The operation gives a zero row and gives . Swapping these two rows, then and , leaves the reduced rows and . So and , and with every solution is . The left null space of has basis , which says that minus row 1 minus row 2 plus row 3 of is the zero row. Every output therefore satisfies . The target gives , so has no solution.
Left nullity
Definition The left nullity of is . If is a real matrix of rank , then
This is the nullity count applied to the matrix , which has columns and rank , because . The left nullity differs from the nullity whenever . If is a basis of , then lies in exactly when for every . When there are no tests, and indeed has dimension , so it is all of . When , the vectors that pass all these tests form the null space of the matrix with the independent rows . That null space has dimension and contains , which also has dimension , so the two subspaces are equal.
In plain words The left nullity counts the independent conditions that every reachable output must satisfy. When it is zero there are no conditions, and every target in can be reached.
Example The matrix
has , and rank . Its nullity is , with basis , and its left nullity is . Directly, the system reads , and , so only remains. The left null space is the zero subspace of , whose basis is the empty list, not the list containing . Every in is an output, even though one input direction is lost. For the left nullity is , so the single test decides exactly which targets are reachable.
Ambient space of a subspace
Definition A subspace of has ambient space , the space whose vectors it is made of. Its vectors, including the vectors of any basis of , have entries, and . For a real matrix , the subspaces and have ambient space , the input space, while and have ambient space , the output space. Subspaces with different ambient spaces cannot be equal, whatever their dimensions.
In plain words Before asking whether a vector lies in a subspace, check that it has the right number of entries. The number of entries says where a vector lives, and the dimension says how much room the subspace takes up there.
Example The matrix
has rank . Its column space is the line in spanned by , and its row space is the line in spanned by . Both have dimension , yet they are different spaces. The null space is the plane in , with basis , , and the left null space is the line in spanned by . That vector is a left null vector, since times row 1 plus row 2 is the zero row. The product of with is not even defined, because takes inputs with three entries.
Four fundamental subspaces
Definition The four fundamental subspaces of a real matrix of rank are its column space, left null space, row space and null space.
| Subspace | Ambient space | Dimension |
|---|---|---|
The dimensions in the output space add up to , and those in the input space add up to . Elimination gives all four bases. Take the pivot columns of for , the nonzero rows of an echelon form for , and the free-variable solutions of and of for the two null spaces.
In plain words Two of the spaces describe outputs, what the matrix can reach and which conditions every output obeys. The other two describe inputs, what the rows can detect and which changes the matrix cannot see. Once the size of the matrix is known, one number, the rank, fixes all four dimensions.
Example For we have and .
| Subspace | Basis | Dimension |
|---|---|---|
| , | ||
| , | ||
All four lie in only because is square. The first two are subspaces of the output space and the last two of the input space, and each basis is checked in its own role. The basis vector of the null space satisfies , the basis vector of the left null space satisfies , and the column basis consists of columns of itself.
Check yourself
- Find a basis of and a basis of for the matrix below.
Show the answer
The second row is times the first, so reduces to . With free, the null space has basis . The transpose has rows and , so reduces to , and the left null space has basis . Check that times is , and that times row 1 plus row 2 is , the zero row. Even for a square matrix the two null spaces can differ.
- A real 4 by 6 matrix has rank . Give the ambient space and the dimension of each of its four fundamental subspaces. Does have a solution for every , and can a solution be unique?
Show the answer
The column space lies in with dimension , and the left null space lies in with dimension , so it is with the empty basis. The row space lies in with dimension , and the null space lies in with dimension . A subspace of of dimension is all of , so every is reachable. No solution is unique, because each solution plus any nonzero vector of the two-dimensional null space is another solution.
- For the matrix below, find a basis of the left null space and the nullity. Then decide, without solving for an input, whether and lie in .
Show the answer
The transpose has rows and . The operation gives , then gives and gives . So and , and the single vector forms a basis of the left null space. Indeed times row 1 plus row 2 plus row 3 is . The transpose has two pivots, so and the nullity of is . For the test gives , so is not in . For it gives . The left nullity is , so this single test is exact and is in . In fact the input gives the output .