Kurs:Topologische Invertierbarkeitskriterien/Korrespondenz-Lemma für p-Halbnormen

Einführung

Für die Erzeugung einer Algebraerweiterung von pseudokonvexen topologischen Algebren $A\in {\mathcal {PC}}$ gibt es ein System von $p$-Halbnormen, die die Topologie erzeugen. Für die Topologisierung der Potenzreihenalgebra $A[t]\in {\mathcal {PC}}$ werden die Aussagen für die Algebraerweiterung aber über Quasihalbnormen geführt. Daher ist es wesentlich einen Zusammenhang zwischen Quasihalbnormen und $p$-Halbnormen herzustellen. Das Korrespondenz-Lemma stellt diese Beziehung zwischen einer $p$-Halbnorm und einer Quasinorm her.

Definition: p-Norm

Sei $V$ ein $\mathbb {K}$-Vektorraum und $\|\cdot \|\colon V\to {\mathbb {R} }_{0}^{+},\;x\mapsto \|x\|,$ eine Abbildung. Erfüllt $\|\cdot \|$ die folgenden Axiome Axiome P1,P2, P3, so heißt $\|\cdot \|$ $p$-Norm auf $V$ mit $0<p\leq 1$.

• (P1) Definitheit: $\|x\|=0\;\Rightarrow \;x=\mathbb {0}$ für alle $x\in V$,
• (P2) p-Homogenität: $\|\lambda \cdot x\|=|\lambda |^{p}\cdot \|x\|$ für alle $x\in V$ und $\lambda \in \mathbb {K}$
• (P3) Dreiecksungleichung: $\|x+y\|\leq \|x\|+\|y\|$ für alle $x,y\in V$.

Gilt (P1) nicht, so nennt man $\|\cdot \|$ $p$-Halbnorm.

Einheitskreis einer p-Norm

Der Einheitskreis der (2/3)-Norm, einer Quasinorm, ist im $\mathbb {R} ^{2}$ eine Astroide.

Einheitskreis p-Norm als Abrollkurve

Aufgabe

Sei $V=\mathbb {R} ^{2}$ der zweidimensionale $\mathbb {R}$-Vektorraum und $\|\cdot \|_{p}\colon V\to {\mathbb {R} }_{0}^{+},\;x\mapsto \|x\|_{p},$ eine Abbildung, die mit $p={\frac {1}{2}}$ wie folgt definiert ist.

$\|x\|_{p}=\|(x_{1},x_{2})\|_{p}:=|x_{1}|^{p}+|x_{2}|^{p}$

• Zeigen Sie, dass $\|\cdot \|$ eine $p$-Norm ist. Warum erzeugt die $p$-Norm die gleiche Topologie, wie die Norm $\|x\|_{2}=\|(x_{1},x_{2})\|_{2}:={\sqrt {x_{1}^{2}+x_{2}^{2}}}$?
• Skizzieren Sie die folgende Menge $S_{1}:=\{(x_{1},x_{2})\in \mathbb {R} ^{2}\,:\,\|(x_{1},x_{2})\|=1\}$ und $S_{2}:=\{(x_{1},x_{2})\in \mathbb {R} ^{2}\,:\,\|(x_{1},x_{2})\|\leq 1\}$

Hinweis: Berechnen Sie $S_{1}$ zunächst für $x_{1},x_{2}>0$ und $\|x\|_{2}=1$!

Definition: Quasi(halb-)norm

Sei $V$ ein $\mathbb {K}$-Vektorraum und $\|\cdot \|\colon V\to {\mathbb {R} }_{0}^{+},\;x\mapsto \|x\|,$ eine Abbildung. Erfüllt $\|\cdot \|$ die folgenden Axiome Axiome Q1,Q2, Q3, so heißt $\|\cdot \|$ Quasinorm auf $V$ mit Konkavitätskonstante $K\geq 1$.

• (Q1) Definitheit: $\|x\|=0\;\Rightarrow \;x=\mathbb {0}$ für alle $x\in V$,
• (Q2) absolute Homogenität: $\|\lambda \cdot x\|=|\lambda |\cdot \|x\|$ für alle $x\in V$ und $\lambda \in \mathbb {K}$
• (Q3) Konkavitätsungleichung: $\|x+y\|\leq K\cdot (\|x\|+\|y\|)$ für alle $x,y\in V$.

Gilt (Q1) nicht, so nennt man $\|\cdot \|$ Quasihalbnorm.

Bemerkung: konvex-konkav

Halbnormen erzeugen konvexe Nullumgebungen ist. Die Nullumgebungen von Quasihalbnormen bzw. $p$-Halbnormen sind nicht notwendigerweise konvex bei $K>1$ bzw. $p<1$. Für $K=1$ bzw. $p=1$ erhält man die Standarddefinition für Halbnormen bzw. Normen. Betrachtet man den Einheitskreis einer $p$-Norm mit $p={\frac {2}{3}}$, so sieht man das die Einheitskugel nicht konvex ist. Durch den Zusammenhang durch den Korrespondenz-Satz und der Konkavitätskonstante in der Definition der Quasinorm ist zu erkennen, welchen geometrischen Einfluss das $p<1$ auf die Konkavität der Einheitskugel der $p$-Norm hat.

Korrespondenz-Lemma für p-Normen und Quasinormen

Ein topologischer Vektorraum $(V,{\mathcal {T}})$ mit der Topologie ${\mathcal {T}}$, dann $(V,{\mathcal {T}})$ genau dann $p$-normierbar, wenn die Topologie ${\mathcal {T}}$ durch eine Quasinorm $\|\cdot \|_{Q}$ erzeugt werden kann.

