Kurs:Topologische Invertierbarkeitskriterien/Potenzreihenalgebra

Einführung

Für den multiplikativen algebraischen Abschluss einer Algebra $A$, die ein zusätzliches Element $t\notin A$ enthält, müssen auch

• multiplikative Verknüpfung mit sich wieder in einer Algebra liegen (d.h. also auch $t^n\in A[t]$ mit $n\in {\mathbb{N}}_o$, wobei $t^0:=e$ definiert wird) und auch
• die beliebige multiplikative Verknüpfungen von $t^n\in A[t]$ mit Elementen aus, d.h. $a\cdot t^n\in A[t]$ wieder in $A[t]$ liegen.
• der additive algebraische Alschluss verlangt auch schließlich, dass Polynome mit Koeffizienten aus $A$ als algebraischer Abschluss entsteht.

Mit einem System aus topologieerzeugenden Gaugefunktionalen kann man dann einen topologischen Abschluss der Polynomalgebra definieren.

Definition: Potenzreihenalgebra

Sei $A^{\mathrm{\infty }}[t]$ die Menge aller Potenzreihen mit Koeffizienten in $A$ der Form

$$p(t)=\sum _{k=0}^{\mathrm{\infty }}{p}_k\cdot t^k\text{ mit }(p_k{)}_{k\in {\mathbb{N}}_0}\in A^{{\mathbb{N}}_0}$$

Bemerkung

Die Notation von $\sum _{k=0}^{\mathrm{\infty }}\dots$ kann dabei nichts über die Konvergenz einer Reihe aussagen, denn dazu ist eine Topologisierung der Algebra notwendig. $A^{\mathrm{\infty }}[t]$ definiert rein algebraisch eine Potenzreihe mit beliebigen Koeffizienten aus der Algebra $A$.

Potenzreihe als Folge von Partialsummen

Für ein feste $t\in 𝕂$ fasst man $p(t)$ als Folge der Partialsummen auf

$(p^{\downarrow n}(t){)}_{n\in \mathbb{N}}:={(\sum _{k=0}^n{p}_k\cdot t^k)}_{n\in \mathbb{N}}$

Cauchy-Produkt

$A^{\mathrm{\infty }}[t]$ wird analog zur Polynomalgebra die Cauchymultiplikation von zwei Potenzreihen $p,q$ als multiplikative Verknüpfung wie folgt definiert.

$$\begin{array}{ccc}p(t)& :=& \sum _{k=0}^{\mathrm{\infty }}{p}_k\cdot t^k\text{, }q(t):=\sum _{k=0}^{\mathrm{\infty }}{q}_k\cdot t^k\text{ und }\\ (p\cdot q)(t)& :=& p(t)\cdot q(t):=\sum _{n=0}^{\mathrm{\infty }}\sum _{k=0}^n{p}_k\cdot q_{n-k}\cdot t^n.\end{array}$$

Konstanten als Potenzreihen

Ein Element $x\in A$ kann mit dem konstanten Polynom $x(t):=x\cdot t^0\in A[t]\subseteq A^{\mathrm{\infty }}[t]$ identifiziert werden.

Gleichheit von Potenzreihen

Seien zwei Potenzreihen $p,q\in A^{\mathrm{\infty }}[t]$ gegeben mit:

$$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$$

Die Gleichheit von Potenzreihen $p=q$ wird über die Koeffizientengleichheit definiert:

$$p=q:⟺p_k=q_k\text{ für alle }k\in {\mathbb{N}}_0$$

Bemerkung - Gleichheit

Die Gleichheit von Potenzreihen bzw. Polynomen muss man nicht notwendigerweise über die Koeffizientengleicheit definieren, sondern kann auch über die Gleichheit der Bilder $p(t)=q(t)$ für alle $t\in 𝔻$ aus dem Definitionsbereich $t\in 𝔻$.

Beispiel - Gleichheit

