Kurs:Topologische Invertierbarkeitskriterien/Kaskadenabschätzung Cauchy-Produkt - T-Regularität

Einführung

Bei der Cauchy-Multiplkikation hat man im allgemeinen Fall eine topologischen Algebra nicht mehr die Dreieckungleichung einer Halbnorm oder die Abschätzung mit einer Stetigkeitskonstante der Addition mit einer Quasinorm zur Verfügung und man muss bei der Addition für die Stetigkeit gegen ein anderen $p$-Gaugefunktional abschätzen.

$\Vert x+y{\Vert }_{\alpha }\le \Vert x{\Vert }_{\beta }+\Vert y{\Vert }_{\beta }$

Dies führt zur Betrachtung von kaskadierenden Summen, die für die Abschätzung der Cauchy-Multimultiplikation auf der Polynomalgebra $A[t]$ verwendet wird.

Veranschaulichung

Die Stetigkeit des Cauchy-Produktes ist wesentlich für den ersten Schritt der Erweiterung auf die Algebra der Polynome.

Wasser-Kaskaden

Kaskaden bei Brunnen sind namensgebend für die kaskadierende Summen von Gaugefunktionalen (siehe folgende Abbildungen)

Kaskadierende Summe mit Gaugefunktionalen

Kaskadenabschätzung für das Cauchy-Produkt

