Kurs:Topologische Invertierbarkeitskriterien/MPC-Regularität

Einführung

Wenn wir die ${\mathcal {MPC}}^{k}$-Regularität eines Elementes $z\in A$ für eine multiplikativ pseudokonvexe topologische Algebra $(A,\|\cdot \|_{\mathcal {A}})$ sprechen, suchen wir nach einer multiplikativ pseudokonvexen Algebraerweiterungen $(B,\|\cdot \|_{\widetilde {\mathcal {A}}})$ von $(A,\|\cdot \|_{\mathcal {A}})$ in der $z\in A$ invertierbar ist. Dabei besteht

• $\|\cdot \|_{\mathcal {A}}:=\{\|\cdot \|_{\alpha }\,:\,\alpha \in {\mathcal {A}}\}$ und
• $\|\cdot \|_{\widetilde {\mathcal {A}}}:=\{\|\cdot \|_{\widetilde {\alpha }}\,:\,{\widetilde {\alpha }}\in {\widetilde {\mathcal {A}}}\}$

aus einem System von submultiplikativen p-Halbnormen, die die Topologie auf $A$ bzw. $B$ erzeugen.

Geschichte

Der Beweis der Charakterisierung ${\mathcal {MLC}}$-Regularität in kommutativen lokalkonvexen Algebren basiert vollständig auf der Beweisidee von Zelazko von 1971 permanent sigulären Elemente von kommutativen ${\mathcal {MLC}}$-Algebren zu charakterisieren. Die Beweisidee unter Verwendung $p$-Normen ist zwar eine Verallgemeinerung des Begriffs einer submultiplikativen Norm, allerdings verändert sich dabei das Vorgehen für die Charakterisierung bei einem Übergang zu Quotientenalgebren im Vergleich zu multiplikativ pseudokonvexen Räumen nicht und man kann den Beweis von Zelazko aus dem Jahr 1971 auch analog auf ${\mathcal {MPC}}^{k}$-Regularität übertragen.

MLC-Regularität als Spezialfall der MPC-Regularität

Der Nachweis der Charakterisierung der ${\mathcal {MLC}}^{k}$-Regularität ist ein Spezialfall der ${\mathcal {MPC}}^{k}$-Regularität für multplikative pseudokonvexe Räume, wobei die $p$-Normen mit $p=1$ homogen sind und damit die Eigenschaften einer Halbnorm erfüllen. Der hier vorgestellt Beweis erzeugt die Algebraerweiterung direkt ohne direkte Verwendung der Charakterisierung der ${\mathcal {B}}^{k}$-Regularität für Quotientenräume $A_{\beta }$ (siehe MLC-Regularität).

Zielsetzung

Zielsetzung einer multiplikativ lokalkonvexe Algebraerweiterung $(B,\|\cdot \|_{\widetilde {\mathcal {A}}})$ zu einer gegebenen topologischen Algebra $(A,\|\cdot \|_{\mathcal {A}})$ mit $z\in A$ ist es, die gegebene multiplikativ lokalkonvexe Algebraerweiterung so zu vergrößern, dass diese ein inverses Element $z^{-1}:=b\in B$ in der multiplikativ lokalkonvexen Algebraerweiterung $B$ besitzt. Als topologieerzeugende $p$-Gaugefunktionale werden hier Halbnormensystem $\|\cdot \|_{\mathcal {A}}$ und $\|\cdot \|_{\widetilde {\mathcal {A}}}$ verwendet.

Charakterisierung der MPC-Regularität

Für kommutative multiplikativ pseudokonvexe Algebren $(A,\|\cdot \|_{\mathcal {A}})$ mit unital positivem System von submultiplikativen $p$-Halbnormen erhält man folgende Charakterisierung:

• $z\in A$ ${\mathcal {MLC_{e}^{k}}}$-singulär $\Longleftrightarrow$ $z\in {\mathcal {MTNT}}(A)$ (multiplikativer topologischer Nullteiler)
• $z\in A$ ${\mathcal {MLC_{e}^{k}}}$-regulär $\Longleftrightarrow$ für alle $\alpha \in {\mathcal {A}}$ und ein $D_{\alpha }>0$ mit $\|x\|_{\alpha }\leq D_{\alpha }\cdot \|z\cdot x\|_{\alpha }$ für alle $x\in A$

