Kurs:Topologische Invertierbarkeitskriterien/Topologisch kleine Potenzen

Einführung

Der Begriff der topologisch kleinen Potenzen verallgemeinert den Begriff der kleinen Potenzen und den Begriff der topologischen Nullteiler in einer Definition zusammen, wobei die topologische Nullteiler und auch Elemente mit kleinen Potenzen jeweils auch Element mit topologisch kleinen Potenzen sind.

Definition - Topologisch kleine Potenzen

Sei ${\textstyle (A,{\mathcal {T}}_{A})}$ eine topologische Algebra und ${\textstyle {\mathcal {T}}_{A}}$ das System von offenene Mengen auf $A$. Da eine topologische Algebra nicht notwendig kommutativ ist, unterscheidet man rechtseitige und linkseitige topologisch kleine Potenzen.

Definition: Rechtsseitig topologisch kleine Potenzen

Man nennt ${\textstyle z\in A}$ besitzt rechtsseitige topologisch kleine Potenzen in ${\textstyle A}$ (Bezeichnung: ${\textstyle z\in {\mathcal {TKP}}_{r}(A)}$), falls es eine Nullumgebung ${\textstyle U_{0}\in {\mathfrak {U}}(0_{A})}$ gibt, sodass für alle Nullumgebungen ${\textstyle U\in {\mathfrak {U}}(0_{A})}$ ein $k(U)\in \mathbb {N}$ existiert, sodass für alle $\lambda >0$ gilt:

$$\lambda \cdot U\cap {\overline {z^{k(U)}\cdot (A\setminus U_{0})}}\not =\emptyset$$

Definition: Linksseitig topologisch kleine Potenzen

${\textstyle z\in A}$ besitzt linksseitig topologisch kleine Potenzen in ${\textstyle A}$ (Bezeichnung: ${\textstyle z\in {\mathcal {TKP}}_{l}(A)}$), ffalls es eine Nullumgebung ${\textstyle U_{0}\in {\mathfrak {U}}(0_{A})}$ gibt, sodass für alle Nullumgebungen ${\textstyle U\in {\mathfrak {U}}(0_{A})}$ ein $k(U)\in \mathbb {N}$ existiert, sodass für alle $\lambda >0$ gilt:

$$\lambda \cdot U\cap {\overline {(A\setminus U_{0})\cdot z^{k(U)}}}\not =\emptyset$$

Definition: topologisch kleine Potenzen

${\textstyle z\in A}$ besitzt topologische kleine Nullteiler (Bezeichnung: ${\textstyle z\in {\mathcal {TKP}}(A)}$), falls ${\textstyle z}$ rechtseitig oder linkseitig topologisch kleine Potenzen besitzt (siehe auch Verallgemeinerungen von topologischen Nullteilern).

Lemma: Topologisch kleine Potenzen und Gaugefunktionale

Sei ${\textstyle \left(A,\left\|\cdot \right\|_{\mathcal {A}}\right)\in {\mathcal {K}}}$. Ein Element ${\textstyle z\in A}$ besitzt genau dann rechtsseitig topologisch kleine Potenz, wenn es ein ${\textstyle \alpha \in {\mathcal {A}}}$ gibt, so dass für alle ${\textstyle \beta \in {\mathcal {A}}}$ ein ${\textstyle k(\beta )\in \mathbb {N} }$ mit

$$\inf _{\left\|x\right\|_{\alpha }=1}\left\|z^{k(\beta )}\cdot x\right\|_{\beta }=0$$

existiert, so besitzt ${\textstyle z}$ topologisch kleine Potenzen (Bezeichnung: ${\textstyle z\in {\mathcal {TKP}}(A)}$).

Bemerkung - Gaugefunktionale

Wie man schon bei der Definition der topologischen Nullteiler sehen konnte, ist die Formulierung von topologischen Eigenschaften, die im Zusammenhang mit algebraischen Eigenschaften stehen (z.B. Idealeigenschaft, Invertierbarkeit, ...), über Gaugefunktionale für die Beweisführung in der Regel angenehmer als der Umgang mit offenen Mengen. Daher ist obige Definition über offene Mengen und Nullumgebungen ebenfalls in eine äquivalente Formulierung über angegeben werden.

Beweisaufgabe für Studierende

Beweisen Sie die Äquivalenz der ${\mathcal {TKP}}$-Aussage über offene Mengen und Gaugefunktionale!

Satz - TKP und Gaugefunktionale