Betrachtet man in Polynomalgebren $A[t]$ das Cauchy-Produkt, dann muss man die Polynomalgebra in einer Weise topologisieren, dass die Verknüpfungen auf der Algebra (also insbesondere die Multiplikation von Polynomen stetig sind. In allgemeinen topologischen Algebren gibt es keine Dreieckungleichung und daher erhöht sich bei Anwendung der Subadditivität bzw. Submultiplikativität jeweils der Index in der Sequenz. Nun ist es das Ziel die Lemma über Kaskadensummen und Kaskadenprodukte für die Stetigkeit der Cauchymultiplkation nutzbar zu machen.

Cauchy-Produkt

Gegeben sind allgemein zwei Polynome $p,q$ mit Koeffizienten aus $A$.

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

Dann wird Cauchy-Produkt von $p,q$ wie folgt definiert:

$$p(t)\cdot q(t):=\sum _{m=0}^{\mathrm{\infty }}\sum _{k=0}^n{p}_k\cdot q_{m-k}\cdot t^n.$$

Gaugefunktional aus Stetigkeitssequenzen

Betrachtet man zwei Polynome $p,q\in A[t]$ in einer topologischen Algebra $(A[t],\Vert |\cdot |{\Vert }_{𝒜})$.

$$\Vert |p|{\Vert }_{\alpha }:=\sum _{k=0}^{\mathrm{\infty }}\Vert p_k{\Vert }_{\alpha }$$

Dann liefert die Definition des $p$-Gaugefunktionals für das Produkt $p\cdot q$:

$$\Vert |p\cdot q|{\Vert }_{\alpha }=\sum _{m=0}^{\mathrm{\infty }}{\Vert \sum _{k=0}^m{p}_k\cdot q_{m-k}\Vert }_{\alpha }$$

Bemerkung - Koeffizienten in Gaugefunktionalen

Für die Regularitätbeweise erhalten die Gaugefunktional auf der Polynomalgebra $A[t]$ noch positive Konstanten als Vorfaktoren.

$$\Vert |p|{\Vert }_{\alpha }:=\sum _{k=0}^{\mathrm{\infty }}\underset{>0}{\underbrace{C_k(\alpha )}}\cdot \Vert p_k{\Vert }_{\alpha }$$

Bei den folgenden Vorüberlegungen entfallen diese zunächst, um das Vorgehen bzgl. der Kaskadenabschätzung zu klären.

Kaskadenlemma - Cauchy-Produkt

Für eine Cauchy-Produkt in der Polynomagebra $A[t]$ kann man zu jedem $\alpha \in 𝒜$ eine Stetigkeitssequenz ${(\Vert \cdot {\Vert }_{(\alpha ,n)})}_{n\in \mathbb{N}}$ finden, die die folgende Ungleichung erfüllt.

${\Vert \sum _{k=0}^n{p}_k\cdot q_{m-k}\Vert }_{\alpha }\le \sum _{k=0}^n({\Vert p_k\Vert }_{(\alpha ,k+2)}\cdot {\Vert q_{n-k}\Vert }_{(\alpha ,(n-k)+2)})$

Vorüberlegungen - Kaskadenlemma

Bei einem Cauchy-Produkt auf der Polynomalgebra greifen additive Verknüpfungen von $n$ Summanden mit einer multiplikativen Verknüpfung von zwei Koeffizienten inneinander. Bei der Addition hat man im allgemeinen Fall einer topologischen Algebra nicht mehr auf die Dreiecksungleichung bzw. die Subadditivität mit Stetigkeitskonstante einer Quasihalbnorm zurückgreifen. Als Ersatz wird das Kaskadenlemma der Addition verwendet, um auch auf der Polynomalgebra stetige algebraische Verknüpfungen für die Algebraerweiterung zu erhalten.

Anwendung des Kaskadenlemmas für Summen

Fallunterscheidung für $n$ gerade bzw. ungerade. In Abhängigkeit von der Anzahl der Summanden werden die $x_n$ und $y_k$ im Kaskadenlemma für Summen definiert.

• $x_n$ ist ein Koeffizient von $t^n$, wobei sich $x_n=p_k\cdot q_{n-k}$ zerlegen lässt.
• $y_n$ ist ein Koeffizient von $t^n$, wobei sich $y_n=p_{n-k}\cdot q_k$ zerlegen lässt.

Kaskadenlemma - ungerade Anzahl Summanden

Ist $n=1$ ungerade definiert man

• $x_1:=p_0\cdot q_1$ und $y_1:=p_1\cdot q_0$

Ist $n=3$ ungerade definiert man

• $x_1:=p_0\cdot q_3$ und $y_1:=p_3\cdot q_0$
• $x_2:=p_1\cdot q_2$ und $y_2:=p_2\cdot q_1$

Dies Vorgehen wird nun allgemein für beliebige ungerade $n\in \mathbb{N}$ verwendet.

Anwendung Kaskadenlemma 1 - ungerade Anzahl Summanden

Durch Anwendung auf das Cauchy-Produkt erhält man mit Indexverschiebung und $m:=\frac{n+1}{2}$:

${\Vert \sum _{k=1}^m{x}_k+y_k\Vert }_{\alpha }\le \sum _{k=0}^{m-1}(\Vert \underset{x_n}{\underbrace{p_k\cdot q_{n-k}}}{\Vert }_{(\alpha ,k+1)}+\Vert \underset{y_n}{\underbrace{p_{n-k}\cdot q_k}}{\Vert }_{(\alpha ,k+1)})$

Stetigkeit Multiplikation 2 - ungerade Anzahl Summanden

Durch Anwendung Korollar - Kaskadensummen auf das Cauchy-Produkt erhält man Indexverschiebung:

$\begin{array}{ccc}{\Vert \sum _{k=1}^m{x}_k+y_k\Vert }_{\alpha }& \le & \sum _{k=0}^{m-1}({\Vert p_k\Vert }_{(\alpha ,k+2)}\cdot {\Vert q_{n-k}\Vert }_{(\alpha ,k+2)})\\ & .& +\sum _{k=0}^{m-1}({\Vert p_{n-k}\Vert }_{(\alpha ,k+2)}\cdot {\Vert q_k\Vert }_{(\alpha ,k+2)})\end{array}$

Abschätzung Laufindex 3 - ungerade Anzahl Summanden

Mit $m:=\frac{n+1}{2}$ und $n$ ungerade gilt:

• Aus $k<m$ folgt $(n-k)>m$ und
• Insgesamt $k<m<(n-k)$

Notwendig für Isotonie der Gaugefunktionale

$\Vert \cdot {\Vert }_{(\alpha ,k+2)}\le \Vert \cdot {\Vert }_{(\alpha ,m+2)}\le \Vert \cdot {\Vert }_{(\alpha ,(n-k)+2)}$

Isotonie Sequenz 4 - ungerade Anzahl Summanden

Durch Anwendung der Isotonie auf das Produkt erhält man mit $m:=\frac{n+1}{2}$:

$\begin{array}{ccc}{\Vert \sum _{k=1}^m{x}_k+y_k\Vert }_{\alpha }& \le & \sum _{k=0}^{m-1}{\Vert p_k\Vert }_{(\alpha ,k+2)}\cdot {\Vert q_{n-k}\Vert }_{(\alpha ,(n-k)+2)}\\ & & +\sum _{k=0}^{m-1}{\Vert p_{n-k}\Vert }_{(\alpha ,(n-k)+2)}\cdot {\Vert q_k\Vert }_{(\alpha ,k+2)}\end{array}$

Cauchyprodukt 5 - ungerade Anzahl Summanden

Durch geeignet Umsortierung der Summanden erhält man mit $m=\frac{n+1}{2}$:

${\Vert \sum _{k=1}^m{x}_k+y_k\Vert }_{\alpha }\le \sum _{k=0}^{m-1}({\Vert p_k\Vert }_{(\alpha ,k+2)}\cdot {\Vert q_{n-k}\Vert }_{(\alpha ,(n-k)+2)})$

Kaskadenlemma - gerade Anzahl Summanden

Ist $n=2$ gerade, definiert man

• $x_1:=p_0\cdot q_2$ und $y_1:=p_2\cdot q_0$
• $x_2:=p_1\cdot q_1$ und $y_1:=0_A$

Ist $n=4$ gerade definiert man

• $x_1:=p_0\cdot q_4$ und $y_1:=p_4\cdot q_0$
• $x_2:=p_1\cdot q_3$ und $y_2:=p_3\cdot q_1$
• $x_3:=p_2\cdot q_2$ und $y_3:=0_A$

Dies Vorgehen wird nun allgemein für beliebige gerade $n\in \mathbb{N}$ verwendet.

Anwendung Kaskadenlemma 1 - gerade Anzahl Summanden

Durch Anwendung auf das Cauchy-Produkt erhält man mit $m:=\frac{n}{2}+1$ und $y_m=0_A$:

$\begin{array}{ccc}{\Vert \sum _{k=1}^m{x}_k+y_k\Vert }_{\alpha }& \le & {\Vert p_m\cdot q_m\Vert }_{(\alpha ,m+1)}+\\ & & +\sum _{k=0}^{m-1}\left({\Vert p_k\cdot q_{n-k}\Vert }_{(\alpha ,k+1)}\right)\\ & & +\sum _{k=0}^{m-1}\left({\Vert p_{n-k}\cdot q_k\Vert }_{(\alpha ,k+1)}\right)\end{array}$

Stetigkeit Multiplikation 2 - gerade Anzahl Summanden

Durch Anwendung Korollar - Kaskadensummen und isotonie erhält mit $y_m=0_A$:

$\begin{array}{ccc}{\Vert \sum _{k=1}^m{x}_k+y_k\Vert }_{\alpha }& \le & {\Vert p_m\Vert }_{(\alpha ,k+2)}\cdot {\Vert q_m\Vert }_{(\alpha ,m+2)}\\ & .& +\sum _{k=0}^{m-1}({\Vert p_k\Vert }_{(\alpha ,k+2)}\cdot {\Vert q_{n-k}\Vert }_{(\alpha ,k+2)})\\ & .& +\sum _{k=0}^{m-1}({\Vert p_{n-k}\Vert }_{(\alpha ,k+2)}\cdot {\Vert q_k\Vert }_{(\alpha ,k+2)})\end{array}$

Abschätzung Laufindex 3 - gerade Anzahl Summanden

Mit $m:=\frac{n}{2}+1$ und $n$ gerade gilt:

• Aus $k<m$ folgt $(n-k)>m$ und
• Insgesamt $k<m<(n-k)$

Notwendig für Isotonie der Gaugefunktionale

$\Vert \cdot {\Vert }_{(\alpha ,k+2)}\le \Vert \cdot {\Vert }_{(\alpha ,m+2)}\le \Vert \cdot {\Vert }_{(\alpha ,(n-k)+2)}$

Isotonie Sequenz 4 - gerade Anzahl Summanden

Durch Anwendung auf der Isotonie auf das Produkt erhält:

$\begin{array}{ccc}{\Vert \sum _{k=1}^m{x}_k+y_k\Vert }_{\alpha }& \le & {\Vert p_m\Vert }_{(\alpha ,m+2)}\cdot {\Vert q_m\Vert }_{(\alpha ,m+2)}\\ & .& +\sum _{k=0}^{m-1}{\Vert p_k\Vert }_{(\alpha ,k+2)}\cdot {\Vert q_{n-k}\Vert }_{(\alpha ,(n-k)+2)}\\ & & +\sum _{k=0}^{m-1}{\Vert p_{n-k}\Vert }_{(\alpha ,(n-k)+2)}\cdot {\Vert q_k\Vert }_{(\alpha ,k+2)}\end{array}$

Cauchyprodukt 5 - gerade Anzahl Summanden

Durch geeignete Umsortierung der Summanden erhält man mit $m:=\frac{n}{2}+1$ und $y_m=0_A$:

${\Vert \sum _{k=1}^m{x}_k+y_k\Vert }_{\alpha }\le \sum _{k=0}^n({\Vert p_k\Vert }_{(\alpha ,k+2)}\cdot {\Vert q_{n-k}\Vert }_{(\alpha ,(n-k)+2)})$

Ungleichung Cauchy-Multiplikation

Insgesamt erhält man

${\Vert \sum _{k=0}^n{p}_k\cdot q_{m-k}\Vert }_{\alpha }\le \sum _{k=0}^n({\Vert p_k\Vert }_{(\alpha ,k+2)}\cdot {\Vert q_{n-k}\Vert }_{(\alpha ,(n-k)+2)})$

Koeffizienten im Gaugefunktional - Polynomalgebra

Mit den obigen Vorüberlegungen ist das prinzipielle Vorgehen für die Cauchy-Multiplikation geklärt. Nun fehlt noch die Integration der Koeffzienten, die durch die Konstanten aus dem $𝒯$-Regularitätkriterium für die Gaugefunktionale auf $A[t]$ berücksichtigt werden müssen.

Stetigkeitssequenzen auf Polynomalgebren

Wir betrachten nun Stetigkeitssequenzen von Gaugefunktionalen auf Polynomalgebren in $q\in A[t]$ in einer topologischen Algebra $(A[t],\Vert |\cdot |{\Vert }_{𝒜\times {\mathbb{N}}_0})$.

$$\Vert |p|{\Vert }_{(\alpha ,n)}:=\sum _{k=0}^{\mathrm{\infty }}{C}_k^n(\alpha )\cdot \Vert p_k{\Vert }_{(\alpha ,n)}$$

Dabei muss man in einem nächsten Schritt die Koeffizienten $C_k^n(\alpha )>0$ so definieren, dass man wie bei den anderen Regularitätsbeweisen mit $B:=A[t]/I$ Algebraerweiterung von $A$ erhält in der $z\in A$ invertierbar ist.

Hausdorff-Eigenschaft

Sei $(A,\Vert \cdot {\Vert }_{𝒜})$ eine topologische Algebra mit dem basiserzeugenden Gaugefunktionalsystem $\Vert \cdot {\Vert }_{𝒜}$. Da $A$ die Hausdorff-Eigenschaft besitzt, trennt $\Vert \cdot {\Vert }_{𝒜}$ die Punkte, d.h. gilt für alle $x,y\in A$ mit $x=y$ gibt ein $\alpha \in 𝒜$, sodass man mit $\Vert \cdot {\Vert }_{\alpha }$ den "Unterschied messen" kann und $\Vert x-y{\Vert }_{\alpha }>0$ gilt.

Hausdorff-Eigenschaft - Polynomalgebra

Damit auch die Polynomalgebra $A[t]$ die Hausdorff-Eigenschaft besitzt, definitiert man $C_k^0(\alpha ):=1$ und $\Vert \cdot {\Vert }_{(\alpha ,0)}:=\Vert \cdot {\Vert }_{\alpha }$ mit

$$\begin{array}{ccc}\Vert |p|{\Vert }_{(\alpha ,0)}& :=& \sum _{k=0}^{\mathrm{\infty }}{C}_k^0(\alpha )\cdot \Vert p_k{\Vert }_{(\alpha ,0)}\\ & =& \sum _{k=0}^{\mathrm{\infty }}\Vert p_k{\Vert }_{\alpha }\end{array}$$

Aufgabe für Studierende - Polynomalgebra

Sei $(A[t],\Vert \Vert \cdot \Vert {\Vert }_{𝒜\times {\mathbb{N}}_0})$ eine Polynomalgebra mit Koeffizienten aus der topologische Algebra $(A,\Vert \cdot {\Vert }_{𝒜})$ und einem basiserzeugenden Gaugefunktionalsystem $\Vert \cdot {\Vert }_{𝒜}$ auf $A$, wie oben definiert.

Hausdorff-Eigenschaft - Polynomalgebra

Zeigen Sie, dass die Polynomalgebra $(A[t],\Vert \Vert \cdot \Vert {\Vert }_{𝒜\times {\mathbb{N}}_0})$ ein Hausdorff-Raum ist.

Stetigkeit der Addition - Polynomalgebra

Zeigen Sie, dass in der Polynomalgebra $(A[t],\Vert \Vert \cdot \Vert {\Vert }_{𝒜\times {\mathbb{N}}_0})$ die Addition stetig ist.

Stetigkeit der Multiplikation - Polynomalgebra

Zeigen Sie, dass in der Polynomalgebra $(A[t],\Vert \Vert \cdot \Vert {\Vert }_{𝒜\times {\mathbb{N}}_0})$ die Multiplikation stetig ist.

Homogenität der Multiplikation mit Skalaren - Polynomalgebra

Zeigen Sie, dass in der Polynomalgebra $(A[t],\Vert \Vert \cdot \Vert {\Vert }_{𝒜\times {\mathbb{N}}_0})$ die Gaugefunktionale $\Vert \Vert \cdot \Vert {\Vert }_{𝒜\times {\mathbb{N}}_0}$ die homogen sind und damit Multiplikation mit Skalaren auf $A[t]$ stetig ist (siehe Topologisierungslemma für Algebren).

Siehe auch

• Stetigkeit Cauchy-Produkt in Banachalgebren
• P-Regularität
• Lemma - Kaskadensummen
• Lemma - Kaskadenprodukte
• $𝒯$-Regularitätkriterium

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