Verwendet man z.B. den Restklassenring $R_3:=\{{\bar{0}}_3,{\bar{1}}_3,{\bar{2}}_3\}$ modulo 3 als Definitionsbereiches eines Polynoms, so unterscheidet sich das Polynom

$p(t):=t\cdot (t-{\bar{1}}_3)\cdot (t+{\bar{1}}_3)={\bar{1}}_3\cdot t^3-{\bar{1}}_3\cdot t$

vom Nullpolynom bzgl. der Koeffizienten von $t^3$ und $t^1$. Dennoch gilt für alle $t\in R_3$ die Bedingung $p(t)={\bar{0}}_3$.

Verwendung in dieser Lerneinheit

Im weiteren Lerneinheit zu topologischen Invertierbarkeitskriterien soll die Gleichheit der Potenzreihen bzw. Polynome dann und nur dann gegeben sein, wenn zwei Polynome koeffizientengleich für alle Koeffizienten von $t^k$ ist.

Topologische Potenzreihenalgebra

Sei $(A,{\Vert \cdot \Vert }_{𝒜})$ eine Algebra und $A^{\mathrm{\infty }}[t]$ die Algebra der Potenzreihen mit Koeffizienten in $A$. Ferner sei ein System aus Gaugefunktionalen ${\Vert |\cdot |\Vert }_{\widetilde{𝒜}}$ definiert, wird dann mit $(\overline{A[t]},{\Vert |\cdot |\Vert }_{\widetilde{𝒜}})$ bezeichnet man mit $\overline{A[t]}$ den topologischen Abschluss der Polynomalgebra $A[t]$. bzgl. des Gaugefunktionalsystems definiert, dass jeder Potenzreihe ${\Vert |\cdot |\Vert }_{\widetilde{𝒜}}$. Dabei geören alle $p\in A^{\mathrm{\infty }}[t]$ zu $\overline{A[t]}$, wenn folgende Bedingung gilt ${\Vert \left|p\right|\Vert }_{\tilde{\alpha }}<\mathrm{\infty }$ für alle $\tilde{\alpha }\in \widetilde{𝒜}$.

Induzierte Topologien von der Algebra auf die Potenzreihenalgebra

Sei $(A,{\Vert \cdot \Vert }_{𝒜})\in 𝒦(𝕂)$ eine topologische Algebra der Klasse $𝒦$. Ferner sei zu jedem $\alpha \in 𝒜$ und $k\in {\mathbb{N}}_0$ eine positive Konstante $C_k(\alpha )$ und ein $𝒦$-Funktional ${\Vert \cdot \Vert }_k^{(\alpha )}$ gewählt, durch dass die folgenden Gaugefunktionale bzw. $p$-Gaugefunktionale auf dem Vektorraum aller Potenzreihen mit Koeffizienten in $A$ definiert werden:

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

Topologischer Abschluss der Polynomalgebra bzgl. Gaugefunktionalsystem

Mit $(\overline{A[t]},{\Vert |\cdot |\Vert }_{𝒜})$ bezeichnet man dann den topologischen Abschluss von $A[t]$ bzgl. ${\Vert |\cdot |\Vert }_{𝒜}$, d.h. Vektorraum aller Potenzreihen mit Koeffizienten in $A$, die zusätzlich folgende Bedingung erfüllen:

$${\Vert \left|p\right|\Vert }_{\alpha }<\mathrm{\infty }\text{ für alle }\alpha \in 𝒜.$$

Topologisierung der Potenzreihenalgebra und Algebraerweiterung

Die Potenzreihenalgebra $\overline{A[t]}$ wird nun in einer Weise topologisiert, die von dem Gaugefunktionalsystem auf $A$ abhängt. Diese Vorgehen ist notwendig, damit man für die Konstruktion der Algebraerweiterung $B$ die Algebra $A$ in $B$ einbetten kann. D.h. die unitale Algebra $A\in {𝒦}_e$ aus einer Klasse ${𝒦}_e$ wird in die Algebraerweiterung $B\in {𝒦}_e$ durch einen Algebraisomorphismus $\tau :A⟶A^{\prime }\subset B$ eingebettet:

• $\tau (e_{{}_A})=e_{{}_B}$, wobei $e_{{}_A}$ ist das Einselement von $A$ und $e_{{}_B}\in A^{\prime }$ das Einselement von $B$ ist.
• $A$ ist homöomorph zu $A^{\prime }$; d.h. $\tau$ und ${\tau }^{-1}:A^{\prime }⟶A$ sind stetig.

Bemerkung: Stetigkeit Algebraisomorphismus

Die Stetigkeit des Algebraisomorphismus und der Umgekehrabbildung ${\tau }^{-1}:A^{\prime }⟶A$ von wird später über die Gaugefunktionalsysteme auf $A\in {𝒦}_e$ und der von $B\in {𝒦}_e$ auf $A^{\prime }\in {𝒦}_e$ induzierten Relativtopologie nachgewiesen.

Lemma: Isotone Folge von Gaugefunktionalen

Sei $(A,\Vert \cdot {\Vert }_{𝒜})\in 𝒦$ und es seien $({\Vert \cdot \Vert }_n^{(\alpha )}{)}_{n\in \mathbb{N}}$ isotone Folgen von Gaugefunktionalen mit Koeffizienten $C_k^n(\alpha )\ge 1$, für die gelten:

• ${\Vert \cdot \Vert }_1^{(\alpha )}:={\Vert \cdot \Vert }_{\alpha }$ für alle $\alpha \in 𝒜$
• ${\Vert \cdot \Vert }_n^{(\alpha )}\le {\Vert \cdot \Vert }_{n+1}^{(\alpha )}$ für alle $n\in \mathbb{N}$ und $\alpha \in 𝒜$
• $C_k^n(\alpha )\le C_k^{n+1}(\alpha )$ für alle $\alpha \in 𝒜$ und $n,k\in \mathbb{N}$
• $C_o^n(\alpha )=1$ für alle $n\in \mathbb{N}$ und $\alpha \in 𝒜$.

Voraussetzung 2 - Gaugefunktionalsysteme auf Potenzreihenalgebra

Auf $A[t]$ seien folgende vier Systeme ${\Vert |\cdot |\Vert }_{𝒜\times \mathbb{N}}^{(I)}$, ${\Vert |\cdot |\Vert }_{𝒜\times \mathbb{N}}^{(II)}$, ${\Vert |\cdot |\Vert }_{𝒜\times \mathbb{N}}^{(III)}$, ${\Vert |\cdot |\Vert }_{𝒜\times \mathbb{N}}^{(IV)}$ von Gaugefunktionalen für $p(t)=\sum _{k=0}^{\mathrm{\infty }}{p}_{{}_k}\cdot t^k\in A[t]$ definiert:

Voraussetzung 2 - Definition der Gaugefunktionalsysteme

• ${\Vert \left|p\right|\Vert }_{(\alpha ,n)}^{(I)}:=\sum _{k=0}^{\mathrm{\infty }}{C}_k^n(\alpha )\cdot {\Vert p_{{}_k}\Vert }_n^{(\alpha )}$
• ${\Vert \left|p\right|\Vert }_{(\alpha ,n)}^{(II)}:=\sum _{k=0}^{\mathrm{\infty }}{C}_k^n(\alpha )\cdot {\Vert p_{{}_k}\Vert }_{n+1}^{(\alpha )}$
• ${\Vert \left|p\right|\Vert }_{(\alpha ,n)}^{(III)}:=\sum _{k=0}^{\mathrm{\infty }}{C}_k^{n+1}(\alpha )\cdot {\Vert p_{{}_k}\Vert }_n^{(\alpha )}$
• ${\Vert \left|p\right|\Vert }_{(\alpha ,n)}^{(IV)}:={\Vert p_o\Vert }_n^{(\alpha )}+\sum _{k=1}^{\mathrm{\infty }}{C}_k^n(\alpha )\cdot {\Vert p_{{}_k}\Vert }_{n+2}^{(\alpha )}$

