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.