Stetigkeitssatz für lineare Abbildungen

Der Stetigkeitssatz für lineare Abbildungen liefert äquivalente Bedingungen zu Stetigkeit, die mit topologieerzeugende Funktionalen (Normen, Halbnormen, Gaugefunktionale).

• (Normierte Räume - SLA) In diesem Spezialfall von normierte Räume sind spezielle topologische Vektorräume äquivalente Bedingungen zur Stetigkeit von linearen Abbildungen über Normen formuliert.
• (Topologische Vektorräume - SLAT) Danach wird dieser Stetigkeitssatz für lineare Abbildung danach auf topogische Vektorräume verallgemeinert.

Lineare Abbildung ${\displaystyle T:V\to W}$ von einem endlichdimensionalen ${\displaystyle \mathbb {K} }$-Vektorraum ${\displaystyle V}$ in einen ${\displaystyle \mathbb {K} }$-Vektorraum ${\displaystyle W}$ sind immer stetig.

Lineare Abbildung ${\displaystyle T:V\to W}$ von einem unendlichdimensionalen ${\displaystyle \mathbb {K} }$-Vektorraum ${\displaystyle V}$ in einen ${\displaystyle \mathbb {K} }$-Vektorraum ${\displaystyle W}$ sind auch nicht stetig sein (siehe Beispiele für lineare Abbildungen, die nicht stetig sind.

Seien ${\displaystyle (X,\|\cdot \|_{X})}$ und ${\displaystyle (Y,\|\cdot \|_{Y})}$ normierte Räume über dem Körper ${\displaystyle \mathbb {K} }$ und

${\displaystyle T:X\rightarrow Y}$ eine lineare Abbildungen, dann sind folgende Aussagen äquivalent:

• (1) T ist stetig in jedem Punkt ${\displaystyle x\in X}$
• (2) T ist stetig im Nullvektor ${\displaystyle 0_{X}\in X}$
• (3) Es existiert ein ${\displaystyle M>0}$ mit ${\displaystyle \|T(x)\|_{Y}\leq M}$ für alle ${\displaystyle x\in X}$ mit ${\displaystyle \|x\|_{X}\leq 1}$
• (4) Es existiert ein ${\displaystyle M>0}$ mit ${\displaystyle \|T(x)\|_{Y}\leq M\cdot \|x\|_{X}}$ für alle ${\displaystyle x\in X}$,

Der Beweis erfolgt als Ringschluss von (1) ${\displaystyle \Rightarrow }$ (2) ${\displaystyle \Rightarrow }$ (3) ${\displaystyle \Rightarrow }$ (4) ${\displaystyle \Rightarrow }$ (1)

Die Aussage des Stetigkeitssatzes gilt analog für bilineare Abbildungen und normierte Räume: Seien ${\displaystyle (X_{1},\|\cdot \|_{X_{1}})}$, ${\displaystyle (X_{2},\|\cdot \|_{X_{2}})}$ und ${\displaystyle (Y,\|\cdot \|_{Y})}$ normierte Räume über dem Körper ${\displaystyle \mathbb {K} }$ und

${\displaystyle T:X_{1}\times X_{2}\rightarrow Y}$ eine bilineare Abbildungen, dann sind folgende Aussagen äquivalent:

• (1) T ist stetig in jedem Punkt ${\displaystyle (x_{1},x_{2})\in X_{1}\times X_{2}}$
• (2) T ist stetig im Nullvektor ${\displaystyle (0_{X_{1}},0_{X_{2}})\in X_{1}\times X_{2}}$
• (3) Es existiert ein ${\displaystyle M>0}$ mit ${\displaystyle \|T(x_{1},x_{2})\|_{Y}\leq M}$ für alle ${\displaystyle (x_{1},x_{2})\in X}$ mit ${\displaystyle \|(x_{1},x_{2})\|:=\max\{\|x_{1}\|_{X_{1}},\|x_{2}\|_{X_{2}}\}\leq 1}$
• (4) Es existiert ein ${\displaystyle M>0}$ mit ${\displaystyle \|T(x_{1},x_{2})\|_{Y}\leq M\cdot \|x_{1}\|_{X_{1}}\cdot \|x_{2}\|_{X_{2}}}$ für alle ${\displaystyle (x_{1},x_{2})\in X_{1}\times X_{2}}$,

Der Produktraum ${\displaystyle X_{1}\times X_{2}}$ wird in natürlicher Weise zu einem ${\displaystyle \mathbb {K} }$-Vektorraum durch die folgenden Verknüpfungen ${\displaystyle \oplus ,\ \odot }$:

${\displaystyle {\begin{array}{rcl}(x_{1},x_{2})\oplus (y_{1},y_{2})&:=&(x_{1}+y_{1},x_{2}+y_{2})\\\lambda \odot (x_{1},x_{2})&:=&(\lambda \cdot x_{1},\lambda \cdot x_{2})\\\end{array}}}$

Mit ${\displaystyle \|(x_{1},x_{2})\|:=\max\{\|x_{1}\|_{X_{1}},\|x_{2}\|_{X_{2}}\}}$ wird ${\displaystyle X_{1}\times X_{2}}$ ebenfalls zu einem normierten Raum.

Für das Topologisierungslemma für Algebren ist es hilfreich, die Stetigkeit einem Punkt nachweisen zu müssen. Multiplikation mit Skalaren und die Multiplikation auf der Algebra sind in diesem Kontext bilineare Abbildungen. Dabei ist z.B. ${\displaystyle (X_{1},\|\cdot \|_{_{X_{1}}}):=(\mathbb {K} ,|\cdot |)}$ und ${\displaystyle (X_{2},\|\cdot \|_{_{X_{2}}}):=(A,\|\cdot \|)}$ mit ${\displaystyle \|\cdot \|:A\to \mathbb {R} _{o}^{+}}$ die submultiplikative Norm auf der Algebra ${\displaystyle A}$.

Beweisen Sie das obige Korollar unter Verwendung der Beweisideen aus dem Stetigkeitssatz für lineare Abbildungen. Hinweise:

• Nutzen Sie dabei die Äquivalenz von

$${\displaystyle {\begin{array}{rcl}\|(x_{1},x_{2})\|&:=&\max\{\|x_{1}\|_{X_{1}},\|x_{2}\|_{X_{2}}\}\leq 1\\&\Longleftrightarrow &\|x_{1}\|_{X_{1}}\leq 1\wedge \|x_{2}\|_{X_{2}}\leq 1\\\end{array}}}$$.

• Nutzen Sie für die Abschätzung für ${\displaystyle (3)\to (4)}$ die Linearität in jeder Komponente.

In dem obigen Korollar wird eine Norm ${\displaystyle \|(x_{1},x_{2})\|:=\max\{\|x_{1}\|_{X_{1}},\|x_{2}\|_{X_{2}}\}}$ auf ${\displaystyle X_{1}\times X_{2}}$ definiert. Zeigen Sie, dass ${\displaystyle \|(x_{1},x_{2})\|_{\ast }:=\|x_{1}\|_{X_{1}}+\|x_{2}\|_{X_{2}}}$ eine äquivalente Norm auf ${\displaystyle X_{1}\times X_{2}}$ ist.

Die Bedingung (4) aus dem Stetigkeitssatz für lineare Abbildungen führt zur Einführung der Operatorraum. Damit macht man den Vektorraum der stetigen linearen Funktionen ${\displaystyle {\mathcal {L}}_{C}(V,W)}$ als Teilmenge aller linearen Abbildungen ${\displaystyle {\mathcal {L}}(V,W)}$ selbst zu einem normierten Raum. (der Index ${\displaystyle C}$ in ${\displaystyle {\mathcal {L}}_{C}(V,W)}$ steht für "continuous" stetig).

Alternativ zu (3) kann man die Aussage auch wie folgt formulieren

(3') Es existiert ein ${\displaystyle M>0}$ mit ${\displaystyle \|T\|_{\mathcal {L}}:=\sup\{\|T(x)\|_{Y}\,:\,\|x\|_{X}=1\}\leq M}$

Dies ist äquivalent zu

${\displaystyle {\begin{array}{rcl}\|T\|_{\mathcal {L}}&=&\sup _{v\in V\setminus \{0\}}{\frac {\|T(v)\|_{W}}{\|v\|_{V}}}\\&=&\sup _{\|v\|_{V}=1}\|T(v)\|_{W}=\sup _{\|v\|_{V}\leq 1}\|T(v)\|_{W}.\\\end{array}}}$

Seien ${\displaystyle (V,\|\cdot \|_{V})}$ und ${\displaystyle (W,\|\cdot \|_{W})}$ normierte Vektorräume über dem Körper ${\displaystyle \mathbb {K} }$ und ${\displaystyle {\mathcal {L}}(V,W):=\{T\colon V\to W\mid T\ {\text{linear}}\}}$ die Menge der linearen Abbildung von ${\displaystyle V}$ nach ${\displaystyle W}$. sei ${\displaystyle T\colon V\rightarrow W}$ ein linearer Operator. Dann ist die Operatornorm

${\displaystyle \|{\cdot }\|_{\mathcal {L}}\;\colon \;{\mathcal {L}}(V,W)\to \mathbb {R} _{0}^{+}\cup \{\infty \}}$

bezüglich der Vektornormen ${\displaystyle \|\cdot \|_{V}}$ und ${\displaystyle \|\cdot \|_{W}}$ durch

${\displaystyle \|T\|_{\mathcal {L}}:=\inf \left\{M\geq 0\mid \forall v\in V\colon \|T(v)\|_{W}\leq M\,\|v\|_{V}\right\}}$

definiert.

Die Operatornorm ${\displaystyle \|T\|_{\mathcal {L}}}$ liefert eine kleinste obere Schranke für die Streckung von Vektoren aus der der Einheitskugel in ${\displaystyle (X,\|\cdot \|_{X})}$.

Für endlichdimensionale Vektorräume ist diese Unterscheidung nicht notwendig, da jede endlichdimensionale lineare Abbildung stetig ist.

Beweisen Sie den Satz, dass lineare Abbildungen mit einem endlichdimensionalen Definitionsbereich ${\displaystyle V}$ stetig sind.

Sei ${\displaystyle dim(V)=n}$ und ${\displaystyle B=(b_{1},\ldots ,b_{n})}$ eine Basis von nomierten Vektoren für ${\displaystyle V}$ (d.h. ${\displaystyle \|b_{k}\|_{V}=1}$ für alle ${\displaystyle k\in \{1,\ldots ,n\}}$).

• Nutzen Sie die Aussage (3) aus dem Stetigkeitssatz für lineare Abbildungen.
• Wählen Sie ${\displaystyle v}$ aus der abgeschlossenen Einheitskugel ${\displaystyle {\overline {B_{1}^{\|\cdot \|_{V}}(0_{V})}}}$.
• Stellen Sie ${\displaystyle v}$ als Linearkombination der Basisvektoren dar.
• Schätzen Sie die Norm ${\displaystyle \left\|T(v)\right\|_{W}}$ nach oben ab.

Bei stetigen linearen Abbildung von einem normierten Raum ${\displaystyle (V,\|\cdot \|_{V})}$ nach ${\displaystyle (W,\|\cdot \|_{W})}$ ist das Bild ${\displaystyle T\left({\overline {B_{1}^{\|\cdot \|_{V}}(0_{V})}}\right)}$ der abgeschlossenen Einheitskugel ${\displaystyle {\overline {B_{1}^{\|\cdot \|_{V}}(0_{V})}}}$ bzgl. der Norm ${\displaystyle \|\cdot \|_{W}}$ beschränkt.

Seien ${\displaystyle (X,\|\cdot \|_{\mathcal {A}})}$ und ${\displaystyle (Y,\|\cdot \|_{\widetilde {\mathcal {A}}})}$ topologische Vektorräume mit den Systemen von topologieerzeugenden Gaugefunktionalen über dem Körper ${\displaystyle \mathbb {K} }$ und

${\displaystyle T:X\rightarrow Y}$ eine lineare Abbildungen, dann sind folgende Aussagen äquivalent:

• (1) T ist stetig in jedem Punkt ${\displaystyle x\in X}$
• (2) T ist stetig im Nullvektor ${\displaystyle 0_{X}\in X}$
• (3) ${\displaystyle \forall _{{\widetilde {\alpha }}\in {\widetilde {\mathcal {A}}}}\exists _{\alpha \in {\mathcal {A}},\,M_{\alpha }>0}\forall _{x\in X}\,:\,\|x\|_{\alpha }\leq 1\Longrightarrow \|T(x)\|_{\widetilde {\alpha }}\leq M_{\alpha }}$
• (4) ${\displaystyle \forall _{{\widetilde {\alpha }}\in {\widetilde {\mathcal {A}}}}\exists _{\alpha \in {\mathcal {A}},\,M_{\alpha }>0}\forall _{x\in X}\,:\,\|T(x)\|_{\widetilde {\alpha }}\leq M_{\alpha }\cdot \|x\|_{\alpha }}$ ,

Auch der Stetigkeitssatz für Lineare Abbildung auf topologischen Vektorräumen (SLAT) wird als Ringschluss von (1) ${\displaystyle \Rightarrow }$ (2) ${\displaystyle \Rightarrow }$ (3) ${\displaystyle \Rightarrow }$ (4) ${\displaystyle \Rightarrow }$ (1) bewiesen.

Die Aussage des Stetigkeitssatzes gilt analog für bilineare Abbildungen und normierte Räume: Seien ${\displaystyle (X_{1},\|\cdot \|_{{\mathcal {A}}_{1}})}$, ${\displaystyle (X_{2},\|\cdot \|_{{\mathcal {A}}_{2}})}$ und ${\displaystyle (Y,\|\cdot \|_{\widetilde {\mathcal {A}}})}$ normierte Räume über dem Körper ${\displaystyle \mathbb {K} }$ und

${\displaystyle T:X_{1}\times X_{2}\rightarrow Y}$ eine bilineare Abbildungen, dann sind folgende Aussagen äquivalent:

• (1) T ist stetig in jedem Punkt ${\displaystyle (x_{1},x_{2})\in X_{1}\times X_{2}}$
• (2) T ist stetig im Nullvektor ${\displaystyle (0_{X_{1}},0_{X_{2}})\in X_{1}\times X_{2}}$
• (3) ${\displaystyle \forall _{{\widetilde {\alpha }}\in {\widetilde {\mathcal {A}}}}\exists _{\alpha _{1}\in {\mathcal {A}}_{1},\alpha _{2}\in {\mathcal {A}}_{2},\,M>0}\forall _{(x_{1},x_{2})\in X_{1}\times X_{2}}\,:\|T(x_{1},x_{2})\|_{\widetilde {\alpha }}\leq M}$ für alle ${\displaystyle (x_{1},x_{2})\in X_{1}\times X_{2}}$ mit ${\displaystyle \|(x_{1},x_{2})\|_{(\alpha _{1},\alpha _{1})}:=\max\{\|x_{1}\|_{\alpha _{1}},\|x_{2}\|_{\alpha _{2}}\}\leq 1}$
• (4) ${\displaystyle \forall _{{\widetilde {\alpha }}\in {\widetilde {\mathcal {A}}}}\exists _{\alpha _{1}\in {\mathcal {A}}_{1},\alpha _{2}\in {\mathcal {A}}_{2},\,M>0}\forall _{(x_{1},x_{2})\in X_{1}\times X_{2}}\,:\,\|T(x_{1},x_{2})\|_{\widetilde {\alpha }}\leq M\cdot \|x_{1}\|_{\alpha _{1}}\cdot \|x_{2}\|_{\alpha _{2}}}$ für alle ${\displaystyle (x_{1},x_{2})\in X_{1}\times X_{2}}$,

Die Indexmengen ${\displaystyle I}$ der Netze werden in Abhängigkeit von der Indexmenge der Gaugefunktionale gewählt. ${\displaystyle I:={\mathcal {A}}\times \mathbb {R} ^{+}}$ ist dabei eine geeignete Wahl (siehe Gaugefunktionale und partielle Ordnung).

• Stetigkeitssatz für normierte Räume
• Stetigkeitssatz für topologische Vektorräume
• bilineare Abbildungen
• Netze (Mathematik)
• Hahn-Banach - normierte Räume
• Kurs:Funktionalanalysis
• Kontraposition
• Konvergenz in normierten Räumen
• Normenäquivalenzsatz
• Stetigkeit in topologischen Räumen
• Submultiplikativität
• Kurs:Maßtheorie auf topologischen Räumen

Diese Lernresource wurde als Wiki2Reveal Foliensatz erstellt.

Dieser Wiki2Reveal Foliensatz wurde für den Lerneinheit Kurs:Funktionalanalysis' 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/Stetigkeitsatz_f%C3%BCr_Lineare_Abbildungen
• siehe auch weitere Informationen zu Wiki2Reveal und unter Wiki2Reveal-Linkgenerator.