Normierte Vektorräume/Topologie/Stetigkeit/Einführung/Textabschnitt

Teilmengen in einem metrischen Raum

Die Gestalt der Kugelumgebungen hängt von der Norm bzw. Metrik ab.

Definition

Es sei ${}(M,d)$ ein metrischer Raum, ${}x\in M$ und ${}\epsilon >0$ eine positive reelle Zahl. Es ist

${}U{\left(x,\epsilon \right)}={\left\{y\in M\mid d(x,y)<\epsilon \right\}}\,$

die offene und

${}B\left(x,\epsilon \right)={\left\{y\in M\mid d(x,y)\leq \epsilon \right\}}\,$

die abgeschlossene ${}\epsilon$-Kugel um ${}x$.

Natürlich müssen Kugeln nicht unbedingt kugelförmig aussehen, aber sie tun es in der euklidischen Norm. Für ${}x\in \mathbb {R}$ ist ${}U{\left(x,\epsilon \right)}$ einfach das beidseitig offene Intervall ${}]x-\epsilon ,x+\epsilon [$ und ${}B\left(x,\epsilon \right)$ ist einfach das beidseitig abgeschlossene Intervall ${}[x-\epsilon ,x+\epsilon ]$.

Eine Teilmenge ist offen, wenn jeder Punkt darin gleich mit einer vollen Kugelumgebung drin liegt. Bei einer solchen Menge ist es entscheidend, ob die Randpunkte dazu gehören oder nicht.

Definition

Es sei ${}(M,d)$ ein metrischer Raum. Eine Teilmenge ${}U\subseteq M$ heißt offen (in $(M,d)$), wenn für jedes ${}x\in U$ ein ${}\epsilon >0$ mit

${}U{\left(x,\epsilon \right)}\subseteq U\,$

existiert.

Definition

Es sei ${}(M,d)$ ein metrischer Raum. Eine Teilmenge ${}A\subseteq M$ heißt abgeschlossen, wenn das Komplement ${}M\setminus A$ offen ist.

Achtung! Abgeschlossen ist nicht das „Gegenteil“ von offen. Die „allermeisten“ Teilmengen eines metrischen Raumes sind weder offen noch abgeschlossen, es gibt aber auch Teilmengen, die sowohl offen als auch abgeschlossen sind, z.B. die leere Teilmenge und die Gesamtmenge. Offene Bälle sind in der Tat offen und abgeschlossene Bälle sind abgeschlossen, siehe Aufgabe und Aufgabe.

Lemma

Es sei ${}(M,d)$ ein metrischer Raum. Dann gelten folgende Eigenschaften.

1. Die leere Menge ${}\emptyset$ und die Gesamtmenge ${}M$ sind offen.
2. Es sei ${}I$ eine beliebige Indexmenge und seien ${}U_{i}$, ${}i\in I$, offene Mengen. Dann ist auch die Vereinigung

   $\bigcup _{i\in I}U_{i}$

   offen.

3. Es sei ${}I$ eine endliche Indexmenge und seien ${}U_{i}$, ${}i\in I$, offene Mengen. Dann ist auch der Durchschnitt

   $\bigcap _{i\in I}U_{i}$

   offen.

Beweis

Siehe Aufgabe.

$\Box$

Die offenen Mengen in einem metrischen Raum bilden somit eine Topologie im Sinne der folgenden Definition.

Definition

Ein topologischer Raum ${}(X,{\mathcal {T}})$ besteht aus einer Menge ${}X$ zusammen mit einer Teilmenge ${}{\mathcal {T}}$ der Potenzmenge von ${}X$, die folgende strukturelle Bedingungen erfüllt (die Teilmengen $U\subseteq X$, die zu ${}{\mathcal {T}}$ gehören, nennt man offene Mengen).

1. Die leere Menge und die ganze Menge ${}X$ sind offen (d.h. gehören zu ${}{\mathcal {T}}$).
2. Der Durchschnitt von endlich vielen offenen Mengen ist wieder offen, d.h. mit ${}U_{1},\ldots ,U_{n}\in {\mathcal {T}}$ ist auch ${}U_{1}\cap \ldots \cap U_{n}\in {\mathcal {T}}$.
3. Die Vereinigung von beliebig vielen offenen Mengen ist wieder offen, d.h. mit ${}U_{i}\in {\mathcal {T}}$ für jedes ${}i\in I$ (zu einer beliebigen Indexmenge ${}I$) ist auch ${}\bigcup _{i\in I}U_{i}\in {\mathcal {T}}$.

Äquivalente Normen

Definition

Es sei ${}V$ ein ${}{\mathbb {K} }$-Vektorraum. Zwei Normen ${}\Vert {-}\Vert _{1}$ und ${}\Vert {-}\Vert _{2}$ heißen äquivalent, wenn sie die gleiche Topologie, also die gleichen offenen Mengen definieren.

Beispiel

Auf dem ${}\mathbb {R} ^{n}$ sind die euklidische Norm, die Summennorm und die Maximumsnorm äquivalent. Es sei dazu ${}x=\left(x_{1},\,\ldots ,\,x_{n}\right)\in \mathbb {R} ^{n}$ ein Vektor, wobei ohne Einschränkung ${}x_{1}$ betragsmäßig der größte Eintrag sei. Dann gelten die Abschätzungen

${}\Vert {x}\Vert _{\rm {max}}=\vert {x_{1}}\vert ={\sqrt {x_{1}^{2}}}\leq {\sqrt {x_{1}^{2}+x_{2}^{2}+\cdots +x_{n}^{2}}}\leq {\sqrt {nx_{1}^{2}}}={\sqrt {n}}\vert {x_{1}}\vert ={\sqrt {n}}\Vert {x}\Vert _{\rm {max}}\,$

und diese ergeben im Wesentlichen die Äquivalenz von euklidischer Norm und Maximumsnorm.

Wir werden später sehen, dass auf einem endlichdimensionalen ${}{\mathbb {K} }$-Vektorraum zwei Normen stets äquivalent sind. Dies bedarf einiger Vorbereitungen, die insbesondere den Begriff der Kompaktheit betreffen.

Kompaktheit

Definition

Eine Teilmenge ${}T\subseteq M$ eines metrischen Raumes ${}M$ heißt beschränkt, wenn es eine reelle Zahl ${}b$ mit

$d{\left(x,y\right)}\leq b{\text{ für alle }}x,y\in T$

gibt.

Definition

Eine Teilmenge ${}T\subseteq \mathbb {R} ^{m}$ heißt kompakt, wenn sie abgeschlossen und beschränkt ist.

Die Beschränktheit und damit nach der vorstehenden Definition auch die Kompaktheit hängt wesentlich von der gewählten Metrik ab. Es ist wichtig, auch einen Kompaktheitsbegriff zu besitzen, der rein topologisch ist.

Definition

Ein topologischer Raum ${}X$ heißt kompakt (oder überdeckungskompakt), wenn es zu jeder offenen Überdeckung

$X=\bigcup _{i\in I}U_{i}\,\,\,{\text{ mit }}U_{i}{\text{ offen und einer beliebigen Indexmenge }}I$

eine endliche Teilmenge ${}J\subseteq I$ derart gibt, dass

${}X=\bigcup _{i\in J}U_{i}\,$

ist.

Der folgende Satz heißt Satz von Heine-Borel.

Satz

Es sei ${}T\subseteq \mathbb {R} ^{n}$ eine Teilmenge, wobei der ${}\mathbb {R} ^{n}$ mit der euklidischen Metrik versehen sei. Dann sind folgende Aussagen äquivalent.

1. ${}T$ ist überdeckungskompakt.
2. Jede Folge ${}{\left(x_{n}\right)}_{n\in \mathbb {N} }$ in ${}T$ besitzt einen Häufungspunkt in ${}T$.
3. Jede Folge ${}{\left(x_{n}\right)}_{n\in \mathbb {N} }$ in ${}T$ besitzt eine in ${}T$ konvergente Teilfolge.
4. ${}T$ ist abgeschlossen und beschränkt.

Stetige Abbildungen zwischen metrischen Räumen

Ein metrischer Raum ist dadurch ausgezeichnet, dass es in ihm eine Abstandsfunktion gibt, und dass dadurch zwei Punkte „näher“ zueinander liegen können als zwei andere Punkte. Bei einer Abbildung

$f\colon L\longrightarrow M$

zwischen zwei metrischen Räumen kann man sich fragen, inwiefern der Abstand im Werteraum ${}M$ durch den Abstand im Definitionsraum ${}L$ kontrollierbar ist. Sei ${}x\in L$ und ${}y=f(x)$ der Bildpunkt. Man möchte, dass für Punkte ${}x'\in L$, die „nahe“ an ${}x$ sind, auch die Bildpunkte ${}f(x')$ nahe an ${}f(x)$ sind. Um diese intuitive Vorstellung zu präzisieren, sei ein ${}\epsilon >0$ vorgegeben. Dieses ${}\epsilon$ repräsentiert eine „gewünschte Zielgenauigkeit“. Die Frage ist dann, ob man ein ${}\delta >0$ finden kann (eine „Startgenauigkeit“) mit der Eigenschaft, dass für alle ${}x'$ mit ${}d{\left(x,x'\right)}\leq \delta$ die Beziehung ${}d{\left(f(x),f(x')\right)}\leq \epsilon$ gilt. Dies führt zum Begriff der stetigen Abbildung.

Definition

Es seien ${}(L,d_{1})$ und ${}(M,d_{2})$ metrische Räume,

$f\colon L\longrightarrow M$

eine Abbildung und ${}x\in L$. Die Abbildung ${}f$ heißt stetig in ${}x$, wenn für jedes ${}\epsilon >0$ ein ${}\delta >0$ derart existiert, dass

${}f{\left(B\left(x,\delta \right)\right)}\subseteq B\left(f(x),\epsilon \right)\,$

gilt. Die Abbildung ${}f$ heißt stetig, wenn sie stetig in ${}x$ für jedes ${}x\in L$ ist.

Statt mit den abgeschlossenen Ballumgebungen könnte man hier genauso gut mit den offenen Ballumgebungen arbeiten. Die einfachsten Beispiele für stetige Abbildungen sind konstante Abbildungen, die Identität eines metrischen Raumes und die Inklusion ${}T\subseteq M$ einer mit der induzierten Metrik versehenen Teilmenge eines metrischen Raumes. Siehe dazu die Aufgaben.

Satz

Es sei

$f\colon L\longrightarrow M,\,x\longmapsto f(x),$

eine Abbildung zwischen den metrischen Räumen ${}L$ und ${}M$. Dann sind folgende Aussagen äquivalent.

1. ${}f$ ist stetig in jedem Punkt ${}x\in L$.
2. Für jeden Punkt ${}x\in L$ und jedes ${}\epsilon >0$ gibt es ein ${}\delta >0$ mit der Eigenschaft, dass aus ${}d(x,x')\leq \delta$ folgt, dass ${}d(f(x),f(x'))\leq \epsilon$ ist.
3. Für jeden Punkt ${}x\in L$ und jede konvergente Folge ${}{\left(x_{n}\right)}_{n\in \mathbb {N} }$ in ${}L$ mit ${}\lim _{n\rightarrow \infty }x_{n}=x$ ist auch die Bildfolge ${}{\left(f(x_{n})\right)}_{n\in \mathbb {N} }$ konvergent mit dem Grenzwert ${}f(x)$.
4. Für jede offene Menge ${}V\subseteq M$ ist auch das Urbild ${}f^{-1}(V)$ offen.

Die Eigenschaft (4) zeigt, dass es sich bei der Stetigkeit um eine rein topologische Eigenschaft handelt.

Lineare stetige Abbildungen

Eine lineare Abbildung ist im Allgemeinen nicht stetig. Allerdings gibt es eine relativ einfache Charakterisierung der Stetigkeit einer linearen Abbildung, man muss nämlich nur die Stetigkeit im Nullpunkt überprüfen. Weiter unten ergibt sich, dass diese Eigenschaft bei endlichdimensionalen Vektorräumen stets erfüllt ist.

Satz

Es seien ${}V$ und ${}W$ normierte ${}{\mathbb {K} }$-Vektorräume und

$\varphi \colon V\longrightarrow W$

eine lineare Abbildung. Dann sind folgende Eigenschaft äquivalent.

1. ${}\varphi$ ist stetig.
2. ${}\varphi$ ist stetig im Nullpunkt.
3. Die Menge

   ${\left\{\varphi (v)\mid v\in V,\,\Vert {v}\Vert =1\right\}}$

   ist beschränkt.

Beweis

Von (1) nach (2) ist klar. Von (2) nach (3). Es gibt insbesondere für ${}\epsilon =1$ ein ${}\delta >0$ derart, dass aus

${}\Vert {v}\Vert \leq \delta \,$

die Abschätzung

${}\Vert {\varphi (v)}\Vert \leq 1\,$

folgt. Aus

${}\Vert {v}\Vert \leq 1\,$

folgt dann wegen der skalaren Verträglichkeit

${}\Vert {\varphi (v)}\Vert \leq {\frac {1}{\delta }}\,.$

Von (3) nach (1). Es sei ${}C$ eine obere Schranke für die Norm der Werte auf der Einssphäre. Sei ${}v\in V$ gegeben. Es ist

${}{\begin{aligned}d(\varphi (v),\varphi (w))&=\Vert {\varphi (v)-\varphi (w)}\Vert \\&=\Vert {\varphi (v-w)}\Vert \\&=\Vert {v-w}\Vert \cdot \Vert {\varphi {\left({\frac {(v-w)}{\Vert {v-w}\Vert }}\right)}}\Vert \\&\leq \Vert {v-w}\Vert \cdot C.\end{aligned}}$

Zu ${}\epsilon >0$ kann man also

${}\delta :=\epsilon /C\,$

wählen.

$\Box$

Äquivalenz von Normen

Lemma

Es sei ${}V$ ein ${}{\mathbb {K} }$-Vektorraum und es seien ${}\Vert {-}\Vert _{1}$ und ${}\Vert {-}\Vert _{2}$ Normen auf ${}V$. Dann sind folgende Aussagen äquivalent.

1. Die beiden Normen sind äquivalent.
2. Die Identität

   $V\longrightarrow V$

   ist stetig, unabhängig davon, ob man ${}V$ links mit der ersten und rechts mit der zweiten Norm versieht oder umgekehrt.

3. Die ${}\Vert {-}\Vert _{1}$-Einheitskugel ist beschränkt in der ${}\Vert {-}\Vert _{2}$-Norm und umgekehrt.
4. Es gibt reelle Zahlen ${}a,b$ mit

   ${}\Vert {v}\Vert _{2}\leq a\Vert {v}\Vert _{1}\,$

   und

   ${}\Vert {v}\Vert _{1}\leq b\Vert {v}\Vert _{2}\,$

   für alle ${}v\in V$.

Beweis

Die Äquivalenz von (1) und (2) ergibt sich aus Fakt, die Äquivalenz von (2) und (3) aus Fakt. Die Eigenschaften (3) und (4) sind aufgrund der skalaren Verträglichkeit der Normen äquivalent.

$\Box$

Satz

Auf einem endlichdimensionalen ${}{\mathbb {K} }$-Vektorraum ${}V$ sind je zwei Normen

äquivalent.

Beweis

Wir verwenden Fakt. Die Norm und die Topologie hängen nur von dem zugrunde liegenden reellen Vektorraum ab, wir können also

${}{\mathbb {K} }=\mathbb {R} \,$

annehmen. Zu einer Basis ${}v_{1},\ldots ,v_{n}\in V$ gibt es einen Isomorphismus

$\varphi \colon \mathbb {R} ^{n}\longrightarrow V$

mit ${}e_{i}\mapsto v_{i}$. Da unter dem Isomorphismus ${}\varphi$ durch

${}\Vert {u}\Vert ':=\Vert {\varphi (u)}\Vert \,$

eine Norm auf dem ${}\mathbb {R} ^{n}$ definiert wird, können wir direkt ${}V=\mathbb {R} ^{n}$ annehmen. Wir vergleichen nun eine beliebige Norm auf dem ${}\mathbb {R} ^{n}$ mit der Maximumsnorm bzw. der euklidischen Norm, von denen wir nach Beispiel schon wissen, dass sie untereinander äquivalent sind. Es sei ${}v=\sum _{i=1}^{n}a_{i}e_{i}$. Wegen

${}{\begin{aligned}\Vert {v}\Vert &=\Vert {\sum _{i=1}^{n}a_{i}e_{i}}\Vert \\&\leq \sum _{i=1}^{n}\Vert {a_{i}e_{i}}\Vert \\&=\sum _{i=1}^{n}\vert {a_{i}}\vert \cdot \Vert {e_{i}}\Vert \\&\leq n\cdot {\max {\left(\Vert {e_{i}}\Vert ,i=1,\ldots ,n\right)}}\Vert {v}\Vert _{\rm {max}}\end{aligned}}$

sind hinreichend kleine ${}\Vert {-}\Vert _{\rm {max}}$-offene Bälle in ${}\Vert {-}\Vert$-offenen Bällen enthalten. Die Topologie zur Maximumsnorm ist also mindestens so fein wie die Topologie zu jeder anderen Norm. Zum Beweis der Umkehrung betrachten wir die Identität

$\mathbb {R} ^{n}\longrightarrow \mathbb {R} ^{n},$

wobei die Topologie links durch die euklidische (bzw. Maximumsnorm) und rechts durch die Norm gegeben sei. Diese Abbildung ist nach der bisherigen Überlegung stetig. Die euklidische Einheitssphäre ${}S$ links ist kompakt und nach Fakt ist ${}S$ bezüglich der Norm ${}\Vert {-}\Vert$ ebenfalls überdeckungskompakt. Diese nennen wir ${}S'$. Da ${}\mathbb {R} ^{n}$ mit jeder Norm ein Hausdorff-Raum ist, ist ${}S'$ wegen Aufgabe insbesondere abgeschlossen. Da der Nullpunkt nicht zu ${}S'$ gehört, gibt es ein

${}\delta >0\,$

mit

${}U{\left(0,\delta \right)}\cap S'=\emptyset \,$

(der offene Ball in der ${}\Vert {-}\Vert$-Topologie). Für ${}v\neq 0$ ist wegen ${}{\frac {v}{\Vert {v}\Vert _{\rm {euk}}}}\in S=S'$ also

${}\Vert {\frac {v}{\Vert {v}\Vert _{\rm {euk}}}}\Vert \geq \delta \,$

und somit

${}\Vert {v}\Vert _{\rm {euk}}\leq {\frac {1}{\delta }}\Vert {v}\Vert \,.$

$\Box$

Satz

Es seien ${}V$ und ${}W$ normierte ${}{\mathbb {K} }$-Vektorräume und

$\varphi \colon V\longrightarrow W$

eine lineare Abbildung. Es sei ${}V$ endlichdimensional.

Dann ist ${}\varphi$ stetig.

Beweis

Da das Bild der Abbildung ebenfalls ein endlichdimensionaler Vektorraum ist, können wir annehmen, dass beide Räume endlichdimensional sind. Ferner können wir annehmen, dass ${}V=\mathbb {R} ^{n}$ und ${}W=\mathbb {R} ^{m}$ ist und nach Fakt können wir annehmen, dass beidseitig die Maximumsnorm vorliegt. Es sei ${}a$ der maximale Betrag der Einträge in der beschreibenden Matrix ${}M=(a_{ij})_{ij}$ von ${}\varphi$ bezüglich der Standardbasen. Für ${}v\in \mathbb {R} ^{n}$ mit

${}\Vert {v}\Vert _{\rm {max}}\leq 1\,$

ist dann

${}\Vert {\varphi (v)}\Vert _{\rm {max}}=\Vert {\begin{pmatrix}\sum _{j=1}^{n}a_{1j}v_{j}\\\vdots \\\sum _{j=1}^{n}a_{nj}v_{j}\end{pmatrix}}\Vert _{\rm {max}}={\max {\left(\vert {\sum _{j=1}^{n}a_{ij}v_{j}}\vert ,i=1,\ldots ,m\right)}}\leq na\,.$

Daher folgt die Stetigkeit aus Fakt.

$\Box$