Kurs:Topologische Invertierbarkeitskriterien/Topologische Algebra

Definition: Topologischer Vektorraum

Ein topologischer Vektorraum $V$ über $𝕂$ ist ein Vektorraum über dem Körper $𝕂$, der eine Topologie besitzt, mit der die skalare Multiplikation und die Addition stetige Abbildungen sind.

$\begin{array}{ccc}\cdot :𝕂\times V& ⟶& V(\lambda ,v)⟼\lambda \cdot v\\ +:V\times V& ⟶& V(v,w)⟼v+w\end{array}$

Im Folgenden soll für alle topologischen Vektorräume die Hausdorffeigenschaft vorausgesetzt sein.

Definition: Umgebungen

Sei $(X,𝒯)$ ein topologischer Raum mit einer Topologie $𝒯$ als System von offenen Mengen $𝒯\subset \mathrm{\wp }(X)$ und $a\in X$, dann bezeichnet

• ${𝔘}_{𝒯}(a):=\{U\subseteq X:{\mathrm{\exists }}_{U_o\in 𝒯}:a\in U_o\subseteq U\}$ die Menge aller Umgebungen vom Punkt $a$,
• ${\stackrel{o}{𝔘}}_{𝒯}(a):={𝔘}_{𝒯}(a)\cap 𝒯$ die Menge aller offenen Umgebungen vom Punkt $a$,
• ${\overline{𝔘}}_{𝒯}(a):=\{\bar{U}:U\in {𝔘}_{𝒯}(a)\}$ die Menge aller abgeschlossenen Umgebungen von Punkt $a$

Bemerkung: Indizierung mit der Topologie

Falls keine Missverständnisse über den zugrundeliegenden topologischen Raum auftreten können, wird der Index $𝒯$ als Bezeichnung der verwendeten Topologie nicht mit angegeben.

Bemerkung: Analogie zur Epsilonumgebung

Bei Konvergenzaussagen in den reellen Zahlen betrachtet man in der Regel nur $\epsilon$-Umgebungen. Dabei müssten man in eigentlich in topologischen Räumen für beliebige Umgebungen aus $U\in {𝔘}_{𝒯}(a)$ eine Indexschranke $i_U\in I$ eines Netzes $(x_i{)}_{i\in I}$ finden, ab der alle $x_i\in U$ liegen mit $i\ge i_U$. Da die $\epsilon$-Umgebungen allerdings eine Umgebungsbasis darstellen, braucht man nach der Konvergenzdefinition die Eigenschaft nur für alle $\epsilon >0$ zu zeigen.

Konvergenz in topologischen Räumen

Sei $(X,𝒯)$ ein topologischer Raum, $a\in X$, $I$ eine Indexmenge (partielle Ordnung) und $(x_i{)}_{i\in I}\in X^I$ ein Netz. Die Konvergenz von $(x_i{)}_{i\in I}\in X^I$ gegen $a\in X$ wird dann wie folgt definiert:

$$\begin{array}{ccc}\stackrel{𝒯}{\underset{i\in I}{\lim }}{x}_i=a& :⟺& {\mathrm{\forall }}_{U\in {𝔘}_{𝒯}(a)}{\mathrm{\exists }}_{i_U\in I}{\mathrm{\forall }}_{i\ge i_U}:x_i\in U\end{array}$$.

(dabei ist "$\le$" für $I$ die partiellle Ordnung auf der Indexmenge).

Definiton: Umgebungsbasis

Sei $(X,𝒯)$ ein topologischer Raum, $a\in X$ und ${𝔘}_{𝒯}(a)$ die Menge aller Umgebungen von $a\in X$. ${𝔅}_{𝒯}(a)$ heißt Umgebungsbasis von ${𝔘}_{𝒯}(a)$, wenn es zu jedem :${𝔅}_{𝒯}(a)\subseteq {𝔘}_{𝒯}(a)\wedge {\mathrm{\forall }}_{U\in {𝔘}_{𝒯}(a)}{\mathrm{\exists }}_{B\in {𝔅}_{𝒯}(a)}:B\subseteq U$

Bemerkung: Epsilonkugeln in normierten Räumen

Sei $(V,\Vert \cdot \Vert )$ ein normierter Raum, dann bilden die $\epsilon$-Kugeln

$B_{\epsilon }^{\Vert \cdot \Vert }(a):=\{v\in V;\Vert v-a\Vert <\epsilon \}$

eine Umgebungsbasis von ${𝔅}_{𝒯}(a)$ der Menge aller Umgebungen von ${𝔘}_{𝒯}(a)$ von $a\in V$.

Aufgabe 1

Sei $(X,𝒯)$ ein toplogischer Raum mit der chaotischen Topologie $𝒯:=\{\mathrm{\varnothing },X\}$.

• Bestimmen Sie ${𝔘}_{𝒯}(a)$ für ein beliebiges $a\in X$.
• Zeigen Sie, dass jede Folge $(x_n{)}_{n\in \mathbb{N}}\in X^{\mathbb{N}}$ in $(X,𝒯)$ gegen einen beliebigen Grenzwert $a\in X$ konvergiert.

