Injectivity is equivalent to surjectivity in finite dimensions

Suppose VV is finite-dimensional and T∈L(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 T∈L(V,W)T \in \mathcal L(V,W) where dim⁡V=dim⁡W\dim V = \dim W. Then there exists an isomorphism S∈L(W,V)S \in \mathcal L(W,V) such that ST∈L(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.