Rank and nullity

We shall now restrict attention to the finite-dimensional case and draw certain easy conclusions from the theorem of the preceding section.

Definition 1. The rank , , of a linear transformation on a finite-dimensional vector space is the dimension of ; the nullity , , is the dimension of .

Theorem 1. If is a linear transformation on an -dimensional vector space, then and .

Proof. The theorem of the preceding section and Section: Annihilators , Theorem 1, together imply that Let be any basis for which are in ; then, for any , we have In other words, is a linear combination of the vectors ; it follows that . Applying this result to and using (1), we obtain In (2) we may replace by , obtaining (2) and (3) together show that and (1) and (4) together show that Replacing by in (5) gives, finally, and concludes the proof of the theorem. ◻

These results are usually discussed from a little different point of view. Let be a linear transformation on an -dimensional vector space, and let be a basis in that space; let be the matrix of in the coordinate system , so that Since if , then , it follows that every vector in is a linear combination of the , and hence of any maximal linearly independent subset of the . It follows that the maximal number of linearly independent is precisely . In terms of the coordinates of we may express this by saying that is the maximal number of linearly independent columns of the matrix . Since ( Section: Adjoints of projections ) the columns of (the matrix being expressed in terms of the dual basis of ) are the rows of , it follows from Theorem 1 that is also the maximal number of linearly independent rows of . Hence "the row rank of the column rank of the rank of ."

Theorem 2. If is a linear transformation on the -dimensional vector space , and if is any -dimensional subspace of , then the dimension of is .

Proof. Let be any subspace for which , so that if is the dimension of , then . Upon operating with we obtain (The sum is not necessarily a direct sum; see Section: Calculus of subspaces .) Since has dimension , since the dimension of is clearly , and since the dimension of the sum is the sum of the dimensions, we have the desired result. ◻

Theorem 3. If and are linear transformations on a finite-dimensional vector space, then and If is invertible, then

Proof. Since , it follows that is contained in , so that , or, in other words, the rank of a product is not greater than the rank of the first factor. Let us apply this auxiliary result to ; this, together with what we already know, yields (8). If is invertible, then and together with (8) this yields (10). The equation (7) is an immediate consequence of an argument we have already used in the proof of Theorem 2. The proof of (9) we leave as an exercise for the reader. (Hint: apply Theorem 2 with .) Together the two formulas (8) and (9) are known as Sylvester’s law of nullity . ◻