Kurs:Topologische Invertierbarkeitskriterien/MTNT-Kriterium für Gaugefunktionale

Einführung

Sei $(A,{𝒯}_A)$ wird ein multiplikativer topologischer Nullteiler mengentheoretisch über das System der offenen Mengen ${𝒯}_A$ definiert. Da eine topologische Algebra nicht notwendig kommutativ ist, musste man diese topologischen Eigenschaften für rechtseitige, linkseitig und beidseitige multiplikative topologischen Nullteiler über das System von offenen Mengen ${𝒯}_A$ beschreiben.

Topologische Eigenschaften über Gaugefunktional

Ein Kriterium, dass die Eigenschaften $z\in ℳ𝒯𝒩𝒯(A)$ bzw. $z\notin ℳ𝒯𝒩𝒯(A)$ über Gaugefunktionale, Halbnormen, Quasinormen, $p$-Normen, ... definert ist das Ziel eines Kriteriums zur Charakterisierung der Eigenschaft eines multiplikativen topologischen Nullteilers über Gaugefunktionale. In normierten Räumen wurde nach dem klassischen Satz von Arens für die Banachalgebren die Eigenschaft ein topologischer Nullteiler sein über eine Norm definiert.

Lemma - MTNT-Kriterium für Gaugefunktionale

Sei $(A,\Vert \cdot {\Vert }_{𝒜})$ ein $p$-Gaugefunktionalsystem $\Vert \cdot {\Vert }_{𝒜}$, dann gilt mit $ℳ(𝒜)$ als Menge der Gaugefunktionalindizes, die submultiplikativ, sind folgende Äquivalenz:

• $z\in {ℳ𝒯𝒩𝒯}_r(A):⟺{\mathrm{\exists }}_{\alpha \in ℳ(𝒜)}:\underset{\Vert x{\Vert }_{\alpha }=1}{\inf }\Vert z\cdot x{\Vert }_{\alpha }=0$
• $z\in {ℳ𝒯𝒩𝒯}_l(A):⟺{\mathrm{\exists }}_{\alpha \in ℳ(𝒜)}:\underset{\Vert x{\Vert }_{\alpha }=1}{\inf }\Vert x\cdot z{\Vert }_{\alpha }=0$

In kommutativen Algebren gilt ${ℳ𝒯𝒩𝒯}_r(A)={ℳ𝒯𝒩𝒯}_l(A)=ℳ𝒯𝒩𝒯(A)$.

Beweis - MTNT-Kriterium für Gaugefunktionale

Man nennt $z\in A$ einen rechtsseitgen multiplikativer topologischen Nullteiler in $A$ (Bezeichnung: $z\in {ℳ𝒯𝒩𝒯}_r(A)$), falls es eine multiplikative kreisförmige Nullumgebung $U_{\alpha }\in 𝔘(0_A)$ gibt, so dass gilt für alle $\lambda >0$:

$$\lambda \cdot U_{\alpha }\cap z\cdot (A\setminus U_{\alpha })=\mathrm{\varnothing }$$

Minkowski-Funktional von Nullumgebungen

Betrachtet man das Minkowski-Funktional von kreisförmigen multiplikativen Nullumgebungen, so liefert

• die Kreisförmigkeit die Homogenität des Minkowski-Funktionals $p_{{}_{U_{\alpha }}}$ und damit ein Gaugefunktional $U_{\alpha }:=B_1^{\alpha }(0_A):=\{x\in A:\Vert x{\Vert }_{\alpha }<1\}$,
• die Multplikativität der Nullumgebung $U_{\alpha }$ (also $U_{\alpha }\cdot U_{\alpha }\subseteq U_{\alpha }$) liefert die Submultiplikativität des Gaugefunktionals, d.h.

$\Vert x\cdot y{\Vert }_{\alpha }\le \Vert x{\Vert }_{\alpha }\cdot \Vert y{\Vert }_{\alpha }$

Bildung des Infimum

Betrachtet man die Bedingung

$$\lambda \cdot U_{\alpha }\cap z\cdot (A\setminus U_{\alpha })=\mathrm{\varnothing }$$

so erhält man übertragen auf das Gaugefunktional für alle $\lambda >0$ ein $x_{\lambda }\in A\setminus U_{\alpha }$ für das $z\cdot x_{\lambda }\in \lambda \cdot U_{\alpha }$ und damit gilt

$$\Vert z\cdot x_{\lambda }{\Vert }_{\alpha }\le \lambda \wedge \Vert x_{\lambda }{\Vert }_{\alpha }\ge 1$$