Beweis

Der Beweis nach Köthe wird in dem Abschnitt zur ${\mathcal {P}}$-Regulärität für lokalbeschränkte Algebren ausgeführt.

Korrolar - Korrespondenz-Lemma

Ein topologischer Vektorraum $(V,{\mathcal {T}})$ mit der Topologie ${\mathcal {T}}$. Dann gilt: Ein Teilsystem der Topologie ${\mathcal {T}}_{o}\subseteq {\mathcal {T}}$ wird genau dann durch eine $p$-Halbnorm erzeugt, wenn das System der offenen ${\mathcal {T}}_{o}$ auch durch eine Quasihalbnorm $\|\cdot \|_{Q}$ erzeugt werden kann.

Beweis

Die Argumentation im Beweis zum Korrespondenz-Lemma für $p$-Normen und Quasinormen nutzt die Hausdorff-Eigenschaft der Topologie nicht, die durch die Bedingung

• $\|x\|=0\Longleftrightarrow x=0_{V}$ bzw.
• $\|x\|_{Q}=0\Longleftrightarrow x=0_{V}$

über das Norm bzw. Quasinorm ausgedrückt werden. Daher kann man die Beweisführung ebenfalls für ein Teilsystem der Topologie führen und erhält die Aussage für $p$-Halbnormen und Quasihalbnormen.

Korrespondenz-Satz für pseudokonvexe Räume

Ein topologischer Vektorraum $(V,{\mathcal {T}})$ mit der Topologie ${\mathcal {T}}$ ist genau dann pseudokonvex, wenn die Topologie ${\mathcal {T}}$ durch eine System $\|\cdot \|_{\alpha }^{(Q)}$ Quasihalbnormen topologisiert werden kann

Beweis

Betrachtet man nun eine ${\mathcal {PC}}$-Algebra mit $\|\cdot \|_{\mathcal {A}}$ als $p$-Halbnormensystem, so erzeugt jede einzelne p-Halbnorm $\|\cdot \|_{\alpha }$ mit $\alpha \in {\mathcal {A}}$ ein lokalbeschränktes, aber nicht notwendig Hausdorff’sches, topologisches Teilsystem ${\mathcal {T}}_{\alpha }\subset {\mathcal {T}}$ von offenen Mengen der Ausgangstopologie ${\mathcal {T}}$.

Beweis 1: Anwendung des Korrespondenz-Lemmas

Dieses Teilsystem kann man mit dem Korrespondenz-Satz für $p$-Normen und Quasinormen auch durch eine Quasihalbnorm $\|\cdot \|_{\alpha }^{(Q)}$ erzeugen, denn die Hausdorff-Eigenschaft ist für die Argumentation im Korrespondenz-Lemma für p-Halbnormen und Quasihalbnorm nicht von Bedeutung. Damit gelten die Ergebnisse nicht nur für $p$-Normen sondern auch für $p$-Halbnormen. Daher man jede p-Halbnorm $\|\cdot \|_{\alpha }$ durch die entsprechende Quasihalbnormen $\|\cdot \|_{\alpha }^{(Q)}$ ersetzen und man erzeugt durch diese Quasinorm das gleiche Teilsystem ${\mathcal {T}}_{\alpha }\subset {\mathcal {T}}$ der Ausgangstopologie. Die Topologie kann auch durch ein korrespondierendes Quasihalbnormensystem $\|\cdot \|_{\mathcal {A}}^{(Q)}$ erzeugt werden. $\Box$

Bemerkung

Für das Korollar wendet man den Korrespondenzsatz auf ein System mit nur einer $p$-Norm an, das den pseudokonvexen Raum topologisiert. Der Korrespondenz-Satz für pseudokonvexe Räume liefert dann ein System mit einer Quasinorm, das die gleiche Topologie erzeugt. In den Vorgehensweisen zur ${\mathcal {P}}$-Regularität werden sowohl für

• p-Normen eine Charakterisierung der ${\mathcal {P}}$-regulären Elemente vorgenommen als auch die
• P-Regularität über Algebraerweiterungen mit Quasinormen dargestellt.

Dies bereitet die Charakterisierung der PC-Regularität über Quasihalbnnormen vor. Für die Charakterisierung reicht der Nachweis über einen der beiden Wege (p-Norm oder Quasinorm)

Siehe auch

• Normen, Metriken, Topologie
• Gaugefunktionale
• Satz - Quasinormierbarkeit
• Satz - p-Normierbarkeit
• P-Regularität
• P-Regularität über p-Normen
• P-Regularität über Quasinormen
• PC-Regularität

Seiteninformation

Diese Lernresource können Sie als Wiki2Reveal-Foliensatz darstellen.

Wiki2Reveal

Dieser Wiki2Reveal Foliensatz wurde für den Lerneinheit Kurs:Topologische Invertierbarkeitskriterien' 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/Kurs:Topologische%20Invertierbarkeitskriterien/Korrespondenz-Lemma%20f%C3%BCr%20p-Halbnormen
• siehe auch weitere Informationen zu Wiki2Reveal und unter Wiki2Reveal-Linkgenerator.

Wikipedia2Wikiversity

Diese Seite wurde auf Basis der folgenden Wikipedia-Quelle erstellt:

• Quasinorm https://de.wikipedia.org/wiki/Quasinorm
• Datum: 14.4.2021 - Versionsgeschichte Wikipedia
• Wikipedia2Wikiversity-Konverter: https://niebert.github.com/Wikipedia2Wikiversity