Kurs:Topologische Invertierbarkeitskriterien/Stetigkeitssequenzen

Einführung

Betrachtet man das Topologisierungslemma für Algebren, so kann man der Stetigkeit der Verknüpfungen in der topologischen Algebra jeweils Ungleichungen zuordnen, die äquivalent zu dieser Stetigkeit sind. Z.B. sind bei der Addition im Gegensatz zur Dreieckungleichung einer Norm oder Halbnorm zwei verschiedene Gaugefunktionale beteiligt.

Addition

Bei diesen Ungleichungen gibt es zu jedem Gaugefunktional $\Vert \cdot {\Vert }_{\alpha }$ ein $\Vert \cdot {\Vert }_{\beta }$ mit

$\Vert x+y{\Vert }_{\alpha }\le \Vert x{\Vert }_{\beta }+\Vert x{\Vert }_{\beta }\text{ für alle }x,y\in A$

Zu diesem $\Vert \cdot {\Vert }_{\beta }$ kann man wieder $\Vert \cdot {\Vert }_{\gamma }$ finden, für das dann wiederum die folgende Ungleichung gilt:

$\Vert x+y{\Vert }_{\beta }\le \Vert x{\Vert }_{\gamma }+\Vert x{\Vert }_{\gamma }\text{ für alle }x,y\in A$

Über diesen Mechanismus entstehen später Stetigkeitssequenzen von Gaugefunktionalen.

Multiplikation

Analog kann man Stetigkeitssequenzen bzgl. der Multiplikation erzeugen, d.h. es gibt zu jedem Gaugefunktional $\Vert \cdot {\Vert }_{\alpha }$ ein $\Vert \cdot {\Vert }_{\beta }$ mit

$\Vert x\cdot y{\Vert }_{\alpha }\le \Vert x{\Vert }_{\beta }\cdot \Vert x{\Vert }_{\beta }\text{ für alle }x,y\in A$

Zu diesem $\Vert \cdot {\Vert }_{\beta }$ kann man wieder $\Vert \cdot {\Vert }_{\gamma }$ finden, für das dann wiederum die folgende Ungleichung gilt:

$\Vert x\cdot y{\Vert }_{\beta }\le \Vert x{\Vert }_{\gamma }\cdot \Vert x{\Vert }_{\gamma }\text{ für alle }x,y\in A$

Über diesen Mechanismus entstehen später Stetigkeitssequenzen von Gaugefunktionalen.

Addition und Multiplikation

In diesem Abschnitt wird die Existenz dieser Stetigkeitssequenzen nachgewiesen, die für die Topologisierung der Polynomalgebra von Bedeutung sind.

Unitale Algebren und Gaugefunktionale

In einem System von Gaugefunktionalen ist es für die Argumentation in multiplikativen Zusammenhängen hilfreich, wenn man für die Gaugefunktional $\Vert \cdot {\Vert }_{\alpha }$ voraussetzen könnte, dass man für das Einselement der Multiplikation $e\in A$ voraussetzen kann, dass $\Vert e{\Vert }_{\alpha }>0$ gilt für alle gilt. Ein Lemma zeigt, dass dies ohne Einschränkung möglich ist.

Definition:

Sei $(A,\Vert \cdot {\Vert }_I)\in 𝒯$, dann gilt mit $\alpha ,\beta \in I$:

$$\Vert \cdot {\Vert }_{\alpha }\le \Vert \cdot {\Vert }_{\beta }:⟺{\mathrm{\forall }}_{x\in A}:\Vert x{\Vert }_{\alpha }\le \Vert x{\Vert }_{\beta }$$

Analog definiert man den Fall $\ge ,<,>$ und $=$.

Partielle Ordnung auf der Menge der p-Gaugefunktionale

Sei $(A,𝒯)$ eine topologische Algebra mit einem System ${\Vert \cdot \Vert }_{𝒜}$ von $p$-Gaugefunktionalen. Auf der Indexmenge $𝒜$ wird nun die folgende partielle Ordnung definiert:

