Normi (matematiikka)

Yksikköympyröitä eri normeissa.

Matematiikassa normi on itseisarvon käsitteen yleistys, "vektorin pituus". 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. Esimerkiksi ${ℝ}^2$-tason vektoreille $(x,y)$ käytetään yleensä Pythagoraan lausetta vastaavaa normia $\Vert (x,y)\Vert =\sqrt{x^2+y^2}$.

Määritelmä

Olkoon $X$ lineaariavaruus kerroinkuntana $𝕂$. Tällöin kuvaus $p:X\to ℝ$ on normi (joukossa X), jos se toteuttaa seuraavat ehdot

1. $p(x)\ge 0$ kaikilla $x\in X$,
2. $p(x)=0$ jos ja vain jos $x=\overline{0}$ (=nollavektori),
3. Kuvaus p on skaalautuva: $p(kx)=|k|p(x)$ kaikilla $x\in X$ ja $k\in 𝕂$,
4. Kuvaus p toteuttaa ns. kolmioepäyhtälön: $p(x+y)\le 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.

Ominaisuuksia

Jokainen normiavaruus on luonnollisella tavalla metrinen avaruus. Nimittäin jos $(X,||\cdot ||)$ on normiavaruus, niin kuvaus $d:X\times X\to ℝ$, $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 ${ℝ}^2$ erilaisten normien määräämiä yksikköympyröitä.

Esimerkkejä normeista

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

- Jonoavaruuden

${ℝ}^{\mathbb{N}}$

osajoukon

${\ell }^p$

-äärellisten jonojen joukon ns.

${\ell }^p$

-normi

${||\cdot ||}_p$

saadaan kaavasta

${||x||}_p=\sqrt[p]{\sum _{i=1}^{\mathrm{\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 }^{\mathrm{\infty }}$ ja oleellisesti rajoitettujen funktioiden avaruudessa $L^{\mathrm{\infty }}$: ${||x||}_{\mathrm{\infty }}=\max \{x_i:i\in \mathbb{N}\}$ ja

${||f||}_{\mathrm{\infty }}=\text{ess sup}|f|$

Kirjallisuutta

• Malline:Kirjaviite