und man erhält $\underset{\Vert x_{\lambda }{\Vert }_{\alpha }\ge 1}{\inf }\Vert z\cdot x_{\lambda }{\Vert }_{\alpha }=0$.

Umgekehrte Beweisrichtung 1

Sei nun die folgende Infimumsbedingung gegeben.

${\mathrm{\exists }}_{\alpha \in 𝒜\text{ submultiplikativ }}:\underset{\Vert x{\Vert }_{\alpha }=1}{\inf }\Vert z\cdot x{\Vert }_{\alpha }=0$

Wähle $U_o:=B_1^{\alpha }(0_A)$ und für alle $n\in \mathbb{N}$ gibt es ein $x_n\in A\setminus U_o$ mit $\Vert x_n{\Vert }_{\alpha }=1$ mit $\Vert z\cdot x_n{\Vert }_{\alpha }<\frac{1}{n}$. Dann gilt es auch für alle $\lambda >0$ ein $n\in \mathbb{N}$ mit $n>\frac{1}{\lambda }$ mit $z\cdot x_n\in \lambda \cdot U_o$ (mit Kreisförmigkeit von $U_o$)

Umgekehrte Beweisrichtung 2

Insgesamt gilt dann:

$$\lambda \cdot U_{\alpha }\cap z\cdot (A\setminus U_{\alpha })=\mathrm{\varnothing }$$

und man erhält die Behauptung. $◻$

Lemma - skalare beschränkte Teilmengen von Nullumgebungen

Sei $(A,{\Vert \cdot \Vert }_{𝒜})\in {𝒦}_e$. Wenn $z\in A$ und $U_0\in {𝔘}_{𝒯}(0_A)$ eine kreisförmige multiplikative Nullumgebung ist, dann gilt:

$$\mathrm{\Lambda }(U_0)\subset \overline{z\cdot (A\setminus U_0)}⟹z\in {ℳ𝒯𝒩𝒯}_r(A)(\ast )$$

bzw.

$$\mathrm{\Lambda }(U_0)\subset \overline{(A\setminus U_0)\cdot z}⟹z\in {ℳ𝒯𝒩𝒯}_l(A)$$

Beweis - MTNT-Lemma - skalare Beschränktheit

Sei $z\in A$ und eine kreisförmige multiplikative Nullumgebung $U_0\in 𝔘(0_A)$ mit $U_0\cdot U_0\subset U_0$, für die gilt:

$\mathrm{\Lambda }(U_0)\subset \overline{z\cdot (A\setminus U_{\alpha })}$.

Dann gilt für alle $\lambda >0$ die Inklusion

$\lambda \cdot U_0\cap z\cdot (A\setminus U_{\alpha })=\mathrm{\varnothing }$.

Damit gilt $z\in {ℳ𝒯𝒩𝒯}_r(A)$. Den Beweis führt den linkseitigen multiplikativen Nullteiler führt man analog. $◻$

Da das System ${\Vert \cdot \Vert }_{𝒜}$ die Topologie auf $A$ erzeugt, gibt es ein $\alpha \in 𝒜$ und ein $\epsilon >0$, so dass die multiplikative $\epsilon$-Kugel $U_{\alpha }:={\mathrm{B}}_{\epsilon }^{\alpha }(0_A)$ des $𝒦$-Funktionals ${\Vert \cdot \Vert }_{\alpha }$ eine Teilmenge von $U_0$ ist. $◻$

Gaugefunktional, MTNT und skalar unbeschränkte Mengen

Die folgende Abschätzung ergeben sich bei der Auseinandersetzung mit skalar unbeschränkten Mengen einer Nullumgebung in pseudokonvexen Räumen $(A,{\Vert \cdot \Vert }_{𝒜})\in {𝒫𝒞}_e$.

Gaugefunktional und skalar-unbeschränkte Teilmengen von Nullumgebungen

Für ein $u\in \mathrm{\Lambda }(U_0)$ mit $\Vert \cdot {\Vert }_{\alpha }$ als submultiplikatives Gaugefunktional und $U_{\alpha }:=B_{\epsilon }^{\alpha }(0_A)$ gilt für alle $\lambda \in 𝕂$:

$\lambda \cdot u\in U_{\alpha }:=B_{\epsilon }^{\alpha }(0_A)=\{x\in A:\Vert x{\Vert }_{\alpha }<\epsilon \}$

