Kurs:Topologische Invertierbarkeitskriterien/P-Regularität über Quasinormen

Einführung

Wenn wir die $𝒫$-Regularität eines Elementes $z\in A$ für eine lokalbeschränkte topologische Algebra $(A,\Vert \cdot {\Vert }_A)$ sprechen, suchen wir nach einer lokalbeschränkten Algebraerweiterungen $(B,\Vert \cdot {\Vert }_B)$ von $(A,\Vert \cdot {\Vert }_A)$ in der $z\in A$ invertierbar ist. Dabei reicht es nach dem Korrespondenzsatz p-Halbnormen zeigen, dass eine normierte Algebraerweiterung, dass die Algebraerweiterung $(B,\Vert \cdot {\Vert }_B)$

• durch eine $p$-Norm topologisiert werden kann oder (alternativ)
• die Topologe durch eine Quasinorm $\Vert \cdot {\Vert }_B)$ erzeugt werden kann

Analog zur Vollständigkeit bei Banachalgebren verändert das die Eigenschaft der Vollständigkeit das Vorgehen nicht, denn ist ein aus $z\in A$ in einer lokalbeschränkten Algebra $(B_0,{𝒯}_{B_0})$ invertierbar, die nicht vollständig ist, dann vervollständig man ggf. die Algebraerweiterung $B_0$ zu $B$.

Zielsetzung

Zielsetzung einer lokalbeschränkten Algebraerweiterung $(B,\Vert \cdot {\Vert }_B)$ zu einer gegebenen topologischen Algebra $(A,\Vert \cdot {\Vert }_A)$ mit $z\in A$ ist es, die gegebene lokalbeschränkte Algebraerweiterung so zu vergrößern, dass diese ein inverses Element $z^{-1}:=b\in B$ in der lokalbeschränkten Algebraerweiterung $B$ besitzt. Als topologieerzeugende $p$-Gaugefunktionale werden hier Quasinormen $\Vert \cdot {\Vert }_A$ und $\Vert \cdot {\Vert }_B$ verwendet.

Veranschaulichung

Algebraerweiterung $B$ von $A$ ist hier wieder eine Banachalgebra, die ein inverses Element $b=z^{-1}\in B$ zu einem gegebenen $z\in A$ enthält.

Lokalbeschränkte Algebraerweiterung:

Sei ${𝒫}_e$ die Klasse der lokalbeschränkten unitalen Algebren und $A\in {𝒫}_e$. Die Algebraerweiterung $B\in {𝒫}_e$ bzw. $𝒫$-Erweiterung von $A$ benötigt nach Definition es einen Algebraisomorphismus $\tau :A⟶A^{\prime }\subset B$ mit:

• $\tau (e_{{}_A})=e_{{}_B}$, wobei $e_{{}_A}$ ist das Einselement von $A$ und $e_{{}_B}\in A^{\prime }$ das Einselement von $B$ ist.
• $A$ ist homöomorph zu $A^{\prime }$; d.h. $\tau$ und ${\tau }^{-1}:A^{\prime }⟶A$ sind stetig.

Veranschaulichung - Algebraisomorphismus

Algebraisomorphismus - Einbettung in die Algebraerweiterung

• Im allgemeinen identifiziert man $A$ mit $A^{\prime }$ und schreibt $A\subset B$. In der jeweiligen Konstruktion der Algebraerweiterung sieht man, dass die Element aus $x\in A$ mit Elementen $\tau (x)=x+I\in B$ in einem Quotientenraum $B:=A[t]/I$ identifiziert werden.
• Sei ${𝔘}_{A^{\prime }}(0)$ eine Nullumgebungsbasis der Relativtopologie von $B$ auf $A^{\prime }$ und ${𝔘}_A(0)$ eine Nullumgebungsbasis von $A$, dann kann man die Homöomorphie zwischen $A$ und $A^{\prime }$ wie immer über die Topologie ausdrücken:

$\begin{array}{ccc}{\mathrm{\forall }}_{V\in {𝔘}_A(0)}{\mathrm{\exists }}_{U\in {𝔘}_{A^{\prime }}(0)}& :& U\subset V(\tau (U)\subset V)\\ {\mathrm{\forall }}_{U\in {𝔘}_{A^{\prime }}(0)}{\mathrm{\exists }}_{V\in {𝔘}_A(0)}& :& V\subset U({\tau }^{-1}(V)\subset U).\end{array}$

