Kurs:Topologische Invertierbarkeitskriterien/Algebraerweiterung

Zielsetzung

Zielsetzung einer Algebraerweiterung $(B,{\mathcal {T}}_{B})$ zu einer gegebenen topologischen Algebra $(A,{\mathcal {T}}_{A})$ mit $z\in A$ ist es, die topologisch Algebra so zu vergrößern, dass diese ein inverses Element $z^{-1}:=b\in B$ enthält. Das folgenden Diagramm veranschaulicht den Sachverhalt:

Veranschaulichung

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

Algebraerweiterung - Zahlbereichserweiterung

Untersuchen Sie die Gemeinsamkeiten und Unterschiede bzgl. Algebraerweiterungen in der Funktionalanalysis und den Zahlbereichserweiterungen im Kontext der Schule.

Unlösbare Aufgaben in der Primarstufe

In der Primarstufe können in dem Zahlbereich der natürlichen Zahlen $\mathbb {N} _{0}$ Aufgaben formuliert werden, die aber in $\mathbb {N} _{0}$ nicht lösbar sind. Daraus ergibt sich eine Zahlbereichserweiterung wie folgt:

• ($\mathbb {N} \mapsto \mathbb {Z}$) Aufgabe $6+\Box =4$ (bzw. $6+x=4$) in $\mathbb {N}$ formuliert aber in $\mathbb {N}$ nicht lösbar. Zahlbereichserweiterung auf $\mathbb {Z}$.
• ($\mathbb {N} \mapsto \mathbb {Q}$) Aufgabe $6\cdot \Box =4$ (bzw. $6\cdot x=4$) in $\mathbb {N}$ formuliert aber in $\mathbb {N}$ nicht lösbar. Zahlbereichserweiterung auf $\mathbb {Q}$.
• ($\mathbb {N} \mapsto \mathbb {Q}$) Zu diesem unlösbaren Aufgabentyp gehören auch die multiplikativen Inversen, z.B. $5\cdot \Box =1$.

Unlösbare Aufgaben in der Sekundarstufe

Die unlösbaren Aufgaben ergeben sich aus quadratischen Gleichungen

• ($\mathbb {Q} \mapsto \mathbb {R}$) Aufgabe $x^{2}=2$ in $\mathbb {Q}$ formuliert aber in $\mathbb {Q}$ nicht lösbar. Zahlbereichserweiterung auf $\mathbb {R}$.
• ($\mathbb {R} \mapsto \mathbb {C}$) Aufgabe $x^{2}=-1$ in $\mathbb {R}$ formuliert aber in $\mathbb {R}$ nicht lösbar. Zahlbereichserweiterung auf $\mathbb {C}$ (siehe auch komplexe Zahlen).

Analogien und Unterschiede

Welche Gemeinsamkeiten und Unterschiede bestehen zwischen den Zahlbereichserweiterungen in der Schule und den Algebraerweiterungen und der Untersuchung von topologischen Invertierbarkeitskriterien?

Definition: Algebrahomomorphismus

Seien $(A,\oplus _{_{A}},\odot _{_{A}},\cdot _{_{A}},\mathbb {K} )$ und $(B,\oplus _{_{B}},\odot _{_{B}},\cdot _{_{B}},\mathbb {K} )$ zwei Algebren über dem Körper $\mathbb {K}$ und $\tau :A\to B$ eine Abbildung von $A$ nach $B$. $\tau :A\to B$ heißt Algebrahomomorphismus die $\tau$ verträglich mit den Verknüpfungen auf der Algebra ist, d.h.:

• (AH1) Für alle $x\in A$, $\lambda \in \mathbb {K}$ gilt: $\tau (\lambda \cdot _{_{A}}x)=\lambda \cdot _{_{B}}\tau (x)$
• (AH2) Für alle $x,y\in A$ gilt: $\tau (x\oplus _{_{A}}y)=\tau (x)\oplus _{_{B}}\tau (y)$
• (AH3) Für alle Für alle $x,y\in A$ gilt: $\tau (x\odot _{_{A}}y)=\tau (x)\odot _{_{B}}\tau (y)$

Wenn der Algebrahomomorphismus zusätzlich bijektiv ist, nennt man $\tau$ Algebraisomorphismus.

Bemerkung: Notation für die inneren Verknüpfungen in den Algebren

Der Index bei den inneren Verknüpfungen bezeichnet die Algebren, auf denen die inneren Verknüpfungen definiert sind. In der Regel werden die Bezeichnungen bei Algebraerweiterung durch Notation nicht unterschieden.

