Kurs:Topologische Invertierbarkeitskriterien/Lemma - Kaskadenprodukte

Lemma - Kaskadenprodukte

Sei $(A,\Vert \cdot {\Vert }_{𝒜})$ eine unital positive topologische Algebra mit dem basiserzeugenden $p$-Gaugefunktionalsystem $\Vert \cdot {\Vert }_{𝒜}$, dann gibt es für alle $\alpha \in 𝒜$ eine isotone Stetigkeitssequenz ${\left({\Vert \cdot \Vert }_{(\alpha ,n)}\right)}_{n\in {\mathbb{N}}_0}$, die folgende Eigenschaften besitzt:

• (KM1) ${\Vert \cdot \Vert }_{(\alpha ,k)}\le {\Vert \cdot \Vert }_{(\alpha ,k+1)}$ für $k\in \{1,\dots ,n-1\}$
• (KM2) ${\Vert \prod _{k=1}^n{x}_k\cdot y_k\Vert }_{\alpha }\le \prod _{k=1}^n({\Vert x_k\Vert }_{(\alpha ,k)}\cdot {\Vert y_k\Vert }_{(\alpha ,k)})$

Beweis - Kaskadensummen

Für den Beweis verwendet man Ungleichungen für die Stetigkeit der Multiplikation für ein basiserzeugendes Gaugefunktionalsystem aus dem Topologisierungslemma für Algebren. Der Beweis erfolgt in 3 Teilen

• Stetigkeitssequenz wird induktiv definiert.
• (K1) Isotonie der Stetigkeitssequenzen
• (K2) Beweis der Kaskadenungleichung der Multiplkation

Beweis 1 - Stetigkeit der Multiplikation

Mit der Stetigkeitssequenzen kann man analog zu den Kaskadensummen über die Stetigkeit der Multiplikation erzeugen, d.h. es gibt zu jedem $p$-Gaugefunktional $\Vert \cdot {\Vert }_{\alpha }$ ein $\Vert \cdot {\Vert }_{\beta }$, ein $M_{\beta }\ge 1$ mit

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

Für die Stetigkeitskonstanten $M_{\beta }$ der Multiplkation bei einem basiserzeugenden $p$-Gaugefunktional gilt zunächst einmal $M_{{\beta }_1}>0$. Ohne Einschränkung kann aber $M_{{\beta }_1}\ge 1$ gewählt werden.

Beweis 2 - Stetigkeit der Multiplikation

Die induktive Definition der Stetigkeitssequenz kann erfolgt pro Index $k\in \mathbb{N}$ über zweifach über die Stetigkeit der Multiplikation erzeugen und zu jedem $p$-Gaugefunktional $\Vert \cdot {\Vert }_{\alpha }$ gibt es ein $p$-Gaugefunktional $\Vert \cdot {\Vert }_{{\beta }_1}$ und ein $M_{{\beta }_1}\ge \max \{1,\Vert e_A{\Vert }_{{\beta }_1}\}$ mit

$\Vert x\cdot y{\Vert }_{\alpha }\le M_{{\beta }_1}\cdot \Vert x{\Vert }_{{\beta }_1}\cdot \Vert y{\Vert }_{{\beta }_1}\le M_{{\beta }_1}\cdot \Vert x{\Vert }_{{\beta }_1}\cdot \underset{\ge 1}{\underbrace{M_{{\beta }_1}}}\cdot \Vert y{\Vert }_{{\beta }_1}$

für alle $x,y\in A$. Zu ${\beta }_1\in 𝒜$ gilt es wieder ein $p$-Gaugefunktional $\Vert \cdot {\Vert }_{{\gamma }_1}$ mit

$\Vert x\cdot y{\Vert }_{{\beta }_1}\le M_{{\gamma }_1}\cdot \Vert x{\Vert }_{{\gamma }_1}\cdot \Vert y{\Vert }_{{\gamma }_1}$

für alle $x,y\in A$ und $M_{{\gamma }_1}\ge \max \{\Vert e{\Vert }_{{\beta }_1},\Vert e{\Vert }_{{\gamma }_1},M_{{\beta }_1}\}$.

Beweis 3 - Neutrales Element der Multiplikation

Ohne Einschränkung sei ferner $M_{{\beta }_1}\ge \underset{>0}{\underbrace{\Vert e_A{\Vert }_{{\beta }_1}}}$ gewählt werden und man erhält.

$\Vert x{\Vert }_{\alpha }\le M_{{\beta }_1}\cdot \Vert x{\Vert }_{{\beta }_1}\cdot \underset{\le M_{{\beta }_1}}{\underbrace{\Vert e_A{\Vert }_{{\beta }_1}}}\le M_{{\beta }_1}^2\cdot \Vert x{\Vert }_{{\beta }_1}\cdot \Vert y{\Vert }_{{\beta }_1}$

