Normenäquivalenzsatz

Definition: Äquivalenz von Normen

Seien zwei Normen $\Vert \cdot {\Vert }_1$ und $\Vert \cdot {\Vert }_2$ auf dem $𝕂$-Vektorraum $V$ gegeben. Die beiden Normen sind äquivalent, wenn gilt:

${\mathrm{\exists }}_{C_1,C_2>0}{\mathrm{\forall }}_{x\in V}:C_1\Vert x{\Vert }_1\le \Vert x{\Vert }_2\le C_2\Vert x{\Vert }_1$

Zeigen Sie, dass eine Folge genau dann in $\Vert \cdot {\Vert }_1$ konvergiert, wenn diese Folge auch bzgl. $\Vert \cdot {\Vert }_2$ konvergiert. Datei:Audio17 aequivalenz normen.ogg

Theorem: Normenäquivalenzsatz

Auf endlichdimensionalen $𝕂$-Vektorräumen $V$ mit $𝕂=ℂ,ℝ$ sind alle Normen äquivalent.

Beweisidee

Man zeigt in dem Beweis, dass eine beliebige Norm $\Vert \cdot \Vert$ auf $V$ äquivalent zu einer speziellen Norm $\Vert \cdot {\Vert }_B$ ist und nutzt die Eigenschaft aus, dass die Äquivalenz von Normen eine Äquivalenzrelation ist. In dem Beweis der Ungleichungskette für die beiden Normen geht der Satz von Bolzano-Weierstraß für endlich dimensionale Vektorräume ein, um die Abschätzung zu zeigen, dass ein $C_1>0$ existiert mit $C_1\cdot \Vert v{\Vert }_B\le \Vert v\Vert$ für alle $v\in V$ gilt.

Beweis 1: Definition einer Norm

Dabei ist die Norm $\Vert \cdot {\Vert }_B$ bezüglich einer frei wählbaren Basis $B=(b_1,\dots ,b_n)$ auf $V$ wie folgt definiert:

$\Vert v{\Vert }_B:=\underset{i\in \{1,...,n\}}{\max }|{\lambda }_i|$

wobei $({\lambda }_1,\dots ,{\lambda }_n)\in {𝕂}^n$ der Koordinatenvektor von $v$ bezüglich der Basis $B$ ist, der für jedes $v\in V$ eindeutig bestimmt ist, d.h. es gilt

$v=\sum _{i=1}^n{\lambda }_i\cdot b_i$,

Beweis 2: Abschätzung nach oben

Sei $v\in V$ beliebig gewählt, dann gilt unter Verwendung der Homogenität einer Norm und der Dreiecksungleichung:

$\begin{array}{ccc}\Vert v\Vert & =& \Vert \sum _{i=1}^n{\lambda }_i\cdot b_i\Vert \\ & \le & \sum _{i=1}^n\Vert {\lambda }_i\cdot b_i\Vert =\sum _{i=1}^n|{\lambda }_i|\cdot \Vert b_i\Vert \\ & \le & \sum _{i=1}^n\Vert v{\Vert }_B\cdot \Vert b_i\Vert =\Vert v{\Vert }_B\cdot \underset{=:C_2}{\underbrace{\sum _{i=1}^n\Vert b_i\Vert }}\end{array}$,

Beweis 3: Abschätzung nach unten

Wir betrachten nun die Einschränkung der Funktion$\Vert \cdot \Vert :\partial {ℬ}_1^{\Vert \cdot {\Vert }_B}(0_V)\to ℝ$. Man definiert dazu den Rand der Einheitskugel $\text{auf}x\in \partial {ℬ}_1^{\Vert \cdot {\Vert }_B}(0_V):=\{x\in V|\Vert x{\Vert }_B=1\}\subset V$ bzgl. der beliebig gewählten Norm $\Vert \cdot \Vert$.

Die Menge $\partial {ℬ}_1^{\Vert \cdot {\Vert }_B}(0_V)$ ist bezüglich $\Vert \cdot {\Vert }_B$ eine abgeschlossene und beschränkte Teilmenge von $V$ (bzw. ${𝕂}^n$). Für endlich dimensionale $𝕂$-Vektorräume ist eine solche Menge nach dem von Satz von Heine-Borel kompakt.

Beweis 4: Abschätzung nach unten - Min/Max

Das Minimum und Maximum der stetigen Funktion $\Vert \cdot \Vert :\partial {ℬ}_1^{\Vert \cdot {\Vert }_B}(0_V)\to ℝ$ existiert nach dem Satz von Weierstrass und wird durch ein Element $w_1,w_2\in {ℬ}_1^{\Vert \cdot {\Vert }_B}(0_V)$ auf dem kompakten Definitionsbereich angenommen.

• Minimum: $C_1:=\underset{w\in \partial {ℬ}_1^{\Vert \cdot {\Vert }_B}(0_V)}{\min }\Vert w\Vert =\Vert w_1\Vert$
• Maximum: $C_0:=\underset{w\in \partial {ℬ}_1^{\Vert \cdot {\Vert }_B}(0_V)}{\max }\Vert w\Vert =\Vert w_2\Vert$

für geeignet gewähltes $w_1,w_2$. Weil $w_1,w_2\in \partial {ℬ}_1^{\Vert \cdot {\Vert }_B}(0_V)$ gilt, $\Vert w_1{\Vert }_B=1$ und $\Vert w_2{\Vert }_B=1$ und weil auch $\Vert \cdot \Vert$ eine Norm auf dem endlichdimensionalen Vektorraum $V$ ist, muss $\Vert w_1\Vert >0$ und $\Vert w_2\Vert >0$ gelten.

