Injectivity is equivalent to surjectivity in finite dimensions
Suppose V is finite-dimensional and T∈L(V). Then the following are equivalent:
- T is invertible
- T is injective
- T is surjective
Extended
Suppose T∈L(V,W) where dimV=dimW. Then there exists an isomorphism S∈L(W,V) such that ST∈L(V). Then (by above) the following are equvalent:
- ST is invertible
- ST is injective
- ST is surjective
Since S is invertible, it's easy to see we can remove S from the conditions above, completing the proof.