Euklidische Norm

aus Wikipedia, der freien Enzyklopädie
(Weitergeleitet von 2-Norm)
Wechseln zu: Navigation, Suche
Euklidische Norm in zwei reellen Dimensionen

Die euklidische Norm, Standardnorm oder 2-Norm ist eine in der Mathematik häufig verwendete Vektornorm. Im zwei- und dreidimensionalen euklidischen Raum entspricht die euklidische Norm der anschaulichen Länge oder dem Betrag eines Vektors und kann mit dem Satz des Pythagoras berechnet werden. Allgemeiner wird die euklidische Norm auch für reelle und komplexe Vektorräume beliebiger endlicher Dimension definiert und ist dann die vom Standardskalarprodukt abgeleitete Norm.

Sie besitzt als eine von einem Skalarprodukt induzierte Norm neben den drei Normaxiomen eine Reihe weiterer Eigenschaften, wie die Gültigkeit der Cauchy-Schwarz-Ungleichung und der Parallelogrammgleichung, sowie eine Invarianz unter unitären Transformationen. Für orthogonale Vektoren erfüllt die euklidische Norm selbst eine allgemeinere Form des Satzes des Pythagoras.

Von der euklidischen Norm werden Begriffe wie der euklidische Abstand und die euklidische Topologie abgeleitet. Sie kann auf unendlichdimensionale Vektorräume verallgemeinert werden, beispielsweise auf Folgenräume durch die 2-Norm und auf Funktionenräume durch die L2-Norm.

Definitionen[Bearbeiten]

Reelle Vektoren in zwei und drei Raumdimensionen[Bearbeiten]

Die Länge des Vektors \scriptstyle \vec{v} = (4, 3) ist nach dem Satz des Pythagoras \scriptstyle | \vec{v} | = \sqrt{4^2 + 3^2} = 5.

Ein Vektor \vec{v} in der euklidischen Ebene lässt sich über seine Komponenten x und y im kartesischen Koordinatensystem durch \vec{v} = (x, y) darstellen. Die Länge oder der Betrag des Vektors wird durch Betragsstriche | \cdot | um den Vektor gekennzeichnet und kann mit Hilfe des Satzes des Pythagoras durch

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

berechnet werden. Im dreidimensionalen euklidischen Raum wird die Länge eines Vektors \vec{v} = (x, y, z) analog zum zweidimensionalen Fall über

| \vec{v} | = \sqrt{x^2 + y^2 + z^2}

ermittelt. In der Physik wird der Betrag eines Vektors manchmal dadurch gekennzeichnet, dass man die Betragsstriche und den Vektorpfeil weglässt: v=|\vec{v}|. Werden Vektoren im Text fettgeschrieben, wird manchmal auch nur der Fettdruck weggelassen: v=|\mathbf{v}|. Die natürliche Länge eines Vektors wird auch euklidische Norm oder 2-Norm des Vektors genannt und, um sie von anderen Vektornormen zu unterscheiden, mit | \vec{v} |_2 oder \| \vec{v} \|_2 bezeichnet.

Reelle Vektoren endlicher Dimension[Bearbeiten]

Ist \R^n der Vektorraum der reellen n-dimensionalen Vektoren v = ( v_1, v_2, \ldots , v_n ), dann ist die euklidische Norm eines Vektors als die Wurzel aus der Summe der Quadrate der Vektorkomponenten definiert:[1]

\| v \|_2 := \sqrt{ ( v_1 )^2 + ( v_2 )^2 + \ldots + ( v_n )^2 } = \left( \sum_{i=1}^n ( v_i )^2 \right)^{1/2}.

Für einen eindimensionalen Vektor ergibt sich als Spezialfall der Betrag einer reellen Zahl und für einen zwei- oder dreidimensionalen Vektor erhält man dessen Länge in der Ebene oder im Raum wie im vorangegangenen Abschnitt. Die euklidische Norm ist dabei vom Standardskalarprodukt zweier reeller Vektoren v, w \in \R^n

 \langle v, w\rangle = v_1 w_1 + v_2 w_2 + \ldots + v_n w_n

abgeleitet, denn es gilt

\| v \|_2 = \sqrt{\langle v, v \rangle}.

Komplexe Vektoren endlicher Dimension[Bearbeiten]

Ist nun \C^n der Vektorraum der komplexen n-dimensionalen Vektoren v = ( v_1, v_2, \ldots , v_n ), dann ist die euklidische Norm eines Vektors als die Wurzel aus der Summe der Betragsquadrate der Vektorkomponenten definiert:[1]