Man definiert nun ${\Vert \cdot \Vert }_{(\alpha ,1)}:={M_{{\beta }_1}}^2\cdot {M_{{\gamma }_1}}^2\cdot \Vert \cdot {\Vert }_{{\gamma }_1}$.

Beweis 4 - Stetigkeit der Multiplikation

Ist nun ${\Vert \cdot \Vert }_{(\alpha ,k)}$ gegeben, so kann man wieder zu diesem $p$-Gaugefunktional ${\Vert \cdot \Vert }_{(\alpha ,k)}$ wieder $\Vert \cdot {\Vert }_{{\gamma }_k}$ finden, für das dann wiederum ${\beta }_k,{\gamma }_k\in 𝒜$ und $M_{{\beta }_k},M_{{\gamma }_k}>0$, die die folgende Ungleichung gilt:

• ${\Vert x_1\cdot x_2\cdot x_3\cdot x_4\Vert }_{(\alpha ,k)}\le \prod _{i=1}^4(M_{{\beta }_k}\cdot M_{{\gamma }_k}\cdot \Vert x{\Vert }_{{\gamma }_k}\cdot \Vert x_i{\Vert }_{{\gamma }_k})$
• Man definiert ${\Vert \cdot \Vert }_{(\alpha ,k+1)}:=M_{{\beta }_k}\cdot M_{{\gamma }_k}\cdot \Vert \cdot {\Vert }_{{\gamma }_k}$ mit $M_{{\gamma }_k}\ge \max \{\Vert e_A{\Vert }_{{\beta }_k},\Vert e_A{\Vert }_{{\gamma }_k},M_{{\beta }_k}\}$.

Beweis 5 - Abschätzung von Produkten mit 4 Faktoren

Produkte mit 4 Faktoren als Ungleichung abschätzen:

$\begin{array}{ccc}{\Vert \prod _{i=1}^4{x}_i\Vert }_{(\alpha ,k)}& \le & M_{{\beta }_k}\cdot \Vert x_1\cdot x_2{\Vert }_{{\beta }_k}\cdot \Vert x_3\cdot x_4{\Vert }_{{\beta }_k}\\ & \le & M_{{\beta }_k}\cdot {M_{{\gamma }_k}}^2\cdot \prod _{k=1}^4\Vert x_k{\Vert }_{{\gamma }_k}\\ & \le & {\underset{\ge 1}{\underbrace{M_{{\beta }_k}}}}^8\cdot {\underset{\ge 1}{\underbrace{M_{{\gamma }_k}}}}^8\cdot \prod _{k=1}^4\Vert x_k{\Vert }_{{\gamma }_k}\\ & \le & \prod _{k=1}^4\Vert x_k{\Vert }_{(\alpha ,k+1)}\end{array}$

Beweis 6 - Produkten mit 3 Faktoren

Mit der obigen Konstruktion kann man die Ungleichung auch auf Produkte auch für 2 oder 3 Summanden anwenden, indem man einzelne Vektoren als Einselement $e_A\in A$ der Multiplkation definiert werden. Im weiteren Verlauf wird die Abschätzung des Cauchy-Produktes auf der Polynomalgebra $A[t]$ benötigt man die obige Aussage lediglich für 3 Faktoren für das Kaskadenlemma. Daher setzt man in folgenden Ungleichung $x_4=e_A$.

Beweis 7 - Abschätzung von Produkten mit 3 Faktoren

Ungleichung mit 4 Faktoren auf $\Vert x_1\cdot x_2\cdot x_3\cdot e_A{\Vert }_{(\alpha ,k)}$ anwenden.

$\begin{array}{ccc}{\Vert \prod _{i=1}^3{x}_i\Vert }_{(\alpha ,k)}& \le & M_{{\beta }_k}\cdot \Vert x_1\cdot x_2{\Vert }_{{\beta }_k}\cdot \Vert x_3\cdot e_A{\Vert }_{{\beta }_k}\\ & \le & M_{{\beta }_k}\cdot {M_{{\gamma }_k}}^2\cdot \underset{\le M_{{\beta }_k}}{\underbrace{\Vert e_A{\Vert }_{{\gamma }_k}}}\cdot \prod _{k=1}^3\Vert x_k{\Vert }_{{\gamma }_k}\\ & \le & {\underset{\ge 1}{\underbrace{M_{{\beta }_k}}}}^2\cdot {\underset{\ge 1}{\underbrace{M_{{\gamma }_k}}}}^2\cdot \prod _{k=1}^4\Vert x_k{\Vert }_{{\gamma }_k}\\ & \le & {M_{{\beta }_k}}^6\cdot {M_{{\gamma }_k}}^6\cdot \prod _{k=1}^3\Vert x_k{\Vert }_{{\gamma }_k}=\prod _{k=1}^3\Vert x_k{\Vert }_{(\alpha ,k+1)}\end{array}$

