Norm

Definition

A norm on a vector space $(V,F)$ is a function $$\|\cdot\|:V\rightarrow\mathbb{R}$$ such that:

1. $$\forall x\in V\ \|x\|\ge 0$$
2. $$\|x\|=0\iff x=0$$
3. $$\forall \lambda\in F, x\in V\ \|\lambda x\|=|\lambda|\|x\|$$ where $$|\cdot|$$ denotes absolute value
4. $$\forall x,y\in V\ \|x+y\|\le\|x\|+\|y\|$$ - a form of the triangle inequality

Often parts 1 and 2 are combined into the statement

• $$\|x\|\ge 0\text{ and }\|x\|=0\iff x=0$$ so only 3 requirements will be stated.

I don't like this

Examples

The Euclidean Norm

The Euclidean norm is denoted $$\|\cdot\|_2$$

Here for $$x\in\mathbb{R}^n$$ we have:

$$\|x\|_2=\sqrt{\sum^n_{i=1}x_i^2}$$

---

TODO: proof

---