Sei ${\textstyle \left(A,\left\|\cdot \right\|_{\mathcal {A}}\right)\in {\mathcal {K}}}$ und ${\textstyle z\in A}$ gegeben. Wenn es ein ${\textstyle \alpha \in {\mathcal {A}}}$ gibt, so dass für alle ${\textstyle \beta \in {\mathcal {A}}}$ ein ${\textstyle k(\beta )\in \mathbb {N} }$ mit

$$\inf _{\left\|x\right\|_{\alpha }=1}\left\|z^{k(\beta )}\cdot x\right\|_{\beta }=0$$

existiert, so ist ${\textstyle z}$ ein ${\textstyle {\mathcal {T}}}$-singuläres Element.

Bemerkung - Negation der Singularitätbedingung

Der obige Satz zeigt, dass Elemente ${\textstyle z\in {\mathcal {TKP}}(A)}$ immer ${\mathcal {T}}$-singulär sind. Der Beweis wird für die Kontraposition der obigen Aussage geführt, indem man annimmt, dass ein Element $z\in A$ ein ${\mathcal {T}}$-reguläres Element ist, und dann ${\textstyle z\notin {\mathcal {TKP}}(A)}$ gilt und die folgende Ungleichung liefert.

Regularitätsbedinung als Negation der TKP-Eigenschaft

Insgesamt erhält man mit ${\textstyle z\notin {\mathcal {TKP}}(A)}$ die Aussage, dass es für alle $\alpha \in {\mathcal {A}}$ ein $\beta \in {\mathcal {A}}$ und Konstanten $D_{k}(\alpha )>0$ gibt, sodass für alle $x\in A$ gilt (siehe PC-Regularität):

$\left\|x\right\|_{\alpha }\leq D_{k}(\alpha )\cdot \left\|z^{k}\cdot x\right\|_{\beta }$

Beweis - Satz TKP-Eigenschaft Gaugefunktionale

Der obige Satz wird über die Kontraposition bewiesen und die Eigenschaften der Hömöomorphie der Einbettung bzgl. einer Algebraerweiterung, in der ein $z\in A$ invertierbar ist.

Bemerkung - Permanente Ideal

Diese Regularitätsbedingung wird im weiteren Verlauf noch besondere Bedeutung besitzen, denn diese liefert eine allgemeinere Klassifizierung von permanenten Idealen aus geeignet gewählten Elementen mit dieser Eigenschaft. Deshalb wird die Eigenschaft der topologisch kleinen Potenzen definiert.

Satz: KP-TNT-Summen

Sei ${\textstyle \left(A,\left\|\cdot \right\|_{\mathcal {A}}\right)\in {\mathcal {T}}_{e}^{k}}$, dann besteht die Menge

$${\mathcal {KP}}(A)+{\mathcal {TNT}}(A):=\{z_{1}+z_{2}:z_{1}\in {\mathcal {KP}}(A)\wedge z_{2}\in {\mathcal {TNT}}(A)\}$$

aus ${\textstyle {\mathcal {T}}}$-singulären Elementen.

Beweis - KP-TNT-Summen

Der Beweis zur obigen Aussage wurde von Zelazko (1983) über permanente Radikale in kommutativen lokalkonvexen Algebren formuliert. Der angegebene Beweis des Satzes über Gaugefunktionale soll zeigen, dass Elementen $z\in {\mathcal {KP}}(A)+{\mathcal {TNT}}(A)$ in sogar in beliebigen topologischen Algebren permanent singuläre Elemente sind.

Korrollar: TNT-KP-TKP

Sei ${\textstyle \left(A,\left\|\cdot \right\|_{\mathcal {A}}\right)\in {\mathcal {T}}_{e}}$, dann gilt:

$${\mathcal {KP}}(A)+{\mathcal {TNT}}(A)\subseteq {\mathcal {TKP}}(A).$$

Offene Frage

Welche Voraussetzungen müssen für die Topologie gelten, damit

$${\mathcal {KP}}(A)+{\mathcal {TNT}}(A)={\mathcal {TKP}}(A)\,\,\,(\ast )$$

erfüllt ist? Welche Klassen von Algebren erfüllen die Bedingung ${\textstyle (\ast )}$? Für lokalbeschränkte Algebren, also insbesondere Banachalgebren, erhält man die Gleichung ${\textstyle (\ast )}$, denn für ${\textstyle A\in {\mathcal {P}}^{k}}$ gilt:

