Norm (matematik)

Fra Wikipedia, den frie encyklopædi
Gå til: navigation, søg
Disambig bordered fade.svg For alternative betydninger, se Norm.

Begrebet norm er i matematikken en generalisering af det almindelige begreb længde. En norm er generelt et mål for størrelsen/længden af en vektor i et reelt eller komplekst vektorrum. Fælles for alle normer er at de karakteriserer det matematiske objekt med en enkelt positiv skalar (et tal), der kan anvendes til sammenligning med normen af andre vektorer af samme type.

Definition[redigér | redigér wikikode]

En norm er en funktion f:VR+ fra et reelt eller komplekst vektorrum V over i de positive (inklusiv 0) reelle tal, der opfylder følgende tre egenskaber. Dog bruger man oftest notationen ||v|| for funktionsværdien f(v) (eller man skriver blot, at en norm er en funktion || ⋅ ||:VR+). En norm på et reelt hhv. komplekst vektorrum V skal under alle omstænder opfylde disse tre betingelser:

  1. ||av|| = |a|⋅||v|| for alle vektorer vV og aR hhv. aC.
  2. ||v|| = 0 ⇔ v = 0 for alle vV.
  3. ||v + w|| ≤ ||v|| + ||w|| for alle v, wV.

Sidste betingelse går også under navnet trekantsuligheden. Et vektorrum med en norm kaldes et normeret vektorrum.

Eksempler[redigér | redigér wikikode]

Den euklidiske norm[redigér | redigér wikikode]

Den mest kendte norm kaldes også den euklidiske norm og det, man normalt forbinder med længden af en vektor i de "almindelige" vektorrum \mathbb{R}^2 og \mathbb{R}^3. For en vektor \vec{v} = (x, y) i planet \mathbb{R}^2 er den euklidiske norm defineret ved

\Vert\vec{v}\Vert = \sqrt{x^2 + y^2},

for en tredimensionel vektor \vec{v} = (v_1, v_2, v_3)\in\mathbb{R}^3 er den defineret ved

\Vert\vec{v}\Vert = \sqrt{v_1^2 + v_2^2 + v_3^2},

og for en skalar (altså i det endimensionelle tilfælde) falder denne norm sammen med absolut-værdien. Fx \Vert -3 \Vert = \sqrt{(-3)^2} = |-3| = 3.

n-normer på Rk[redigér | redigér wikikode]

Enhedscirkler i R² mht. forskellige normer.

Den euklidiske norm kan på samme måde generaliseres til højere dimensioner. For en vektor \vec{v} = (v_1, v_2, \ldots, v_k)\in\mathbb{R}^k er den euklidiske norm således defineret ved

\Vert\vec{v}\Vert = \sqrt{\sum_{i=1}^k v_i^2}.

Faktisk har man en hel familie af normer på \mathbb{R}^k defineret ved

\Vert\vec{v}\Vert_n = \sqrt[n]{\sum_{i=1}^k |v_i|^n}.

Derfor kalder man under tiden den euklidiske norm for 2-normen. To specialtilfælde af denne er værd at bemærke: For n=1 får man

\Vert\vec{v}\Vert_1 = \sum_{i=1}^k |v_i|

— dvs. 1-normen er summen af vektorkoordinaternes absolutværdi. Det andet specialtilfælde er grænseværdien for n \rightarrow \infty. Her dominerer den største af vektorkomponenterne, dvs.

\Vert\vec{v}\Vert_\infty = \max\{v_i\,|\,1\leq i\leq k\}

De ovenfor beskrevne normer er langtfra de eneste; forskellige normer passer til forskellige problemer.

Se også[redigér | redigér wikikode]