Stetigkeit über Quasinormen

Betrachtet man die Quasinormen ${\Vert \cdot \Vert }_{A^{\prime }}$ und ${\Vert \cdot \Vert }_A$ für Nullumgebungen, so lassen sich die oberen beiden Aussagen wie folgt umformulieren (siehe auch Stetigkeitssatz für lineare Abbildungen):

$\begin{array}{ccc}{\mathrm{\exists }}_{C_1>0}{\mathrm{\forall }}_{x\in A}& :& {\Vert x\Vert }_A\le C_1\cdot {\Vert \tau (x)\Vert }_{A^{\prime }}\\ \text{ bzw. }& & {\Vert \cdot \Vert }_A\circ \tau \le C_1\cdot {\Vert \cdot \Vert }_{A^{\prime }}\\ {\mathrm{\exists }}_{C_2>0}{\mathrm{\forall }}_{x\in A}& :& {\Vert \tau (x)\Vert }_{A^{\prime }}\le C_2\cdot {\Vert x\Vert }_A\\ \text{ bzw. }& & {\Vert \cdot \Vert }_{A^{\prime }}\circ \tau \le C_2\cdot {\Vert \cdot \Vert }_A.\end{array}$

Beweisidee 1 - Konstruktion der Algebraerweiterung

Wir betrachten zunächst multiplikative kommuntative Algebren $(A,\Vert \cdot {\Vert }_A)$.

• Ausgehend von $(A,\Vert \cdot {\Vert }_A)$ wird die Polynomalgebra $(A[t],\Vert |\cdot |{\Vert }_{A[t]})$ mit einer Quasinorm $\Vert |\cdot |{\Vert }_{A[t]}$ topologisiert.
• Quasinorm $\Vert |\cdot |{\Vert }_{A[t]}$ macht $A[t]$ zu einer topologischen Algebra, wobei die Stetigkeit der algebraischen Operationen (insbesondere die Stetigkeit der Cauchy-Multiplikation) nachzuweisen ist.
• Übergang zu dem Quotientenraum $B:=A[t]/I$, wobei das Polynom $o(t):=z\cdot t-e_A$ das Hauptideal $I:=o\cdot A[t]$ definiert und $o\in A[t]$ ein Repräsentant des Nullvektors $0_B:=I=o+I$ in $B$ ist.
• Die Konstruktion des Ideals $I$ liefert die algebraische Invertierbarkeit, denn mit $b(t):=e_A\cdot t$ ist $b_I:=b+I\in B=A[t]/I$ das inverse Element zu $z\in A$ mit $z_I:=\tau (z)=z+I\in B$ mit $z_I\cdot b_I-e_B=0_B$ bzw. $z_I\cdot b_I=e_B$. Die Kommutativität liefert dann, dass auch $b_I\cdot z_I=e_B$ gilt.

Beweisidee

Der Beweis für einen $p$-normierbaren Raum kann analog zur Banachalgebraerweiterungen der $ℬ$-Regularität (nach Arens 1958) geführt werden.

Veranschaulichung Beweisidee

Bei der Konstruktion der Algebraerweiterung, in der ein $z\in A$ invertierbar ist, wird in einem ersten Schritt die Algebra der Polynome $A[t]$ betrachtet. Die folgende Abbildung zeigt, wie die Algebraerweiterung $B$ über die Polynomalgebra konstruiert wird.

Beweisidee 1 - Konstruktion der Algebraerweiterung

Der Beweis für den Zusammenhang $p$-Norm ${\Vert \cdot \Vert }_p$ und einer Quasihalbnorm ${\Vert \cdot \Vert }_Q$ findet man bei Köthe (1966). Korrespondenzsatz p-Halbnormen spielt später bei der Anwendung auf pseudokonvexe Räume eine wesentliche Rolle.

Beweisidee 2 - Konstruktion der Algebraerweiterung

