Injectivity is equivalent to surjectivity in finite dimensions

Suppose VV is finite-dimensional and TL(V)T \in \mathcal L(V). Then the following are equivalent:

  1. TT is invertible
  2. TT is injective
  3. TT is surjective

Extended

Suppose TL(V,W)T \in \mathcal L(V,W) where dimV=dimW\dim V = \dim W. Then there exists an isomorphism SL(W,V)S \in \mathcal L(W,V) such that STL(V)ST \in \mathcal L(V). Then (by above) the following are equvalent:

  1. STST is invertible
  2. STST is injective
  3. STST is surjective

Since SS is invertible, it's easy to see we can remove SS from the conditions above, completing the proof.