Folgerung - Topologieerzeugung

Mit den obigen Voraussetzungen erzeugen die Systeme auf $A[t]$ die gleiche Topologie. Insbesondere erhält man zu einem festen $\alpha$ für alle 4 gewählten Teilsysteme von Gaugefunktionalen ${\left|\Vert \cdot \Vert \right|}_{\{\alpha \}\times \mathbb{N}}^{(I)}$,\dots , ${\left|\Vert \cdot \Vert \right|}_{\{\alpha \}\times \mathbb{N}}^{(IV)}$. das gleiche Teilsystem ${𝒯}_{\alpha }$ offener Mengen der Topologie $𝒯$.

Beweis

Es gilt für alle $\alpha \in 𝒜$, $n\in \mathbb{N}$ und $M\in \{I,\dots ,IV\}$ folgende Ungleichungskette:

$${\left|\Vert \cdot \Vert \right|}_{(\alpha ,n)}^{(I)}\le {\left|\Vert \cdot \Vert \right|}_{(\alpha ,n)}^{(M)}\le {\left|\Vert \cdot \Vert \right|}_{(\alpha ,n+2)}^{(I)}$$

Damit stimmen die Teilsysteme für ein festes $\alpha$, also auch die Ausgangstopologie überein. q.e.d.

Gleichheit von Partialsummen von Potenzreihen

Die Koeffizienten der Elemente von $A^{\mathrm{\infty }}[t]$ kann man auch über die Partialsummen eindeutig bestimmen. Dabei sind die Partialsummen eindeutig als Linearkombinationen in $A$ mit $t\in 𝕂$ definiert. Allerdings müssen die Partialsummen als Folge in $A$ nicht notwendig konvergieren.

Koeffizientenvergleich bei Partialsummen 1

$\begin{array}{ccc}p(t):=\sum _{k=0}^{\mathrm{\infty }}{p}_k\cdot t^k& ,& q(t):=\sum _{k=0}^{\mathrm{\infty }}{q}_k\cdot t^k\in A[t]\\ & & \text{ mit }{p}^{\downarrow m}(t)=q^{\downarrow m}(t)\mathrm{\forall }t\in 𝕂\\ & ⟹& 0_A=\sum _{k=0}^{\mathrm{\infty }}(p_k-q_k)t^k\end{array}$

Koeffizientenvergleich bei Partialsummen 2

$\begin{array}{ccc}& ⟹& {\mathrm{\forall }}_{\alpha \in 𝒜;n\in \mathbb{N}}:0={\left|\Vert p-q\Vert \right|}_{(\alpha ,n)}=\sum _{k=0}^{\mathrm{\infty }}{\Vert p_k-q_k\Vert }_n^{(\alpha )}\\ & ⟹& {\mathrm{\forall }}_{\alpha \in 𝒜,n\in \mathbb{N}}:{\Vert p_k-q_k\Vert }_n^{(\alpha )}=0.\end{array}$

Da $A$ ein Hausdorffraum ist, gilt auch $p_k=q_k$ für alle $k\in {\mathbb{N}}_0$.

Definition: Potenzreihenalgebra

Sei $A$ eine Algebra und $A^{\mathrm{\infty }}[t]$ die Algebra aller Potenzreihen mit Koeffizienten in $A$ mit Cauchymultiplikation. Die Partialsumme bis zum Grad $m\in {\mathbb{N}}_0$ einer Potenzreihe $p(t)={\sum }_{k=0}^{\mathrm{\infty }}{p}_k\cdot t^k\in \overline{A[t]}$ ist folgendes Polynom:

$$p^{\downarrow m}(t):=\sum _{k=0}^m{p}_k\cdot t^k.$$

Definition: Partialsummentopologie

Sei $(A[t],{\left|\Vert \cdot \Vert \right|}_{𝒜})$ eine Polynomalgebra. Dann bezeichnet ${\left|\Vert \cdot \Vert \right|}_{𝒜}^{\downarrow \mathbb{N}}$ das System der Partialsummenfunktionale von ${\left|\Vert \cdot \Vert \right|}_{𝒜}$ die mit