$$\alpha \le \beta :⟺{\Vert \cdot \Vert }_{\alpha }\le {\Vert \cdot \Vert }_{\beta }:⟺{\mathrm{\forall }}_{x\in A}:{\Vert x\Vert }_{\alpha }\le {\Vert x\Vert }_{\beta }$$

Unital positive Gaugefunktionale

In topologischen Vektorräumen (und damit auch topologischen Algebren) gibt es eine Nullumgebungsbasis $\{U_{\alpha }:\alpha \in 𝒜\}$ aus kreisförmigen Mengen $U_{\alpha }$. Die Kreisförmigkeiten liefert die absolute Homogenität der Gaugefunktionale. Um für die Gaugefunktional $\Vert \cdot {\Vert }_{\alpha }$ ohne Einschränkung voraussetzen zu können, dass $\Vert e{\Vert }_{\alpha }>0$ für das Einselement der Multiplikation $e\in A$ gilt, müssen wir den Schnitt von kreisförmigen Nullumgebungen betrachten.

Definition: Unital positives Gaugefunktionalsystem

Sei $(A,𝒯)$ eine topologische Algebra mit einem System ${\Vert \cdot \Vert }_{𝒜}$ von $p$-Gaugefunktionalen. ${\Vert \cdot \Vert }_{𝒜}$ heißt "unital positiv", wenn für das Einselement $e_A\in A$ der Multiplikation die folgende Eigenschaft gilt:

${\mathrm{\forall }}_{\alpha \in 𝒜}:\Vert e_A{\Vert }_{\alpha }>0$

Lemma zu unitalen positiven Gaugefunktionalsystemen

Sei $(A,𝒯)$ eine Hausdorff'sche topologische Algebra, dann gibt es ein unital positves Gaugefunktionalsystem ${\Vert \cdot \Vert }_{𝒜}$, das die Topologie $𝒯$ erzeugt.

Beweis

Wenn eine topologische Algebra $(A,𝒯)$ ist Hausdorff'sche und für die beiden Elemente $0_A,e_A\in A$ mit $0_A=e$ zwei Umgebungen $U_0\in {𝔘}_{𝒯}(0_A)$ und $U_1\in {𝔘}_{𝒯}(e_A)$ existieren mit $U_0\cap U_1=\mathrm{\varnothing }$.

Schnitt von kreisförmigen Mengen

Da $𝒯$ eine Hausdorff-Topologie auf $A$ ist, gibt es zu $U_0\in {𝔘}_{𝒯}(0_A)$ ist, kann man aus der Nullmgebungsbasis $\{U_{\alpha }:\alpha \in 𝒜\}$ aus kreisförmigen Mengen ein $U_{\beta }\in {𝔘}_{𝒯}(0_A)$ finden, für das $U_{\beta }\subseteq U_0$ gilt. Für $U_{\beta }$ ebenfalls $U_{\beta }\cap U_1=\mathrm{\varnothing }$. Ferner ist der Schnitt von zwei kreisförmigen Mengen $U_{\alpha },U_{\beta }\in {𝔘}_{𝒯}(0_A)$ wieder kreisförmig (siehe Lemma über Schnitt von kreisförmigen Mengen).

Nullumgebungsbasis aus kreisförmigen Mengen

Insgesamt definiert man nun eine neue Nullumgebungsbasis $\{{\hat{U}}_{\alpha }:\alpha \in 𝒜\}$ über ${\hat{U}}_{\alpha }:=U_{\alpha }\cap U_{\beta }\in {𝔘}_{𝒯}(0_A)$ aus kreisförmigen Nullumgebungen, die die Topologie erzeugt, denn für alle $\alpha \in 𝒜$ gilt:

• ${\hat{U}}_{\alpha }\subseteq U_{\alpha }$ und damit wäre die von $\{{\hat{U}}_{\alpha }:\alpha \in 𝒜\}$ erzeugte Topologie feiner als die von $\{U_{\alpha }:\alpha \in 𝒜\}$ und
• umgekehrt ist ${\hat{U}}_{\alpha }:=U_{\alpha }\cap U_{\beta }\in {𝔘}_{𝒯}(0_A)$ eine Nullumgebung und dann gibt es für alle $\alpha \in 𝒜$ ein $\gamma \in 𝒜$ mit $U_{\gamma }\subseteq {\hat{U}}_{\alpha }$, weil $\{U_{\gamma }:\gamma \in 𝒜\}$ eine Nullumgebungsbasis von $𝒯$ ist.

