if and only if is injective
Theorem.
A linear map between vector spaces is injective if and only if its kernel is .
Proof.
Let be a linear map. Suppose is injective, and for some vector. Also, because is linear.Then , so . On the other hand, suppose, and for vectors .Hence because is linear.Therefore, is in , which means that must be .∎