Normi (matematiikka)

Wikipedia

Yksikköympyröitä eri normeissa.

Matematiikassa normi on itseisarvon käsitteen yleistys. Normi on kuvaus, joka asettaa jokaista lineaariavaruuden alkiota vastaamaan reaaliluvun. Tietyssä mielessä normi määrittää vektorin etäisyyden origosta, jota voi intuitiivisesti hahmottaa vektorin pituutena.

[muokkaa] Määritelmä

Olkoon $X$ lineaariavaruus kerroinkuntana $\mathbb{K}$ . Tällöin kuvaus $p : X \rightarrow \mathbb{R}$ on normi (joukossa X), jos se toteuttaa seuraavat ehdot

$p(x) \geq 0$ kaikilla $x \in X$ ,
$p (x) = 0$ jos ja vain jos $x = \bar{0}$ (=nollavektori),
Kuvaus p on skaalautuva: $p (k x) = | k | p (x)$ kaikilla $x \in X$ ja $k \in \mathbb{K}$ ,
Kuvaus p toteuttaa ns. kolmioepäyhtälön: $p(x+y) \leq p(x) + p(y)$ kaikilla $x,y \in X$ .

Normia p merkitään usein kirjallisuudessa symbolilla $|| \cdot ||$ ja sen arvoa $p (x) = | | x | |$ . Jos lineaariavaruuteen X on määrätty normi p, niin paria (X,p) kutsutaan normiavaruudeksi.

Seminormi on kuvaus, joka toteuttaa normin kaikki muut ehdot paitsi ehdon 2.

[muokkaa] Ominaisuuksia

Jokainen normiavaruus on luonnollisella tavalla metrinen avaruus. Nimittäin jos $(X,|| \cdot ||)$ on normiavaruus, niin kuvaus $d: X \times X \rightarrow \mathbb{R}$ , $d (x, y) = | | x - y | |$ on metriikka. Kutsumme tämmöisen ns. normimetriikan virittämää topologiaa tavalliseksi topologiaksi.

Metrisenä avaruutena normiavaruuteen voidaan myös määritellä ns. yksikköympyrä. Normiavaruuden $(X,|| \cdot ||)$ x-keskinen, r-säteinen yksikköympyrä on joukko $\{ y \in X : || x - y || = r \}$ . Vaihtamalla siis normia avaruudessa X saamme aina mahdollisesti erilaisia yksikköympyröitä. Oheisissa kuvissa on joukon $\mathbb{R}^2$ erilaisten normien määräämiä yksikköympyröitä.

[muokkaa] Esimerkkejä normeista

Euklidinen normi joukossa $\mathbb{R}^n$ : ${||x||}_2 = \sqrt{x_1^2 + x_2^2 + ... + x_n^2}$
$L p$ - ja $\ell^p$ -normit:

- Jonoavaruuden $\mathbb{R}^\mathbb{N}$ osajoukon $\ell^p$ -äärellisten jonojen joukon ns. $\ell^p$ -normi ${||\cdot ||}_p$ saadaan kaavasta

${||x||}_p = \sqrt[p]{\sum_{i = 1}^\infty { | x_i | }^p}$

- Funktioavaruuden $L p$ ns. $L p$ -normi ${||\cdot ||}_p$ saadaan kaavasta

${||f||}_p = \sqrt[p]{\int |f|^p}$

Maksiminormit rajoitettujen jonojen avaruudessa $\ell^\infty$ ja oleellisesti rajoitettujen funktioiden avaruudessa $L^\infty$ : ${||x||}_\infty = \max \{ x_i : i \in \mathbb{N} \}$ ja