$\begin{array}{ccc}p(t)& :=& \sum _{k=0}^{\mathrm{\infty }}{p}_k\cdot t^k\text{wie folgt definiert sind:}\\ {\left|\Vert p\Vert \right|}_{\alpha }^{\downarrow m}& :=& {\left|\Vert p^{\downarrow m}\Vert \right|}_{\alpha }\text{ mit }\alpha \in 𝒜\text{ und }m\in \mathbb{N}.\end{array}$

Die durch ${\left|\Vert \cdot \Vert \right|}_{𝒜}^{\downarrow \mathbb{N}}$ erzeugte Topologie heißt Partialsummentopologie von ${\left|\Vert \cdot \Vert \right|}_{𝒜}$ auf $A[t]$.

Bemerkung

Die Partialsummentopologie ist gröber als die von ${\left|\Vert \cdot \Vert \right|}_{𝒜}$ erzeugte Ausgangstopologie, denn für $\alpha \in 𝒜$ gilt:

$${\left|\Vert \cdot \Vert \right|}_{\alpha }^{\downarrow m}\le {\left|\Vert \cdot \Vert \right|}_{\alpha }\text{ für alle }m\in \mathbb{N}.$$

Die Partialsummentopologie erhält man, wenn man die einzelnen Gaugefunktionale aus ${\left|\Vert \cdot \Vert \right|}_{𝒜}$ mit den Projektionen ${\cdot }^{\downarrow m}:A[t]⟶A[t]$ auf die ersten $m$ Summanden des Polynoms verkettet und als topologieerzeugende Funktionale auf $A[t]$ wählt. $m\in \mathbb{N}$ sei dabei beliebig gewählt. Das folgende Lemma zeigt die Eindeutigkeit der Faktorisierung von beliebigen Elementen $p\in \overline{A[t]}$ durch $z\cdot t-e\in A[t]$ und einer zu $p$ gewählten formalen Potenzreihe $\hat{p}\in \overline{A[t]}$.

Aufgaben

In den folgenden Aufgaben werden einige kleiner Übungen zur Berechnung von

Norm - Matrixalegbra - Topologisierung Potenzreihenalgebra

Gegeben sind die beiden Matrizen

$r_k:=\left(\begin{array}{cc}\frac{1}{2^k}& \frac{1}{3^k}\\ \frac{1}{4^k}& \frac{1}{5^k}\end{array}\right)e_A:=\left(\begin{array}{cc}1& 0\\ 0& 1\end{array}\right)$

mit dem Einselement $e_A$ in der Algebra $A:=Mat(2\times 2,ℝ)$. $A$ ist mit der Norm

$\Vert a{\Vert }_{max}={\Vert \left(\begin{array}{cc}{a}_1& a_2\\ a_3& a_4\end{array}\right)\Vert }_{max}=\max \{|a_1|,|a_2|,|a_3|,|a_4|\}$

ein normierter Raum.

• Zeigen Sie, dass die Potenzreihe $q(t):=\sum _{k=0}^{\mathrm{\infty }}{e}_A\cdot t^k$ und der Norm $\Vert |p|\Vert :=\sum _{k=0}^{\mathrm{\infty }}\Vert p_k{\Vert }_{max}$ nicht in $\overline{A[t]}$ liegt.
• Berechnen Sie $\Vert |q|\Vert$ und $\Vert |r|\Vert$ mit $q_k=e_A$ bzw. den oben definierten Koeffizienten in$r_k$.
• Berechnen Sie für die Potenzreihe $r\in \overline{A[t]}$ mit $t=1$ die Matrix $r(t)=r(1)\in A$!

Raum der reellwertigen stetigen Funktionen

Wir betrachten Definitionsbereiches $ℝ$, der die Algebra $A:=𝒞(ℝ,ℝ)$ der stetigen Funktionen von $ℝ$ nach $ℝ$ mit den Halbnormen (siehe auch Normen, Metriken, Topologie):

