Linear Transformation is Injective iff Kernel Contains Only Zero

Theorem
Let $\mathbf V, \mathbf V'$ be vector spaces, with respective zeroes $\mathbf 0, \mathbf 0'$.

Let $T: \mathbf V \to \mathbf V'$ be a linear transformation.

Then:


 * $T$ is injective $\ker \left({T}\right) = \left\{ {\mathbf 0}\right\}$

where:


 * $\mathbf 0$ is the zero of the domain of $T$


 * $\ker \left({T}\right)$ is the kernel of $T$.

Sufficient Condition
That $\mathbf 0 \in \ker \left({T}\right)$ follows from Kernel of Linear Transformation contains Zero Vector.

That $\ker \left({T}\right)$ is a singleton follows from the definition of injection.

Necessary Condition
Let $\ker \left({T}\right) = \left\{ {\mathbf 0}\right\}$.

Consider:
 * $T \left({\mathbf x}\right) = \mathbf b$

where $\mathbf b$ is in the codomain of $T$.

Let this equation have a solution:
 * $\mathbf x = \mathbf x_1 \in \mathbf V$

Suppose $\mathbf x = \mathbf x_2 \in \mathbf V$ is also a solution.

Clearly:
 * $T \left({\mathbf x_1}\right) = T\left({\mathbf x_2}\right)$

Observe that:

As $\mathbf x_1, \mathbf x_2$ were arbitrary:


 * $\forall \mathbf x_1,\mathbf x_2 \in \mathbf V: T \left({\mathbf x_1}\right) = T \left({\mathbf x_2}\right) \implies \mathbf x_1 = \mathbf x_2$

and the result follows from the definition of injectivity.