Linear Isometry is Injective

Theorem
Let $\struct {X, \norm \cdot_X}$ and $\struct {Y, \norm \cdot_Y}$ be normed vector spaces.

Let $T : X \to Y$ be a linear isometry.

Then $T$ is injective.

Proof
Let $x, y \in X$.

We have:


 * $\norm {\map T {x - y} }_Y = \norm {T x - T y}_Y$

from the definition of a linear transformation.

Since $T$ is a linear isometry, we have:


 * $\norm {\map T {x - y} }_Y = \norm {x - y}_X$

So:


 * $\norm {T x - T y}_Y = 0$




 * $\norm {x - y}_X = 0$

Since the norm is positive definite, this gives:


 * $T x = T y$




 * $x = y$

So $T$ is injective.