$\Vert f{\Vert }_n:=\underset{x\in [-n,+n]}{\max }|f(x)|$

wird $(A,\Vert \cdot {\Vert }_{\mathbb{N}})$ zu einem lokalkonvexen topologischen Vektorraum.

• Topologisieren Sie die Polynomalgebra $A[t]$ mit einem Halbnormensystem $(A[t],\Vert |\cdot |{\Vert }_{\mathbb{N}})$, das Sie mit $\Vert \cdot {\Vert }_n$ definieren.

$\Vert |p|{\Vert }_n:=\sum _{k=0}^n{C}_k\cdot \Vert p_k{\Vert }_n$.

Hinweis: wählen Sie für die $(C_k{)}_{k\in \mathbb{N}}$ z.B. eine geometrische Reihe

• Zeigen Sie, dass die Halbnormen $\Vert \cdot {\Vert }_n$ submultiplikativ sind, d.h. $\Vert f\cdot g{\Vert }_n\le \Vert f{\Vert }_n\cdot \Vert g{\Vert }_n$!
• Wählen Sie die Koeffizienten $C_k\in {ℝ}_o^{+}$ so, dass das Polynom $q\in A[t]$ mit $q_k=cos$ für alle $k\in {\mathbb{N}}_o$ ein Element von der Potenzreihenalgebra $(\overline{A[t]},\Vert |\cdot |{\Vert }_{\mathbb{N}})$ ist. Das Polynom $q$ ist damit eine Potenzreihe, bei der alle Koeffizienten $q_k$ die cos-Funktion ist. Wählen Sie z.B. $C_k:=\frac{1}{3^k}$ und berechnen Sie $\Vert cos{\Vert }_n$ für alle $n\in \mathbb{N}$. Welche Eigenschaft muss die Koeffizientenfolge $(C_k{)}_{k\in {\mathbb{N}}_0}$ allgemein besitzen, damit $\Vert |q|{\Vert }_n<\mathrm{\infty }$ für alle $n\in \mathbb{N}$ liefert, also für alle $n$ einen endlichen Wert der Halbnormen leifert.
• Wählen Sie für die Koeffzientenfolge als eine $(C_k{)}_{k\in \mathbb{N}}$ eine geometrische Reihe mit $0<q<1$ und $C_k:=q^k$ und zeigen Sie, dass

$\Vert |p\cdot q|{\Vert }_n\le \Vert |p|{\Vert }_n\cdot \Vert |q|{\Vert }_n$

mit dem Cauchy-Produkt auf $A[t]$ erfüllt ist.

Faktorisierungslemma für zt-e

Sei $A$ eine unitale Algebra mit Einselement $e$ und $z\in A$ beliebig gewählt. $A^{\mathrm{\infty }}[t]$ ist mit der Cauchymultiplikation eine Algebra, in der gilt:

$${\mathrm{\forall }}_{p\in A^{\mathrm{\infty }}[t]}{\mathrm{\exists }}_{\hat{p}\in A^{\mathrm{\infty }}[t]}:p(t)=(z\cdot t-e)\cdot \hat{p}(t)(\ast )$$

$\hat{p}$ ist zu jedem $p$ eindeutig bestimmt.

Beweis

$A^{\mathrm{\infty }}[t]$ ist ein unitaler Ring und $s\in A[t]\subset A^{\mathrm{\infty }}[t]$ mit $s(t):=z\cdot t-e=z\cdot t^1+e\cdot t^0$. Wir zeigen nun, dass $s\in A^{\mathrm{\infty }}[t]$ invertierbar ist.

Inverses Element von zt-e

Man definiert zunächst über das gegebene $z\in A$ ein Polynom $q\in A^{\mathrm{\infty }}[t]$ mit:

$$q(t):=-\sum _{k=0}^{\mathrm{\infty }}{z}^k\cdot t^k=\sum _{k=0}^{\mathrm{\infty }}-z^k\cdot t^k$$