Unital Positivität

Wir betrachten nun die Minkowski-Funktionale $\Vert \cdot {\Vert }_{\alpha }:=P_{{\hat{U}}_{\alpha }}$. Da die ${\hat{U}}_{\alpha }:=U_{\alpha }\cap U_{\beta }\in {𝔘}_{𝒯}(0_A)$ kreisförmig sind, sind die Minkowski-Funktionale absolut homogen und damit Gaugefunktionale. Ferner gilt für alle $\alpha \in 𝒜$ die Bedingung $e\notin {\hat{U}}_{\alpha }$ damit gilt sogar $\Vert e_A{\Vert }_{\alpha }:=P_{{\hat{U}}_{\alpha }}(e_A)\ge 1>0$. Damit folgt die Behauptung $◻$

Definition: Stetigkeitssequenz der Addition

Sei $(A,{\Vert \cdot \Vert }_{𝒜})\in 𝒦$ ist eine topologische Algebra der Klasse $𝒦$. Eine Folge ${\left({\Vert \cdot \Vert }_n\right)}_{n\in {\mathbb{N}}_0}\in {\left({\Vert \cdot \Vert }_{𝒜}\right)}^{{\mathbb{N}}_0}$ von Gaugefunktionalen mit

• ${\Vert \cdot \Vert }_n\le {\Vert \cdot \Vert }_{n+1}$ für alle $n\in {\mathbb{N}}_0$
• ${\Vert x+y\Vert }_n\le S_n\cdot ({\Vert x\Vert }_{n+1}+{\Vert y\Vert }_{n+1})$ für alle $x,y\in A$, $n\in {\mathbb{N}}_0$ und $S_n>0$ heißt Stetigkeitssequenz der Addition oder kurz $S_{𝒦}$-Sequenz und $S_n$ sind die Stetigkeitskonstanten der Addition. Die $S_{𝒦}$-Sequenz nennt man "normalisiert", falls $S_n=1$ für alle $n\in {\mathbb{N}}_0$ gilt.

Bemerkung: Stetigkeitskonstanten der Addition

Die Stetigkeitskonstanten $S_n$ der Addition entstehen z.B. dann, wenn die Gaugefunktionale Quasihalbnormen sind (siehe auch Korrespondenzsatz p-Halbnormen).

Definition: Stetigkeitssequenz der Multiplikation

Sei $(A,{\Vert \cdot \Vert }_{𝒜})\in 𝒦$ ist eine topologische Algebra der Klasse $𝒦$. Eine Folge ${\left({\Vert \cdot \Vert }_n\right)}_{n\in {\mathbb{N}}_0}\in {\left({\Vert \cdot \Vert }_{𝒜}\right)}^{{\mathbb{N}}_0}$ von Gaugefunktionalen mit

• ${\Vert \cdot \Vert }_n\le {\Vert \cdot \Vert }_{n+1}$ für alle $n\in {\mathbb{N}}_0$
• ${\Vert x\cdot y\Vert }_n\le S_n\cdot {\Vert x\Vert }_{n+1}\cdot {\Vert y\Vert }_{n+1}$ für alle $x,y\in A$, $n\in {\mathbb{N}}_0$ und $S_n>0$ heißt Stetigkeitssequenz der Multiplikation oder kurz $S_{𝒦}$-Sequenz der Multiplikation und $S_n$ sind die Stetigkeitskonstanten der Multiplikation. Die $M_{𝒦}$-Sequenz nennt man "normalisiert", falls $S_n=1$ für alle $n\in {\mathbb{N}}_0$ gilt.

Bemerkung: Stetigkeitssequenzen und Polynomalgebren

