Kurs:Topologische Invertierbarkeitskriterien/PC-Stetigkeit Cauchy-Produkt

Cauchy-Produkt - Stetigkeit

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

$$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 liefert die Definition der Quasihablnormen für das Produkt $p\cdot q$:

$$\Vert |p\cdot q|{\Vert }_D=\sum _{n=0}^{\mathrm{\infty }}{C}_n(\alpha )\cdot {\Vert \sum _{k=0}^n{p}_k\cdot q_{n-k}\Vert }_{\alpha }$$

Halbnormeigenschaften

Für die folgenden Abbildung $\Vert |\cdot |{\Vert }_{\alpha }:\to {ℝ}^{+}$ sind Quasihalbnormen auf der Polynomalgebra $A[t]$. Die Quasihalbnormeigenschaften und die Hausdorff-Eigenschaft auf $A[t]$ werden nun gezeigt. Diese bestehen aus elementaren Anwendungen der Quasihalbnormeigenschaften der gegebenen Quasihalbnormensystemen auf $(A,\Vert \cdot {\Vert }_{𝒜})$.

Homogenität

Für alle $p\in A[t]$ und alle $\lambda \in 𝕂$ gilt:

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

Definitheit

Gilt für $p\in A[t]$, dass $p=0_{{}_{A[t]}}$ das Nullpolynom in $A[t]$, dann gibt ein $k\in {\mathbb{N}}_0$ mit $p_k=0_{{}_A}$, d.h., das Polynom muss wenigsten einen vom Nullvektor verschiedenen Koeffizienten haben und man erhält mit den Hausdorff-Eigenschaften der gegebenen topologischen Algebra $(A,\Vert \cdot {\Vert }_{𝒜})$ mindestens eine Halbnorm $\Vert \cdot {\Vert }_{\alpha }$ mit $\alpha \in 𝒜$ mit:

$\Vert p_k{\Vert }_{\alpha }>0\Rightarrow C_k(\alpha )\cdot \Vert p_k{\Vert }_{\alpha }>0\Rightarrow \Vert |\lambda \cdot p|{\Vert }_{\alpha }>0$

Subadditivität mit Stetigkeitskonstante

Sei $K_{\alpha }\ge 1$ die Stetigkeitskonstante der Addition für die Quasihalbnorm. $\begin{array}{ccc}\Vert |p+q|{\Vert }_{\alpha }& =& \sum _{n=0}^{\mathrm{\infty }}{C}_n(\alpha )\cdot {\Vert p_k+q_k\Vert }_{\alpha }\\ & \le & \sum _{n=0}^{\mathrm{\infty }}{C}_n(\alpha )\cdot K_{\alpha }\cdot ({\Vert p_k\Vert }_{\alpha }+{\Vert q_k\Vert }_{\alpha })\\ & =& K_{\alpha }\cdot (\sum _{n=0}^{\mathrm{\infty }}{C}_n(\alpha )\cdot {\Vert p_n\Vert }_{\alpha }+\sum _{n=0}^{\mathrm{\infty }}{C}_n(\alpha )\cdot {\Vert q_n\Vert }_{\alpha })\\ & =& K_{\alpha }\cdot (\Vert |p|{\Vert }_{\alpha }+\Vert |q|{\Vert }_{\alpha })\end{array}$

Stetigkeit der Multiplikation

Mit der Stetigkeit der Multiplikation auf $(A,\Vert \cdot {\Vert }_{𝒜})$ gibt es zu jedem $\alpha \in 𝒜$ ein $\beta \in 𝒜$, sodass für alle $x,y\in A$

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

Diese Halbnorm wird nun verwendet, um auf für die Cauchy-Multiplkation auf $A[t]$ eine entsprechend Halbnorm $\Vert |\cdot |{\Vert }_{\beta }$ zu definieren, mit der die Cauchy-Multiplikation stetig wird.

Koeffizientenlemma der Cauchy-Multiplikation

Mit dem Koeffizientenlemma der Cauchy-Multiplikation und $K_{\alpha }\ge 1$ erhält man zu gegebenen FolgenSei $K\ge 1$ eine Stetigkeitskonstante der Addition einer Quasihalbnorm $\Vert \cdot {\Vert }_{\alpha }$, $(C_n(\alpha ){)}_{n\in {\mathbb{N}}_0}$ und $(D_n(\alpha ){)}_{n\in {\mathbb{N}}_0}$ zwei Folgen positiver Zahlen, dann gibt es eine Folge $(C_n(\beta ){)}_{n\in {\mathbb{N}}_0}$ von positiven Zahlen, die folgende zwei Eigenschaften erfüllt:

• (KL1) $C_i(\beta )\ge D_i(\alpha )$ für alle $i\in {\mathbb{N}}_0$
• (KL2) $K_{\alpha }^{i+j+1}\cdot C_{i+j}(\alpha )\le C_i(\beta )\cdot C_j(\beta )$ für alle $i,j\in {\mathbb{N}}_0$.

Stetigkeit der Multiplikation - Polynomalgebra

Mit der Stetigkeit der Multiplikation auf $A$ und der Anwendung des Koeffizientenlemmas der Cauchy-Multiplikation erhält man die Stetigkeit der Multiplikation auf $A[t]$:

$\begin{array}{ccc}\Vert |p\cdot q|{\Vert }_{\alpha }& \le & \sum _{n=0}^{\mathrm{\infty }}{C}_n(\alpha )\cdot {\Vert \sum _{k=0}^n{p}_k\cdot q_{n-k}\Vert }_{\alpha }\\ & \le & \sum _{n=0}^{\mathrm{\infty }}{C}_n(\alpha )\cdot K_{\alpha }^{n+1}\cdot \sum _{k=0}^n{\Vert p_k\cdot q_{n-k}\Vert }_{\alpha }\\ & \le & \sum _{n=0}^{\mathrm{\infty }}\sum _{k=0}^n\underset{=C_k(\beta )\cdot C_{n-k}(\beta )}{\underbrace{C_n(\alpha )\cdot K_{\alpha }^{n+1}}}\cdot {\Vert p_k\Vert }_{\beta }\cdot {\Vert q_{n-k}\Vert }_{\beta }\\ & =& \sum _{n=0}^{\mathrm{\infty }}\sum _{k=0}^n{C}_k(\beta )\cdot {\Vert p_k\Vert }_{\beta }\cdot C_{n-k}(\beta )\cdot {\Vert q_{n-k}\Vert }_{\beta }\\ & =& \Vert |p|{\Vert }_{\beta }\cdot \Vert |q|{\Vert }_{\beta }\end{array}$

Bemerkung: Indizes der Quasihalbnormen

Mit der obigen Abschätzung für alles $\alpha \in 𝒜$ erhält man, dass die Multiplikation auf $(A[t],\Vert |\cdot |{\Vert }_{𝒜})$ stetig ist. Die Indizes $\alpha ,\beta \in 𝒜$ induzieren durch das gegebene Quasihalbnormensystem ${\Vert \cdot \Vert }_{𝒜}$ auch für das Quasihalbnormensystem $\Vert |\cdot |{\Vert }_{𝒜}$ auf $A[t]$ induziert. Der Zusammenhang von $\alpha ,\beta \in 𝒜$ bzgl. der Stetigkeit der Multiplikation bleibt auch auf $(A[t],\Vert |\cdot |{\Vert }_{𝒜})$ erhalten.

Stetigkeitssequenzen

Bei dem obigen Vorgehen muss man nun wieder zu dem $\beta \in 𝒜$ wieder ein $\gamma \in 𝒜$ und entsprechende Konstanten finden, um die Quasihalbnorm nach oben submultiplikativ abzuschätzen.

$\Vert |p\cdot q|{\Vert }_{\beta }\le \Vert |p|{\Vert }_{\gamma }\cdot \Vert |q|{\Vert }_{\gamma }$

Dadurch entstehen Stetigkeitssequenzen der Multiplikation ${(\Vert |\cdot |{\Vert }_{(\alpha ,n)})}_{n\in {\mathbb{N}}_o}$, die bei einem $\alpha \in 𝒜$ starten.

Siehe auch

• PC-Regularität
• Quasihalbnorm
• TGP-Regularitätskriterium
• Stetigkeit Cauchy-Produkt in Banachalgebren
• LC-Stetigkeit Cauchy-Produkt
• Koeffizientenlemma der Cauchy-Multiplikation - (Foliensatz)

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/PC-Stetigkeit%20Cauchy-Produkt
• siehe auch weitere Informationen zu Wiki2Reveal und unter Wiki2Reveal-Linkgenerator.