Wir berechnen nun $s\cdot q\in A^{\mathrm{\infty }}[t]$ über

$$\begin{array}{ccc}(s\cdot q)(t)& =& s(t)\cdot q(t)=(z\cdot t-e)\cdot (-\sum _{k=0}^{\mathrm{\infty }}{z}^k\cdot t^k)\\ & =& -\sum _{k=1}^{\mathrm{\infty }}{z}^k\cdot t^k+\sum _{k=0}^{\mathrm{\infty }}{z}^k\cdot t^k=e\end{array}$$

Definition der gesuchten Potenzreihe

Damit definiert man $\hat{p}(t):=q(t)\cdot p(t)=(z\cdot t-e{)}^{-1}\cdot p(t)$.

Eindeutigkeit der Potenzreihe

Eindeutigkeit von $\hat{p}$: Seien $\widehat{p_{(1)}},\widehat{p_{(2)}}\in \overline{A[t]}$ gegeben, die die Eigenschaft $(*)$ besitzen. Für $v(t):=z\cdot t-e$ erhält man:

$$\begin{array}{ccc}p& =& v\cdot \widehat{p_{(1)}}=v\cdot \widehat{p_{(2)}}⟹\\ \widehat{p_{(1)}}& =& v^{-1}\cdot (v\cdot \widehat{p_{(1)}})=v^{-1}\cdot (v\cdot \widehat{p_{(2)}})=\widehat{p_{(2)}}\end{array}$$

q.e.d.

Bemerkung

Die Koeffizienten der Elemente von $A^{\mathrm{\infty }}[t]$ sind eindeutig bestimmt, denn sei:

$\begin{array}{ccc}p(t):=\sum _{k=0}^{\mathrm{\infty }}{p}_k\cdot t^k& ,& q(t):=\sum _{k=0}^{\mathrm{\infty }}{q}_k\cdot t^k\in A[t]\text{ mit }p(t)=q(t)\\ & ⟹& 0\equiv \sum _{k=0}^{\mathrm{\infty }}(p_k-q_k)t^k\\ & ⟹& {\mathrm{\forall }}_{\alpha \in 𝒜;n\in \mathbb{N}}:0={\Vert |p-q|\Vert }_{(\alpha ,n)}=\sum _{k=0}^{\mathrm{\infty }}{\Vert p_k-q_k\Vert }_n^{(\alpha )}\\ & ⟹& {\mathrm{\forall }}_{\alpha \in 𝒜,n\in \mathbb{N}}:{\Vert p_k-q_k\Vert }_n^{(\alpha )}=0.\end{array}$

Da $A$ ein Hausdorffraum ist, gilt auch $p_k=q_k$ für alle $k\in {\mathbb{N}}_0$.

Bemerkung

Die Partialsummentopologie ist gröber als die von ${\Vert |\cdot |\Vert }_{𝒜}$ erzeugte Ausgangstopologie, denn für $\alpha \in 𝒜$ gilt:

$${\Vert |\cdot |\Vert }_{\alpha }^{\downarrow m}\le {\Vert |\cdot |\Vert }_{\alpha }\text{ für alle }m\in \mathbb{N}.$$

Die Partialsummentopologie erhält man, wenn man die einzelnen Gaugefunktionale aus ${\Vert |\cdot |\Vert }_{𝒜}$ mit den Projektionen ${\cdot }^{\downarrow m}:A[t]⟶A[t]$ auf die ersten $m$ Summanden des Polynoms verkettet und als topologieerzeugende Funktionale auf $A[t]$ wählt. $m\in \mathbb{N}$ sei dabei beliebig gewählt.

Das folgende Lemma zeigt die Eindeutigkeit der Faktorisierung von beliebigen Elementen $p\in \overline{A[t]}$ durch $z\cdot t-e\in A[t]$ und einer zu $p$ gewählten formalen Potenzreihe $\hat{p}\in \overline{A[t]}$.

Siehe auch

• Polynomalgebra
• Multiplikative topologische Nullteiler

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