another proof of rank-nullity theorem
Let be a linear transformation from vector spaces![]()
to . Recall that the rank of is the dimension
![]()
of the image of and the nullity
![]()
of is the dimension of the kernel of .
Proposition 1.
.
Proof.
Let . is a subspace![]()
of so it has a unique algebraic complement such that . It is evident that
since and have disjoint bases and the union of their bases is a basis for .
Define by restriction of to the subspace . is obviously a linear transformation. If , then so that . Since as well, we have , or . This means that is one-to-one. Next, pick any . So there is some with . Write with and . So , and therefore is onto. This means that is isomorphic
to , which is equivalent
![]()
to saying that . Finally, we have
∎
Remark. The dimension of is not assumed to be finite in this proof. For another approach (where finite dimensionality of is assumed), please see this entry (http://planetmath.org/ProofOfRankNullityTheorem).