秩与零度
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
Proof. The theorem of the preceding section and Section: Annihilators , Theorem 1, together imply that
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
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
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