Norma (matematika)

A háromszög-egyenlőtlenség szerint két vektor hosszának összege mindig legalább akkora, mint az összegvektor hossza; egyenlőtlenség csak akkor teljesül, ha a két vektor ugyanabba az irányba mutat

A norma olyan vektortéren vagy függvénytéren értelmezett $d$ leképezés, ami a nullvektor kivételével a tér minden vektorához egy pozitív számot rendel. Érvényesek rá a következő, az abszolút értékhez hasonló tulajdonságok:

• $d(\mathbf{x})\ge 0$
• $d(\mathbf{x})=0$ akkor és csak akkor, ha $\mathbf{x}=\mathbf{0}$
• $d(\mathbf{x}+\mathbf{y})\le d(\mathbf{x})+d(\mathbf{y})$
• $d(\lambda \mathbf{x})=\left|\lambda \right|d(\mathbf{x})$

$d(\mathbf{x})$-et az $\mathbf{x}$ normájának nevezzük. A normát valós vagy komplex vektor- vagy függvénytéren vezetik be. A normával ellátott tereket normált tereknek hívják. A fogalom bevezetésének motivációja a „hosszúság” fogalmának kezelése absztrakt terekben. A normált terek több fontos analitikus tulajdonsággal bírnak, mivel a norma metrikát, és ezzel topológiát indukál. Ekvivalens normák ugyanazt a topológiát indukálják. Ha egy térten skalárszorzat van értelmezve, akkor az normát indukál. Véges dimenziós vektorterekben minden norma ekvivalens. A norma definícióját Stefan Banach vezette be 1922-ben disszertációjában. A ma használt norma szimbólumot Erhard Schmidt alkalmazta először 1908-ban a vektorok közötti távolságra.

Véges dimenziós vektorterek

Valós szám abszolútértéke, mint norma

Egységgolyó (pirossal) és -gömb (kékkel) az euklideszi normához két dimenzióban

Számnormák

Egy $z\in \mathbb{ℝ}$ szám abszolútértéke egy egyszerű példa a normára. Az abszolútérték az előjel elhagyásával kapható, azaz