\| v \|_2 := \sqrt{ | v_1 |^2 + | v_2 |^2 + \ldots + | v_n |^2 } = \left( \sum_{i=1}^n | v_i |^2 \right)^{1/2}.

Dabei dürfen die Betragsstriche in der Definition nicht weggelassen werden. Für einen eindimensionalen Vektor ergibt sich als Spezialfall der Betrag einer komplexen Zahl entsprechend der Länge ihres Vektors in der Gaußschen Zahlenebene. Die euklidische Norm ist vom Standardskalarprodukt zweier komplexer Vektoren v, w \in \C^n

 \langle v, w\rangle = {\bar v}_1 w_1 + {\bar v}_2 w_2 + \ldots + {\bar v}_n w_n

induziert, wobei \bar z die Konjugierte der komplexen Zahl z ist.

Beispiele[Bearbeiten]

Die euklidische Norm des reellen Vektors v = (3, -2, 6) \in \R^3 ist

\| v \|_2 = \sqrt{3^2 + (-2)^2 + 6^2} = \sqrt{9 + 4 + 36} = \sqrt{49} = 7.

Die euklidische Norm des komplexen Vektors v = ( 3, i, 5 - i ) \in \C^3 ist

\| v \|_2 = \sqrt{ | 3 |^2 + | i |^2 + | 5 - i |^2} = \sqrt{ 9 + 1 + 26 } = \sqrt{36} = 6.

Eigenschaften[Bearbeiten]

Im Weiteren wird vom Allgemeinfall reeller oder komplexer Vektoren endlicher Dimension v \in {\mathbb K}^n mit {\mathbb K} = \R oder {\mathbb K} = \C ausgegangen. Die nun folgenden Eigenschaften sind dabei lediglich Spezialfälle der entsprechenden Eigenschaften allgemeiner von einem Skalarprodukt induzierten Normen.

Normaxiome[Bearbeiten]

Vektoren in der Dreiecksungleichung

Die euklidische Norm erfüllt die drei Normaxiome. Die Definitheit

\| v \|_2 = 0 \; \Rightarrow \; v = 0

bedeutet, dass, wenn die Länge eines Vektors v \in {\mathbb K}^n Null ist, er der Nullvektor sein muss. Die absolute Homogenität

\| \alpha \cdot v \|_2 = | \alpha | \cdot \| v \|_2

besagt, dass, wenn die Komponenten eines Vektors mit einer Zahl \alpha \in \mathbb K multipliziert werden, sich die Länge des Vektors mit dem Betrag dieser Zahl ändert. Die Dreiecksungleichung (Subadditivität)

\| v + w \|_2 \leq \| v \|_2 + \| w \|_2

sagt schließlich aus, dass die Länge der Summe zweier Vektoren v, w \in {\mathbb K}^n höchstens so groß wie die Summe der beiden Längen ist. Gleichheit gilt dabei genau dann, wenn die beiden Vektoren in die gleiche Richtung zeigen. Der Beweis der Dreiecksungleichung basiert dabei auf der Cauchy-Schwarz-Ungleichung

\left|\langle v, w \rangle\right| \leq \| v \|_2 \cdot \| w \|_2.

Einheitssphäre und Einheitskugel[Bearbeiten]

Einheitssphäre (blau) und offene Einheitskugel (rot) in zwei Dimensionen

Die euklidische Norm ist eine spezielle p-Norm für die Wahl von p=2 und heißt deswegen auch 2-Norm. Die Einheitssphäre der euklidischen Norm, also die Menge

\{ v \in {\mathbb K}^n \colon \| v \|_2 = 1 \}

der Vektoren mit Norm Eins hat in zwei reellen Dimensionen die Form eines Kreises, in drei reellen Dimensionen die Form einer Kugeloberfläche und in allgemeinen Dimensionen die Form einer Sphäre. Analog dazu nennt man die Menge

\{ v \in {\mathbb K}^n \colon \| v \|_2 \leq 1 \} bzw. \{ v \in {\mathbb K}^n \colon \| v \|_2 < 1 \}

die abgeschlossene bzw. die offene Einheitskugel der euklidischen Norm. Sie hat in zwei reellen Dimensionen die Form einer Kreisscheibe und in drei und höheren Dimensionen die Form einer Kugel. Die euklidische Norm kann auch über ihre Einheitskugel als Minkowski-Funktional definiert werden.

Parallelogrammgleichung[Bearbeiten]

Hauptartikel: Parallelogrammgleichung
Vektoren in der Parallelogrammgleichung