Damit erhält man $\Vert u{\Vert }_{\alpha }=0$, denn sonst gilt nicht für alle $\lambda \in 𝕂$, dass

$|\lambda |\cdot \underset{=0}{\underbrace{\Vert u{\Vert }_{\alpha }}}=\Vert \lambda \cdot u{\Vert }_{\alpha }<\epsilon$

Skalar unbeschränkte Teilmengen

Wenn man ein Element aus $u_o\in \mathrm{\Lambda }(U_0)$ wählt, gilt auch für das Minkowski-Funktional von $U_0$, dass $p_{U_0}(u_o)=0$ ist. Für Teilmengenbeziehung zwischen Nullumgebungen gilt ferner:

$U_0\subseteq U_1⟹{\mathrm{\forall }}_{x\in A}:p_{{}_{U_1}}(x)\ge p_{{}_{U_0}}(x)$

Damit gilt auch mit

$p_{{}_{U_0}}(x)=0⟹p_{{}_{U_1}}(x)=0$

und für die skalar unbeschränkten Teilmengen von Nullumgebungen

$\mathrm{\Lambda }(U_0)\subseteq \mathrm{\Lambda }(U_1)$.

Konvergenz bzgl. Komplementen von Nullumgebungen

Sei $\mathrm{\Lambda }(U_0)\subset \overline{z\cdot (A\setminus U_0)}$ und zunächst $u_o\in \mathrm{\Lambda }(U_{\alpha })$ beliebig gewählt. Da $z\in {ℳ𝒯𝒩𝒯}_r(A)$ ein rechtseitiger multiplikativer topologischer Nullteiler in $A$ ist, gibt es ein Netz $(x_{{}_U}{)}_{{}_{U\in {𝔘}_{𝒯}(0_A)}}\in (A\setminus U_0{)}^{{𝔘}_{𝒯}(0_A)}$, wobei $(z\cdot x_{{}_U}{)}_{{}_{U\in {𝔘}_{𝒯}(0_A)}}$ gegen $u_o$ konvergiert, d.h.

$$\begin{array}{ccc}(x_{{}_U}{)}_{{}_{U\in {𝔘}_{𝒯}(0_A)}}& \in & (A\setminus U_0{)}^{{𝔘}_{𝒯}(0_A)}\text{ mit }\\ z\cdot x_{{}_U}-u_o& \in & U\in {𝔘}_{𝒯}(0_A).\end{array}$$

Netz aus dem Komplement einer Nullumgebung

Da das Netz $(x_{{}_U}{)}_{U\in {𝔘}_{𝒯}(0_A)}$ im Komplement von $U_0$ liegt es auch im Komplement von $U_{\alpha }\subseteq U_0$. Wenn alle Komponenten des Netzes $x_{{}_U}\in A\setminus U_{\alpha }$ auch im Komplement von $U_{\alpha }$ gilt immer noch, dass $(z\cdot x_{{}_U}{)}_{U\in {𝔘}_{𝒯}(0_A)}$ gegen $u_o\in \mathrm{\Lambda }(U_{\alpha })$ konvergiert mit $\Vert x_{{}_U}{\Vert }_{\alpha }\ge \epsilon$

$z\cdot x_{{}_U}-u_o\in U$

Konvergenz und skalare Unbeschränktheit

Die Konvergenz gegen $u_o\in \mathrm{\Lambda }(U_{\alpha })$ mit $z\cdot x_{{}_U}{}_{\stackrel{⟶}{U\in {𝔘}_{𝒯}(0_A)}}{u}_o$ lässt sich auch über Gaugefunktionale ausdrücken. Damit gilt für alle $\beta \in 𝒜$, dass die Quasihalbnormen die Bedingung erfüllen:

$\Vert z\cdot x_{{}_U}-u_o{\Vert }_{\beta }{}_{\stackrel{⟶}{U\in {𝔘}_{𝒯}(0_A)}}0$

Man erhält damit $\underset{{\Vert x\Vert }_{\alpha }\ge \epsilon }{\inf }{\Vert z\cdot x-u_o\Vert }_{\beta }=0$ für alle $\beta \in 𝒜$.

Subadditivität mit Stetigkeitskonstante der Addition

Wendet man die obige Konvergenzaussage insbesondere für $\beta =\alpha$. Ferner folgt aus der Subadditivität mit Stetigkeitskonstante $K_{\alpha }\ge 1$ auch die Ungleichung:

$\frac{1}{K_{\alpha }}\cdot \Vert x{\Vert }_{\alpha }-\Vert y{\Vert }_{\alpha }\le \Vert x-y{\Vert }_{\alpha }.$