Durch ein induktive Definition über das Topologisierungslemma von Algebren, kann man zu einem gegebenen $\alpha \in 𝒜$ das erste $𝒦$-Funktional ${\Vert \cdot \Vert }_0:=\Vert \cdot {\Vert }_{\alpha }$ definiert, so n ${\left({\Vert \cdot \Vert }_n\right)}_{n\in {\mathbb{N}}_0}$ heißt $M_{𝒦}$-Sequenz zu ${\Vert \cdot \Vert }_{\alpha }$. Insgesamt wird man die topologischen Eigenschaften der Stetigkeit dann direkt über die Erhöhung des Index ausdrücken können und die $M_{𝒦}$-Sequenzen kann man dann auf die Koeffizienten der Potenzreihenalgebra $\overline{A[t]}$ als topologischen Abschluss einer Polynomalgebra mit Koeffizienten in $A$ anwenden.

Bemerkung: Stetigkeit und Stetigkeitsequenzen

$M_{𝒦}$-Sequenzen können wegen der Stetigkeit der Multiplikation zu jedem ${\Vert \cdot \Vert }_{\alpha }\in {\Vert \cdot \Vert }_{𝒜}$ und für jede topologische Algebra konstruiert werden. Kann man umgekehrt zu jedem ${\Vert \cdot \Vert }_{\alpha }$ mit $\alpha \in 𝒜$ eine $M_{𝒦}$-Sequenz konstruieren, dann ist die Multiplikation auf der Algebra $A$ stetig.

Bemerkung: Normalisierte Stetigkeitssequenzen

Im Allgemeinen wird man nur normalisierte $M_{𝒦}$-Sequenzen betrachten, denn jede beliebige zu ${\Vert \cdot \Vert }_{\alpha }$ gewählte $M_{𝒦}$-Sequenz kann durch eine normalisierte $M_{𝒦}$-Sequenz ersetzen werden. Ist nämlich ${\Vert \cdot \Vert }_{\alpha }\in {\Vert \cdot \Vert }_{𝒜}$ und $\lambda \ge 1$, so ist auch $\lambda \cdot {\Vert \cdot \Vert }_{\alpha }$ ein stetiges $𝒦$-Funktional und damit ein Element von ${\Vert \cdot \Vert }_{𝒜}$. Die Stetigkeitskonstanten $S^n$ werden erst später bei der Regularitätsdingung von Bedeutung sein.

Definition: Stetigkeitssequenz

Sei $(A,{\Vert \cdot \Vert }_{𝒜})\in 𝒦$ ist eine topologische Algebra der Klasse $𝒦$. Eine Folge ${\left({\Vert \cdot \Vert }_n\right)}_{n\in {\mathbb{N}}_0}\in {\left({\Vert \cdot \Vert }_{𝒜}\right)}^{{\mathbb{N}}_0}$ von Gaugefunktionalen mit

• ${\Vert \cdot \Vert }_n\le {\Vert \cdot \Vert }_{n+1}$ für alle $n\in {\mathbb{N}}_0$
• ${\Vert x\cdot y\Vert }_n\le S_n\cdot {\Vert x\Vert }_{n+1}\cdot {\Vert y\Vert }_{n+1}$ für alle $x,y\in A$,
• ${\Vert x+y\Vert }_n\le S_n\cdot ({\Vert x\Vert }_{n+1}+{\Vert y\Vert }_{n+1})$ für alle $x,y\in A$,

$n\in {\mathbb{N}}_0$ und $S_n>0$ heißt Stetigkeitssequenz kurz $𝒦$-Sequenz und $S_n$ sind die Stetigkeitskonstanten der Addition und Multiplikation. Die $𝒦$-Sequenz nennt man "normalisiert", falls $S_n=1$ für alle $n\in {\mathbb{N}}_0$ gilt.

Existenzsatz über Stetigkeitssequenzen

In einer topologischen Algebra $(A,{\Vert \cdot \Vert }_{𝒜})\in 𝒦$ existiert zu jedem $\alpha \in 𝒜$ eine Stetigkeitsequenz

${\left({\Vert \cdot \Vert }_n^{(\alpha )}\right)}_{n\in {\mathbb{N}}_0}\in {\left({\Vert \cdot \Vert }_{𝒜}\right)}^{{\mathbb{N}}_0}\text{ mit }{\Vert \cdot \Vert }_0^{(\alpha )}:={\Vert \cdot \Vert }_{\alpha }.$