Aufgabe 2

Sei $(X,d)$ ein metrischer Raum mit der diskreten Topologie, die durch die Metrik:

$d(x,y):=\{\begin{array}{ccc}0& \text{ für }& x=y\\ 1& \text{ für }& x=y\end{array}$.

• Bestimmen Sie ${𝔘}_{𝒯}(a)$ für ein beliebiges $a\in X$.
• Aus wie vielen Mengen besteht ${𝔅}_{𝒯}(a)$ minimal für ein beliebiges $a\in X$?
• Geben Sie alle Folgen $(x_n{)}_{n\in \mathbb{N}}\in X^{\mathbb{N}}$ in $(X,d)$ formal an, die gegen einen Grenzwert $a\in X$ konvergieren!

Definition: Offene Mengen

Sei $(X,𝒯)$ ein topologischer Raum und $𝒯\subseteq \mathrm{\wp }(X)$ ist das System der offenen Mengen, d.h.:

$U\subseteq X\text{ offen }:⟺U\in 𝒯$

Aufgabe

Sei $(ℝ,𝒯)$ ein topologischer Raum auf der Grundmenge der reellen Zahlen. Die Topologie entspricht aber nicht der euklischen Topologie über den Betrag $|\cdot |$, sondern die offenen Mengen sind wie folgt definiert.

$U\in 𝒯\text{ offen }:⟺U=\mathrm{\varnothing }\text{ oder }U\subseteq ℝ\text{ mit }{U}^c\text{ abzählbar}$

• Zeigen Sie, dass $(ℝ,𝒯)$ ein topologischer Raum ist.
• Zeigen Sie, dass die Folge ${\left(\frac{1}{n}\right)}_{n\in \mathbb{N}}$ in dem topologischen Raum $(ℝ,𝒯)$ nicht gegen $0$ konvergiert.

Dabei ist $U^c:=ℝ\setminus U$ das Komplement von $U$ in $ℝ$.

Bemerkung: offen - abgeschlossen

Durch das System der offenen Mengen in einer Topologie $𝒯\subseteq \mathrm{\wp }(X)$ sind auch zugleich die abgeschlossenen Mengen der Topologie definiert als deren Komplemente.

Definition: Abgeschlossene Mengen

Sei $(X,𝒯)$ ein topologischer Raum und $𝒯\subseteq \mathrm{\wp }(X)$ ist das System der offenen Mengen.

$M\subseteq X\text{ abgeschlossen }:⟺{\mathrm{\exists }}_{U\in 𝒯}:M=U^c:=X\setminus U$

Definition: Offener Kern

Sei $(V,𝒯)$ ein topologischer Raum und $M\subset V$, dann ist der offene Kern $\stackrel{\circ }{M}$ von $M$ die Vereinigung aller offenen Teilmengen von $M$.

$$\stackrel{\circ }{M}:=\bigcup _{U\in 𝒯,U\subseteq M}U$$

Definition: Abgeschlossene Hülle

Sei $(X,𝒯)$ ein topologischer Raum. Die abgeschlossene Hülle $\bar{M}$ von $M$ ist der Schnitt über alle abgeschlossenen Teilmengen von $W=U^c$, die $M$ enthalten und $U$ offen ist.

$$\bar{M}:=\bigcap _{U\in 𝒯,U^c:=X\setminus U\supseteq M}{U}^c$$

Definition: Rand einer Menge

Der topologische Rand $\partial M$ von $M$ ist wie folgt definiert:

$$\partial M:=\bar{M}\mathrm{\setminus }\stackrel{\circ }{M}$$

Bemerkung: Folgen und Netze

In metrischen Räumen kann man noch mit den natürlichen Zahlen als abzählbare Indexmengen arbeiten. In beliebigen topologischen Räumen muss man den Begriff der Folge auf den Begriff der Netze verallgemeinern.

Definition: Netze

Sei $T$ ein topologischer Raum und $I$ eine Indexmenge (mit partieller Ordnung), dann bezeichnet $T^I$ die Menge aller mit $I$ indizierten Familien in $T$:

$$T^I:=\{(t_i{)}_{i\in I}:t_i\in T\text{ für alle }i\in I\}$$

Definition: endliche Folgen

Sei $V$ ein Vektorraum, dann bezeichnet $c_{oo}(V)$ die Menge aller endlichen Folgen mit Elementen in $V$:

$$c_{oo}(V):=\{(v_n{)}_{n\in {\mathbb{N}}_0}\in V^{{\mathbb{N}}_0}:{\mathrm{\exists }}_{N\in {\mathbb{N}}_0}{\mathrm{\forall }}_{n\ge N}:v_n=0\}.$$

Definition: Algebra

Eine Algebra $A$ über dem Körper $𝕂$ ist ein Vektorraum über $𝕂$, in dem eine Multiplikation als innere Verknüpfung

$$\cdot :A\times A⟶A(v,w)⟼v\cdot w$$

definiert ist, bei der für alle $x,y,z\in A$ und $\lambda \in 𝕂$ folgende Eigenschaften erfüllt sind:

$\begin{array}{ccc}x\cdot (y\cdot z)& =& (x\cdot y)\cdot z\\ x\cdot (y+z)& =& x\cdot y+x\cdot z\\ (x+y)\cdot z& =& x\cdot z+y\cdot z\\ \lambda \cdot (x\cdot y)& =& (\lambda \cdot x)\cdot y=x\cdot (\lambda \cdot y)\end{array}$

Definition: Topologische Algebra

Eine topologische Algebra $(A,{𝒯}_A)$ über dem Körper $𝕂$ ist ein topologischer Vektorraum $(A,{𝒯}_A)$ über $𝕂$, bei dem auch die Multiplikation

$$\cdot :A\times A⟶A(v,w)⟼v\cdot w$$

eine stetige innere Verknüfung ist.

Stetigkeit der Multiplikation

Stetigkeit der Multiplikation bedeutet dabei:

$${\mathrm{\forall }}_{U\in 𝔘(0)}{\mathrm{\exists }}_{V\in 𝔘(0)}:V\cdot V=V^2\subset U$$

Multiplikative Topologie - Stetigkeit

Die Topologie nennt man multiplikativ, falls gilt:

$${\mathrm{\forall }}_{U\in 𝔘(0)}{\mathrm{\exists }}_{V\in 𝔘(0)}:V^2\subset V\subset U$$

Bemerkung: Multiplikative Topologie - Gaugefunktionale

Bei der Beschreibung der Topologie zeigt das Topologisierungslemma für Algebren, dass sich die Topologie auch durch ein System von Gaugefunktionalen

Unitale Algebra

Die Algebra $A$ heißt unital, falls sie ein neutrales Element $e$ der Multiplikation besitzt. Insbesondere definiert man $x^o:=e$ für alle $x\in A$. Die Menge aller invertierbaren (regulären) Elemente wird mit $𝒢(A)$ bezeichnet. Nicht-invertierbare Elemente heißen singulär.

Aufgabe: Matrixalgebren

Betrachten Sie die Menge $V$ der quadratischen $2\times 2$-Matrizen mit der Matrixmultiplikation und der Maxmimumsnorm der Komponenten der Matrix. Versuchen Sie einzelne Eigenschaften einer Algebra nachzuweisen ($V$ ist eine nicht kommunitative unitale Algebra). Für den Nachweis, dass $V$ mit der Matrixmultiplkation auch eine topologische Algebra ist, siehe Topologisierungslemma für Algebren.

Faltung auf dem Funktionenraum

Siehe auch die Faltung von Funktionen als Multiplikation auf eine Funktionenraum als topologischem Vektorraum.

Definition: Mengen und Verknüpfungen

Sei $(A,𝒯)$ eine topologische Algebra über dem Körper $𝕂$, $\mathrm{\Lambda }\subset 𝕂$ und $M_1,M_2$ Teilmengen von $A$, dann definiert man

$\begin{array}{ccc}{M}_1\times M_2& :=& \{(m_1,m_2)\in A\times A:m_1\in M_1\wedge m_2\in M_2\}\\ M_1+M_2& :=& \{m_1+m_2:m_1\in M_1\wedge m_2\in M_2\}\\ M_1\cdot M_2& :=& \{m_1\cdot m_2:m_1\in M_1\wedge m_2\in M_2\}\\ \mathrm{\Lambda }\cdot M_1& .=& \{\lambda \cdot m_1:m_1\in M_1\wedge \lambda \in \mathrm{\Lambda }\}.\end{array}$

Aufgaben

Zeichnen Sie die folgenden Menge $M_k$ der Vektor als Punktmengen im kartesischen Koordinatensystem ${ℝ}^2$ mit $M_1:=\{\left(\begin{array}{c}1\\ 2\end{array}\right),\left(\begin{array}{c}1\\ 0\end{array}\right)\}$ und $M_2:=\{\left(\begin{array}{c}3\\ 2\end{array}\right),\left(\begin{array}{c}0\\ 1\end{array}\right)\}$ und den folgenden Intervallen $[a,b]\in ℝ$:

• $[1,4]\times [2,3]$
• $M_1+M_2$
• $[1,2]\cdot M_1$

Siehe auch

• Beispiele für Vektorräume
• Vektorraum
• Topologischer Raum
• Topologischer Vektorraum
• Basiserzeugendes Gaugefunktionalsystem
• Lokalkonvexe Vektorräume
• Pseudokonvexe Vektorräume
• Netze (Mathematik)
• Hausdorffeigenschaft
• Algebraerweiterung
• Normen, Metriken, Topologie
• Minkowski-Funktionale
• Topologisierungslemma für Algebren
• Lemma - Kaskadensummen Gaugefunktionale
• Kurs:Maßtheorie auf topologischen Räumen

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

en:Inverse-producing_extensions_of_Topological_Algebras/topological_algebra