Mit einer Abschätzung nach unter der Konvergenzaussage für $\beta =\alpha$ erhält man mit $u_o\in \mathrm{\Lambda }(U_{\alpha })$:

$0\le \frac{1}{K_{\alpha }}\cdot \Vert z\cdot x_{{}_U}{\Vert }_{\alpha }-\underset{=0}{\underbrace{\Vert u_o{\Vert }_{\alpha }}}\le \Vert z\cdot x_{{}_U}-u_o{\Vert }_{\alpha }{}_{\stackrel{⟶}{U\in {𝔘}_{𝒯}(0_A)}}0$

Konvergenz gegen 0 bzgl. Quasihalbnorm

Damit erhält man mit $\Vert x_{{}_U}{\Vert }_{\alpha }\ge \epsilon$ auch:

$\begin{array}{ccc}\frac{1}{K_{\alpha }}\cdot \Vert z\cdot x_{{}_U}{\Vert }_{\alpha }& {}_{\stackrel{⟶}{U\in {𝔘}_{𝒯}(0_A)}}& 0\text{ und }\\ \Vert z\cdot x_{{}_U}{\Vert }_{\alpha }& {}_{\stackrel{⟶}{U\in {𝔘}_{𝒯}(0_A)}}& 0\end{array}$

Dies liefert für das Infimum die Bedingung $\underset{{\Vert x\Vert }_{\alpha }\ge \epsilon }{\inf }{\Vert z\cdot x\Vert }_{\alpha }=0$.

Mengenbeziehungen

Dann gilt:

$\begin{array}{ccc}{U}_{\alpha }\subset U_0& ⟹& A\setminus U_0\subset A\setminus U_{\alpha }\\ & ⟹& \mathrm{\Lambda }(U_{\alpha })\subset \overline{z\cdot (A\setminus U_{\alpha })}\\ & ⟹& 0=\underset{{\Vert x\Vert }_{\alpha }\ge \epsilon }{\inf }{\Vert z\cdot x\Vert }_{\alpha }=\underset{{\Vert x\Vert }_{\alpha }\ge 1}{\inf }{\Vert z\cdot \epsilon \cdot x\Vert }_{\alpha }\\ & ⟹& \epsilon \cdot \underset{{\Vert x\Vert }_{\alpha }\ge 1}{\inf }{\Vert z\cdot x\Vert }_{\alpha }=0⟹\underset{{\Vert x\Vert }_{\alpha }\ge 1}{\inf }{\Vert z\cdot x\Vert }_{\alpha }=0\\ & ⟹& \underset{{\Vert x\Vert }_{\alpha }=1}{\inf }{\Vert z\cdot x\Vert }_{\alpha }=0\end{array}$

Absorbierende Nullumgebung

Sei $u_o\in \mathrm{\Lambda }(U_{\alpha })$ und dann gilt $\Vert u_o{\Vert }_{\alpha }=0$. Da Nullumgebungen absorbierend sind, gibt es für $z\in A$ ein natürliche Zahl $n_o\in \mathbb{N}$, sodass für alle $n\ge n_o$ auch $z\in n\cdot U_{\alpha }$ und damit auch $\frac{1}{n}\cdot z\in U_{\alpha }$. Ferner gilt auch mit

${\Vert n\cdot x\Vert }_{\alpha }\ge n\ge n_o\ge 1$

Damit gilt insbesondere für $x\notin U_{\alpha }$ auch $n\cdot x\in A\setminus U_{\alpha }$.

Pseudokonvexe Algebren - skalar unbeschränkte Elemente

Wenn $u_o\in \mathrm{\Lambda }(U_{\alpha })$ beliebig gewählt wird, gibt es ein Netz $(y_{{}_U}{)}_{{}_{U\in {𝔘}_{𝒯}(0_A)}}\in A^{{𝔘}_{𝒯}(0_A)}$ gegeben, dass gegen $u_o$ konvergiert, d.h. für alle $\beta \in 𝒜$ gilt

$\Vert y_{{}_U}-u_o{\Vert }_{\beta }{}_{\stackrel{⟶}{U\in {𝔘}_{𝒯}(0_A)}}0$

Insbesondere gibt es für $\beta =\alpha$ eine Indexschranke des Netzes $U_{\epsilon }\in {𝔘}_{𝒯}(0_A)$ mit $K_{\alpha }\ge 1$ Stetigkeitskonstante der Addition:

$\Vert y_{{}_U}-u_o{\Vert }_{\alpha }<\frac{\epsilon }{2\cdot K_{\alpha }}\text{ für }U\subseteq U_{\epsilon }$

Anwendung der Infimumaussage auf Netze

Mit $\underset{{\Vert x\Vert }_{\alpha }\ge 1}{\inf }{\Vert z\cdot x\Vert }_{\alpha }=0$ gibt es ein $(x_{{}_U}{)}_{{}_{U\in {𝔘}_{𝒯}(0_A)}}\in (A\setminus U_0{)}^{{𝔘}_{𝒯}(0_A)}$, wobei $(z\cdot x_{{}_U}{)}_{{}_{U\in {𝔘}_{𝒯}(0_A)}}$ in der Quashalbnorm $\Vert \cdot {\Vert }_{\alpha }$ gegen $0$ konvergiert, d.h.

$\Vert z\cdot x_{{}_U}{\Vert }_{\alpha }{}_{\stackrel{⟶}{U\in {𝔘}_{𝒯}(0_A)}}0$

Dabei sei ohne Einschränkung $\Vert x_{{}_U}{\Vert }_{\alpha }=1$ für alle $U\in {𝔘}_{𝒯}(0_A)$.

Definition eines Netzes im Komplement der Nullumgebung 1

Mit den obigen Bedingung definiert man mit der partiellen Ordnung (Mengeninklusion) auf der Indexmenge $J:={𝔘}_{𝒯}(0_A)$ eine neue Indexmenge $J_o\subseteq J$ mit

$J_o:=\{U\in J:U\cup U_{\epsilon }\in {𝔘}_{𝒯}(0_A)\}$

Der Schnitt von Nullumgebung ist nach den Eigenschaften eines topologischen Raum wieder eine Nullumgebung. Für das Teilnetz gilt ebenfalls:

$\Vert z\cdot x_{{}_U}{\Vert }_{\alpha }{}_{\stackrel{⟶}{U\in J_0}}0\text{ und }\Vert y_{{}_U}-u_o{\Vert }_{\alpha }{}_{\stackrel{⟶}{U\in J_0}}0$

Definition eines Netzes im Komplement der Nullumgebung 2

Man definiert nun ein Summen Netz $(\widehat{x_{{}_U}}{)}_{{}_{U\in J_0}}$ mit $\widehat{x_{{}_U}}=x_{{}_U}-y_{{}_U}$. Für die Komponenten des Netzes gilt.

$$\Vert x_{{}_U}-y_{{}_U}{\Vert }_{\alpha }\ge \frac{1}{K_{\alpha }}\cdot \underset{\ge 1}{\underbrace{\Vert x_{{}_U}{\Vert }_{\alpha }}}-\underset{\le \frac{\epsilon }{2\cdot K_{\alpha }}}{\underbrace{\Vert y_{{}_U}{\Vert }_{\alpha }}}\ge \frac{\epsilon }{2\cdot K_{\alpha }}$$

Definiert man die Nullumgebung $U_1:=B_{\frac{\epsilon }{2\cdot K_{\alpha }}}^{\alpha }(0_A)$ liegt das Netz im Komplement von $U_1$.

Abschätzung des Produktes mit z

Da die Quasihalbnorm $\Vert \cdot {\Vert }_{\alpha }$ submultiplikativ ist.

$\begin{array}{ccc}\Vert z\cdot \widehat{x_{{}_U}}{\Vert }_{\alpha }& =& \Vert z\cdot (x_{{}_U}-y_{{}_U}){\Vert }_{\alpha }\\ & \le & K_{\alpha }\cdot (\Vert z\cdot (x_{{}_U}+u_o){\Vert }_{\alpha }+\Vert z\cdot (y_{{}_U}-u_o){\Vert }_{\alpha })\\ & \le & K_{\alpha }^2\cdot (\Vert z\cdot x_{{}_U}{\Vert }_{\alpha }+\Vert z{\Vert }_{\alpha }\cdot \underset{=0}{\underbrace{\Vert u_o{\Vert }_{\alpha }}}+\Vert z{\Vert }_{\alpha }\cdot \underset{\to 0}{\underbrace{\Vert y_{{}_U}-u_o{\Vert }_{\alpha }}}){}_{\stackrel{⟶}{U\in J_0}}0\end{array}$

Stetigkeit der Multiplikation

Aus der Stetigkeit der Multiplikation und $w_{{}_U}{}_{\stackrel{⟶}{U\in {𝔘}_{𝒯}(0_A)}}{u}_o$ folgt auch