Die euklidische Norm genügt für alle Vektoren v, w \in {\mathbb K}^n der Parallelogrammgleichung

\| v + w \|_2^2 + \| v - w \|_2^2 = 2 ( \| v \|_2^2 + \| w \|_2^2 )

und ist die einzige p-Norm mit dieser Eigenschaft, siehe dazu auch den Satz von Jordan-von Neumann.

Unitäre Invarianz[Bearbeiten]

Die euklidische Norm ist – ebenfalls als einzige p-Norm – invariant unter unitären Transformationen. Ist demnach U \in {\mathbb K}^{n \times n} eine unitäre Matrix (im komplexen Fall) oder orthogonale Matrix (im reellen Fall), dann gilt

\| U v \|_2 = \| v \|_2,

was aus der Verschiebungseigenschaft des Standardskalarprodukts über

\| U v \|^2_2 = \langle U v, U v \rangle = \langle v, U^H U v \rangle = \langle v, U^{-1} U v \rangle = \langle v, v \rangle = \| v \|^2_2

folgt. Die euklidische Norm ändert sich also unter unitären Transformationen nicht. Für reelle Vektoren sind solche Transformationen beispielsweise Drehungen des Vektors um den Nullpunkt. Diese Eigenschaft wird zum Beispiel bei der numerischen Lösung linearer Ausgleichsprobleme über die Methode der kleinsten Quadrate mittels QR-Zerlegungen genutzt.

Abgeleitete Begriffe[Bearbeiten]

Winkel[Bearbeiten]

Über das Standardskalarprodukt und die euklidische Norm kann der Winkel \varphi zwischen zwei reellen Vektoren v, w \in {\mathbb R}^n durch

\cos(\varphi) = \frac{\langle v, w \rangle}{\| v \|_2 \, \| w \|_2}

definiert werden. Mit dieser Winkeldefinition erhält man die folgende Verallgemeinerung des Kosinussatzes:

\| v + w \|_2^2 = \| v \|_2^2 + \| w \|_2^2 + 2 \| v \|_2 \| w \|_2 \cos(\varphi).

Für Winkel zwischen komplexen Vektoren gibt es eine Reihe unterschiedlicher Definitionen.[2] Allgemein werden zwei Vektoren v, w \in {\mathbb K}^n orthogonal genannt, wenn ihr Skalarprodukt \langle v, w \rangle=0 ist. Für orthogonale Vektoren gilt dann eine allgemeinere Form des Satzes des Pythagoras

\| v + w \|_2^2 = \| v \|_2^2 + \| w \|_2^2.

Euklidischer Abstand[Bearbeiten]

Beziehungen zwischen Skalarprodukt, Norm, Metrik und Topologie
Hauptartikel: Euklidischer Abstand

Weiterhin kann mittels der euklidischen Norm durch Differenzbildung zweier Vektoren v, w \in {\mathbb K}^n eine Metrik

d(v, w) = \| v - w \|_2 = \sqrt{|v_1 - w_1|^2 + \cdots + |v_n - w_n|^2},

die euklidische Metrik, definiert werden. Eine Metrik erlaubt es, den Abstand zweier Vektoren zu messen. Da die euklidische Metrik von einer Norm herrührt ist sie translationsinvariant.

Euklidische Topologie[Bearbeiten]

Zudem lässt sich über die euklidische Norm bzw. Metrik auf dem Vektorraum {\mathbb K}^n eine Topologie, die euklidische Topologie, definieren. Sie ist die Normtopologie, die erzeugt wird von dem Mengensystem der offenen Kugeln

U_\varepsilon(v) = \{\, w \in {\mathbb K}^n, \, \| v - w \|_2 < \varepsilon \, \},

die alle Vektoren mit einem Abstand kleiner als \varepsilon von einem gegebenen Vektor v \in {\mathbb K}^n enthalten. Über diese ε-Kugeln lassen sich dann Begriffe wie Stetigkeit und Grenzwert definieren: Beispielsweise strebt eine Folge von Vektoren (v_n) genau dann gegen einen Grenzwert v, wenn \|v_n-v\|_2 \rightarrow 0 für n \rightarrow \infty gilt. Tatsächlich sind auf dem Vektorraum {\mathbb K}^n alle Normen äquivalent zur euklidischen Norm und erzeugen deshalb dieselbe Topologie.

Verallgemeinerungen[Bearbeiten]