Beweis - Übungsaufgabe

Nutzen Sie das Topologisierungslemma für topologische Algebren um die Aussage als Übungsaufgabe zu zeigen. Ergänzen Sie dazu die fehlenden Schritte in dem folgenden Beweisrumpf:

Beweis

In der topologischen Algebra $(A,{\Vert \cdot \Vert }_{𝒜})\in 𝒦$ sei $\alpha \in 𝒜$ beliebig gewählt. Die Stetigkeitsequenz wird induktiv definiert und setzen für $n=0$:

$${\Vert \cdot \Vert }_0^{(\alpha )}:={\Vert \cdot \Vert }_{\alpha }.$$

p-Homogenität - pseudokonve Algebren

Für pseudokonvexe Algebren $(A,{\Vert \cdot \Vert }_{𝒜})\in 𝒫𝒞$ sei ${\Vert \cdot \Vert }_{𝒜}$ ein System von Quasihalbnormen. Falls $A$ mit einem System von $p$-homogenen Gaugefunktionalsystem topologisiert wurde, ersetzen wir ohne Einschränkung das System der $p$-Halbnormen durch ein äquivalentes System von Quasihalbnormen, das die gleiche Topologie erzeugt (siehe Korrespondenzsatz p-Halbnormen und Quasihalbnormen).

Stetigkeit der Addition

${\left({\Vert \cdot \Vert }_n^{(\alpha )}\right)}_{n\in {\mathbb{N}}_0}\in {\left({\Vert \cdot \Vert }_{𝒜}\right)}^{{\mathbb{N}}_0}\text{ mit }{\Vert \cdot \Vert }_0^{(\alpha )}:={\Vert \cdot \Vert }_{\alpha }.$

Konstruktion von Gaugefunktionalfolgen

Sei $(A,{\Vert \cdot \Vert }_{𝒜})\in {𝒦}_e$. Wir definieren nun zu jedem $\alpha \in 𝒜$ eine Folge von Gaugefunktionalen ${\left({\Vert \cdot \Vert }_n^{(\alpha )}\right)}_{n\in {\mathbb{N}}_0}$. Das Gaugefunktionalsystem sei ohne Einschränkung unital positiv. Die folgenden Berechnungen betrachten einige Abschlätzung bzgl. einer Folge von Gaugefunktionalen. Diese führen in den grundlegenden Umgang mit solchen Sequenzen von Gaugefunktionalen und Standardwerkzeugen zur Abschätzung ein.

Festlegung des ersten Gaugefunktionals

Da das Gaugefunktionalsystem nach Voraussetzung unital positiv ist, gilt ${\Vert e_A\Vert }_{\alpha }>0$ für alle $\alpha \in 𝒜$. Für eine normalisierte $M_{𝒦}$-Sequenz zu ${\Vert \cdot \Vert }_{\alpha }\in {\Vert \cdot \Vert }_{𝒜}$ definieren wir als ersten Gaugefunktional ${\Vert \cdot \Vert }_0^{(\alpha )}:=\frac{1}{{\Vert e_A\Vert }_{\alpha }}\cdot {\Vert \cdot \Vert }_{\alpha }$. Damit gilt:

${\Vert e_A\Vert }_0^{(\alpha )}:=\frac{1}{{\Vert e_A\Vert }_{\alpha }}\cdot {\Vert e_A\Vert }_{\alpha }=1$.

Stetigkeit der Multiplkation

Sei nun ${\Vert x\Vert }_n^{(\alpha )}$ bereits induktiv definiert. Dann gibt es mit der Stetigkeit der Multiplikation in der topologischen Algebra $(A,\Vert \cdot {\Vert }_{𝒜})$ ein $\beta \in 𝒜$, für das gilt:

${\mathrm{\forall }}_{xy\in A}:{\Vert x\cdot y\Vert }_n^{(\alpha )}\le {\Vert x\Vert }_{\beta }\cdot {\Vert y\Vert }_{\beta }$

