# A calculus of the absurd

##### 22.7.2 Norms
###### 22.7.2.1 Induced norms

Every inner product “induces” a norm, which is to say that if we have an inner product, we can define the norm

$$\norm {\mathbf {x}} = \sqrt {\langle \mathbf {x}, \mathbf {x} \rangle }$$

To show that this actually is a norm it is necessary and sufficient to show that it satisfies the four norm axioms.

• Homogeneity. Consider $$\norm {\alpha \mathbf {x}}$$, for which

\begin{align} \norm {\alpha \mathbf {x}} &= \sqrt {\langle \alpha \mathbf {x}, \alpha \mathbf {x} \rangle } \\ &= \sqrt {\alpha \langle \mathbf {x}, \alpha \mathbf {x} \rangle } \\ &= \sqrt {\alpha \overline {\langle \alpha \mathbf {x}, \mathbf {x} \rangle }} \\ &= \sqrt {\alpha \overline {\alpha } \overline {\langle \mathbf {x}, \mathbf {x} \rangle }} \\ &= \sqrt {\abs {\alpha } \langle \mathbf {x}, \mathbf {x} \rangle } \end{align}

• TODO: other proofs

###### 22.7.2.2 Norms which are not induced norms

We will pretend these do not exist (but be aware that they do most definitely exist)!!!