Stetigkeitssatz für lineare Abbildungen

Einleitung

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 Abbildungen - endlichdimensionale Vektorräume

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

Lineare Abbildungen - nicht stetig

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

Stetigkeitssatz für lineare Abbildung - normierte Räumen

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

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

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

Beweis

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

Korrollar SLA für bilineare Abbildungen

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

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

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

Bemerkung - Produktraum als Vektorraum

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

${\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 $\|(x_{1},x_{2})\|:=\max\{\|x_{1}\|_{X_{1}},\|x_{2}\|_{X_{2}}\}$ wird $X_{1}\times X_{2}$ ebenfalls zu einem normierten Raum.

Bedeutung des Korrolars

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. $(X_{1},\|\cdot \|_{_{X_{1}}}):=(\mathbb {K} ,|\cdot |)$ und $(X_{2},\|\cdot \|_{_{X_{2}}}):=(A,\|\cdot \|)$ mit $\|\cdot \|:A\to \mathbb {R} _{o}^{+}$ die submultiplikative Norm auf der Algebra $A$.

Aufgabe - Beweis Korollar

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

• Nutzen Sie dabei die Äquivalenz von

$${\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 $(3)\to (4)$ die Linearität in jeder Komponente.

Aufgabe - Äquivalenz der Normen - Produktraum

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

Operatornorm

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 ${\mathcal {L}}_{C}(V,W)$ als Teilmenge aller linearen Abbildungen ${\mathcal {L}}(V,W)$ selbst zu einem normierten Raum. (der Index $C$ in ${\mathcal {L}}_{C}(V,W)$ steht für "continuous" stetig).

Alternative Aussage

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

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

Dies ist äquivalent zu

${\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}}$

Definition: Operatornorm

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

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

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

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

definiert.

Lineare Abbildungen mit endlichdimensionalem Definitionbereich

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

Aufgabe 1

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

Beweisidee

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

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

Bemerkung: Stetigkeit und Normbeschränktheit

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

Stetigkeitssatz für lineare Abbildung auf topologischen Vektorräumen

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

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

• (1) T ist stetig in jedem Punkt $x\in X$
• (2) T ist stetig im Nullvektor $0_{X}\in X$
• (3) $\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) $\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 }$ ,

Beweis SLAT

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

Korrollar SLAT für bilineare Abbildungen

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

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

• (1) T ist stetig in jedem Punkt $(x_{1},x_{2})\in X_{1}\times X_{2}$
• (2) T ist stetig im Nullvektor $(0_{X_{1}},0_{X_{2}})\in X_{1}\times X_{2}$
• (3) $\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 $(x_{1},x_{2})\in X_{1}\times X_{2}$ mit $\|(x_{1},x_{2})\|_{(\alpha _{1},\alpha _{1})}:=\max\{\|x_{1}\|_{\alpha _{1}},\|x_{2}\|_{\alpha _{2}}\}\leq 1$
• (4) $\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 $(x_{1},x_{2})\in X_{1}\times X_{2}$,

Gaugefunktionale und partielle Ordnung

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

Siehe auch

• 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

Seiteninformation

Diese Lernresource wurde als Wiki2Reveal Foliensatz erstellt.

Wiki2Reveal

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.