Given an Endomorphism , we seek to prove that it is injective if and only if it is surjective.
By the Kernel-Image Theorem, we have that
For clarity, I’ll denote the vector space of ‘s domain, and the vector space of its codomain.
Injective Surjective
Since A linear transformation is injective iff its kernel is trivial, we have that
But since , we have that , and thus is Surjective1.
Surjective Injective
If is surjective, we have that , for which we have
for which we conclude that is Injective.