$${\mathcal {TNT}}(A)={\mathcal {TKP}}(A).$$

Siehe Satz zur Charakterisierung von ${\mathcal {P}}$-regulärem Elementen.

Bemerkung: Resultat basieren auf dem Konzept von permanenten Radikalen

Der Satz über Summen

• von Elementen mit kleine Potenzen und
• topologische Nullteiler

wurde bereits von Zelazko (1983) formuliert. Der Beweis wurde dort aber nur für kommutative lokalkonvexe Algebren geführt und erforderte in dem Artikel Ergebnisse aus der Theorie über permanente Radikale. Der oben angegebene Beweis zeigt, dass die von Zelazko bewiesene Formulierung der Summen von Elementen aus ${\textstyle {\mathcal {KP}}(A)}$ bzw. ${\textstyle {\mathcal {TNT}}(A)}$ auch für topologische Algebren allgemein über Gaugefunktionale bewiesen werden kann.

Bemerkung: Dreiecksungleichung in lokalkonvexen Räumen

Der von Zelazko geführte Beweis für kommuntative lokalkonvexe Algebren, kann auch vereinfacht werden, wenn man die folgende Subadditivität von ${\textstyle {\mathcal {K}}}$-Funktionalen ausnutzt, wie z.B.

${\begin{array}{rcl}\left\|x+y\right\|_{\alpha }&\leq &K_{\alpha }\cdot (\left\|x\right\|_{\alpha }+\left\|y\right\|_{\alpha }){\mbox{ für alle }}x,y\in A,\\\left\|x+y\right\|_{\alpha }&\leq &\left\|x\right\|_{\beta }+\left\|y\right\|_{\beta }{\mbox{ für alle }}x,y\in A,\end{array}}$

Aufgabe für Studierende

• Formulieren Sie den obigen Satz in ${\mathcal {LC}}^{k}$ bzw. ${\mathcal {PC}}^{k}$-Algebren für Halbnormen bzw. Quasihalbormen und erläutern Sie, wie sich die Abschätzung vereinfachen.
• Formulieren Sie den obigen Satz in ${\mathcal {MLC}}^{k}$ bzw. ${\mathcal {MPC}}^{k}$-Algebren für submultiplative Halbnormen bzw. submultiplative Quasihalbormen und erläutern Sie, wie sich die Abschätzung vereinfachen.
• Betrachten Sie das Vorgehen im Beweis und analysieren Sie, welche Bedeutung die Kommuntativität hat. Kann man den Beweis ebenfalls ohne die von Zelazko verlangte Kommuntativität<ref name="LCsingZelazko"> der Multiplikation führen?

Bemerkung: K-reguläre Elemente und TKP-Eigenschaft

Wenn ein Element ${\textstyle z\in A}$ topologisch kleine Potenzen besitzt ist es permanent singulär in jeder ${\textstyle {\mathcal {T}}}$-Erweiterung der gegebenen Algebra ${\textstyle A}$ und umgekehrt kann ${\mathcal {K}}$-reguläres Element ${\textstyle z\in A}$, das in einer ${\textstyle {\mathcal {K}}}$-Algebraerweiterung ${\textstyle B}$ invertierbar ist, keine topologisch kleinen Potenzen besitzen. Kernfrage ist, ob ein Element, das keine topologisch kleinen Potenzen besitzt, dann auch in einer ${\mathcal {K}}$-regulär ist.

Satz: Stetigkeitssequenzen K-Regularität

Sei ${\textstyle (A,\left\|\cdot \right\|_{\mathcal {A}})\in {\mathcal {K}}_{e}}$ und ${\textstyle z\in {\mathcal {G}}_{\mathcal {K}}(A)}$, dann gibt es für alle ${\textstyle \alpha \in {\mathcal {A}}}$, ein ${\textstyle \beta \in {\mathcal {A}}}$, eine Folge ${\textstyle \left(\left\|\cdot \right\|_{(\alpha ,k)}\right)_{k\in \mathbb {N} }}$ von Gaugefunktionalen mit Konstanten $D_{k}(\alpha )>0$ mit ${\textstyle \left\|\cdot \right\|_{(\alpha ,0)}:=\left\|\cdot \right\|_{\alpha }}$, für die folgende Bedingungen gelten:

• (SK1) ${\textstyle \left\|x\right\|_{\alpha }\leq \left\|x\right\|_{(\alpha ,k)}\leq D_{k}(\alpha )\cdot \left\|x\right\|_{\beta }}$ für alle ${\textstyle x\in A}$ und ${\textstyle k\in \mathbb {N} _{0}}$,
• (SK2) ${\textstyle \left\|x\right\|_{(\alpha ,k)}\leq \left\|zx\right\|_{(\alpha ,k+1)}}$ für alle ${\textstyle x\in A}$ und ${\textstyle k\in \mathbb {N} _{0}}$.

Beweis

Der Beweise des Satzes über Stetigkeitssequenzen bei K-Regularität erfolgt wieder über die Kontraposition, dass man annimmt, dass ein Element ${\mathcal {K}}$-regulär ist.

LC-Regularität

Die obige Aussage ist sogar äquivalent zur ${\mathcal {LC}}^{k}$-Regularität in kommutativen lokalkonvexe Algebren. Der Beweis des Satzes erfolgt analog zum Satz, der die TKP-Eigenschaft über Gaugefunktionale charakterisiert.

Beweis

Für alle ${\textstyle \alpha \in {\mathcal {A}}}$ gibt es wegen der Stetigkeit der Multiplikation ein ${\textstyle \beta \in {\mathcal {A}}}$ mit

$$\left\|xy\right\|_{\alpha }\leq \left\|x\right\|_{\beta }\cdot \left\|y\right\|_{\beta }{\mbox{ für alle }}x,y\in A.$$

TGP-Bedingung

Zu ${\textstyle \beta }$ existieren aufgrund der Eigenschaft von $z\in A$, topologisch große Potenzen zu besitzen, ein ${\textstyle \gamma \in {\mathcal {A}}}$ mit

$$\left\|x\right\|_{\beta }\leq D_{k}(\beta )\cdot \left\|z^{k}\cdot x\right\|_{\gamma }{\mbox{ für alle }}x\in A,\ k\in \mathbb {N} _{0}$$

und positiven Konstanten ${\textstyle D_{k}(\beta )}$. Setzt man ${\textstyle A_{k}:=z^{k}\cdot A}$, dann ist ${\textstyle (A_{k})_{k\in \mathbb {N} _{0}}}$ eine antitone Folge von (nicht notwendigerweise unitalen) Teilalgebren von ${\textstyle A}$.

Vielfachenmengen von Potenzen

Auf den Vielfachenmengen ${\textstyle A_{k}}$ von Potenzen $z^{k}$ werden mit ${\textstyle M_{k}^{\alpha }(x):=\displaystyle \max _{j=0}^{k}\left\|x^{j}\right\|_{\alpha }}$ für ${\textstyle \alpha \in {\mathcal {A}}}$, ${\textstyle k\in \mathbb {N} _{0}}$ und ${\textstyle x\in A}$ folgende Abbildungen definiert:

$$\left\|\cdot \right\|_{(\beta ,k)}:A_{k}\longrightarrow \mathbb {K} \,\,{\mbox{ mit }}\,\,y=z^{k}x\longmapsto M_{k}^{\beta }(z)\cdot \left\|x\right\|_{\beta }.$$

Wohldefiniertheit der Abbildung

Zur Wohldefiniertheit der Abbildung: Da ${\textstyle z}$ keine topologisch kleinen Potenzen besitzt, ist ${\textstyle z}$ wegen ${\textstyle {\mathcal {NT}}(A)\subset {\mathcal {TNT}}(A)\subset {\mathcal {TKP}}(A)}$ auch kein Nullteiler in ${\textstyle A}$. Daher kann man für jedes ${\textstyle k\in \mathbb {N} }$ und jedes ${\textstyle y\in A_{k}}$ genau ein ${\textstyle x\in A}$ finden mit ${\textstyle y=z^{k}x}$.

Isotonie der Koeffizienten 1

Ferner sei ${\textstyle \left(D_{k}(\beta )\right)_{k\in \mathbb {N} _{0}}}$ eine isotone Folge mit

$$1\leq D_{k}(\beta )\leq D_{k+1}(\beta ){\mbox{ für alle }}k\in \mathbb {N} _{0}.$$

Isotonie der Koeffizienten 2

Mit der Definition der ${\textstyle M_{k}^{\beta }(z)}$ ist auch ${\textstyle (M_{k}^{\beta }(z))_{k\in \mathbb {N} }}$ eine isotone Folge. Für ${\textstyle y=z^{k}x\in A_{k}}$ und ${\textstyle zy\in A_{k+1}}$ gilt:

${\begin{array}{rcl}\left\|y\right\|_{(\beta ,k)}&=&\left\|z^{k}\cdot x\right\|_{(\beta ,k)}=M_{k}^{\beta }(z)\cdot \left\|x\right\|_{\beta }\leq M_{k+1}^{\beta }(z)\cdot \left\|x\right\|_{\beta }\\&=&\left\|z^{k+1}\cdot x\right\|_{(\beta ,k+1)}=\left\|z\cdot y\right\|_{(\beta ,k+1)}\end{array}}$

und

${\begin{array}{rcl}\left\|y\right\|_{(\beta ,k)}&=&\left\|z^{k}\cdot x\right\|_{(\beta ,k)}=M_{k}^{\beta }(z)\cdot \left\|x\right\|_{\beta }\geq \left\|z^{k}\right\|_{\beta }\cdot \left\|x\right\|_{\beta }\\&\geq &\left\|z^{k}\cdot x\right\|_{\alpha }=\left\|y\right\|_{\alpha }.\end{array}}$

Abschätzung Gaugefunktionaleigenschaft

Es bleibt noch zu zeigen, dass man das Gaugefunktional ${\textstyle \left\|\cdot \right\|_{(\beta ,k)}}$ zu einem Gaugefunktional ${\textstyle \left\|\cdot \right\|_{(\alpha ,k)}}$ mit den geforderten Eigenschaften (SK1) und (SK2) auf ganz ${\textstyle A}$ erweitern kann. Man definiert Abbildungen ${\textstyle \varphi _{k}}$ mit

$$\varphi _{k}:A\longrightarrow \{0,1,\dots ,k\}y\longmapsto \max\{j\in \{0,1,\dots ,k\}:y\in A_{j}\}.$$

Erweiterung von der Vielfachenmenge auf die Algebra

Nun wird mit der Abbildung ${\textstyle \varphi _{k}}$ das Gaugefunktional ${\textstyle \left\|\cdot \right\|_{(\alpha ,k)}}$ für ${\textstyle y\in A}$ wie folgt definiert:

$$\left\|y\right\|_{(\alpha ,k)}:=\left\|y\right\|_{(\beta ,\varphi _{k}(y))}.$$

Da ${\textstyle \left\|y\right\|_{(\beta ,k)}\geq \left\|y\right\|_{\alpha }}$ für alle ${\textstyle y\in A_{k}}$, erhält man mit ${\textstyle y\in A_{\varphi _{k}(y)}}$ auch die Ungleichung ${\textstyle \left\|y\right\|_{(\beta ,\varphi _{k}(y))}\geq \left\|y\right\|_{\alpha }}$.

Beschränktheit der Gaugefunktionale

Ferner können die Gaugefunktionale ${\textstyle \left\|\cdot \right\|_{(\alpha ,k)}}$ durch ein Gaugefunktional ${\textstyle \left\|\cdot \right\|_{\gamma }}$ mit positiven Konstanten ${\textstyle D_{k}(\alpha )}$ beschränkt werden, denn mit ${\textstyle y:=z^{\varphi _{k}(y)}x}$ gilt:

${\begin{array}{rcl}\left\|y\right\|_{(\alpha ,k)}&\leq &M_{\varphi _{k}(y)}^{\beta }(z)\cdot \left\|x\right\|_{\beta }\leq M_{\varphi _{k}(y)}^{\beta }(z)\cdot D_{\varphi _{k}(y)}(\beta )\cdot \left\|z^{\varphi _{k}(y)}\cdot x\right\|_{\gamma }\\&\leq &\underbrace {M_{k}^{\beta }(z)\cdot D_{k}(\beta )} _{D_{k}(\alpha ):=}\cdot \|\underbrace {z^{\varphi _{k}(y)}\cdot x} _{=y}\|_{\gamma }=D_{k}(\alpha )\cdot \left\|y\right\|_{\gamma }.\end{array}}$

Abschätzung bzgl. Produkte mit z

Die Abschätzung ${\textstyle \left\|y\right\|_{(\beta ,k)}\leq \left\|zy\right\|_{(\beta ,k+1)}}$ für ${\textstyle y\in A_{k}}$ überträgt sich auch auf die erweiterten Funktionale, denn man erhält mit ${\textstyle \varphi _{k}(y)+1=\varphi _{k+1}(zy)}$ und ${\textstyle z\cdot A_{k}=A_{k+1}}$