Dabei sind $\|\cdot \|_{\alpha }$ submultiplikative $p$-Halbnormen.

Quotientenalgebren

Die entscheidende Idee von Zelazko (1971) für den Beweis war die Algebraerweiterung von $A$ in eine Produktraum von Quotientenalgebren $\prod _{\alpha \in {\mathcal {A}}}A/N_{\alpha }$, wobei ein Ideal $N_{\alpha }\subset A$ über submultiplikativen Halbnormen erzeugt wird. Diese Grundidee ist identisch für eine submultiplikatives $p$-Halbnormensystem für die Charakterisierung der ${\mathcal {MPC}}^{k}$-Regularität.

Algebraerweiterung von MPC-Quotientenalgebren

Embettung in Quotientenräume bzgl. der submultiplikativen $p$-Halbnormen bzw. Quasihalbnormen.

Submultiplikativität

Dabei ist die Submultiplikativität der $p$-Halbnorm wesentlich für die Idealeigenschaft, denn mit

${\begin{array}{rcl}N_{\alpha }&:=&\{u\in A\,\colon \,\|u\|_{\alpha }=0\}\\&\Rightarrow &\forall _{u\in N_{\alpha },\,\,x\in A}:\,\,\|u\cdot x\|_{\alpha }\leq \underbrace {\|u\|_{\alpha }} _{=0}\cdot \|x\|_{\alpha }=0\\&\Rightarrow &u\cdot x\in N_{\alpha }\end{array}}$

Analog erhält man $x\cdot u\in N_{\alpha }$ über die Submultiplikativität.

Dreiecksungleichung

Ebenfalls ist die Dreiecksungleichung der $p$-Halbnorm wesentlich für die Idealeigenschaft, denn mit

${\begin{array}{rcl}u_{1},u_{2}\in N_{\alpha }&\Rightarrow &\|u_{1}+u_{2}\|_{\alpha }\leq \underbrace {\|u_{1}\|_{\alpha }} _{=0}+\underbrace {\|u_{2}\|_{\alpha }} _{=0}=0\\&\Rightarrow &u_{1}+u_{2}\in N_{\alpha }\end{array}}$

p-Homogenität

Anolog liefert die $p$-Homogenität der $p$-Halbnorm die letzte noch fehlendeIdealeigenschaft, denn mit

${\begin{array}{rcl}\lambda \in \mathbb {K} ,\,u\in N_{\alpha }&\Rightarrow &\|\lambda \cdot u\|_{\alpha }=\|\lambda \|^{p}\cdot \underbrace {\|u\|_{\alpha }} _{=0}=0\\&\Rightarrow &\lambda \cdot u\in N_{\alpha }\end{array}}$

Quotientalgebra

Mit dem Ideal $N_{\alpha }$ definiert man die Quotientenalgebra $A_{\alpha }:=A/N_{\alpha }$ mit der submultiplikativen $p$-Norm:

$\|\!|\,[x]_{\alpha }|\!\|_{\alpha }:=\|\!|x+N_{\alpha }|\!\|_{\alpha }:=\displaystyle \inf _{u\in N_{\alpha }}\|x+u\|_{\alpha }$

Aufgabe für Studierende

• Zeigen Sie, dass $\|\!|\,[x]_{\alpha }|\!\|_{\alpha }=\|x\|_{\alpha }$ für alle $\alpha \in {\mathcal {A}}$ gilt!
• Zeigen Sie, dass das $\|\!|\cdot |\!\|_{\alpha }$ eine $p$-Norm auf $A_{\alpha }:=A/N_{\alpha }$ ist, indem Sie die 3 Eigenschaften einer $p$-Norm entweder direkt nachweisen oder die Eigenschaft aus ersten Teilaufgabe verwenden.

Charakterisierung der MPC-Singularität

Für kommutative multiplikativ pseudokonvexe Algebren $(A,\|\cdot \|_{\mathcal {A}})$ mit einem unital positiven Halbnormensystem erhält man folgende Charakterisierung:

• $z\in A$ permanent singulär $\Longleftrightarrow$ es gibt ein $\alpha \in {\mathcal {A}}$ mit $[z]_{\alpha }\in {\mathcal {TNT}}(A_{\alpha })$ also $[z]_{\alpha }$ zumindest in einer Quotientenalgebra $A_{\alpha }$ ein topologischer Nullteiler ist.
• $z\in A$ permanent singulär $\Longleftrightarrow \,\,\exists _{\alpha \in {\mathcal {A}}}:\displaystyle \inf _{\|x\|_{\alpha }=1}\|z\cdot x\|_{\alpha }=0$