Ferner sei ohne Einschränkung $\Vert \cdot {\Vert }_n^{(\alpha )}\le \Vert \cdot {\Vert }_{\beta }$. Falls das nicht der Fall wäre ersetzt man $U_{\beta }$ durch ein Minkowski-Funktional der kreisförmigen Nullumgebung $U_n^{(\alpha )}\cap U_{\beta }$ mit $U_{\beta }:=B_1^{\beta }(0_A)$ und $U_n^{(\alpha )}:=\{x\in A:\Vert x{\Vert }_n^{(\alpha )}<1\}$.

Supremumsgaugefunktional

Sei nun ${\Vert x\Vert }_n^{(\alpha )}$ bereits induktiv definiert. Wir betrachten nun die Teilmenge $e\in T_n\subset A$ mit $T_n:=\{s\in A:{\Vert s\Vert }_{\beta }>0\}.$ Über diese Mengen definieren man Supremumsgaugefunktionale der Form

$${\Vert x\Vert }_{n+1}^{(\alpha )}:={\Vert e_A\Vert }_{\beta }\cdot \underset{s\in T_n}{\sup }{\Vert \frac{s}{{\Vert s\Vert }_{\beta }}\cdot x\Vert }_n^{(\alpha )}\text{ für alle }x\in A$$

Anwendung auf das Einselement 1

Unter Anwendung der absoluten Homogenität von ${\Vert \cdot \Vert }_n^{(\alpha )}$ erhält man:

$$\begin{array}{ccc}{\Vert e_A\Vert }_{n+1}^{(\alpha )}& =& {\Vert e_A\Vert }_{\beta }\cdot \underset{s\in T_n}{\sup }{\Vert \frac{s}{{\Vert s\Vert }_{\beta }}\cdot e_A\Vert }_n^{(\alpha )}={\Vert e_A\Vert }_{\beta }\cdot \underset{s\in T_n}{\sup }{\Vert \frac{s}{{\Vert s\Vert }_{\beta }}\Vert }_n^{(\alpha )}\\ & =& {\Vert e_A\Vert }_{\beta }\cdot \underset{s\in T_n}{\sup }\underset{\le 1}{\underbrace{\frac{1}{{\Vert s\Vert }_{\beta }}\cdot {\Vert s\Vert }_n^{(\alpha )}}}\le {\Vert e_A\Vert }_{\beta }\end{array}$$

Ferner wurde ${\Vert s\Vert }_n^{(\alpha )}\le {\Vert s\Vert }_{\beta }$ für die "$\le$"-Abschätzung verwendet.

Anwendung auf das Einselement 2

Unter Anwendung der absoluten Homogenität von ${\Vert \cdot \Vert }_n^{(\alpha )}$ erhält man:

$$\begin{array}{ccc}{\Vert e_A\Vert }_{n+1}^{(\alpha )}& =& {\Vert e_A\Vert }_{\beta }\cdot \underset{s\in T_n}{\sup }{\Vert \frac{s}{{\Vert s\Vert }_{\beta }}\cdot e_A\Vert }_n^{(\alpha )}\\ & \ge & {\Vert e_A\Vert }_{\beta }\cdot {\Vert \frac{e_A}{{\Vert e_A\Vert }_{\beta }}\cdot e_A\Vert }_n^{(\alpha )}={\Vert e_A\Vert }_{\beta }\cdot {\Vert \frac{e_A}{{\Vert e_A\Vert }_{\beta }}\Vert }_n^{(\alpha )}\\ & =& {\Vert e_A\Vert }_{\beta }\cdot \frac{{\Vert e_A\Vert }_n^{(\alpha )}}{{\Vert e_A\Vert }_{\beta }}={\Vert e_A\Vert }_n^{(\alpha )}\end{array}$$

Abschätzung Gaugefunktionale 1

Unter Anwendung der absoluten Homogenität von ${\Vert \cdot \Vert }_n^{(\alpha )}$ erhält man analog für beliebige $x\in A$:

$$\begin{array}{ccc}{\Vert x\Vert }_{n+1}^{(\alpha )}& =& {\Vert e_A\Vert }_{\beta }\cdot \underset{s\in T_n}{\sup }{\Vert \frac{s}{{\Vert s\Vert }_{\beta }}\cdot x\Vert }_n^{(\alpha )}\\ & \ge & {\Vert e_A\Vert }_{\beta }\cdot {\Vert \frac{e_A}{{\Vert e_A\Vert }_{\beta }}\cdot x\Vert }_n^{(\alpha )}\text{ weil }{e}_A\in T_n\\ & =& {\Vert e_A\Vert }_{\beta }\cdot {\Vert \frac{x}{{\Vert e_A\Vert }_{\beta }}\Vert }_n^{(\alpha )}={\Vert x\Vert }_n^{(\alpha )}\end{array}$$

Abschätzung Gaugefunktionale 2

Unter Anwendung der absoluten Homogenität von ${\Vert \cdot \Vert }_n^{(\alpha )}$ erhält man analog für beliebige $x\in A$:

$$\begin{array}{ccc}{\Vert x\Vert }_{n+1}^{(\alpha )}& =& {\Vert e_A\Vert }_{\beta }\cdot \underset{s\in T_n}{\sup }{\Vert \frac{s}{{\Vert s\Vert }_{\beta }}\cdot x\Vert }_n^{(\alpha )}\\ & \le & {\Vert e_A\Vert }_{\beta }\cdot \underset{s\in T_n}{\sup }{\Vert \frac{s}{{\Vert s\Vert }_{\beta }}\Vert }_{\beta }\cdot {\Vert x\Vert }_{\beta }={\Vert e_A\Vert }_{\beta }\cdot {\Vert x\Vert }_{\beta }\end{array}$$

Abschätzung bzgl. Multiplikation

Für $y\in T_n$ erhält man:

$$\begin{array}{ccc}{\Vert x\cdot y\Vert }_n^{(\alpha )}& \le & \Vert y{\Vert }_{\beta }\cdot {\Vert x\cdot \frac{y}{\Vert y{\Vert }_{\beta }}\Vert }_n^{(\alpha )}\\ & \le & \Vert y{\Vert }_{\beta }\cdot \underset{s\in T_n}{\sup }\Vert \frac{s}{{\Vert s\Vert }_{\beta }}\cdot x\Vert \\ & =& \Vert y{\Vert }_{\beta }\cdot \frac{1}{\Vert e_A{\Vert }_{\beta }}\cdot \Vert e_A{\Vert }_{\beta }\cdot \underset{s\in T_n}{\sup }\Vert \frac{s}{{\Vert s\Vert }_{\beta }}\cdot x\Vert \\ & =& \Vert y{\Vert }_{\beta }\cdot \frac{1}{\Vert e_A{\Vert }_{\beta }}\cdot \Vert x{\Vert }_{n+1}^{(\alpha )}\end{array}$$

Abschätzung Einselement

Wegen ${\Vert e_A\Vert }_n^{(\alpha )}\le {\Vert e_A\Vert }_{\beta }\cdot {\Vert e_A\Vert }_{\beta }={{\Vert e_A\Vert }_{\beta }}^2$ gilt damit auch ${\Vert e_A\Vert }_{\beta }\ge \sqrt{{\Vert e_A\Vert }_n^{(\alpha )}}>0$.

Definition:

Zwei Systeme ${\Vert \cdot \Vert }_I$ und ${\Vert \cdot \Vert }_{\tilde{I}}$ auf einem topologischen Vektorraum $V$ heißen äquivalent (Bezeichnung: ${\Vert \cdot \Vert }_I\equiv {\Vert \cdot \Vert }_{\tilde{I}}$), falls gilt:

$$\begin{array}{cc}{\mathrm{\forall }}_{\alpha \in I}{\mathrm{\exists }}_{\tilde{\alpha }\in \tilde{I},C_{\alpha }>0}:& {\Vert \cdot \Vert }_{\alpha }\le C_{\alpha }\cdot {\Vert \cdot \Vert }_{\tilde{\alpha }}\text{ und}\\ {\mathrm{\forall }}_{\tilde{\alpha }\in \tilde{I}}{\mathrm{\exists }}_{\alpha \in I,C_{\tilde{\alpha }}>0}:& {\Vert \cdot \Vert }_{\tilde{\alpha }}\le C_{\tilde{\alpha }}\cdot {\Vert \cdot \Vert }_{\alpha }\end{array}$$