Definition: Algebraerweiterung

Sei ${\textstyle {\mathcal {K}}_{e}}$ eine Klasse von unitalen Algebren und ${\textstyle A\in {\mathcal {K}}_{e}}$, dann heißt ${\textstyle B\in {\mathcal {K}}_{e}}$ Algebraerweiterung, Oberalgebra oder ${\textstyle {\mathcal {K}}}$-Erweiterung von ${\textstyle A}$, falls es einen Algebraisomorphismus ${\textstyle \tau :A\longrightarrow A'\subset B}$ gibt 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.

Bemerkung - unitale Algebren

Eine topologische Algebra ${\textstyle A\in {\mathcal {K}}_{e}}$ der Klasse ${\textstyle {\mathcal {K}}}$ heißt unital, wenn $A$ ein Einselement der Multiplikation besitzt. Der Begriff kommt von "unit" als "Einheit" bzw. "Einselement".

Bemerkung

• Im allgemeinen identifiziert man ${\textstyle A}$ mit ${\textstyle A'\subset B}$ und schreibt ${\textstyle A\subset B}$.
• 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 folgt beschreiben:

${\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 und Minkowskifunktionale

Betrachtet man die Minkowskifunktionale ${\textstyle \left\|\cdot \right\|_{{\mathfrak {U}}_{A'}}}$ und ${\textstyle \left\|\cdot \right\|_{{\mathfrak {U}}_{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 _{\displaystyle V\in {\mathfrak {U}}_{A}(0)}\exists _{\displaystyle U\in {\mathfrak {U}}_{A'}(0)}&:&\left\|\cdot \right\|_{V}\leq \left\|\cdot \right\|_{U}\\{\mbox{ bzw. }}&&\left\|\cdot \right\|_{V}\circ \tau \leq \left\|\cdot \right\|_{U}\\\forall _{\displaystyle U\in {\mathfrak {U}}_{A'}(0)}\exists _{\displaystyle V\in {\mathfrak {U}}_{A}(0)}&:&\left\|\cdot \right\|_{U}\leq \left\|\cdot \right\|_{V}\\{\mbox{ bzw. }}&&\left\|\cdot \right\|_{U}\circ \tau ^{-1}\leq \left\|\cdot \right\|_{V}.\end{array}}$

Bemerkung Topologieerzeugung

Falls in einem topologieerzeugenden System von Minkowskifunktionalen ${\textstyle \left\|\cdot \right\|_{\mathcal {A}}}$ nicht mit jedem ${\textstyle \left\|\cdot \right\|_{\alpha }}$ auch ${\textstyle \lambda \cdot \left\|\cdot \right\|_{\alpha }}$ in dem System ${\textstyle \left\|\cdot \right\|_{\mathcal {A}}}$ liegt, treten in der Ungleichung jeweils von ${\textstyle U}$ bzw. ${\textstyle V}$ abhängige Konstanten auf.

Definition: Äquivalenz von Gaugefunktionalsystemen

Sei ${\textstyle A}$ eine Algebra, auf der zwei topologieerzeugende Systeme von Gaugefunktionalen ${\textstyle \left\|\cdot \right\|_{\mathcal {A}}}$ bzw. ${\textstyle \left\|\!\left|\cdot \right|\!\right\|_{\widetilde {\mathcal {A}}}}$ definiert sind. Die beiden Gaugefunktionalsystem heißen äquivalent, wenn für diese gilt:

$$\forall _{\displaystyle \alpha \in {\mathcal {A}}}\,\exists _{\displaystyle \beta \in {\widetilde {\mathcal {A}}},C_{\beta }>0}\forall _{\displaystyle x\in A}:\left\|x\right\|_{\alpha }\leq C_{\alpha }\cdot \left\|\!\left|x\right|\!\right\|_{\beta }$$

und umgekehrt

$$\forall _{\displaystyle \beta \in {\widetilde {\mathcal {A}}}}\exists _{\displaystyle \alpha \in {\mathcal {A}},C_{\alpha }>0}\forall _{\displaystyle x\in A}:\left\|\!\left|x\right\|\!\right|_{\beta }\leq C_{\beta }\cdot \left\|x\right\|_{\alpha }.$$

Bemerkung: Implikation der Konvergenz

• Die erste Bedingung in der obigen Definition liefert, dass ein Netz $(x_{i})_{i\in I}$, das bzgl. ${\textstyle \left\|\!\left|\cdot \right|\!\right\|_{\widetilde {\mathcal {A}}}}$ konvergiert auch in der von ${\textstyle \left\|\cdot \right\|_{\mathcal {A}}}$ erzeugten Topologie konvergiert.
• Die zweite Bedingung liefert umgekehrt, dass $(x_{i})_{i\in I}$ bzgl. ${\textstyle \left\|\!\left|\cdot \right|\!\right\|_{\widetilde {\mathcal {A}}}}$ konvergiert, wenn das Netz auch bzgl. ${\textstyle \left\|\cdot \right\|_{\mathcal {A}}}$ konvergiert.

Definition: isometrische Erweiterung von Gaugefunktionalsystemen

Sei ${\textstyle B}$ eine ${\textstyle {\mathcal {T}}}$-Algebraerweiterung von ${\textstyle A\in {\mathcal {T}}}$ mit den topologieerzeugenden Systemen von Gaugefunktionalen ${\textstyle \left\|\cdot \right\|_{\mathcal {A}}}$ auf ${\textstyle A}$ bzw. ${\textstyle \left\|\!\left|\cdot \right|\!\right\|_{\widetilde {\mathcal {A}}}}$ auf ${\textstyle B}$. Die Algebraerweiterung nennt isometrisch, falls gilt:

$$\forall _{\displaystyle \alpha \in {\mathcal {A}}}\,\exists _{\displaystyle \beta \in {\widetilde {\mathcal {A}}}}\forall _{\displaystyle x\in A}:\left\|x\right\|_{\alpha }=\left\|\!\left|x\right|\!\right\|_{\beta }$$

und umgekehrt

$$\forall _{\displaystyle \beta \in {\widetilde {\mathcal {A}}}}\exists _{\displaystyle \alpha \in {\mathcal {A}}}\forall _{\displaystyle x\in A}:\left\|\!\left|x\right|\!\right\|_{\alpha }=\left\|x\right\|_{\beta }.$$

Definition: K-regulär - K-singulär

Sei ${\textstyle {\mathcal {K}}_{e}}$ eine Klasse topologischer Algebren mit Einselement und ${\textstyle A\in {\mathcal {K}}_{e}}$ eine Algebra. Ein Element ${\textstyle x}$ der Algebra ${\textstyle A}$ heißt ${\textstyle {\mathcal {K}}}$-regulär (Bezeichnung: ${\textstyle x\in {\mathcal {G}}_{\mathcal {K}}(A)}$), falls es eine ${\textstyle {\mathcal {K}}}$-Erweiterung ${\textstyle B}$ von ${\textstyle A}$ gibt, in der ${\textstyle x}$ invertierbar ist. Falls dies nicht möglich ist, heißt ${\textstyle x}$ ${\textstyle {\mathcal {K}}}$-singulär oder permanent singulär in jeder ${\textstyle {\mathcal {K}}}$-Erweiterung von ${\textstyle A}$.

Bemerkung: Polynomalgebra

Bei der Konstruktion der Algebraerweiterung ist es für einige Algebrenklassen notwendig, die Erweiterung auf die Algebra der Polynome $A[t]$ zu betrachten. Die folgende Abbildung zeigt, wie die Algebraerweiterung $B$ konstruiert wird.

Bemerkung: regulär - K-regulär

Jedes reguläre Element $z\in A$ ist zugleich auch ${\mathcal {K}}$-regulär, da reguläre Elemente bereits in der Algebra $(A,{\mathcal {T}}_{A})$ selbst invertierbar sind, $(A,{\mathcal {T}}_{A})$ in natürlicher Weise eine Algebraerweiterung von sich darstellt, in der das inverse Element $z^{-1}\in B:=A$ existiert. Daher gilt ${\textstyle {\mathcal {G}}(A)\subset {\mathcal {G}}_{\mathcal {K}}(A)}$.

Definition: Absolutcharakter

Die ${\textstyle {\mathcal {K}}}$-Singularität besitzt Absolutcharakter, falls aus ${\textstyle {\mathcal {K}}}$-Singularität ${\textstyle {\mathcal {T}}}$-Singularität folgt.

Augaben für Lernende

Die Aufgaben beziehen sich auf die topologieerzeugenden Gaugefunktionalsysteme und die Äquivalenz dieser Systeme. Diese Äquivalenz der Gaugefunktionalsysteme wird für die Einbettung der Algebraerweiterung von $A$ in $B$ benötigt, damit man die Stetigkeit der Einbettung $\tau$ und der Umkehrabbildung $\tau ^{-1}$ nachweisen kann.

Aufgabe 1: Bezug unter Unterschiede zum Satz von Hahn-Banach

Betrachten Sie den Satz von Hahn-Banach und die Erweiterung von linearen Funktionalen $f$ von einem Unterrraum $U\subset V$ auf den gesamten Vektorraum $V$.

• Welche topologischen Gemeinsamkeiten und Unterschiede sehen Sie bei der Erweitung von linearen Funktionalen (Hahn-Banach) und der Algebraerweiterung?
• Wie kann man aus einem linearen Funktional $f$ ein Halbnorm $\|\cdot \|_{f}$ auf $U\subset V$ erzeugen und mit der Erweiterung von $F$ auf $V$ eine Halbnorm auf $V$?

Aufgabe 2: Konvergenz in äquivalenten Gaugefunktionalsystemen

Sei ${\textstyle A}$ eine Algebra, auf der zwei topologieerzeugende Systeme von Gaugefunktionalen ${\textstyle \left\|\cdot \right\|_{\mathcal {A}}}$ bzw. ${\textstyle \left\|\!\left|\cdot \right|\!\right\|_{\widetilde {\mathcal {A}}}}$ definiert sind. Ferner sei ein Netz in gegeben.

• Notieren Sie dazu zunächst die Konvergenz bzgl. der topologieerzeugende Systeme von Gaugefunktionalen ${\textstyle \left\|\cdot \right\|_{\mathcal {A}}}$ und ${\textstyle \left\|\!\left|\cdot \right|\!\right\|_{\widetilde {\mathcal {A}}}}$ formal.
• Zeigen Sie, dass in einer Algebra $A$ ein Netz genau der dann in ${\textstyle \left\|\cdot \right\|_{\mathcal {A}}}$ konvergiert, wenn es auch bzgl. ${\textstyle \left\|\!\left|\cdot \right|\!\right\|_{\widetilde {\mathcal {A}}}}$ konvergiert.

Aufgabe 3: Algebraerweiterungen von Matrixalgebren

Sei $(A,\|\cdot \|)$ die nicht-kommunitive Algebra der 2x2-Matrizen über $\mathbb {R}$ mit der euklidischen Norm:

$\|M\|=\left\|\,{\begin{pmatrix}m_{1}&m_{2}\\m_{3}&m_{4}\\\end{pmatrix}}\,\right\|:={\sqrt {\sum _{k=1}^{4}m_{k}^{2}}}$

Aufgabe 3a: Polynomalgebraerweiterungen von Matrixalgebren

Erzeugen Sie eine Polynomalgebra mit Koeffizienten in $A$ und topologisieren Sie den Raum $A[t]$ ebenfalls mit einer Norm.

Definition 3b: Matrxixalgebraerweiterungen von Matrixalgebren

Betten Sie $(A,\|\cdot \|)$ in den Raum $(B,\|\cdot \|_{B})$ der 3x3-Matrizen über $\mathbb {R}$ ein.

$\|N\|_{B}=\left\|\,{\begin{pmatrix}n_{1}&n_{2}&n_{3}\\n_{4}&n_{5}&n_{6}\\n_{7}&n_{8}&n_{9}\\\end{pmatrix}}\,\right\|_{B}:={\sqrt {\sum _{k=1}^{9}n_{k}^{2}}}{\mbox{ mit }}\tau (M):={\begin{pmatrix}m_{1}&m_{2}&0\\m_{3}&m_{4}&0\\0&0&{\frac {m_{1}+m_{4}}{2}}\\\end{pmatrix}}\in B$

Aufgabe 3c: Matrixalgebraerweiterungen von Matrixalgebren

Ist über die mit $\tau$ definierte Abbildung eine Algebraerweiterung definiert worden? Überprüfen Sie die Eigenschaften!

• Zeigen Sie, dass $\tau :A\to A'\subset B$ bijektiv $(A,\|\cdot \|)$ nach $(A',\|\cdot \|_{B})$ ist.
• Verwenden Sie den Stetigkeitssatz für lineare Abbildungen, um die Stetigkeit von $\tau :A\to A'\subset B$ und $\tau ^{-1}:A'\to A$ nachzuweisen.
• Können Sie ein Element in der ursprünglichen Algebra $(A,\|\cdot \|)$ der $2\times 2$-Matrizen angeben, das in $A$ nicht invertierbar ist, aber bei dem Sie in ein inverses Element aus $B$ nach der Einbettung angeben können? (Hinweis: Sind nicht-invertierbare Matrizen Nullteiler in $A$?)

Siehe auch

• Relativtopologie
• Topologische Algebra
• Konvexkombinationen
• Stetigkeitssatz für lineare Abbildungen
• Stetigkeitssequenzen
• Topologische Gruppe

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