${\begin{array}{rcl}\left\|y\right\|_{(\alpha ,k)}&=&\left\|y\right\|_{(\beta ,\varphi _{k}(y))}\leq \left\|z\cdot y\right\|_{(\beta ,\varphi _{k}(y)+1)}\\&=&\left\|z\cdot y\right\|_{(\beta ,\varphi _{k+1}(zy))}=\left\|z\cdot y\right\|_{(\alpha ,k+1)}.\end{array}}$

Eigenschaft Gaugefunktionalsequenz

Insgesamt ergeben sich die Behauptungen (SK1) und (SK2) für die Gaugefunktionalsequenz. $\Box$

Bemerkung

Die Bedingungen (SK1) und (SK2) aus Satz über ${\mathcal {B}}$-reguläre Elemente kann man für ein ${\textstyle {\mathcal {T}}}$-reguläres Element ${\textstyle z}$ auch unmittelbar erhalten.

Satz: TKP und K-Regularitätseigenschaften

Sei ${\textstyle \left(A,\left\|\cdot \right\|_{\mathcal {A}}\right)\in {\mathcal {K}}_{e}(\mathbb {K} )}$ und ein ${\textstyle {\mathcal {K}}}$-reguläres Element ${\textstyle z\in A}$ gegeben, dann gibt es zu jedem ${\textstyle \alpha \in {\mathcal {A}}}$ eine Folge ${\textstyle \left(\left\|\cdot \right\|_{(\alpha ,k)}\right)_{k\in \mathbb {N} }}$ von ${\textstyle {\mathcal {K}}}$-Funktionalen mit Konstanten ${\textstyle D_{k}^{(1)}(\alpha )}$, ${\textstyle D_{k}^{(2)}(\alpha )>0}$ und ein ${\textstyle \gamma \in {\mathcal {A}}}$ mit

• ${\textstyle \left\|x\right\|_{\alpha }\leq D_{k}^{(1)}(\alpha )\cdot \left\|x\right\|_{(\alpha ,k)}\leq D_{k}^{(2)}(\alpha )\cdot \left\|x\right\|_{\gamma }}$ für alle ${\textstyle x\in A}$ und ${\textstyle k\in \mathbb {N} _{0}}$,
• ${\textstyle \left\|x\right\|_{(\alpha ,k)}=\left\|zx\right\|_{(\alpha ,k+1)}}$ für alle ${\textstyle x\in A}$, ${\textstyle k\in \mathbb {N} _{0}}$.

Durch geeignet gewählte Vielfache der ${\textstyle {\mathcal {K}}}$-Funktionale erhält man ebenfalls die bereits bekannten Abschätzungen ${\textstyle (1)}$ und ${\textstyle (2)}$.

Korrollar

Sei ${\textstyle \left(A,\left\|\cdot \right\|_{\mathcal {A}}\right)\in {\mathcal {K}}_{e}(\mathbb {K} )}$ und ein ${\textstyle {\mathcal {K}}}$-reguläres Element ${\textstyle z\in A}$ gegeben, dann gibt es zu jedem ${\textstyle \alpha \in {\mathcal {A}}}$ eine Folge ${\textstyle \left(\left\|\cdot \right\|_{(\alpha ,k)}\right)_{k\in \mathbb {N} }}$ von ${\textstyle {\mathcal {K}}}$-Funktionalen mit Konstanten ${\textstyle D_{k}(\alpha )>0}$ und ein ${\textstyle \gamma \in {\mathcal {A}}}$ mit

• ${\textstyle \left\|x\right\|_{\alpha }\leq \left\|x\right\|_{(\alpha ,k)}\leq D_{k}(\alpha )\cdot \left\|x\right\|_{\gamma }}$ für alle ${\textstyle x\in A}$ und ${\textstyle k\in \mathbb {N} _{0}}$,
• ${\textstyle \left\|x\right\|_{(\alpha ,k)}\leq \left\|zx\right\|_{(\alpha ,k+1)}}$ für alle ${\textstyle x\in A}$, ${\textstyle k\in \mathbb {N} _{0}}$.

Siehe auch

• Elemente mit kleinen Potenzen
• topologische Nullteiler
• multiplikative topologische Nullteiler
• Lemma über Produkte mit topologischen Nullteilern
• Satz - TKP-Eigenschaft und 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/Topologisch%20kleine%20Potenzen
• siehe auch weitere Informationen zu Wiki2Reveal und unter Wiki2Reveal-Linkgenerator.