Beweis 5: Abschätzung nach unten

Mit der Fallunterscheidung für $v=0_V$ und $v=0_V$ erhält man mit:

• Fall 1: $v=0_V$ sowohl $\Vert 0_V\Vert =\Vert 0_V{\Vert }_B=0$, weil beide Abbildungen $\Vert \cdot {\Vert }_B$ und $\Vert \cdot \Vert$ Normen sind. Damit gilt auch $C\cdot \Vert 0_V{\Vert }_B=\Vert 0_V\Vert$ für eine beliebige $C>0$.
• Fall 2: $v=0_V$ gilt $w:=\frac{v}{\Vert v{\Vert }_B}\in \partial {ℬ}_1^{\Vert \cdot {\Vert }_B}(0_V)$. Ferner gilt $\Vert v{\Vert }_B\cdot w=v$.

Beweis 6: Abschätzung nach unten

Da in Fall 1 ein beliebiges $C>0$ die Abschätzung nach unter erfüllt, erhält man das $C_1$ der Abschätzung nach unten für $v=0_V$ mit $w:=\frac{v}{\Vert v{\Vert }_B}\in \partial {ℬ}_1^{\Vert \cdot {\Vert }_B}(0_V)$ über:

$\Vert v\Vert =\Vert \Vert v{\Vert }_B\cdot w\Vert \stackrel{Hom}{=}\Vert v{\Vert }_B\cdot \Vert w\Vert \stackrel{(B4)}{\ge }\Vert v{\Vert }_B\cdot \Vert w_1\Vert =\Vert v{\Vert }_B\cdot C_1$

Beweis 7: Abschätzung gesamt

Insgesamt liefern die Beweisschritte 2,5 und 6 für alle $v\in V$ aus dem endlichdimensionalen Vektorraum $V$ die gesuchte Ungleichung:

$C_1\cdot \Vert v{\Vert }_B\le \Vert v\Vert \le C_2\cdot \Vert v{\Vert }_B$.

Damit sind die beiden Normen $\Vert \cdot {\Vert }_B$ und $\Vert \cdot \Vert$ äquivalent.

Beweis 8: Normäquivalenz ist Äquivalenzrelation

Die Äquivalenz von Normen ist eine Äquivalenzrelation. Da die Norm $\Vert \cdot \Vert$ beliebig auf $V$ gewählt war, sind mit dem obigen Beweis alle Normen äquivalent zur Norm $\Vert \cdot {\Vert }_B$. Da Normäquivalenz ist Äquivalenzrelation auf der Menge der Normen auf $V$ ist, sind alle Normen in einem endlichdimensionalen Vektorräume äquivalent. q.e.d.

Bemerkung

Diese Aussage gilt nicht mehr auf unendlichdimensionalen normierten Vektorräumen, da dort die Einheitskugel zwar abgeschlossen und beschränkt ist, aber nicht mehr kompakt.

Aufgaben

• (A1) (Konvergenz) Sei $V$ ein beliebiger $𝕂$-Vektorraum (nicht notwendig endlichdimensional). Ferner seien zwei Normen $\Vert \cdot {\Vert }_1$ und $\Vert \cdot {\Vert }_2$ auf $V$ gegeben, die äquivalent sind. Zeigen Sie, dass eine Folge $(v_n{)}_{n\in \mathbb{N}}\in V^{\mathbb{N}}$ genau dann in $(V,\Vert \cdot {\Vert }_1)$ konvergiert, wenn diese auch in $(V,\Vert \cdot {\Vert }_2)$ konvergiert.
• (A2) (Äquivalenzrelation) Zeigen Sie, dass Normäquivalenz ist Äquivalenzrelation auf der Menge der Normen ist.
• (A3) (Abschätzung nach oben) In Beweisschritt 4 wird ebenfalls das Maximum $C_0$ mit $w_2$ auf dem Kompaktum angenommen. Wie können Sie den Beweisschritt 2 durch ein solches Argument für die Abschätzung nach durch das Maximum ersetzen?

Bemerkung zu (A3)

Der erste Beweisteil zeigt noch einmal den grundlegenden Umgang mit Normen bzgl. der Dreieckungleichung und Homogenität. Der Beweis kann durch die Ersetzung Beweisschritt 4 verkürzt werden.

Siehe auch

• Kurs:Funktionalanalysis
• Vektorraum
• Satz von Heine-Borel
• Normen, Metriken, Topologie
• Äquivalenz von Normen
• Äquivalenzrelation
• Satz von Weierstrass über Minimum und Maximum

Seiteninformation

Diese Lernresource wurde als Wiki2Reveal Foliensatz erstellt.

• OER-Quelle: Wikiversity DE https://de.wikipedia.org/wiki/Satz_von_Bolzano-Weierstraß
• Nächste Inhalte des Kurses Lemma von Riesz

Wiki2Reveal

Dieser Wiki2Reveal Foliensatz wurde für den Lerneinheit Kurs:Funktionalanalysis' erstellt der Link für die Wiki2Reveal-Folien wurde mit dem Wiki2Reveal-Linkgenerator erstellt.

• Die Seite wurde als Dokumententyp PanDocElectron-SLIDE erstellt.
• Link zur Quelle in Wikiversity: https://de.wikiversity.org/wiki/Normen%C3%A4quivalenzsatz
• siehe auch weitere Informationen zu Wiki2Reveal und unter Wiki2Reveal-Linkgenerator.