$$\begin{gathered} \Vert z\Vert =|z|=\sqrt{z^2}=\{\begin{array}{ll} \\ z& \mathrm{h}\mathrm{a} \\ z\ge 0\\ -z& \mathrm{h}\mathrm{a} \\ z<0.\end{array} \end{gathered}$$

Egy $z\in \mathbb{ℂ}$ komplex szám abszolútértéke

$\Vert z\Vert =|z|=\sqrt{z\overline{z}}=\sqrt{{(\mathrm{Re}z)}^2+{(\mathrm{Im}z)}^2}$

ahol $\overline{z}$ a $z$ szám komplex konjugáltja, $\mathrm{Re}$ a valós része és $\mathrm{Im}$ a képzetes része. Egy komplex szám abszolútértéke megfelel a vektorának a hosszának a Gauß-féle számsíkon. Az abszolútérték-normát két valós, illetve komplex szám skalárszorzata indukálja:

$⟨w,z⟩=w\cdot z$   ha   $w,z\in \mathbb{ℝ}$    illetve    $⟨w,z⟩=w\cdot \overline{z}$   ha   $w,z\in \mathbb{ℂ}$

Vektornormák

Véges dimenzióban minden norma ekvivalens, azaz ugyanazok a sorozatok konvergensek minden normában.

Példa

Egy szabványos példa az euklideszi norma. Például az ${\mathbb{ℝ}}^2$ síkban az $(x,y)$ vektor normája:

$\Vert (x,y)\Vert =\sqrt{x^2+y^2}$,

ami megfelel a szokásos, Pitagorasz-tétellel számítható vektorhosszúságnak.

p-normák

Különböző $p$-normák egységgömbjei két dimenzióban

Az n dimenziós valós (és komplex) vektortereken többnyire a p-normákat (Hölder-normák) használják:

$\Vert x{\Vert }_p:={(\sum _{i=1}^n|x_i{|}^p)}^{1/p}$

A $p$-normák egységgömbjei két dimenzióban szub- illetve szuperellipszisek alakját öltik. Három dimenzióban szub-, illetve szuperellipszoidok. A $p$-normák teljesítik a Minkowski-egyenlőtlenséget és a Hölder-egyenlőtlenséget. Növekvő $p$-re monoton csökkennek. A határoló tényezők $1\le p\le r\le \mathrm{\infty }$ esetén:

$\Vert x{\Vert }_r\le \Vert x{\Vert }_p\le n^{\frac{1}{p}-\frac{1}{r}}\Vert x{\Vert }_r$,

ahol a maximumnorma esetén a $\frac{1}{\mathrm{\infty }}=0$ helyettesítést kell végezni. Így a $p$-normák egymástól legfeljebb egy $n$-es tényezőben különbözhetnek. Az analóg módon $p<1$ tényezővel számolt mennyiségek megsértik a háromszög-egyenlőtlenséget, a belőlük számított gömb konkáv. Különösen gyakran fordulnak elő az 1-es, a 2-es és a végtelen-normák.

1-es norma

Az 1-norma: $\Vert x{\Vert }_1=\sum _{i=1}^n|x_i|$. Két dimenzióban a normagömb négyzet, három dimenzióban oktaéder, magasabb dimenzióban keresztpolitóp. A belőle származó távolságot nevezik Manhattan-metrikának vagy taximetrikának, mivel olyan utak mentén méri a távolságokat, amelyek nem mehetnek ferdén, azaz minden szakaszuk párhuzamos a koordinátatengelyekkel. Például ${\mathbb{ℝ}}^2$-ben a szakaszok csak vízszintesek és függőlegesek lehetnek.

2-es norma

A 2-norma: $\Vert x{\Vert }_2=\sqrt{\sum _{i=1}^n|x_i{|}^2}$ Skalárszorzatból származik. Ez azt jelenti, hogy van egy $⟨\cdot ,\cdot ⟩$ skalárszorzat, amivel teljesül, hogy $\Vert x\Vert :=\sqrt{⟨x,x⟩}$, valamint teljesül rá a Pitagorasz-tétel, a paralelogrammaazonosság, és komplex terekben a polarizációs formula. A többi normához nincs ilyen skalárszorzat: a paralelogrammaszabállyal egyetlen jelölt adódik. A skalárszorzat tulajdonságait ellenőrizve kiderül, hogy nem teljesíti ezeket a tulajdonságokat. Két dimenzióban a normagömb kör, három dimenzióban gömb, magasabb dimenzióban hipergömb. Két és három dimenzióban a szokásos vektorhossznak felel meg. Unitér transzformációk, például az origó körüli forgatások egyedüliként ezt a normát őrzik meg. Az euklideszi normával ellátott vektortereket euklideszi vektortereknek nevezik. Belőle származik az euklideszi metrika, ahol a távolságok Pitagorasz-tétellel számíthatók.

Végtelennorma

Értelmeznek $\mathrm{\infty }$-normát is, ahol $\Vert x{\Vert }_{\mathrm{\infty }}={\max }_{i=1}^n|x_i|$ Határértékként is megkapható a p-normákból, ahol p tart a végtelenbe. Nevezik Csebisev-normának is. Két dimenzióban a normagömb négyzet, három dimenzióban kocka, magasabb dimenzióban hiperkocka. A belőle származó metrikát nevezik maximummetrikának, Csebisev-metrikának vagy német szaknyelvben sakktáblametrikának is, ugyanis szemléletesen azoknak a lépéseknek a számát jelenti, ahány lépéssel az egyik pontból egy királlyal egy másik pontba lehet eljutni. Ennek során a király átlósan is léphet. Az $n$ dimenziós maximumnorma előáll szorzatnormaként a $V=V_1\times \cdots \times V_n$ téren, ahol $(V_i,\Vert \cdot {\Vert }_i)$ vektorterek, $x=(x_1,\dots ,x_n)$ és $x_i\in V_i$.

Mátrixnormák

Mátrixnormák esetén gyakran megkövetelik még a szubmulitiplikativitást:

$\Vert A\cdot B\Vert \le \Vert A\Vert \cdot \Vert B\Vert$

Ha egy mátrixnorma szubmultiplikatív, akkor a mátrix spektrálrádiusza (a legnagyobb abszolútértékű sajátérték abszolútértéke) nem nagyobb, mint a norma. Vannak azonban olyan mátrixnormák, melyek teljesítik a szokásos normatulajdonságokat, de nem szubmultiplikatívak. Egy mátrixnorma kompatibilis egy vektornormával, ha

$\Vert A\cdot x\Vert \le \Vert A\Vert \cdot \Vert x\Vert$

minden $x\in {\mathbb{𝕂}}^n$ esetén.

Vektornorma által indukált mátrixnorma

Egy 2 × 2-es mátrix spektrálnormája megfelel az egységkör legnagyobb nyújtásának

A vektornormák mátrixnormákat indukálnak:

$\Vert A{\Vert }_M=\underset{x=0}{\sup }\frac{\Vert Ax{\Vert }_V}{\Vert x{\Vert }_V}=\underset{\Vert x{\Vert }_V=1}{\sup }\Vert Ax{\Vert }_V$

Itt a sup helyett maximum is írható. A linearitás folytán elég az 1 normájú vektorokat tekinteni, és mivel ez kompakt halmaz, a folytonos $\Vert Ax{\Vert }_V$ függvény felveszi a maximumát. Ez az a maximális érték, amivel a mátrix megnyújt egy vektort. Kompatibilis azzal a vektornormával, amiből származik. Az indukált mátrixnormákra teljesül:

• $\Vert A\cdot B\Vert \le \Vert A\Vert \cdot \Vert B\Vert$
• $\Vert A\mathbf{x}{\Vert }_V\le \Vert A{\Vert }_M\cdot \Vert \mathbf{x}{\Vert }_V$

Többnyire itt is az 1-es, a 2-es és a végtelen normát használják.

• Az 1-es norma által indukált mátrixnorma az oszlopösszegnorma, vagy röviden oszlopnorma:

${\Vert A\Vert }_1=\underset{j}{\max }\sum _{i=1}^m\left|a_{ij}\right|$

• A végtelen norma a sorösszegnormát, más néven a sornormát indukálja:

${\Vert A\Vert }_{\mathrm{\infty }}=\underset{i}{\max }\sum _{j=1}^n\left|a_{ij}\right|$

• A 2-es norma indukálta mátrixnorma:

${\Vert A\Vert }_2=\sqrt{{\lambda }_{\mathrm{m}\mathrm{a}\mathrm{x}}(A^{H}A)}={\sigma }_{\text{max}}(A)$, azaz a mátrix legnagyobb szinguláris értéke. A képletben $A^H$ a mátrix konjugált transzponáltja, és ${\lambda }_{\mathrm{m}\mathrm{a}\mathrm{x}}$ az $A^{H}A$ szorzatmátrix abszolút értékben legnagyobb sajátértéke.

Vektornormák fölötti mátrixnormák

Ezek a vektornormák úgy állnak elő, hogy a mátrixot vektorként tekintjük, és alkalmazzuk rá az adott vektornormát. Például a Frobenius-norma a 2-es normából áll elő: $m\times n$-es A mátrixra:

$\Vert A{\Vert }_F^2=\sum _{i=1}^m\sum _{j=1}^n|a_{ij}{|}^2.$

A maximumnormára az összegnorma alapul. Mindkettő szubmultiplikatív, és kompatibilis az euklideszi normával.

Szinguláris értékek fölötti normák

Egy további lehetőség, ha tekintjük a mátrix szinguláris érték felbontását, azaz az $A=U\mathrm{\Sigma }{V}^H$ előállítást, ahol $U$ unitér, $\mathrm{\Sigma }$ diagonális, $V^H$ pedig adjungált unitér. Ekkor a $\mathrm{\Sigma }$ mátrix átlóján szereplő ${\sigma }_1,\dots ,{\sigma }_r$ értékek nemnegatív valós számok, és az $A$ mátrix szinguláris értékeinek nevezzük őket. Megegyeznek az $A^{H}A$ mátrix sajátértékeinek négyzetgyökeivel. A $\sigma =({\sigma }_1,\dots ,{\sigma }_r)$ szinguláris értékeket betesszük egy vektorba, és ennek vesszük valamelyik normáját, tehát

$\Vert A\Vert =\Vert \sigma \Vert$.

Erre a típusra példák az árnyéknormák, melyek a szinguláris értékekből alkotott vektor $p$-normái, illetve a Ky–Fan-normák, melyek a legnagyobb szinguláris értékek összegén alapulnak. Nevezetesen, a $k$-adik Ky–Fan-norma a legnagyobb $k$ szinguláris érték összege.

Végtelen dimenziós vektorterek, függvényterek

Sorozatterek

Ha sorozatok normájáról esik szó, akkor csak valós vagy komplex elemekből álló sorozatokat tekintenek, ahol $(a_n{)}_n=(a_1,a_2,\dots )\in {\mathbb{𝕂}}^{\mathbb{\mathbb{N}}}$ és $a_n\in \mathbb{𝕂}$ minden $n\in \mathbb{\mathbb{N}}$ esetén. Ezzel a sorozatok a véges dimenziós vektorok általánosításai. Mivel a sorozatokban végtelen sok nullától különböző elem lehet, azért a vektornormák nem vihetők át közvetlenül a sorozatokra. Például lehet, hogy nincs maximális abszolútértékű tag vagy az összes tag összege nem konvergens. Hasonlóan nincs biztosítva a tagok négyzetéből képzett sor konvergenciája. Éppen ezért a normákat rendszerint nem az összes valós vagy komplex sorozatra vezetik be, hanem alkalmas alterekre.

${\ell }^p$-terek

Az ${\ell }^p$-terek azokból a sorozatokból állnak, amelyekben a tagok abszolút értékes p-edik hatványának összege konvergens.

${\ell }^p:=\{\left(a_n\right)\in {\mathbb{𝕂}}^{\mathbb{\mathbb{N}}}:(\sum _{n=0}^{\mathrm{\infty }}|a_n{|}^p)<\mathrm{\infty }\},p\in [1,\mathrm{\infty })$

és ${\ell }^{\mathrm{\infty }}:=\{(a_n)\in {\mathbb{𝕂}}^{\mathbb{\mathbb{N}}}:\underset{n\in \mathbb{\mathbb{N}}}{\sup }|a_n|<\mathrm{\infty }\}$ A véges dimenziós esethez hasonlóan értelmezik a p-normákat:

$\Vert (a_n){\Vert }_p:=\sqrt[p]{\sum _{n=0}^{\mathrm{\infty }}|a_n{|}^p}$ p véges

és $\Vert (a_n){\Vert }_{\mathrm{\infty }}:=\underset{n\in \mathbb{\mathbb{N}}}{\sup }|a_n|$ p végtelen, ami a szuprémumnorma korlátos sorozatokra. Az ${\ell }^p$-terek az ${\ell }^p$-normákkal ellátva teljes normált terek. Az ${\ell }^2$-tér Hilbert-tér, az ${⟨(a_n),(b_n)⟩}_{{\ell }^2}=\sum _{n=1}^{\mathrm{\infty }}{a}_n\cdot \overline{b_n}$ skalárszorzattal. A korlátos sorozatok tere, ${\ell }^{\mathrm{\infty }}$; a konvergens sorozatok tere, $c$; és a nullához tartó sorozatok (nullsorozatok) tere, $c_0$ a szuprémumnormával ellátva teljes normált terek. Egy ${\ell }^p$-norma duális normája egy ${\ell }^q$ norma, ahol $(1/p)+(1/q)=1$, ha $1\le p<\mathrm{\infty }$. Az ${\ell }^1$ térnek nem az ${\ell }^{\mathrm{\infty }}$ tér a duálisa, hanem a konvergens sorozatok tere és a nullsorozatok tere a szuprémumnormával.

bv-norma

Egy korlátos változású sorozat $bv$-normája:

$\Vert (a_n){\Vert }_{bv}=|a_1|+\sum _{n=1}^{\mathrm{\infty }}|a_{n+1}-a_n|$.

A $bv$-normával a korlátos változású sorozatok $bv$ tere teljes normált tér, mivel minden korlátos változású sorozat Cauchy-sorozat is. A korlátos változású nullsorozatok $b{v}_0$ terén értelmezhető a $b{v}_0$-norma az első tag elhagyásával:

$\Vert (a_n){\Vert }_{b{v}_0}=\sum _{n=1}^{\mathrm{\infty }}|a_{n+1}-a_n|$,

amely normával a $b{v}_0$ tér teljes.

Függvénynormák

A következőkben egy adott $\mathrm{\Omega }$ halmazon értelmezett valós, illetve komplex értékű $f:\mathrm{\Omega }\to \mathbb{𝕂}$ függvényeket tekintünk. Az $\mathrm{\Omega }$ halmaz gyakran topologikus tér, hogy lehessen folytonosságról beszélni. Sok alkalmazásban $\mathrm{\Omega }$ az ${\mathbb{ℝ}}^n$ részhalmaza. A sorozatokhoz hasonlóan a függvények is lehetnek végtelenek, így szintén nem értelmezünk normákat az összes függvényre. A legfontosabb alterek a korlátos, folytonos, integrálható vagy differenciálható függvények tere. Általánosabban Banach-terekbe is képezhetnek a függvények, ahol az abszolútérték szerepét a Banach-tér normája veszi át.

L^p-normák

Az L^p-terek azokat a függvényeket tartalmazzák, amiknek a p-edik hatványa integrálható. Ha ezekre a függvényekre vesszük az analóg leképezést: $\Vert f{\Vert }_p:={(\underset{\mathrm{\Omega }}{\int }\Vert f(x){\Vert }^{p}d\mu (x))}^{1/p}$, akkor egy úgynevezett félnormát kapunk, mert ez az integrál nemcsak az azonosan nulla függvényre nulla, hanem azokra is, amik majdnem mindenhol nullát vesznek fel. Tekintsük ekvivalensnek azokat a függvényeket, amik majdnem mindenütt egyenlők. Ezeken az ekvivalenciaosztályokon ez az integrál norma. A Fischer–Riesz-tétel miatt az $L^p$-normával az $L^p$-terek teljes normált terek. Az $L^1(\mathrm{\Omega })$ tér a Lebesgue-integrálható függvények ekvivalenciaosztályainak tere. Többnyire itt is az 1-es, a 2-es és a határértékként kapható végtelen normát használják, bár előfordulnak fizikai példák más p-kre, mint a hősugárzási egyenlet megoldása az L⁵-térben. A 2-es norma skalárszorzatból származik. Ez azt jelenti, hogy van egy $⟨\cdot ,\cdot ⟩$ skalárszorzat, amivel teljesül, hogy: $\Vert x\Vert :=\sqrt{⟨x,x⟩}$. Valamint teljesül rá a Pitagorasz-tétel, a paralelogrammaazonosság, és komplex terekben a polarizációs formula. Ez a skalárszorzat

$⟨f,g{⟩}_{L_2(\mathrm{\Omega })}=\underset{\mathrm{\Omega }}{\int }f(x)\cdot \overline{g(x)}dx$

amivel az $L^2(\mathrm{\Omega })$ tér Hilbert-tér. A többi normához nincs ilyen skalárszorzat: a paralelogrammaazonossággal egyetlen jelölt adódik. A skalárszorzat tulajdonságait ellenőrizve kiderül, hogy nem teljesíti ezeket a tulajdonságokat. Az $p\to \mathrm{\infty }$ határértékeként adódik a lényegében korlátos függvények $L^{\mathrm{\infty }}(\mathrm{\Omega })$ tere. Az $1\le p<\mathrm{\infty }$ esetben az $L^p$-normával duális norma az $L^q$-norma, ahol $(1/p)+(1/q)=1$. Az $L^p$-normák és terek a Lebesgue-mértékkel kiterjeszthetők mértékké, ahol a dualitás $p=1$ esetén csak bizonyos mértékterekben teljesül.

Szuprémumnorma

A szuprémumnorma korlátos függvényeken értelmezett, ahol korlátos az a függvény, melynek képe $\mathbb{𝕂}$ korlátos részhalmaza, definíció szerint

$\Vert f{\Vert }_{B(\mathrm{\Omega })}=\Vert f{\Vert }_{\mathrm{\infty }}=\Vert f{\Vert }_{\sup }=\underset{x\in \mathrm{\Omega }}{\sup }|f(x)|$.

A korlátos függvények halmaza a szuprémumnormával teljes normált tér.

Maximumnorma

Kompakt halmazon értelmezett folytonos függvény maximumnormája:

$\Vert f{\Vert }_{C^0(\mathrm{\Omega })}=\Vert f{\Vert }_{\mathrm{\infty }}=\Vert f{\Vert }_{\max }=\underset{x\in \mathrm{\Omega }}{\max }|f(x)|$.

A Weierstrass-szélsőértéktétel miatt kompakt halmazon értelmezett folytonos függvény felveszi a szuprémumát. Egy adott kompakt halmazon értelmezett folytonos függvények tere teljes normált teret alkot a maximumnormával.

Lényegi szuprémumnorma

Egy $(\mathrm{\Omega },{𝒳},\mu )$ mértéktéren majdnem mindenütt korlátos függvény ${{ℒ}}^{\mathrm{\infty }}$-normája

$\Vert f{\Vert }_{{{ℒ}}^{\mathrm{\infty }}(\mathrm{\Omega })}=\mathrm{e}\mathrm{s}\mathrm{s}\underset{x\in \mathrm{\Omega }}{\sup }|f(x)|=\underset{\genfrac{}{}{0ex}{}{N\subset \mathrm{\Omega }}{\mu (N)=0}}{\inf }\underset{x\in \mathrm{\Omega }\setminus N}{\sup }|f(x)|$,

ahol $N$ nullhalmaz, tehát a ${𝒳}$ σ-algebra egy eleme, aminek a mértéke a $\mu$ mérték szerint nulla. Egy majdnem mindenütt korlátos függvény néhány $x\in N$ pontban abszolútértékben nagyobb értéket is felvehet, mint a lényegi szuprémuma. Általában a lényegi szuprémum csak félnorma, mivel nemcsak az azonosan nulla függvény lényegi szuprémuma nulla, hanem például azoké a függvényeké is, amelyek véges sok pontban különböznek tőle. Tehát inkább azoknak a $f\in {{ℒ}}^{\mathrm{\infty }}(\mathrm{\Omega })$-beli függvényeknek az az $[f]$ halmazait tekintjük, amelyek majdnem mindenütt egyenlőek, és a kapott faktorteret $L^{\mathrm{\infty }}(\mathrm{\Omega })$-nek nevezzük. Ezen a téren a lényegi szuprémumnorma, definiálva, mint

$\Vert [f]{\Vert }_{L^{\mathrm{\infty }}(\mathrm{\Omega })}=\Vert f{\Vert }_{{{ℒ}}^{\mathrm{\infty }}(\mathrm{\Omega })}$

valóban norma, ahol a jobb oldali érték független az $f$ reprezentáns választásától. Gyakran $[f]\in L^{\mathrm{\infty }}(\mathrm{\Omega })$ helyett pontatlanul $f\in L^{\mathrm{\infty }}(\mathrm{\Omega })$-t írnak. A lényegében korlátos függvények ekvivalenciaosztályainak $L^{\mathrm{\infty }}(\mathrm{\Omega })$ tere a lényegi szuprémumnormával teljes normált tér.

BV-norma

Egy $[a,b]$ intervallumon értelmezett egydimenziós korlátos változású függvény $BV$-normáját a sorozatok $bv$-normájával analóg módon definiálják:

$\Vert f{\Vert }_{BV([a,b])}=|f(a)|+\underset{P}{\sup }\sum _{i=1}^n|f(x_i)-f(x_{i-1})|$,

ahol $P=\{a=x_0<x_1<\dots <x_n=b\}$ az $[a,b]$ intervallum partíciója, és a szuprémum az összes partíciót tekintetbe veszi. Egy függvény pontosan korlátos változású, hogyha előáll két monoton növő függvény különbségeként. A korlátos változású függvények tere a $BV$-normával ellátva teljes normált tér. Alternatívan a normáláshoz $|f(a)|$ helyett a függvény teljes intervallumra vett integrálja is használható. A $BV$-norma és a hozzá tartozó függvényterek többféle általánosítása is létezik, így például a Fréchet-variáció, a Vitali-variáció és a Hardy-variáció.

Hölder-normák

Egy $0<\alpha \le 1$ kitevővel Hölder-folytonos függvény Hölder-normája

$\Vert f{\Vert }_{C^{0,\alpha }(\mathrm{\Omega })}=\Vert f{\Vert }_{C^0(\mathrm{\Omega })}+{\mathrm{Hol}}_{\alpha }(f,\mathrm{\Omega })$,

ahol a függvény Hölder-konstansa

${\mathrm{Hol}}_{\alpha }(f,\mathrm{\Omega })=\underset{\genfrac{}{}{0ex}{}{x,y\in \mathrm{\Omega }}{x\ne y}}{\sup }\frac{|f(x)-f(y)|}{|x-y{|}^{\alpha }}$

A Hölder-konstans a folytonossági modulus egy speciális fajtája, és önmagában félnorma. A Hölder-folytonos függvények terei a megfelelő Hölder-normával teljes normált terek. Speciálisan, ha $\alpha =1$, akkor Lipschitz-folytonos függvényekről, Lipschitz-konstansról és Lipschitz-normáról van szó.

$C^m$-normák

A $C^m$-normákat ezekre a függvényekre értelmezzük: Egy $\mathrm{\Omega }$ nyílt halmazon $m$-szer folytonosan differenciálható függvények, melyek parciális deriváltjai az $\overline{\mathrm{\Omega }}$ halmazra folytonosan kiterjeszthetők, éspedig úgy, hogy:

$\Vert f{\Vert }_{C^m(\overline{\mathrm{\Omega }})}=\underset{|s|\le m}{\max }\Vert {\partial }^{s}f{\Vert }_{C^0(\overline{\mathrm{\Omega }})}$,

ahol $s=(s_1,\dots ,s_n)$ nemnegatív egész számokból alkotott multiindex, ${\partial }^{s}f$ az adott multiindexhez tartozó parciális derivált, és $|s|=s_1+\dots +s_n$ a derivált rendje. Ezzel a $C^0$-norma megegyezik a szuprémumnormával és a $C^1$-norma a függvény és első deriváltjainak maximumával. A $C^m(\overline{\mathrm{\Omega }})$-terek a megfelelő $C^m$-normával teljes normált terek. Alternatívan, a $C^m$-normákat a maximumok helyett az összegükkel definiálják, azonban ez a két norma ekvivalens. Ezzel analóg módon értelmezzük a $C^{m,\alpha }$-normát a nyílt halmazon $m$-szer folytonosan differenciálható függvényekre, melyek vegyes parciális deriváltjai folytonosan kiterjeszthetők a nyílt halmaz lezártjára, és melyek Hölder-konstansai $m$-ig korlátosak, $f\in C^{m,\alpha }(\overline{\mathrm{\Omega }})$, éspedig úgy, mint:

$\Vert f{\Vert }_{C^{m,\alpha }}(\overline{\mathrm{\Omega }})=\sum _{|s|\le m}\Vert {\partial }^{s}f{\Vert }_{C^0(\overline{\mathrm{\Omega }})}+\sum _{|s|=m}{\mathrm{Hol}}_{\alpha }({\partial }^{s}f,\overline{\mathrm{\Omega }})$.

Ezek a Hölder-folytonosan differenciálható függvények a $C^{m,\alpha }$-normával teljes normált teret alkotnak.

Szoboljev-normák

A Szoboljev-normákat a következőképpen értelmezik: Nyílt halmazokon értelmezett $m$-szer gyengén differenciálható függvények, melyek ${\partial }^{s}f$ gyenge parciális deriváltjai $m$-edfokig $p$-edik hatványukban Lebesgue-integrálhatók, illetve $1\le p<\mathrm{\infty }$, ekképpen:

$\Vert f{\Vert }_{W^{m,p}(\mathrm{\Omega })}={(\sum _{|s|\le m}\Vert {\partial }^{s}f{\Vert }_{L^p(\mathrm{\Omega })}^p)}^{1/p}$

illetve $p=\mathrm{\infty }$ esetén:

$\Vert f{\Vert }_{W^{m,\mathrm{\infty }}(\mathrm{\Omega })}=\underset{|s|\le m}{\max }\Vert {\partial }^{s}f{\Vert }_{L^{\mathrm{\infty }}(\mathrm{\Omega })}$.

Ha az $|s|=m$-edrendű vegyes deriváltak összegét tekintjük, akkor félnormát kapunk, ami az $m$-edfokúaknál kisebb fokú polinomokon eltűnik. Szoboljev-térnek, jelben $W^{m,p}(\mathrm{\Omega })$-nak nevezzük azoknak a függvényeknek a halmazát, melyek legfeljebb $m$-edfokú vegyes gyenge deriváltjai $L^p(\mathrm{\Omega })$-beliek. A Szoboljev-terek a megfelelő Szoboljev-normával teljes normált teret alkotnak. Az $W^{m,2}(\mathrm{\Omega })$ terek Hilbert-terek az

$⟨f,g{⟩}_{W^{m,2}(\mathrm{\Omega })}=\sum _{|s|\le m}\underset{\mathrm{\Omega }}{\int }{\partial }^{s}f(x)\cdot \overline{{\partial }^{s}g(x)}dx$

skalárszorzattal. A Szoboljev-terek fontos szerepet játszanak a parciális differenciálegyenletek megoldáselméletében, mint a differenciáloperátorok természetes értelmezési tartományai, vagy a végeselem-módszer hibabecslései parciális differenciálegyenletek diszkretizálásánál.

Operátornormák

A következőkben két normált vektortér közötti lineáris operátorokat tekintünk. Az operátornormákat a mátrixnormákkal analóg módon definiálják:

$\Vert f\Vert =\underset{x\in V\setminus \{0\}}{\sup }\frac{\Vert f(x){\Vert }_W}{\Vert x{\Vert }_V}=\underset{\Vert x{\Vert }_V=1}{\sup }\Vert f(x){\Vert }_W$.

Legyen $g:X\to V$ egy másik lineáris operátor. Ekkor teljesül:

$\Vert f\circ g\Vert \le \Vert f\Vert \Vert g\Vert$.

Véges dimenzióban automatikusan véges lesz a norma, és visszakapjuk a megfelelő mátrixnormát. Ez a függvényterekben már nem igaz, a norma végtelen is lehet, például a differenciáloperátorok esetében. Szigorúan véve nem lesz norma a fenti értelemben. Be lehet bizonyítani, hogy egy operátor normája véges akkor és csak akkor, ha folytonos. Egy adott teljes normált térbe képező folytonos operátorok tere teljes. Az operátornormák mindig szubmultiplikatívak, ugyanis ha a két tér megegyezik és teljes, akkor a folytonos lineáris operátorok tere az operátornormával és a kompozícióval Banach-algebrát alkot.

Nukleáris norma

Két Banach-tér közötti $T:V\to W$ nukleáris operátor normáját a következőképpen definiálják:

$\Vert T{\Vert }_1=\inf \sum _{i=1}^{\mathrm{\infty }}\Vert x{\text{'}}_i{\Vert }_{V^{\prime }}\Vert y_i{\Vert }_W$,

ahol $(x{\text{'}}_i{)}_i$ egy $V^{\prime }$ duális térbeli vektorsorozat, és $(y_i{)}_i$ egy $W$-beli vektorokból álló sorozat. Így $T$ írható úgy, mint $T(x)={\sum }_{i=1}^{\mathrm{\infty }}x{\text{'}}_i(x)y_i$, és ezeknek a nukleáris ábrázolásoknak az infimumát tekintjük. Ha mindkét vektortér Hilbert, akkor a megfelelő nukleáris norma a nyomnorma. A nukleáris operátorok tere a nukleáris normával teljes normált tér.

Hilbert–Schmidt-norma

Egy Hilbert–Schmidt-operátor Hilbert–Schmidt-normáját úgy definiálják, mint:

$\Vert T{\Vert }_2={(\sum _{i\in I}\Vert T{e}_i{\Vert }_W^2)}^{1/2}$,

ahol $(e_i{)}_{i\in I}$ ortonormált bázis $V$-ben. A Hilbert–Schmidt-norma a Frobenius-norma általánosítása végtelen dimenziós Hilbert-terekre. A Hilbert–Schmidt-normát indukálja az $⟨T,S⟩=\mathrm{spur}(S^{*}T)$ skalárszorzat, ahol $S^{*}$ az $S$-hez adjungált operátor. A Hilbert–Schmidt-operátorok a Hilbert–Schmidt-normával Hilbert-teret alkotnak, ami $V=W$ esetén Banach-algebra, sőt H*-algebra.

Schatten-normák

Egy két szeparábilis Hilbert-tér közötti kompakt lineáris operátor Schatten-$p$-normája, ahol $1\le p<\mathrm{\infty }$:

$\Vert T{\Vert }_p={(\sum _{i=1}^{\mathrm{\infty }}|s_i{|}^p)}^{1/p}$,

ahol $(s_i)$ az operátor szinguláris értékeinek sorozata. Ha $p=1$, akkor a nyomnormához jutunk; ha $p=2$, akkor a Hilbert–Schmidt-normához. Az ${\ell }^p$-beli szinguláris értékekkel bíró kompakt lineáris operátorok a megfelelő Schatten-$p$-normával teljes normált teret alkotnak, ami $V=W$ esetén Banach-algebra.

Egységgömbök

Képek az egységgömbökről két dimenzióban:

• Egységgömbök két dimenzióban
• 
  p = 1
• 
  p = 2
• 
  p = ∞

A maximumnorma (kocka) és az összegnorma (oktaéder) normagömbjei három dimenzióban

Egy adott $x_0\in V$ vektor és egy adott $r\in \mathbb{𝕂}$ skalár esetén, ahol $r>0$, az

$\{x\in V:\Vert x-x_0\Vert <r\}$    illetve    $\{x\in V:\Vert x-x_0\Vert \le r\}$

halmazok nyílt, illetve zárt normagolyók. Az

$\{x\in V:\Vert x-x_0\Vert =r\}$

halmaz az $x_0$ körüli $r$ sugarú normagömb. Ezek az elnevezések általánosítások: a normagömbnek és normagolyónak lehetnek csúcsai és élei, és csak az euklideszi vektornorma esetén egyezik meg az ismert gömbfogalommal. Ha $x_0=0$ és $r=1$, akkor egységgömbről és egységgolyóról beszélünk. Minden normagömb, illetve normagolyó megkapható az egységgömb, illetve az egységgolyó $r$-rel való skálázásával és az $x_0$ vektorral való eltolásával. Az egységgömb vektorai az egységvektorok; minden $x\ne 0$ vektor megkapható valamelyik egységvektor felszorzásával. Ez az egységvektor megkapható normálással: $\frac{x}{\Vert x\Vert }$. A háromszög-egyenlőtlenség biztosítja, hogy a normagömb konvex legyen. Az abszolút homogenitás miatt középpontosan szimmetrikus az $x_0$ pontra. Véges dimenziós vektorterekben a normák normagömbbel is definiálhatók, amennyiben végesek, zártak, konvexek, tartalmazzák az origót és középpontosan szimmetrikusak rá. A megfelelő leképezés a Minkowski-funkcionál. Hermann Minkowski 1896-ban vizsgált ilyen funkcionálokat számelméleti kérdésekben.

Általánosítások

Súlyozott normák

A súlyozott normák súlyozott vektorterek normái. Például indukált súlyozott függvénynormát kapunk a $w$ súlyfüggvénnyel, úgy, hogy

$\Vert f{\Vert }_w=\sqrt{⟨f,f{⟩}_w}$    ahol    $⟨f,g{⟩}_w=\underset{\mathrm{\Omega }}{\int }w(x)f(x)g(x)dx$,

ahol $⟨\cdot ,\cdot {⟩}_w$ súlyozott $L^2$-skalárszorzat. A súlyfüggvények bevezetése lehetővé teszi függvényterek bővítését, mivel vannak függvények, melyek normája így már véges; vagy éppen szűkíti, például azokra a függvényekre, melyek monotonitása adott.

Kvázinormák

A (2/3)-norma, egy kvázinorma egységgömbje két dimenzióban egy asztroid

Ha gyengítjük a háromszög-egyenlőtlenséget úgy, hogy létezik egy $k>1$ konstans úgy, hogy $x,y\in V$

$\Vert x+y\Vert \le k\cdot (\Vert x\Vert +\Vert y\Vert )$

akkor kvázinormához jutunk. Egy kvázinormával ellátott vektortér kvázinormált tér. Például az ${\ell }^p$-normák kvázinormák $0<p<1$ esetén, és a hozzájuk tartozó terek kvázinormált terek, akár kvázi-Banach-terek.

Értékelt terek

A norma fogalma általánosítható úgy is, hogy valós vagy komplex vektortér helyett tetszőleges értékelt test fölötti vektorteret tekintünk, tehát olyan test fölötti vektorteret, ahol be van vezetve egy $|\cdot |$ abszolútérték. Ennek egy további általánosítás egy abszolútértékkel ellátott unitér gyűrű fölötti modulus. Legyen $M$ modulus egy abszolútértékkel ellátott $(R,|\cdot |)$ unitér gyűrű fölött! Ekkor egy $\Vert \cdot \Vert :M\to {\mathbb{ℝ}}_{+}$ függvény norma $M$-ben, ha minden $x,y\in M$ vektorra és minden $\alpha \in R$ skalárra teljesülnek a norma tulajdonságai. Ha az $R$ gyűrűben az abszolútértéket pszeudoabszolútérték helyettesíti, és a homogenitást szubhomogenitásra gyengítjük, akkor pszeudonormát kapunk.

Kapcsolódó fogalmak

Normált terek

Ha egy $V$ vektorteret normával látunk el, akkor normált teret kapunk. A normált tereknek egyéb tulajdonságaik is vannak, így például távolságot is lehet bennük mérni, mivel a norma a vektorok közötti különbségképzéssel metrikát indukál:

Ha $x,y\in V$, akkor $d(x,y)=\Vert x-y\Vert$.

Ezzel a Fréchet-metrikával a normált tér metrikus tér is, és mivel a metrika topológiát indukál, topologikus tér, sőt, Hausdorff-tér is. A norma folytonos az általa indukált topológia szerint. Egy $(x_n{)}_n$ pontosan akkor tart egy $x$ határértékhez, ha teljesül $\Vert x_n-x\Vert \to 0$. Ha minden Cauchy-sorozat határértékhez tart ebben a térben, akkor a tér teljes normált tér vagy Banach-tér.

Normált algebrák

Ha egy $V$ vektorteret ellátunk egy asszociatív és disztributív $\circ$ vektoriális szorzattal látunk el, akkor $(V,+,\circ )$ asszociatív algebra. Ha $(V,\Vert \cdot \Vert )$ normált tér, és normája szubmultiplikatív, és minden $x,y\in V$ vektorra

$\Vert x\circ y\Vert \le \Vert x\Vert \cdot \Vert y\Vert$,

akkor normált algebrához jutunk. Ha a normált tér teljes, akkor Banach-algebra. Például az ${\mathbb{𝕂}}^{n\times n}$ négyzetes mátrixok tere a mátrixok összeadásával, a mátrixszorzással és egy szubmultiplikatív normával Banach-algebra.

Félnormák

Ha gyengítjük a definitséget, akkor félnormához jutunk. A homogenitás és a szubmultiplikativitás miatt az

$Z=\{x\in V:\Vert x\Vert =0\}$

vektorok halmaza altér $V$-ben. Ezen a módon képezhető egy

$x\sim y:⟺x-y\in Z$

ekvivalenciareláció. Ha képezünk egy $\tilde{V}$ teret ennek a relációnak az ekvivalenciaosztályaival, akkor $\tilde{V}$ a $\Vert \cdot \Vert$ normával normált tér. Ezt a folyamatot a félnormára való maradékosztály-képzésnek nevezzük, és $\tilde{V}$ a $V/Z$ faktortérnek. Félnormák egy halmazával definiálhatók lokálisan konvex terek, amelyek speciális topologikus terek.

Normák ekvivalenciája

Az euklidészi norma (kékkel) és a maximumnorma (pirossal) ekvivalenciája két dimenzióban

Két norma, $\Vert \cdot {\Vert }_a$ és $\Vert \cdot {\Vert }_b$ ekvivalens, ha vannak $c_1$ és $c_2$ konstansok úgy, hogy minden $x\in V$ esetén:

$c_1\Vert x{\Vert }_b\le \Vert x{\Vert }_a\le c_2\Vert x{\Vert }_b$

azaz az egyik normával a másik alulról és felülről becsülhetők. Az ekvivalens normák ugyanazt a topológiát indukálják. Ha egy sorozat konvergál az egyik normában, akkor az ekvivalens normában is konvergál. Véges dimenziós terekben minden norma ekvivalens, ugyanis a normagömbök a Heine–Borel-tétel miatt kompakt halmazok. Végtelen dimenziós terekben vannak nem ekvivalens normák. Ha egy vektortér teljes két normában, akkor ezek ekvivalensek akkor, ha van egy pozitív $c$ konstans úgy, hogy:

$\Vert x{\Vert }_a\le c\Vert x{\Vert }_b$

merthogy van egy két Banach-tér közötti folytonos leképezés, melynek inverze a nyílt leképezés tétele szerint szintén folytonos.

Duális normák

Egy $\mathbb{𝕂}$ test fölötti $V$ normált vektortér $V^{*}$ duális tere a $V$-ből $\mathbb{𝕂}$-ba menő folytonos lineáris funkcionálok tere. Például az $n$-dimenziós vektorok terének duális tere a vektorkomponensek lineáris kombinációja, ami egy ugyanolyan dimenziós vektortér. Egy $\Vert \cdot \Vert$ normához duális $\Vert \cdot {\Vert }^{\ast }$ funkcionálnorma:

$\Vert L{\Vert }^{\ast }=\underset{\Vert x\Vert \le 1}{\sup }|Lx|=\underset{\Vert x\Vert =0}{\sup }\frac{|Lx|}{\Vert x\Vert }$.

Ezzel a normával a duális tér szintén normált tér, sőt teljes normált tér, függetlenül attól, hogy a kiindulási tér teljes-e. Ha két norma ekvivalens, akkor duális normáik is ekvivalensek. A duális normákra a szuprémumértelmezésével következik, hogy:

$|Lx|\le \Vert L{\Vert }^{\ast }\Vert x\Vert$.

Források

• Stoyan Gisbert - Takó Galina: Numerikus módszerek 1.
• Riesz-Szőkefalvi: Funkcionálanalízis
• Hans Wilhelm Alt. Lineare Funktionalanalysis, 6., überarb. Aufl., Berlin Heidelberg: Springer (2012. április 24.) 
• Albrecht Beutelspacher. Lineare Algebra: eine Einführung in die Wissenschaft der Vektoren, Abbildungen und Matrizen, 8., aktualis. Aufl, Wiesbaden: Springer Spektrum (2014. április 24.) 
• Elena Deza, Michel Marie Deza. Encyclopedia of Distances (English nyelven). Springer Berlin Heidelberg (2009. április 24.) 
• Gerd Fischer, Boris Springborn. Lineare Algebra. Eine Einführung für Studienanfänger, 19., vollständig überarbeitete und ergänzte Auflage, Berlin [Heidelberg]: Springer Spektrum (2020. április 24.) 
• Hans Rudolf Schwarz, Norbert Köckler. Numerische Mathematik. Wiesbaden: Vieweg+Teubner Verlag (2011. április 24.) 
• Dirk Werner. Funktionalanalysis, 8., vollständig überarbeitete Auflage, Berlin: Springer Spektrum (2018. április 24.) 

Fordítás

Ez a szócikk részben vagy egészben a Norm (Mathematik) című német Wikipédia-szócikk fordításán alapul. Az eredeti cikk szerkesztőit annak laptörténete sorolja fel. Ez a jelzés csupán a megfogalmazás eredetét és a szerzői jogokat jelzi, nem szolgál a cikkben szereplő információk forrásmegjelöléseként.