Stetigkeitssatz für lineare Abbildungen/Normierte Räume

Stetigkeitssatz für lineare Abbildung - normierte Räumen

Seien $(X,\Vert \cdot {\Vert }_X)$ und $(Y,\Vert \cdot {\Vert }_Y)$ normierte Räume über dem Körper $𝕂$ und

$T:X\to 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 $\Vert T(x){\Vert }_Y\le M$ für alle $x\in X$ mit $\Vert x{\Vert }_X\le 1$
• (4) Es existiert ein $M>0$ mit $\Vert T(x){\Vert }_Y\le M\cdot \Vert x{\Vert }_X$ für alle $x\in X$,

Alternative Formulierung von (3)

• (3) Es existiert ein $M>0$ mit $\Vert T(x){\Vert }_Y\le M$ für alle $x\in X$ mit $\Vert x{\Vert }_X\le 1$
• (3a) Es existiert ein $M>0$ mit $\Vert T(x){\Vert }_Y\le M$ für alle $x\in X$ mit $\Vert x{\Vert }_X=1$
• (3b) Es existiert ein $M>0$ mit $\underset{\Vert x{\Vert }_X=1}{\sup }\Vert T(x){\Vert }_Y\le M$
• (3c) Die Operatornorm $\Vert T{\Vert }_{ℒ}:=\underset{\Vert x{\Vert }_X=1}{\sup }\Vert T(x){\Vert }_Y<\mathrm{\infty }$

Beweis

Ringschluss von (1) $\Rightarrow$ (2) $\Rightarrow$ (3) $\Rightarrow$ (4) $\Rightarrow$ (1)

Folgerung (1) nach (2)

klar, da der Nullvektor $0_X\in X$

Folgerung (2) nach (3)

Wir zeigen die Kontraposition.

• Annahme: Es exisitiert eine Folge $(x_n{)}_{n\in \mathbb{N}}$ aus der abgeschlossenen Einheitskugel $\overline{B_1^{\Vert \cdot {\Vert }_X}(0_X)}$, die eine unbeschränkte Bildfolge ${(T(x_n))}_{n\in \mathbb{N}}$ mit $\underset{n\to \mathrm{\infty }}{\lim }{\Vert T(x_n)\Vert }_Y=+\mathrm{\infty }$ besitzt.
• Wir folgern dann, dass $T$ in dem Nullvektor $0_X\in X$ nicht stetig ist.

Folgerung (2) nach (3) - Teil 1

Annahme, dass die Menge $\{\Vert T(x){\Vert }_Y|x\in X\wedge \Vert x{\Vert }_X\le 1\}$ unbeschränkt ist. D.h. es gibt eine Folge $(x_n{)}_{n\in \mathbb{N}}\in (X\setminus \{{\mathrm{𝟘}}_X\}{)}^{\mathbb{N}}$ mit dem Nullvektor ${\mathrm{𝟘}}_X\in X$ mit

$\Vert T(x_n){\Vert }_Y\ge n\text{ und }0<\Vert x_n{\Vert }_X\le 1$ .

Mit dieser unbeschränkten Bildfolge in $Y$ erzeugen wir nun ein Nullfolge in $(\widehat{x_n}{)}_{n\in \mathbb{N}}$ in $X$, dessen Bildfolgenglieder $T(\widehat{x_n})$ auf dem topologischen Rand der Einheitskugel $\overline{B_1^{\Vert \cdot {\Vert }_Y}(0_Y)}$ liegen.

Folgerung (2) nach (3) - Teil 2

Wir definierten die Folgenglieder $\widehat{x_n}$ über die $x_n$ aus Teil 1 wie folgt.

$(\widehat{x_n}{)}_{n\in \mathbb{N}}={(\frac{1}{\Vert T(x_n){\Vert }_Y}\cdot x_n)}_{n\in \mathbb{N}}\in (X\setminus \{{\mathrm{𝟘}}_X\}{)}^{\mathbb{N}}$

