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^[1] 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

Quellennachweis

↑ Köthe Gottfried (1966) Topologische Lineare Räume, Berlin Heidelberg New York

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:

[1] Köthe Gottfried (1966) Topologische Lineare Räume, Berlin Heidelberg New York

[1]