Kernel and Image are Subspaces

Linear Map is Injective iff Kernel is 0

Rank Nullity Theorem