Damit ist die Folge $(\widehat{x_n}{)}_{n\in \mathbb{N}}\in (X\setminus \{{\mathrm{𝟘}}_X{\}}^{\mathbb{N}}$ eine Nullfolge in $X$, denn es gilt:

${\Vert \frac{1}{\Vert T(x_n){\Vert }_Y}\cdot x_n\Vert }_X=\frac{1}{\Vert T(x_n){\Vert }_Y}\cdot {\Vert x_n\Vert }_X\le \frac{1}{n}\cdot \underset{\le 1}{\underbrace{\Vert x_n{\Vert }_X}}\le \frac{1}{n}{}_{\stackrel{⟶}{n\to \mathrm{\infty }}}0$

Folgerung (2) nach (3) - Teil 3

Auf der anderen Seite liegen die Folgenglieder der Bildfolge $T(\widehat{x_n})$ auf dem Rand der Einheitskugel in $Y$ und kann daher keine Nullfolge in $Y$ sein, denn es gilt:

$\begin{array}{ccc}\Vert T(\widehat{x_n}){\Vert }_Y& =& {\Vert T(\frac{1}{\Vert T(x_n){\Vert }_Y}\cdot x_n)\Vert }_Y\stackrel{Tlin}{=}{\Vert \frac{1}{\Vert T(x_n){\Vert }_Y}\cdot T(x_n)\Vert }_Y\\ & \stackrel{Normhom}{=}& \frac{1}{\Vert T(x_n){\Vert }_Y}\cdot \Vert T(x_n){\Vert }_Y=1\end{array}$

Folgerung (2) nach (3) - Teil 4

Wenn also $(\widehat{x_n}{)}_{n\in \mathbb{N}}\in (X\setminus \{{\mathrm{𝟘}}_X{\}}^{\mathbb{N}}$ gegen den Nullvektor ${\mathrm{𝟘}}_X$ aus $X$ muss bei einer im Nullvektor ${\mathrm{𝟘}}_X\in X$ linearen Abbildung $T$ auch die Bildfolge $(T(\widehat{x_n}){)}_{n\in \mathbb{N}}$ gegen den Nullvektor ${\mathrm{𝟘}}_Y$ konvergieren. Da aber die Bildfolgenglieder $T(\widehat{x_n})$ auf dem Rand der Einheitskugel in $Y$ liegen, kann die Bildfolge ${(T(\widehat{x_n}))}_{n\in \mathbb{N}}\in Y^{\mathbb{N}}$ nicht gegen den Nullvektor ${\mathrm{𝟘}}_Y\in Y$ konvergieren. Damit ist die lineare Abbildung $T$ in $0_X$ nicht stetig.

Folgerung (3) nach (4) - Fallunterscheidung

Nach Voraussetzung gilt (3), d.h.: Es existiert ein $M>0$ mit $\Vert T(x){\Vert }_Y\le M$ für alle $x\in X$ mit $\Vert x{\Vert }_X\le 1$. Man wählt für das gesucht $M>0$ der Aussage (4) das durch Aussage (3) gegebene $M>0$ und betrachtet die Fallunterscheidung für $x=0_X$ und $x=0_X$:

Folgerung (3) nach (4) - Fall 1

In Fall 1 weisen wir nach, dass due Ungleichung (4) für den Nullvektor $0_X\in X$ efüllt ist. Es gilt:

$\Vert T(0_X){\Vert }_Y=\Vert 0_Y{\Vert }_Y=0=\Vert 0_X{\Vert }_X=M\cdot \Vert 0_X{\Vert }_X$

Folgerung (3) nach (4) - Fall 2.1

In Fall 2 sei nun $x=0_X$ und $x\in X$ beliebig gewählt. Dann liegt der Vektor $\hat{x}:=\frac{x}{\Vert x{\Vert }_X}$ auf dem topologischen Rand der abgeschlossenen Einheitskugel $\overline{B_1^{\Vert \cdot {\Vert }_X}(0_X)}$ in $X$, denn es gilt:

$\Vert \hat{x}{\Vert }_X={\Vert \frac{x}{\Vert x{\Vert }_X}\Vert }_X=\frac{\Vert x{\Vert }_X}{\Vert x{\Vert }_X}=1$

Folgerung (3) nach (4) - Fall 2.2

Da nun $\Vert \hat{x}{\Vert }_X\le 1$ erfüllt ist, kann die Aussage (3) auf $\hat{x}:=\frac{x}{\Vert x{\Vert }_X}$ angewendet werden und man erhält:

$\begin{array}{ccc}M& \ge & \Vert T(\hat{x}){\Vert }_Y={\Vert T\left(\frac{x}{\Vert x{\Vert }_X}\right)\Vert }_Y\\ & \stackrel{Tlin}{=}& {\Vert \frac{1}{\Vert x{\Vert }_X}\cdot T(x)\Vert }_Y\\ & \stackrel{Normhom.}{=}& \left|\frac{1}{\Vert x{\Vert }_X}\right|\cdot \Vert T(x){\Vert }_Y=\frac{1}{\Vert x{\Vert }_X}\cdot \Vert T(x){\Vert }_Y\end{array}$

Insgesamt erhält man (3): $M\ge \Vert T(\hat{x}){\Vert }_Y=\frac{1}{\Vert x{\Vert }_X}\cdot \Vert T(x){\Vert }_Y$ bzw. $\Vert T(x){\Vert }_Y\le M\cdot \Vert x{\Vert }_X$

Folgerung (4) nach (1) - Teil 1

• Nach Voraussetzung gelte (4), d.h. es existiert ein $M>0$ mit $\Vert T(x){\Vert }_Y\le M\cdot \Vert x{\Vert }_X$ für alle $x\in X$.
• Wir zeigen nun, dass die lineare Abbildung $T$ in einem beliebigen Punkt $x_o\in X$ stetig ist.d

D.h. wir zeigen, dass aus $\underset{n\to \mathrm{\infty }}{\overset{\Vert \cdot {\Vert }_X}{\lim }}{x}_n=x_o$ auch die Konvergenz der Bildfolge $\underset{n\to \mathrm{\infty }}{\overset{\Vert \cdot {\Vert }_Y}{\lim }}T(x_n)=T(x_o)$ gegen $T(x_o)$ erfüllt ist. Über dem Limes steht die Norm, bzgl. der die Konvergenz formuliert wird. Dies ist in unendlichdimensionalen Vektorräumen notwendig, da dort Normen nicht notwendigerweise äquivalent sind.

Folgerung (4) nach (1) - Teil 1

Für den Nachweis der Stetigkeit von $T$ in jedem Punkt aus $X$ sei nun $x_0\in X$ beliebig gewählt. Ferner sei ein Folge $(x_n{)}_{n\in \mathbb{N}}\in X^{\mathbb{N}}$ in $X$ mit $\underset{n\to \mathrm{\infty }}{\overset{\Vert \cdot {\Vert }_X}{\lim }}{x}_n=x_o$ gegeben, die also gegen $x_0\in X$ bzgl. der Norm $\Vert \cdot {\Vert }_X$ konvergiert. Für den Nachweis der Konvergenz der Bildfolge $(T(x_n){)}_{n\in \mathbb{N}}\in Y^{\mathbb{N}}$ gegen $T(x_0)\in Y$ verwenden man die Linearität und die Einschachtelung der Bildfolge durch Verwendung der Ungleichung (4).

Folgerung (4) nach (1) - Teil 2

Für den Nachweis der Konvergenz der Folge $(T(x_n){)}_{n\in \mathbb{N}}\in Y^{\mathbb{N}}$ gegen $T(x_0)\in Y$ wird Abstand zwischen Folgengliedern $T(x_n)$ und $T(x_o)$ wie folgt abgeschätzt:

$\begin{array}{ccc}0& \le & \Vert T(x_n)-T(x_0){\Vert }_Y\stackrel{Tlin.}{=}\Vert T(x_n-x_0){\Vert }_Y\\ & \stackrel{(4)}{\le }& M\cdot \Vert x_n-x_0{\Vert }_X{}_{\stackrel{⟶}{n\to \mathrm{\infty }}}0\end{array}$,

da $(x_n{)}_{n\in \mathbb{N}}\in X^{\mathbb{N}}$ in $X$ gegen $x_0\in X$ konvergiert und mit $\Vert x_n-x_0{\Vert }_X{}_{\stackrel{⟶}{n\to \mathrm{\infty }}}0$ durch Abschätzung auch $\Vert T(x_n)-T(x_0){\Vert }_Y{}_{\stackrel{⟶}{n\to \mathrm{\infty }}}0$ konvergiert.

Ringschluss

Damit wurde mit dem Ringschluss die Äquivalenz der Aussagen (1)-(4) nachgewiesen. $◻$

Siehe auch

• Stetigkeitssatz für lineare Abbildungen auf topologischen Vektorräumen - Verallgemeinerung
• Netze (Mathematik)
• Hahn-Banach - normierte Räume
• Kurs:Funktionalanalysis
• Kontraposition
• Konvergenz in normierten Räumen
• Normenäquivalenzsatz
• Stetigkeit in topologischen Räumen
• 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 Stetigkeitssatz für lineare Abbildungen' 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/Stetigkeitssatz%20f%C3%BCr%20lineare%20Abbildungen/Normierte%20R%C3%A4ume
• siehe auch weitere Informationen zu Wiki2Reveal und unter Wiki2Reveal-Linkgenerator.