Identity Mapping on Normed Vector Space is Bounded Linear Operator

Theorem
Let $\Bbb F$ be a subfield of $\C$.

Let $\struct {X, \norm \cdot}$ be a normed vector space.

Let $I : X \to X$ be the identity mapping on $X$.

Then $I$ is a bounded linear operator.

Proof
Let $\lambda \in \Bbb F$ and $x, y \in X$.

Then, we have:


 * $\map I {\lambda x + y} = \lambda x + y = \lambda I x + I y$

So $I$ is a linear operator.

Further, we have:


 * $\norm {I x} = \norm x$

for each $x \in X$, so $I$ is bounded.