Beweis 8 - (K1) - Isotonie der Stetigkeitssequenz

Die Stetigkeitssequenz von Gaugefunktionalen ist isoton (d.h. $\Vert \cdot {\Vert }_{(\alpha ,k)}\le \Vert \cdot {\Vert }_{(\alpha ,k+1)}$), denn für alle $x\in A$ gilt:

$\begin{array}{ccc}\Vert x{\Vert }_{(\alpha ,k)}& \le & M_{{\beta }_k}\cdot \Vert x{\Vert }_{{\beta }_k}\cdot \Vert e_A{\Vert }_{{\beta }_k}\\ & \le & M_{{\beta }_k}\cdot M_{{\gamma }_k}\cdot \Vert x{\Vert }_{{\gamma }_k}\cdot \underset{\le M_{{\gamma }_k}}{\underbrace{\Vert e_A{\Vert }_{{\gamma }_k}}}\cdot \underset{\le M_{{\beta }_k}}{\underbrace{\Vert e_A{\Vert }_{{\beta }_k}}}\\ & \le & \underset{=\Vert x{\Vert }_{(\alpha ,k+1)}}{\underbrace{{M_{{\beta }_k}}^2\cdot {M_{{\gamma }_k}}^2\cdot \Vert x{\Vert }_{{\gamma }_k}}}=\Vert x{\Vert }_{(\alpha ,k+1)}\end{array}$

Beweis 9 - (K2) - Kaskadenungleichung

Die Stetigkeitssequenz von Gaugefunktionalen wird schrittweise für 3 Faktoren angewendet:

$\begin{array}{ccc}{\Vert \prod _{k=1}^n{x}_k\cdot y_k\Vert }_{\alpha }& \le & {\Vert x_k\Vert }_{(\alpha ,1)}\cdot {\Vert y_k\Vert }_{(\alpha ,1)}\cdot {\Vert \prod _{k=2}^n{x}_k\cdot y_k\Vert }_{(\alpha ,1)}\\ & \le & \prod _{k=1}^2({\Vert x_k\Vert }_{(\alpha ,2)}\cdot {\Vert y_k\Vert }_{(\alpha ,2)})\cdot {\Vert \prod _{k=3}^n{x}_k\cdot y_k\Vert }_{(\alpha ,2)}\\ & \le & \prod _{k=1}^n({\Vert x_k\Vert }_{(\alpha ,k)}\cdot {\Vert y_k\Vert }_{(\alpha ,k)})\end{array}$

Kaskadenungleichung für Summen und Produkte

Verbinden Sie die Kaskadenungleichung für Prodkukte mit der Kaskadenungleichung für Summen.

Korrolar - Kaskadensequenz

Sei $(A,\Vert \cdot {\Vert }_{𝒜})$ eine unital positive topologische Algebra mit dem basiserzeugenden $p$-Gaugefunktionalsystem $\Vert \cdot {\Vert }_{𝒜}$, dann gibt es für alle $\alpha \in 𝒜$ eine Stetigkeitssequenz ${\left({\Vert \cdot \Vert }_{(\alpha ,m)}\right)}_{m\in {\mathbb{N}}_0}$, die folgende Eigenschaften besitzt:

• (K1) ${\Vert \cdot \Vert }_{(\alpha ,k)}\le {\Vert \cdot \Vert }_{(\alpha ,k+1)}$ für $k\in \{1,\dots ,n-1\}$
• (K2) ${\Vert \sum _{k=1}^n{x}_k\cdot y_k\Vert }_{(\alpha ,m)}\le \sum _{k=1}^n({\Vert x_k\Vert }_{(\alpha ,m+k)}+{\Vert y_k\Vert }_{(\alpha ,m+k)})$
• (K3) ${\Vert \prod _{k=1}^n{x}_k\cdot y_k\Vert }_{(\alpha ,m)}\le \prod _{k=1}^n({\Vert x_k\Vert }_{(\alpha ,m+k)}\cdot {\Vert y_k\Vert }_{(\alpha ,m+k)})$

Beweisaufgabe für Studierende

Beweisen Sie die obige Abschätzung im Korrolar, indem Sie die induktive Definition im Lemma über Kaskadenprodukte mit dem Lemma über Kaskadensummen verbinden und die induktive Definition für beide Kaskadenungleichungen vornehmen.

Siehe auch

• Lemma - Kaskadensummen

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/Lemma%20-%20Kaskadenprodukte%20
• siehe auch weitere Informationen zu Wiki2Reveal und unter Wiki2Reveal-Linkgenerator.