• Ausgehend von $(A,\Vert \cdot {\Vert }_A)$ wird die Polynomalgebra $(A[t],\Vert |\cdot |{\Vert }_{A[t]})$ mit einer p-Norm $\Vert |\cdot |{\Vert }_{A[t]}$ topologisiert und die p-Norm $\Vert |\cdot |{\Vert }_{A[t]}$ macht $A[t]$ zu einer topologischen Algebra, wobei die Stetigkeit der Cauchy-Multiplikation nachzuweisen ist.
• Übergang zu dem Quotientenraum $B:=A[t]/I$, wobei das Polynom $o(t):=z\cdot t-e_A$ das Hauptideal $I:=o\cdot A[t]$ definiert und $o\in A[t]$ ein Repräsentant des Nullvektors $0_B:=I=o+I$ in $B$ ist.

Beweisidee 3 - Konstruktion der Algebraerweiterung

Die Konstruktion des Ideals $I$ liefert die algebraische Invertierbarkeit, denn mit $b(t):=e_A\cdot t$ ist $b_I:=b+I\in B=A[t]/I$ das inverse Element zu $z\in A$ mit $z_I:=\tau (z)=z+I\in B$ mit $z_I\cdot b_I-e_B=0_B$ bzw. $z_I\cdot b_I=e_B$. Die Kommutativität liefert dann, dass auch $b_I\cdot z_I=e_B$ gilt.

Normierte Polynomalgebra

Wir betrachten nun zu einer gegeben Banachalgebra $(A,{\Vert \cdot \Vert }_{𝒜})\in ℬ(𝕂)$ die Menge der Polynome mit Koeffizienten in $A$.

$$p(t)=\sum _{k=0}^n{p}_k\cdot t^k\text{ mit }{p}_k\in A\text{ für }k\in \{0,1,...,n\}$$

und Potenzreihen mit Koeffizienten in der Algebra $A$

$$p(t)=\sum _{k=0}^{\mathrm{\infty }}{p}_k\cdot t^k\text{ mit }{p}_k\in A\text{ für }k\in {\mathbb{N}}_o$$

Grad von Polynomen

Zunächst einmal würde man Polynome formal eher in der obigen Form mit $n\in {\mathbb{N}}_o$ notieren und mit $p_n=0_A$ würde $n$ den Grad des Polynoms angeben. Für das Cauchyprodukt von zwei Polynomen $p,q\in A[t]$ ist diese Schreibweise allerdings ungeeignet, da bei der Addition und Multiplikation zwei Polynomen $p,q\in A[t]$ die Handhabung des Grades zusätzlichen formalen Aufwand nach sich zieht, der aber für die weitern Betrachtungen von Algebraerweiterungen keine Rolle spielt.

Schreibweise für die Polynomalgebra

Daher werden die Polynome wie folgt über "endliche" Folgen $c_{oo}(A)$ definiert, die ab einer Indexschranke $n\in {\mathbb{N}}_o$ nur noch aus dem Nullvektor $0_A$ in $A$ besteht.

$$p(t)=\sum _{k=0}^{\mathrm{\infty }}{p}_k\cdot t^k\text{ mit }(p_k{)}_{k\in {\mathbb{N}}_0}\in c_{oo}(A)$$

Topologischer Nullteiler

Wenn $z\in A$ ein topologischer Nullteiler in $A$ ist (z\in $𝒯𝒩𝒯(A)$), gilt:

$\underset{\Vert x{\Vert }_A=1}{\inf }\Vert z\cdot x{\Vert }_A=0$

Aus der Negation der Eigenschaft erhält man eine Konstante $D>0$ mit:

$\Vert x{\Vert }_A\le D\cdot \Vert z\cdot x{\Vert }_A$

Topologisierung der Polynomalgebra

Die $p\in A[t]$ wird nun mit einer Folge $(C^k{)}_{k\in \mathbb{N}}$ mit einer positiven Konstanten $C:=D\cdot K\in {ℝ}^{+}$ topologisiert, wobei ohne Einschränkung $K\ge 1$ die Stetigkeitskonstante der Addition und $D\ge 1$ sich aus der Eigenschaft von $z\in A$ ergibt, kein topologischer Nullteiler zu sein.