$w_{{}_U}\cdot z^{-1}{}_{\stackrel{⟶}{U\in {𝔘}_{𝒯}(0_A)}}0$ und man erhält:

$${\mathrm{\forall }}_{V\in {𝔘}_{𝒯}(0_A)}{\mathrm{\exists }}_{U(V)\in {𝔘}_{𝒯}(0_A)}:w_{{}_{U(V)}}\cdot z^{-1}\in V.$$

Widerspruch

Dadurch ergibt sich ein Widerspruch wie folgt:

$$V\ni ̸y_{{}_{U(V)}}=y_{{}_{U(V)}}\cdot (z\cdot z^{-1})=(y_{{}_{U(V)}}\cdot z)\cdot z^{-1}\in V.$$

Der Widerspruch zeigt, dass $z$ in $A$ nicht invertierbar sein kann.$◻$

Negation des MTNT-Kriteriums

Sei $(A,{\Vert \cdot \Vert }_{𝒜})\in 𝒦$, dann kann man $z\notin {ℳ𝒯𝒩𝒯}_r(A)$ (bzw. $z\notin {ℳ𝒯𝒩𝒯}_l(A)$) über Gaugefunktionale äquivalent beschreiben:

${\mathrm{\forall }}_{\alpha \in 𝒜\text{ submultiplikativ}}{\mathrm{\exists }}_{{\epsilon }_{\alpha }>0}:\underset{{\Vert x\Vert }_{\alpha }=1}{\inf }{\Vert z\cdot x\Vert }_{\alpha }={\epsilon }_{\alpha }>0$

bzw.

${\mathrm{\forall }}_{\alpha \in 𝒜\text{ submultiplikativ }}{\mathrm{\exists }}_{{\epsilon }_{\alpha }>0}:\underset{{\Vert x\Vert }_{\alpha }=1}{\inf }{\Vert x\cdot z\Vert }_{\alpha }={\epsilon }_{\alpha }>0$

Lemma: Negation des MTNT-Kriteriums

Sei $(A,{\Vert \cdot \Vert }_{𝒜})\in 𝒦$, dann kann man $z\notin {𝒯𝒩𝒯}_r(A)$ (bzw. $z\notin {𝒯𝒩𝒯}_l(A)$) über Gaugefunktionale äquivalent beschreiben:

${\mathrm{\forall }}_{\alpha \in 𝒜\text{ submultiplikativ}}{\mathrm{\exists }}_{D_{\alpha }>0}:{\Vert x\Vert }_{\alpha }\le D_{\alpha }\cdot {\Vert z\cdot x\Vert }_{\alpha }\text{ mit }z\notin {ℳ𝒯𝒩𝒯}_r(A)$

bzw.

${\mathrm{\forall }}_{\alpha \in 𝒜}{\mathrm{\exists }}_{\beta \in 𝒜,D_{\alpha }>0}:{\Vert x\Vert }_{\alpha }\le D_{\alpha }\cdot {\Vert x\cdot z\Vert }_{\alpha }\text{ mit }z\in {ℳ𝒯𝒩𝒯}_l(A)$

Beweisaufgabe für Studierende

• Beweisen Sie das Lemma zur Negation des $ℳ𝒯𝒩𝒯$-Kriteriums für Gaugefunktionale über Verwendung des Topologisierungslemmas für Algebren und der Stetigkeit der Multiplikation.
• Wie verändert sich die Beweisführung, wenn die Topologie über $p$-Gaugefunktionale submultiplikative $p$-Halbnormen) und nicht über Quasihalbnormen erzeugt werden.
• Vergleichen Sie den Begriff des topologischen Nullteilers mit der Definition eines multiplikativen topologischen Nullteilers. Ist jeder topologische Nullteiler immer ein multiplikativer topologischer Nullteiler oder umgekehrt? Unter welchen Voraussetzung gilt die Inklusion? Begründen Sie Ihre Antwort!

Siehe auch

• Multiplikative topologische Nullteiler
• Topologische Nullteiler
• Gaugefunktional
• Topologisierungslemma für Algebren
• B-Regularität
• P-Regularität
• MLC-Regularität
• MPC-Regularität
• TNT-Kriterium für Gaugefunktionale

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/MTNT-Kriterium%20f%C3%BCr%20Gaugefunktionale
• siehe auch weitere Informationen zu Wiki2Reveal und unter Wiki2Reveal-Linkgenerator.