Sieht man eine Matrix mit reellen oder komplexen Einträgen als entsprechend langen Vektor an, so kann die euklidische Norm auch für Matrizen definiert werden und heißt dann Frobeniusnorm. Die euklidische Norm kann auch auf unendlichdimensionale Vektorräume über den reellen oder komplexen Zahlen verallgemeinert werden und hat dann zum Teil eigene Namen. Die wichtigsten Verallgemeinerungen sind dabei wie folgt.

2-Norm[Bearbeiten]

Die 2-Norm ist die Verallgemeinerung der euklidischen Norm auf den Folgenraum \ell^2 der quadratisch summierbaren Folgen (a_n)_n \in {\mathbb K}^{\N}. Hierbei wird lediglich die endliche Summe durch eine unendliche ersetzt und die 2-Norm ist dann gegeben als

\|(a_n)\|_{\ell^2} = \left( \sum_{n=1}^\infty |a_n|^2 \right)^{1/2}.

Der Raum \ell^2 ist ein Hilbertraum mit dem Skalarprodukt zweier Folgen

\left\langle \, (a_n), (b_n) \, \right\rangle_{\ell^2} = \sum_{n=1}^\infty \overline{a_n} \cdot b_n.

L2-Norm[Bearbeiten]

Weiter kann die euklidische Norm auf den Funktionenraum L^2(\Omega) der auf einer Menge \Omega quadratisch integrierbaren Funktionen verallgemeinert werden, was in zwei Schritten geschieht. Zunächst wird die {\mathcal L}^2-Norm einer quadratisch Lebesgue-integrierbaren Funktion f \colon \Omega \rightarrow {\mathbb K} als

\| f \|_{{\mathcal L}^2(\Omega)} = \left( \int_\Omega | f(x) |^2 \, dx \right)^{1/2},

definiert, wobei im Vergleich zur 2-Norm lediglich die Summe durch ein Integral ersetzt wurde. Dies ist zunächst nur eine Halbnorm, da nicht nur die Nullfunktion, sondern auch alle Funktionen, die sich nur an einer Menge mit Lebesgue-Maß Null von der Nullfunktion unterscheiden, zu Null integriert werden. Daher betrachtet man die Menge der Äquivalenzklassen von Funktionen [ f ] \in L^2(\Omega), die fast überall gleich sind, und erhält auf diesem L2-Raum die L2-Norm durch

\| \, [ f ] \, \|_{L^2(\Omega)} = \| f \|_{{\mathcal L}^2(\Omega)}.

Der Raum L^2(\Omega) ist ein Hilbertraum mit dem Skalarprodukt zweier Funktionen

\langle f,g \rangle_{L_2(\Omega)} = \int_\Omega \overline{f(x)} \cdot g(x) \, dx.

Er lässt sich von dem Lebesgue-Maß auch auf allgemeine Maße verallgemeinern.

Allgemeine Vektorräume[Bearbeiten]

Noch allgemeiner kann die euklidische Norm in beliebigen unendlichdimensionalen Vektorräumen V über eine zugehörige Hamelbasis definiert werden. Ist \{ x_i \}_{i \in I} eine solche Hamelbasis von V, wobei I eine Indexmenge ist, dann lässt sich jeder Vektor v \in V als Linearkombination \textstyle v = \sum_{i \in I} a_i x_i mit Koeffizienten a_i \in {\mathbb K} darstellen (hierbei sind nur endlich viele der Koeffizienten a_i von 0 verschieden). Die euklidische Norm eines Vektors ist dann definiert als[3]

\| v \|_2 = \left( \sum_{i \in I} | a_i |^2 \right)^{1/2}

und dabei von dem Skalarprodukt

\langle v, w \rangle = \left\langle \sum_{i \in I} a_i x_i, \sum_{i \in I} b_i x_i \right\rangle := \sum_{i \in I} \bar{a}_i b_i

für Vektoren v,w \in V induziert.

Gelegentlich wird auch eine von einem beliebigen Skalarprodukt auf einem reellen Skalarproduktraum induzierte Norm als euklidische Norm bezeichnet.[4][5]

Literatur[Bearbeiten]

Einzelnachweise[Bearbeiten]

  1. a b  Amann, Escher: Analysis I. 2006, S. 169.
  2.  Klaus Scharnhorst: Angles in complex vector spaces. In: Acta Applicandae Math.. 69, 2001, S. 95–103.
  3.  Scheja, Storch: Lehrbuch der Algebra: Unter Einschluss der linearen Algebra. 2. Band, Vieweg, 1988, S. 465.
  4.  Bronstein et al.: Taschenbuch der Mathematik. 2008, S. 368.
  5.  Beutelspacher: Lineare Algebra. 2003, S. 259.

Weblinks[Bearbeiten]