$\Vert |p|{\Vert }_C:=\sum _{k=0}^{\mathrm{\infty }}{C}^k\cdot \Vert p_k{\Vert }_A\text{ mit }(p_k{)}_{k\in {\mathbb{N}}_0}\in c_{oo}(A)$

$c_{oo}(A)$ sind abbrechende Folgen in $A$, bei denen ab einer Indexschranke nur noch der Nullvektor $0_A$ als Folgenglied auftritt.

Homogenität

Die Eigenschaft der Homogenität überträgt sich von Quasinorm $\Vert \cdot {\Vert }_A$ auf $\Vert |\cdot |{\Vert }_D$, denn:

$\begin{array}{ccc}\Vert |\lambda \cdot p|{\Vert }_D& =& \sum _{k=0}^{\mathrm{\infty }}{C}^k\cdot \Vert \lambda \cdot p_k{\Vert }_A\\ & =& \sum _{k=0}^{\mathrm{\infty }}{C}^k\cdot |\lambda |\cdot \Vert p_k{\Vert }_A\\ & =& |\lambda |\cdot \sum _{k=0}^{\mathrm{\infty }}{C}^k\cdot \Vert p_k{\Vert }_A=|\lambda |\cdot \Vert |\lambda \cdot p|{\Vert }_D\end{array}$

Stetigkeit der Addition

Die Eigenschaft der Stetigkeit der Addition überträgt sich ebenfalls von der Quasinom $\Vert \cdot {\Vert }_A$ auf $\Vert |\cdot |{\Vert }_D$, denn mit $q,r\in A[t]$:

$\begin{array}{ccc}\Vert |q+r|{\Vert }_C& =& \sum _{k=0}^{\mathrm{\infty }}{C}^k\cdot \Vert q_k+r_k{\Vert }_A\\ & \le & \sum _{k=0}^{\mathrm{\infty }}{C}^k\cdot K\cdot (\Vert q_k{\Vert }_A+\Vert r_k{\Vert }_A)\\ & =& K\cdot \sum _{k=0}^{\mathrm{\infty }}(C^k\cdot \Vert q_k{\Vert }_A+C^k\cdot \Vert r_k{\Vert }_A)=K\cdot (\Vert |q|{\Vert }_C+\Vert |r|{\Vert }_C)\end{array}$

Die Quasinorm $\Vert |\cdot |{\Vert }_C$ besitzt also die gleiche Stetigkeit

Cauchy-Produkt 1 - Stetigkeit der Multiplikation

Betrachtet man zwei Polynome $q,r\in A[t]$ in dem $p$-normierten Raum $(A[t],\Vert |\cdot |{\Vert }_C)$.

$$q(t):=\sum _{k=0}^{\mathrm{\infty }}{p}_k\cdot t^k\text{ und }r(t):=\sum _{k=0}^{\mathrm{\infty }}{q}_k\cdot t^k$$

Dann liefert die Definition der Norm für das Produkt $p\cdot q$:

$$\Vert |q\cdot r|{\Vert }_C=\sum _{n=0}^{\mathrm{\infty }}{C}^n\cdot {\Vert \sum _{k=0}^n{q}_k\cdot r_{n-k}\Vert }_A$$

Cauchy-Produkt 2 - Stetigkeit der Multiplikation

Die gegebene $p$-Norm sei ohne Einschränkung submultiplikativ mit $\Vert x\cdot y{\Vert }_A\le \Vert x{\Vert }_A\cdot \Vert y{\Vert }_A$

$\begin{array}{ccc}\Vert |q\cdot r|{\Vert }_C& =& \sum _{n=0}^{\mathrm{\infty }}{C}^n\cdot {\Vert \sum _{k=0}^n{q}_k\cdot r_{n-k}\Vert }_A\le \sum _{n=0}^{\mathrm{\infty }}{C}^n\cdot \sum _{k=0}^n{\Vert q_k\cdot r_{n-k}\Vert }_A\\ & \le & \sum _{n=0}^{\mathrm{\infty }}\sum _{k=0}^n{C}^n\cdot {\Vert q_k\Vert }_A\cdot {\Vert r_{n-k}\Vert }_A\\ & =& \sum _{n=0}^{\mathrm{\infty }}\sum _{k=0}^n{C}^k\cdot {\Vert q_k\Vert }_A\cdot C^{n-k}\cdot {\Vert r_{n-k}\Vert }_A\\ & =& (\sum _{k=0}^{\mathrm{\infty }}{C}^k\cdot {\Vert q_k\Vert }_A)\cdot (\sum _{k=0}^{\mathrm{\infty }}{C}^k\cdot {\Vert r_k\Vert }_A)=\Vert |q|{\Vert }_C\cdot \Vert |r|{\Vert }_C\end{array}$

