Injective Null space is
Let in . is injective if and only if .
Proof. Suppose is injective. We want to prove that . We already know that (since linear maps take 0 to 0). To prove the inclusion in the other direction, suppose . Then
Because is injective, the equation above implies that . Thus we can conclude that , as desired.
To prove the implication in the other direction, now suppose . We want to prove that is injective. To do this, suppose and . Then
Thus, is in , which equals . This means or . Hence, is injective, as desired.