The Theorem
For a linear transformation L:V→W between finite-dimensional vector spaces:
dim(V)=dim(Im(L))+dim(Ker(L))
Key Implications
Injectivity: L is injective if and only if dim(Ker(L))=0
Surjectivity: L is surjective if and only if dim(Im(L))=dim(W)
Dimension Constraint: If dim(V)<dim(W), then L cannot be surjective
Dimension Constraint: If dim(V)>dim(W), then L cannot be injective
Example
For L:R4→R3 with dim(Ker(L))=1:
- dim(Im(L))=dim(V)−dim(Ker(L))=4−1=3
- Since dim(Im(L))=dim(W)=3, L is surjective
- Since dim(Ker(L))=0, L is not injective