Topologisierung der Algebraerweiterung

Die Quasinorm auf der Polynomalgebra $(A[t],\Vert |\cdot |{\Vert }_C)$ induziert auch die Quasinorm auf dem Quotientenraum $(B,\Vert \cdot {\Vert }_B)$ mit $B:=A[t]/I$. Sowohl $(A,\Vert \cdot {\Vert }_A)$, $(A[t],\Vert |\cdot |{\Vert }_C)$ und $(B,\Vert \cdot {\Vert }_B)$ sind dann lokalbeschränkte topologische Algebren, wobei die Stetigkeitskonstante der Addition für alle Algebren $K>0$ ist.

Abgeschlossenes Hauptideal in der Polynomalgebra

Für das gegebene $z\in A$ in der kommutativen lokalbeschränkten topologische Algebren $(A,\Vert \cdot {\Vert }_A)$ definiert man ein Polynom $o\in A[t]$ mit $o(t):=z\cdot t-e_A$, wobei $e_A$ das Einselement der Multiplikation in $A$ ist. Als Ideal definiert man $I:=\overline{o\cdot A[t]}$ als abgeschlossenes Hauptideal in $A[t]$. Als Untervektorraum $I$ wäre der Quotientenraum auch ein Vektorraum. Die zusätzliche Eigenschaft des Ideals sorgt dafür, dass auch die Multiplikation auf dem Quotientenraum wohldefiniert ist.

Topologisierung des Quotientenraumes Algebraerweiterung

Die Algebraerweiterung wird mit einer Quotientenquasinorm versehen, die wie folgt definiert ist:

$\Vert q_{{}_I}{\Vert }_B:=\Vert q+I{\Vert }_B:=\underset{r\in I}{\inf }\Vert |q+r|{\Vert }_D$

Dabei bezeichnen man die Nebenklassen in Kurzform mit $q_I\in B$, wobei diese Mengen wie folgt definiert sind:

$q_{{}_I}:=q+I:=\{q+r:r\in I\}$

Man muss hier keine Linknebenklassen und Rechtnebenklassen unterscheiden, da die Addition in einem Vektorraum kommuntativ ist.

Stetigkeit Algebrahomomorphismus

Sei $x\in A$ beliebig gewählt, dann gilt mit der Norm $\Vert \cdot {\Vert }_B$ auf dem Quotientenraum $B:=A[t]/I$ die folgende Abschätzung

$\begin{array}{ccc}\Vert \tau (x){\Vert }_B& =& \Vert x_I{\Vert }_B=\Vert x+I{\Vert }_B:=\underset{r\in I}{\inf }\Vert |x+r|{\Vert }_D\\ & \le & \Vert |x+0_{A[t]}|{\Vert }_D=D^0\cdot \Vert x{\Vert }_A=\Vert x{\Vert }_A\end{array}$

Damit ist $\tau$ stetig (siehe Stetigkeitssatz für lineare Abbildungen).

Struktur der Polynome aus dem Ideal

Betrachten nun das Bild $\tau (A)\subset B$ von $\tau$ in $B$. Sei nun $A^{\prime }=\tau (A)=\{x_I:x_I=x+I=\tau (x)\}$ gegeben und man betrachtet die Abschätzung für ein beliebiges $q\in A[t]$ mit $r=o\cdot q\in I$ mit $o(t)=z\cdot t-e_A$. Dabei gilt:

$\begin{array}{ccc}r(t)& =& \sum _{k=0}^{\mathrm{\infty }}{r}_k\cdot t^k=o(t)\cdot q(t)\\ & =& -q_0+\sum _{k=1}^{\mathrm{\infty }}(z\cdot q_{k-1}-q_k)\cdot t^k\end{array}$