Charakterisierung der MPC-Regularität

Für kommutative multiplikativ pseudokonvexe Algebren $(A,\|\cdot \|_{\mathcal {A}})$ mit einem unital positiven Halbnormensystem erhält man folgende Charakterisierung:

• Ein Element $z\in A$ ist ${\mathcal {MPC}}^{k}$-regulär, wenn für alle $\alpha \in {\mathcal {A}}$ die Äquivalenzklasse $[z]_{\alpha }$ kein topologischer Nullteiler ist.
• $z\in A$ ${\mathcal {MPC}}^{k}$-regulär $\Longleftrightarrow \,\,\forall _{\alpha \in {\mathcal {A}}}\exists _{D_{\alpha }>0}:\displaystyle \|x\|_{\alpha }\leq D_{\alpha }\cdot \|z\cdot x\|_{\alpha }$

Submultiplikative p-Halbnorm bzw. Quasihalbnorm

Bei den oben genannten Charakterisierungen ist $\|\cdot \|_{\alpha }$ eine submultiplikative $p$-Norm bzw. eine submulitplikative Quasinorm.

Veranschaulichung

Algebraerweiterung $B$ von $A$ ist hier eine mulitplikative lokalkonvexe Algebra, die ein inverses Element $b=z^{-1}\in B$ zu einem gegebenen $z\in A$ enthält.

Multiplikative pseudokonvexe Algebraerweiterung