Bemerkung

Äquivalente Systeme erzeugen die gleiche Topologie. Wenn man ein gerichtetes System und ein festes $\alpha \in 𝒜$ gegeben hat und als weitere Indexmenge $\widetilde{𝒜}:=\{\beta \in 𝒜:\beta \ge \alpha \}$ definiert, dann sind ${\Vert \cdot \Vert }_{𝒜}$ und ${\Vert \cdot \Vert }_{\widetilde{𝒜}}$ äquivalente Systeme.

Definition:

Sei $(A,{\Vert \cdot \Vert }_{𝒜})\in 𝒯$ eine topologische Algebra und ${\left({\Vert \cdot \Vert }_n^{(\alpha )}\right)}_{n\in {\mathbb{N}}_0}$, ${\left({\Vert \cdot \Vert }_n^{(\beta )}\right)}_{n\in {\mathbb{N}}_0}$ zwei Folgen von Gaugefunktionalen in ${\Vert \cdot \Vert }_{𝒜}$.Dann definiert man:

$${\left({\Vert \cdot \Vert }_n^{(\alpha )}\right)}_{n\in {\mathbb{N}}_0}\le {\left({\Vert \cdot \Vert }_n^{(\beta )}\right)}_{n\in {\mathbb{N}}_0}:⟺{\mathrm{\forall }}_{n\in {\mathbb{N}}_0}:{\Vert \cdot \Vert }_n^{(\alpha )}\le {\Vert \cdot \Vert }_n^{(\beta )}$$

Lemma:

Sei $(A,{\Vert \cdot \Vert }_{𝒜})\in 𝒯$ eine topologische Algebra und

$$\tilde{\cdot }:𝒜\times {\mathbb{N}}_0⟶𝒜\text{ mit }(\alpha ,n)⟼\widetilde{(\alpha ,n)}$$

sei eine Abbildung, dann gibt es für alle ${\Vert \cdot \Vert }_{\alpha }\in {\Vert \cdot \Vert }_{𝒜}$ eine normalisierte $M_{𝒦}$-Sequenz ${\left({\Vert \cdot \Vert }_{(\alpha ,n)}\right)}_{n\in {\mathbb{N}}_0}$ mit

$${\left({\Vert \cdot \Vert }_{\widetilde{(\alpha ,n)}}\right)}_{n\in {\mathbb{N}}_0}\le {\left({\Vert \cdot \Vert }_{(\alpha ,n+1)}\right)}_{n\in {\mathbb{N}}_0}.$$

Beweis

Sei ${\Vert \cdot \Vert }_{(\alpha ,0)}:={\Vert \cdot \Vert }_{\alpha }$ und ${\Vert \cdot \Vert }_{(\alpha ,n)}$ sei bereits induktiv definiert, dann erhält man ${\Vert \cdot \Vert }_{(\alpha ,n+1)}$ wie folgt:

Wegen der Stetigkeit der Multiplikation gibt es ein ${\Vert \cdot \Vert }_{\beta }\in {\Vert \cdot \Vert }_{𝒜}$ mit

$${\mathrm{\forall }}_{x,y\in A}:{\Vert x\cdot y\Vert }_{(\alpha ,n)}\le {\Vert x\Vert }_{\beta }\cdot {\Vert y\Vert }_{\beta }.$$

Da ${\Vert \cdot \Vert }_{𝒜}$ gerichtet ist, gibt es ein Funktional ${\Vert \cdot \Vert }_{(\alpha ,n+1)}\in {\Vert \cdot \Vert }_{𝒜}$ mit

$${\Vert \cdot \Vert }_{\widetilde{(\alpha ,n)}}\le {\Vert \cdot \Vert }_{(\alpha ,n+1)}\text{ und }{\Vert \cdot \Vert }_{\beta }\le {\Vert \cdot \Vert }_{(\alpha ,n+1)}.$$

Damit folgt die Behauptung durch Induktion über $n$. $◻$

Siehe auch

• Normen, Metriken, Topologie
• Topologisierungslemma für topologische Algebren

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