Homöomorphie der Einbettung

Nun ist die Algebraerweiterung $B$ topologisiert und es ist noch nachzuweisen, dass die bijektive Abbildung $\tau$ und ${\tau }^{-1}$ als lineare Abbildungen stetig sind (siehe Stetigkeitssatz für lineare Abbildungen)

Stetigkeit der Einbettung von A in B

Für die Stetigkeit der Umkehrabbildung ${\tau }^{-1}$ gilt bzgl. dem Nullpolynom $0_{A[t]}\in I$:

$\Vert x+I{\Vert }_B:=\underset{r\in I}{\inf }\Vert |x+r|{\Vert }_C\le \Vert |x+0_{A[t]}|{\Vert }_C=C^0\cdot \Vert x{\Vert }_A=\Vert x{\Vert }_A$

Insgesamt ist der Algebraisomorphismus der Einbettung von $A$ in $A^{\prime }\subset B:=A[t]/I$ eine Isometrie mit $\Vert x+I{\Vert }_B=\Vert x{\Vert }_A$.

Stetigkeit der Umkehrabbildung der Einbettung 1

Unter Verwendung der Abschätzung $\Vert x{\Vert }_A\le D\cdot \Vert z\cdot x{\Vert }_A$ erhält man mit $C^k=D^k\cdot K^k$

$\begin{array}{ccc}\Vert |x+r|{\Vert }_D& =& C^0\cdot \Vert x-q_0{\Vert }_A+\sum _{k=0}^{\mathrm{\infty }}{C}^k\cdot \Vert z\cdot q_{k-1}-q_k{\Vert }_A\\ \\ & \ge & \Vert x-q_0{\Vert }_A+\sum _{k=0}^{\mathrm{\infty }}{D}^k\cdot K^{k-1}\cdot \Vert z\cdot q_{k-1}{\Vert }_A-C^k\cdot \Vert q_k{\Vert }_A\\ & \ge & \Vert x-q_0{\Vert }_A+\sum _{k=0}^{\mathrm{\infty }}\underset{C^{k-1}}{\underbrace{K^{k-1}\cdot D^{k-1}}}\cdot \Vert q_{k-1}{\Vert }_A-C^k\cdot \Vert q_k\Vert \\ & \ge & \Vert x-q_0{\Vert }_A+\Vert q_0{\Vert }_A\ge \Vert x{\Vert }_A\end{array}$

Stetigkeitskonstante bei Subtraktion 2

Wendet man die Stetigkeitskonstante $K>0$ der Addition auf eine Subtraktion an, erhält man:

$\Vert x{\Vert }_A=\Vert (x-y)+y{\Vert }_A\ge K\cdot \Vert x-y{\Vert }_A+\Vert y{\Vert }_A$

Die algebraische Umformung liefert die angewendete Ungleichung in der obigen Ungleichungskette mit:

$\frac{1}{K}\cdot \Vert x{\Vert }_A-\Vert y{\Vert }_A\le \Vert x-y{\Vert }_A$

Stetigkeit der Umkehrabbildung der Einbettung 3

Durch Infimumbildung über alle Polynome $r\in I$ bleibt die obige Ungleichung erhalten. $\Vert x+I{\Vert }_B:=\underset{r\in I}{\inf }\Vert |x+r|{\Vert }_D\ge \Vert x{\Vert }_A$

Siehe auch

• Algebraerweiterung
• Konstruktion des Algebraisomorphismus
• Quasinorm
• P-Regularität
• P-Regularität über p-Normen
• B-Regularität
• LC-Regularität
• PC-Regularität
• Korrespondenzsatz p-Halbnormen
• Normen, Metriken, Topologie
• Minkowski-Funktional
• Konvexkombination
• Topologisierungslemma für Algebren
• Satz zur Quasinormierbarkeit
• Satz zur p-Normierbarkeit
• topologische Nullteiler

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/P-Regularit%C3%A4t%20%C3%BCber%20Quasinormen
• siehe auch weitere Informationen zu Wiki2Reveal und unter Wiki2Reveal-Linkgenerator.