Supremum Norm is Norm/Space of Bounded Sequences

Theorem
The supremum norm on the vector space of bounded sequences is a norm.

Let $x \in \ell^\infty$.

By definition of supremum norm:


 * $\ds \norm {\mathbf x}_\infty = \sup_{n \mathop \in \N} \size {x_n}$

The complex modulus of $x_n$ is real and non-negative.

Hence, $\norm {\mathbf x}_\infty \ge 0$.

Suppose $\norm {\mathbf x}_\infty = 0$.

Then:

Thus is satisfied.

Suppose $\alpha \in \C$.

Thus is satisfied.

Let $\mathbf x = \sequence {x_n}_{n \mathop \in \N}, \mathbf y = \sequence {y_n}_{n \mathop \in \N} \in \ell^\infty$.

By Triangle Inequality for Complex Numbers:


 * $\forall n \in \N : \size {x_n + y_n} \le \size {x_n} + \size {y_n}$

Then:

Thus is satisfied.