Sei ${\textstyle {\mathcal {MPC}}_{e}}$ die Klasse der multiplikativ pseudokonvex unitalen Algebren und ${\textstyle A\in {\mathcal {MPC}}_{e}}$. Die Algebraerweiterung ${\textstyle B\in {\mathcal {MLC}}_{e}}$ bzw. ${\textstyle {\mathcal {MPC}}}$-Erweiterung von ${\textstyle A}$ benötigt nach Definition es einen Algebraisomorphismus ${\textstyle \tau :A\longrightarrow A'\subset B}$ mit:

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

Veranschaulichung der Einbettung in die Algebraerweiterung

Die Abbildung zeigt, wie die Algebra $A$ in die Algebraerweiterung über ${\textstyle \tau :A\longrightarrow A'\subset B}$ eingebettet wird.

Algebraisomorphismus - Einbettung in die Algebraerweiterung

• Im allgemeinen identifiziert man ${\textstyle A}$ mit ${\textstyle A'}$ und schreibt ${\textstyle A\subset B}$. In der jeweiligen Konstruktion der Algebraerweiterung sieht man, dass die Element aus $x\in A$ mit Elementen $\tau (x)=x+I\in B$ in einem Quotientenraum $B:=A[t]/I$ identifiziert werden.
• Sei ${\textstyle {\mathfrak {U}}_{A'}(0)}$ eine Nullumgebungsbasis der Relativtopologie von ${\textstyle B}$ auf ${\textstyle A'}$ und ${\textstyle {\mathfrak {U}}_{A}(0)}$ eine Nullumgebungsbasis von ${\textstyle A}$, dann kann man die Homöomorphie zwischen ${\textstyle A}$ und ${\textstyle A'}$ wie immer über die Topologie ausdrücken:

${\begin{array}{rcl}\forall _{\displaystyle V\in {\mathfrak {U}}_{A}(0)}\exists _{\displaystyle U\in {\mathfrak {U}}_{A'}(0)}&:&U\subset V\,\,\,(\tau (U)\subset V)\\\forall _{\displaystyle U\in {\mathfrak {U}}_{A'}(0)}\exists _{\displaystyle V\in {\mathfrak {U}}_{A}(0)}&:&V\subset U\,\,\,(\tau ^{-1}(V)\subset U).\end{array}}$

Stetigkeit über p-Halbnormen

Betrachtet man die Halbnormen ${\textstyle \left\|\cdot \right\|_{\widetilde {\mathcal {A}}}}$ und ${\textstyle \left\|\cdot \right\|_{\mathcal {A}}}$ für Nullumgebungen, so lassen sich die oberen beiden Aussagen wie folgt umformulieren (siehe auch Stetigkeitssatz für lineare Abbildungen):

${\begin{array}{rcl}\forall _{\alpha \in {\mathcal {A}}}\exists _{{\widetilde {\alpha }}\in {\widetilde {\mathcal {A}}},C_{1}>0}\forall _{x\in A}&:&\left\|x\right\|_{\alpha }\leq C_{1}\cdot \left\|\tau (x)\right\|_{\widetilde {\alpha }}\\{\mbox{ bzw. }}&&\left\|\cdot \right\|_{\alpha }\leq C_{1}\cdot \left\|\cdot \right\|_{\widetilde {\alpha }}\circ \tau \\\forall _{{\widetilde {\alpha }}\in {\mathcal {A}}}\exists _{\alpha \in {\mathcal {A}},C_{2}>0}\forall _{x\in A}&:&\left\|\tau (x)\right\|_{\widetilde {\alpha }}\leq C_{2}\cdot \left\|x\right\|_{\alpha }\\{\mbox{ bzw. }}&&\left\|\cdot \right\|_{\widetilde {\alpha }}\circ \tau \leq C_{2}\cdot \left\|\cdot \right\|_{\alpha }.\end{array}}$

Analogie zu Vorgehen bei der Charakterisierung P-regulärer Elemente

Wir betrachten zunächst multiplikativ lokalkonvexe kommuntative Algebren $(A,\|\cdot \|_{\mathcal {A}})$ und nutzen das Vorgehen bei der Charakterisierung ${\mathcal {P}}$-Regularität für die ${\mathcal {MPC}}$-Erweiterung von $(A,\|\cdot \|_{\mathcal {A}})$. Für $p=1$ erhalten wir damit auch die Charakterisierung der ${\mathcal {MLC}}$-Regularität.

Algebraerweiterung

Der Algebrahomomorphismus $\tau :A\to B$ bildet nun jedes Element $x\in A$ auf die Nebenklasse $x+I\in B:=A[t]/I$ ab. Dabei seien $A,B\in {\mathcal {MPC}}_{e}^{k}(\mathbb {K} )$ kommutative unitale ${\mathcal {MPC}}$-Algebren über dem Körper $\mathbb {K}$.

Abgeschlossenes Hauptideal in der Polynomalgebra

Für das gegebene $z\in A$ in der kommutativen normierten topologische Algebren $(A,\|\cdot \|_{A})$ definiert man ein Polynom $o\in A[t]$ mit $o(t):=z\cdot t-e_{A}$, wobei $e_{A}$ das Einselement der Multiplikation in $A$ ist. Als Ideal definiert man $I:={\overline {o\cdot A[t]}}$ als abgeschlossenes Hauptideal in $A[t]$. Als Untervektorraum $I$ wäre der Quotientenraum auch ein Vektorraum. Die zusätzliche Eigenschaft des Ideals sorgt dafür, dass auch die Multiplikation auf dem Quotientenraum wohldefiniert ist.

Topologisierung der Polynomalgebra

Die Topologie auf $A[t]$ wird über die folgende submultiplikative $p$-Halbnormen mit $\alpha \in {\mathcal {A}}$ erzeugt:

${\begin{array}{rcl}\|\!|p|\!\|_{\alpha }&=&\displaystyle \sum _{k=0}^{\infty }D_{\alpha }^{k}\cdot \|p_{k}\|_{\alpha }\,\,\,{\mbox{ mit}}\\\\p(t)&=&\displaystyle \sum _{k=0}^{\infty }p_{k}\cdot t^{k}\end{array}}$

Aufgabe für Lernende

Betrachten Sie eine kommutative Algebra $A\in {\mathcal {MPC}}_{e}^{k}(\mathbb {K} )$ über dem Körper $\mathbb {K}$.

• Zeigen Sie, dass mit der Abbildung $\tau :A\to B$ und $\tau (x)=x_{_{I}}=x+I$ eine Algebraerweiterung von $A$ nach $B$ definiert wurde!
• Zeigen Sie, dass mit der Abbildung $\tau _{_{A[t]}}:A\to A[t]$ und $\tau _{_{A[t]}}(x)=p_{x}$ mit $p_{x}(t):=x\cdot t^{0}$ eine Algebraerweiterung von $A$ nach $A[t]$ definiert wurde!
• Begründen Sie, dass das algebraische Vorgehen zu für die Invertierbarkeit mit $e_{_{B}}:=e_{_{A}}+I$ als neutrales Element der Multiplikation in $B$ sich nicht vom dem Vorgehen in bei der ${\mathcal {P}}$-Regularität bzw. ${\mathcal {P}}$-Regularität von kommuntativen Algebren unterscheidet.
• Zeigen Sie, dass $A[t]$ und auch $B:=A[t]/I$ Hausdorffräume sind!

Topologisierung der Algebraerweiterung

Die Algebraerweiterung wird mit submultiplikative Quotientenhalbnorm mit $\alpha \leq \beta$ versehen, die wie folgt definiert ist:

$\|q_{_{I}}\|_{\beta }:=\|q+I\|_{\beta }:=\displaystyle \inf _{r\in I}\|\!|q+r|\!\|_{\beta }$

Dabei bezeichnen man die Nebenklassen in Kurzform mit $q_{I}\in B$, wobei diese Mengen wie folgt definiert sind:

$q_{_{I}}:=q+I:=\{q+r\,:\,r\in I\}$

Man muss hier keine Linknebenklassen und Rechtnebenklassen unterscheiden, da die Addition in einem Vektorraum kommuntativ ist.

Stetigkeit Algebrahomomorphismus

Sei $x\in A$ beliebig gewählt, dann gilt mit der Norm $\|\cdot \|_{B}$ auf dem Quotientenraum $B:=A[t]/I$ die folgende Abschätzung

${\begin{array}{rcl}\|\tau (x)\|_{\beta }&=&\|x_{I}\|_{\beta }=\|x+I\|_{\beta }:=\displaystyle \inf _{r\in I}\|\!|x+r|\!\|_{\beta }\\&\leq &\|\!|x+0_{A[t]}|\!\|_{\beta }=D_{\beta }^{0}\cdot \|x\|_{\beta }=\|x\|_{\beta }\end{array}}$

Damit ist $\tau$ stetig (siehe Stetigkeitssatz für lineare Abbildungen).

Struktur der Polynome aus dem Ideal

Betrachten nun das Bild $\tau (A)\subset B$ von $\tau$ in $B$. Sei nun $A'=\tau (A)=\{x_{I}\,:\,x_{I}=x+I=\tau (x)\}$ gegeben und man betrachtet die Abschätzung für ein beliebiges $q\in A[t]$ mit $r=o\cdot q\in I$ mit $o(t)=z\cdot t-e_{A}$. Dabei gilt:

${\begin{array}{rcl}r(t)&=&\displaystyle \sum _{k=0}^{\infty }r_{k}\cdot t^{k}=o(t)\cdot q(t)\\&=&-q_{0}+\sum _{k=1}^{\infty }(z\cdot q_{k-1}-q_{k})\cdot t^{k}\end{array}}$

Halbnormabschätzung

Bei der Verwendung der Abschätzung $\|x\|_{\beta }\leq D_{\beta }\cdot \|z\cdot x\|_{\beta }$ kann man $\beta \in {\mathcal {A}}$ so wählen, dass $\beta \geq \alpha$ gilt. Ist das nicht der Fall ersetzt man $\|\cdot \|_{\beta }$ durch eine andere multiplikative Halbnorm $\|\cdot \|_{\gamma }$ mit:

$\|x\|_{\gamma }:=\max\{\|x\|_{\alpha },\|x\|_{\beta }\}$

und es gilt:

$\|x\|_{\gamma }\leq D_{\gamma }\cdot \|z\cdot x\|_{\gamma }{\mbox{ und }}\|x\|_{\alpha }\leq \|x\|_{\gamma }.$

Mit diesem Vorgehen kann man u.a. unital positive Halbnormensysteme auf $A$ generieren in den sowohl $\|e_{A}\|_{\gamma }>0$ und damit auch $\|z\|_{\gamma }>0$ erfüllt ist.

Halbnormindexabbildung

Man kann also mit dieser Halbnormabschätzung $\alpha \in {\mathcal {A}}$ ein $\Gamma (\alpha ):=\gamma \in {\mathcal {A}}$ zuordnen, dass die folgende Bedingung erfüllt:

$\|x\|_{\gamma }\leq D_{\gamma }\cdot \|z\cdot x\|_{\gamma }{\mbox{ und }}\|x\|_{\alpha }\leq \|x\|_{\gamma }.$

Damit definiert man einer Abbildung $\Gamma :{\mathcal {A}}\to {\mathcal {A}}$ eine Abbildung, die im Folgenden für die Definition eines submultiplikativen Halbnormensystems auf $A[t]$ verwendet wird mit

${\widetilde {\mathcal {A}}}:=\Gamma ({\mathcal {A}}):=\{\Gamma (\alpha )\,\colon \,\alpha \in {\mathcal {A}}\}$.

Stetigkeit der Umkehrabbildung der Einbettung

Unter Verwendung der Abschätzung $\|x\|_{\beta }\leq D_{\beta }\cdot \|z\cdot x\|_{\beta }$ erhält man mit $\beta \geq \alpha$

${\begin{array}{rcl}\|\!|x+r|\!\|_{\beta }&=&D_{\beta }^{0}\cdot \|x-q_{0}\|_{\beta }+\sum _{k=1}^{\infty }D_{\beta }^{k}\cdot \|z\cdot q_{k-1}-q_{k}\|_{\beta }\\\\&\geq &D_{\beta }^{0}\cdot \|x-q_{0}\|_{\beta }+\sum _{k=1}^{\infty }D_{\beta }^{k}\cdot \left(\|z\cdot q_{k-1}\|_{\beta }-\|q_{k}\|_{\beta }\right)\\\\&\geq &D_{\beta }^{0}\cdot \|x-q_{0}\|_{\beta }+\sum _{k=1}^{\infty }D_{\beta }^{k}\cdot \|z\cdot q_{k-1}\|_{\beta }-D_{\beta }^{k}\cdot \|q_{k}\|_{\beta }\\&\geq &\|x-q_{0}\|_{\beta }+\sum _{k=1}^{\infty }D_{\beta }^{k-1}\cdot \|q_{k-1}\|_{\beta }-D_{\beta }^{k}\cdot \|q_{k}\|_{\beta }\\&\geq &\|x-q_{0}\|_{\beta }+\|q_{0}\|_{\beta }\geq \|x\|_{\beta }\geq \|x\|_{\alpha }\end{array}}$

Teleskopierende Summen

Bei teleskopierenden Summen werden Summen betrachtet, wobei die Summanden selbst Differenzen sind. Aufeinanderfolgende Teilterme heben sich dabei auf. In der obigen Abschätzung bilden die Terme

$D_{\beta }^{k-1}\cdot \|q_{k-1}\|_{\beta }-D_{\beta }^{k}\cdot \|q_{k}\|_{\beta }$

eine Telekopsumme.

Infimumbildung

Durch Infimumbildung über alle Polynome $r\in I$ bleibt die obige Ungleichung erhalten und man erhält die Stetigkeit von $\tau ^{-1}$. $\|x+I\|_{\beta }=\displaystyle \inf _{r\in I}\|\!|x+r|\!\|_{\beta }\geq \|x\|_{\alpha }=\|\tau ^{-1}(x+I)\|_{\alpha }$

Umgekehrte Abschätzung

Für die Stetigkeit der Abbildung $\tau ^{-1}$ gibt es für alle $\alpha \in {\mathcal {A}}$ ein $\beta \in {\widetilde {\mathcal {A}}}\subseteq {\mathcal {A}}$ und setzt das Nullpolynom $0_{A[t]}\in I$ ein:

$\|x+I\|_{\beta }:=\displaystyle \inf _{r\in I}\|\!|x+r|\!\|_{\beta }\leq \|\!|x+0_{A[t]}|\!\|_{\beta }=D_{\beta }^{0}\cdot \|x\|_{\beta }\geq \|x\|_{\alpha }$

Insgesamt ist der Algebraisomorphismus der Einbettung von $A$ in $A'\subset B:=A[t]/I$ eine Hömöomorphismus mit $\tau ^{-1}(x+I)=x$ bzw. $\tau (x)=x+I$.

Stetigkeit - Homöomorphismus

Betrachtet man die submultiplikativen Halbnormen ${\textstyle \left\|\cdot \right\|_{\widetilde {\mathcal {A}}}^{(\tau )}}$ und ${\textstyle \left\|\cdot \right\|_{\mathcal {A}}}$ auf $A$ für Nullumgebungen, so kann man nun die Konstanten analog zum Stetigkeitssatz für lineare Abbildungen wie folgt mit ${\widetilde {\mathcal {A}}}:=\Gamma ({\mathcal {A}})$ angeben:

${\begin{array}{rcl}\forall _{\alpha \in {\mathcal {A}}}\exists _{\beta \in {\widetilde {\mathcal {A}}}}\forall _{x\in A}&:&\left\|x\right\|_{\alpha }\leq \left\|\tau (x)\right\|_{\beta }=\left\|x\right\|_{\beta }^{(\tau )}{\mbox{ mit }}\beta :=\Gamma (\alpha )\\\forall _{\beta \in {\widetilde {\mathcal {A}}}}\exists _{\alpha \in {\mathcal {A}}}\forall _{x\in A}&:&\left\|x\right\|_{\beta }^{(\tau )}\leq \left\|x\right\|_{\beta }{\mbox{ mit }}\alpha :=\beta \\\end{array}}$

Aufgabe - Algebraisomorphismus und Äquivalenz von Gaugefunktionalsystemen

In den obigen beiden Abschätzungen wird die Stetigkeit von lineare Abbildung bzw. von Algebrahomomorphismen verwendet, um die Stetigkeit von $\tau$ und $\tau ^{-1}$ über Gaugefunktionale auszudrücken. Wir betrachten nun zwei Gaugefunktionalsysteme $\|\cdot \|_{\mathcal {A}}$ auf $A$ und $\|\!|\cdot |\!\|_{\widetilde {\mathcal {A}}}$ auf $A[t]$ und definieren eine weiteres Halbnormensystem $\|\!|\cdot |\!\|_{\widetilde {\mathcal {A}}}^{(\tau _{3})}$ auf $A$ mit

$\|\!|\cdot |\!\|_{\widetilde {\alpha }}^{(\tau _{3})}:=\|\!|\cdot |\!\|_{\widetilde {\alpha }}\circ \tau _{3}{\mbox{ bzw. }}\|\!|x|\!\|_{\widetilde {\alpha }}^{(\tau _{3})}:=\|\!|\tau _{3}(x)|\!\|_{\widetilde {\alpha }}$

Dabei wird $\tau _{3}(x)=p\in A[t]$ mit $p(t)=x\cdot t^{0}$. Zeigen Sie, dass Gaugefunktionalsysteme $\|\cdot \|_{\mathcal {A}}$ und $\|\!|\cdot |\!\|_{\widetilde {\mathcal {A}}}^{(\tau _{3})}$ auf $A$ äquivalente Halbnormensysteme sind (siehe Äquivalenz (Gaugefunktionalsysteme)).

Pseudokonvexe Polynomalgebra

Wir betrachten nun zu einer gegebenen (multiplikativ pseudokonvexen) ${\mathcal {MPC}}$-Algebra ${\textstyle \left(A,\left\|\cdot \right\|_{\mathcal {A}}\right)\in {\mathcal {B}}(\mathbb {K} )}$ die Menge der Polynome mit Koeffizienten in $A$.

$$p(t)=\sum _{k=0}^{n}p_{k}\cdot t^{k}{\mbox{ mit }}p_{k}\in A{\mbox{ für }}k\in \{0,1,...,n\}$$

und Potenzreihen mit Koeffizienten in der Algebra $A$

$$p(t)=\sum _{k=0}^{\infty }p_{k}\cdot t^{k}{\mbox{ mit }}p_{k}\in A{\mbox{ für }}k\in \mathbb {N} _{o}$$

Grad von Polynomen

Auch bei den unächst einmal würde man Polynome formal eher in der obigen Form mit $n\in \mathbb {N} _{o}$ notieren und mit $p_{n}\not =0_{A}$ würde $n$ den Grad des Polynoms angeben. Für das Cauchyprodukt von zwei Polynomen $p,q\in A[t]$ ist diese Schreibweise allerdings ungeeignet, da bei der Addition und Multiplikation zwei Polynomen $p,q\in A[t]$ die Handhabung des Grades zusätzlichen formalen Aufwand nach sich zieht, der aber für die weitern Betrachtungen von Algebraerweiterungen keine Rolle spielt.

Schreibweise für die Polynomalgebra

Daher werden wie bei der P-Regularität die Polynome wie folgt über "endliche" Folgen $c_{oo}(A)$ definiert, die ab einer Indexschranke $n\in \mathbb {N} _{o}$ nur noch aus dem Nullvektor $0_{A}$ in $A$ besteht.

$$p(t)=\sum _{k=0}^{\infty }p_{k}\cdot t^{k}{\mbox{ mit }}(p_{k})_{k\in \mathbb {N} _{0}}\in c_{oo}(A)$$

Topologisierung der Polynomalgebra

Die $p\in A[t]$ wird nun mit einer Folge $(D_{\beta }^{k})_{k\in \mathbb {N} }$ bzgl. einer positiven Konstanten in $D_{\beta }\in \mathbb {R} ^{+}$ und einer submultiplikativen Halbnorm $\|\cdot \|_{\beta }$ topologisiert.

$\|\!|p|\!\|_{\beta }:=\displaystyle \sum _{k=0}^{\infty }D_{\beta }^{k}\cdot \|p_{k}\|_{\beta }{\mbox{ mit }}(p_{k})_{k\in \mathbb {N} _{0}}\in c_{oo}(A)$

Cauchy-Produkt - Stetigkeit

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

$$p(t):=\sum _{k=0}^{\infty }p_{k}\cdot t^{k}{\mbox{ und }}q(t):=\sum _{k=0}^{\infty }q_{k}\cdot t^{k}$$

Dann liefert die Definition über $D_{\beta }>0$ die folgende Halbnorm für das Produkt $p\cdot q$:

$$\|\!|p\cdot q|\!\|_{\beta }=\displaystyle \sum _{n=0}^{\infty }D_{\beta }^{n}\cdot \left\|\sum _{k=0}^{n}p_{k}\cdot q_{n-k}\right\|_{\beta }$$

Aufgabe für die Lernende

Beweisen Sie, dass die folgende Abbildung $\|\!|\cdot |\!\|_{D}:\to \mathbb {R} ^{+}$ eine Norm ist und für alle $p,q\in A[t]$ gilt

$\|\!|p\cdot q|\!\|_{\beta }\leq \|\!|p|\!\|_{\beta }\cdot \|\!|q|\!\|_{\beta }$

Begründen Sie ferner, dass die Multiplikation auf $(A[t],\|\!|\cdot |\!\|_{\widetilde {\mathcal {A}}})$ stetig ist, wobei man mit der Abbildung $\Gamma :{\mathcal {A}}\to {\mathcal {A}}$ jedem $\alpha \in {\mathcal {A}}$ ein $\Gamma (\alpha )=\beta \in {\mathcal {A}}$ zuordnet, mit ${\widetilde {\mathcal {A}}}:=\{\beta \in {\mathcal {A}}\,\colon \,\exists _{\alpha \in {\mathcal {A}}}:\,\,\beta =\Gamma (\alpha )\}$ und die Bedingung erfüllt ist, dass:

$\|x\|_{\alpha }\leq \|x\|_{\beta },\,\,\,\|x\|_{\alpha }\leq D_{\beta }\cdot \|z\cdot x\|_{\beta }\,\,{\mbox{ und }}\,\,\beta =\Gamma (\alpha )$

Topologisierung der Algebraerweiterung

Die Algebraerweiterung wird mit einer Quotientennorm versehen, die wie folgt definiert ist:

$\|q_{_{I}}\|_{\beta }:=\|q+I\|_{\beta }:=\displaystyle \inf _{r\in I}\|\!|q+r|\!\|_{\beta }$

Dabei bezeichnen man die Nebenklassen in Kurzform mit $q_{I}\in B$, wobei diese Mengen wie folgt definiert sind:

$q_{_{I}}:=q+I:=\{q+r\,:\,r\in I\}$

Man muss hier keine Linknebenklassen und Rechtnebenklassen unterscheiden, da die Addition in einem Vektorraum kommuntativ ist.

Hausdorff-Eigenschaft

Zeigen Sie, dass die Polynomalgebra $(A[t],\|\!|\cdot |\!\|_{\widetilde {\mathcal {A}}})$ und $(B,\|\cdot \|_{\widetilde {\mathcal {A}}})$ Hausdorffräume sind!

Siehe auch

• Algebraerweiterung
• Konstruktion des Algebraisomorphismus
• Gaugefunktional
• p-Halbnorm
• Korrespondenzsatz p-Halbnormen
• Normen, Metriken, Topologie
• Minkowski-Funktional
• B-Regularität
• MLC-Regularität
• P-Regularität
• P-Regularität über p-Normen
• PC-Regularität
• Topologisierungslemma für Algebren
• Relativtopologie
• Neutrales Element

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