Kurs:Lineare Algebra (Osnabrück 2015-2016)/Teil II/Vorlesung 52/latex
\setcounter{section}{52}
Auf dem $\R^n$ gibt es sehr viele verschiedene Normen, allerdings hängen sehr viele wichtige Begriffe wie die Konvergenz einer Folge, die Kompaktheit einer Teilmenge, die Stetigkeit einer Abbildung gar nicht von der Norm ab, sondern nur von der Topologie. Daher kann man sich häufig eine für das Problem besonders angemessene Norm frei wählen und sich dadurch viel Arbeit sparen. In dieser Vorlesung besprechen wir die topologischen Grundlagen für diesen Zugang, wobei wir weitgehend auf Beweise verzichten, die sich in einem Anhang finden. In den nächsten beiden Vorlesungen werden wir diese Methoden insbesondere auf das Konvergenzverhalten von Potenzen einer Matrix anwenden.
\zwischenueberschrift{Teilmengen in einem metrischen Raum}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Unit_disc_metrics.svg} }
\end{center}
\bildtext {Die Gestalt der Kugelumgebungen hängt von der Norm bzw. Metrik ab.} }
\bildlizenz { Unit disc metrics.svg } {} {Krishnavedala} {Commons} {PD} {}
\inputdefinition
{}
{
Es sei
\mathl{(M,d)}{} ein
\definitionsverweis {metrischer Raum}{}{,}
\mavergleichskette
{\vergleichskette
{x
}
{ \in }{ M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{ \epsilon
}
{ > }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine positive reelle Zahl. Es ist
\mavergleichskettedisp
{\vergleichskette
{ U { \left( x,\epsilon \right) }
}
{ =} { { \left\{ y \in M \mid d(x,y) < \epsilon \right\} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
die
\definitionswort {offene}{}
und
\mavergleichskettedisp
{\vergleichskette
{ B \left( x,\epsilon \right)
}
{ =} { { \left\{ y \in M \mid d(x,y) \leq \epsilon \right\} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
die
\definitionswort {abgeschlossene}{}
$\epsilon$-\definitionswort {Kugel}{} um $x$.
}
Natürlich müssen Kugeln nicht unbedingt kugelförmig aussehen, aber sie tun es in der euklidischen Norm. Für
\mavergleichskette
{\vergleichskette
{ x
}
{ \in }{ \R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist
\mathl{U { \left( x,\epsilon \right) }}{} einfach das beidseitig offene Intervall
\mathl{]x- \epsilon, x+ \epsilon[}{} und
\mathl{B \left( x,\epsilon \right)}{} ist einfach das beidseitig abgeschlossene Intervall
\mathl{[x- \epsilon, x+ \epsilon]}{.}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Neighborhood_illust1.svg} }
\end{center}
\bildtext {Eine Teilmenge ist offen, wenn jeder Punkt darin gleich mit einer vollen Kugelumgebung drin liegt. Bei einer solchen Menge ist es entscheidend, ob die \stichwort {Randpunkte} {} dazu gehören oder nicht.} }
\bildlizenz { Neighborhood illust1.svg } {} {Oleg Alexandrov} {Commons} {PD} {}
\inputdefinition
{}
{
Es sei
\mathl{(M,d)}{} ein
\definitionsverweis {metrischer Raum}{}{.} Eine Teilmenge
\mavergleichskette
{\vergleichskette
{U
}
{ \subseteq }{M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
heißt \definitionswort {offen}{}
\zusatzklammer {in \mathlk{(M,d)}{}} {} {,}
wenn für jedes
\mavergleichskette
{\vergleichskette
{x
}
{ \in }{U
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein
\mavergleichskette
{\vergleichskette
{ \epsilon
}
{ > }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskettedisp
{\vergleichskette
{ U { \left( x,\epsilon \right) }
}
{ \subseteq} { U
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
existiert.
}
\inputdefinition
{}
{
Es sei
\mathl{(M,d)}{} ein
\definitionsverweis {metrischer Raum}{}{.} Eine Teilmenge
\mavergleichskette
{\vergleichskette
{A
}
{ \subseteq }{ M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
heißt \definitionswort {abgeschlossen}{,} wenn das
\definitionsverweis {Komplement}{}{}
\mathl{M \setminus A}{}
\definitionsverweis {offen}{}{}
ist.
}
Achtung! Abgeschlossen ist nicht das \anfuehrung{Gegenteil}{} von offen. Die \anfuehrung{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 52.1 und Aufgabe 52.2.
{Metrischer Raum/Strukturelle Eigenschaften der offenen Mengen/Fakt}
{Lemma}
{}
{
\faktsituation {Es sei
\mathl{(M,d)}{} ein
\definitionsverweis {metrischer Raum}{}{.}}
\faktuebergang {Dann gelten folgende Eigenschaften.}
\faktfolgerung {\aufzaehlungdrei{Die
\definitionsverweis {leere Menge}{}{}
$\emptyset$ und die Gesamtmenge $M$ sind
\definitionsverweis {offen}{}{.}
}{Es sei $I$ eine beliebige Indexmenge und seien
\mathbed {U_i} {}
{i \in I} {}
{} {} {} {,}
offene Mengen. Dann ist auch die
\definitionsverweis {Vereinigung}{}{}
\mathdisp {\bigcup_{i \in I} U_i} { }
offen.
}{Es sei $I$ eine endliche Indexmenge und seien
\mathbed {U_i} {}
{i \in I} {}
{} {} {} {,}
offene Mengen. Dann ist auch der
\definitionsverweis {Durchschnitt}{}{}
\mathdisp {\bigcap_{i \in I} U_i} { }
offen.
}}
\faktzusatz {}
\faktzusatz {}
{ Siehe Aufgabe 52.3. }
Die offenen Mengen in einem metrischen Raum bilden somit eine Topologie im Sinne der folgenden Definition.
\inputdefinition
{}
{
Ein \definitionswort {topologischer Raum}{}
\mathl{(X,\mathcal T)}{} besteht aus einer Menge $X$ zusammen mit einer Teilmenge $\mathcal T$ der
\definitionsverweis {Potenzmenge}{}{}
von $X$, die folgende strukturelle Bedingungen erfüllt
\zusatzklammer {die Teilmengen
\mavergleichskettek
{\vergleichskettek
{ U
}
{ \subseteq }{ X
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
die zu $\mathcal T$ gehören, nennt man \definitionswort {offene Mengen}{}} {} {.}
\aufzaehlungdrei{Die leere Menge und die ganze Menge $X$ sind offen
\zusatzklammer {d.h. gehören zu $\mathcal T$} {} {.}
}{Der Durchschnitt von endlich vielen offenen Mengen ist wieder offen, d.h. mit
\mavergleichskette
{\vergleichskette
{ U_1 , \ldots , U_n
}
{ \in }{ \mathcal T
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist auch
\mavergleichskette
{\vergleichskette
{ U_1 \cap \ldots \cap U_n
}
{ \in }{ \mathcal T
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Die Vereinigung von beliebig vielen offenen Mengen ist wieder offen, d.h. mit
\mavergleichskette
{\vergleichskette
{ U_i
}
{ \in }{ \mathcal T
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für jedes
\mavergleichskette
{\vergleichskette
{ i
}
{ \in }{ I
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\zusatzklammer {zu einer beliebigen Indexmenge $I$} {} {}
ist auch
\mavergleichskette
{\vergleichskette
{ \bigcup_{i \in I} U_i
}
{ \in }{ \mathcal T
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}
}
\zwischenueberschrift{Äquivalente Normen}
\inputdefinition
{}
{
Es sei $V$ ein ${\mathbb K}$-\definitionsverweis {Vektorraum}{}{.} Zwei \definitionsverweis {Normen}{}{} \mathkor {} {\Vert {-} \Vert_1} {und} {\Vert {-} \Vert_2} {} heißen \definitionswort {äquivalent}{,} wenn sie die gleiche \definitionsverweis {Topologie}{}{,} also die gleichen \definitionsverweis {offenen Mengen}{}{} definieren.
}
\inputbeispiel{}
{
Auf dem $\R^n$ sind die
\definitionsverweis {euklidische Norm}{}{,}
die
\definitionsverweis {Summennorm}{}{}
und die
\definitionsverweis {Maximumsnorm}{}{} \definitionsverweis {äquivalent}{}{.}
Es sei dazu
\mavergleichskette
{\vergleichskette
{x
}
{ = }{ \left( x_1 , \, \ldots , \, x_n \right)
}
{ \in }{\R^n
}
{ }{
}
{ }{
}
}
{}{}{}
ein Vektor, wobei ohne Einschränkung $x_1$ betragsmäßig der größte Eintrag sei. Dann gelten die Abschätzungen
\mavergleichskettedisp
{\vergleichskette
{ \Vert {x} \Vert_{\rm max}
}
{ =} { \betrag { x_1 }
}
{ =} { \sqrt{ x_1^2 }
}
{ \leq} { \sqrt{ x_1^2+x_2^2 + \cdots + x_n^2 }
}
{ \leq} { \sqrt{ nx_1^2 }
}
}
{
\vergleichskettefortsetzung
{ =} { \sqrt{n} \betrag { x_1 }
}
{ =} { \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}$-\definitionsverweis {Vektorraum}{}{} zwei Normen stets äquivalent sind. Dies bedarf einiger Vorbereitungen, die insbesondere den Begriff der Kompaktheit betreffen.
\zwischenueberschrift{Kompaktheit}
\inputdefinition
{}
{
Eine
\definitionsverweis {Teilmenge}{}{}
\mavergleichskette
{\vergleichskette
{T
}
{ \subseteq }{M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eines
\definitionsverweis {metrischen Raumes}{}{}
$M$ heißt \definitionswort {beschränkt}{,} wenn es eine
\definitionsverweis {reelle Zahl}{}{}
$b$ mit
\mathdisp {d { \left( x, y \right) } \leq b \text { für alle } x,y \in T} { }
gibt.
}
\inputdefinition
{}
{
Eine Teilmenge
\mavergleichskette
{\vergleichskette
{T
}
{ \subseteq }{ \R^m
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
heißt \definitionswort {kompakt}{,} wenn sie
\definitionsverweis {abgeschlossen}{}{}
und
\definitionsverweis {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.
\inputdefinition
{}
{
Ein
\definitionsverweis {topologischer Raum}{}{}
$X$ heißt \definitionswort {kompakt}{}
\zusatzklammer {oder \definitionswort {überdeckungskompakt}{}} {} {,}
wenn es zu jeder offenen Überdeckung
\mathdisp {X= \bigcup_{i \in I} U_i \, \, \, \text{ mit } U_i \text{ offen und einer beliebigen Indexmenge }I} { }
eine endliche Teilmenge
\mavergleichskette
{\vergleichskette
{J
}
{ \subseteq }{I
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
derart gibt, dass
\mavergleichskettedisp
{\vergleichskette
{ X
}
{ =} { \bigcup_{i \in J} U_i
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ist.
}
Der folgende Satz heißt \stichwort {Satz von Heine-Borel} {.}
\inputfakt{Kompaktheit/Satz von Heine-Borel/Fakt}{Satz}{}
{
\faktsituation {Es sei
\mavergleichskette
{\vergleichskette
{T
}
{ \subseteq }{ \R^n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine Teilmenge, wobei der $\R^n$ mit der euklidischen Metrik versehen sei.}
\faktuebergang {Dann sind folgende Aussagen äquivalent.}
\faktfolgerung {\aufzaehlungvier{$T$ ist
\definitionsverweis {überdeckungskompakt}{}{.}
}{Jede
\definitionsverweis {Folge}{}{}
\mathl{{ \left( x_n \right) }_{n \in \N }}{} in $T$ besitzt einen
\definitionsverweis {Häufungspunkt}{}{}
in $T$.
}{Jede
\definitionsverweis {Folge}{}{}
\mathl{{ \left( x_n \right) }_{n \in \N }}{} in $T$ besitzt eine in $T$
\definitionsverweis {konvergente}{}{} \definitionsverweis {Teilfolge}{}{.}
}{$T$ ist
\definitionsverweis {abgeschlossen}{}{}
und
\definitionsverweis {beschränkt}{}{.}
}}
\faktzusatz {}
\faktzusatz {}
}
\zwischenueberschrift{Stetige Abbildungen zwischen metrischen Räumen}
Ein
\definitionsverweis {metrischer Raum}{}{}
ist dadurch ausgezeichnet, dass es in ihm eine Abstandsfunktion gibt, und dass dadurch zwei Punkte \anfuehrung{näher}{} zueinander liegen können als zwei andere Punkte. Bei einer Abbildung
\maabbdisp {f} {L} {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
\mavergleichskette
{\vergleichskette
{ x
}
{ \in }{ L
}
{ }{}
{ }{}
{ }{}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{y
}
{ = }{f(x)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
der Bildpunkt. Man möchte, dass für Punkte
\mavergleichskette
{\vergleichskette
{ x'
}
{ \in }{L
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
die \anfuehrung{nahe}{} an $x$ sind, auch die Bildpunkte
\mathl{f(x')}{} nahe an
\mathl{f(x)}{} sind. Um diese intuitive Vorstellung zu präzisieren, sei ein
\mavergleichskette
{\vergleichskette
{ \epsilon
}
{ > }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
vorgegeben. Dieses $\epsilon$ repräsentiert eine \anfuehrung{gewünschte Zielgenauigkeit}{.} Die Frage ist dann, ob man ein
\mavergleichskette
{\vergleichskette
{ \delta
}
{ > }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
finden kann
\zusatzklammer {eine \anfuehrung{Startgenauigkeit}{}} {} {}
mit der Eigenschaft, dass für alle $x'$ mit
\mavergleichskette
{\vergleichskette
{ d { \left( x, x' \right) }
}
{ \leq }{ \delta
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die Beziehung
\mavergleichskette
{\vergleichskette
{ d { \left( f(x), f(x') \right) }
}
{ \leq }{\epsilon
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gilt. Dies führt zum Begriff der stetigen Abbildung.
\inputdefinition
{}
{
Es seien
\mathkor {} {( L,d_1)} {und} {( M,d_2)} {}
\definitionsverweis {metrische Räume}{}{,}
\maabbdisp {f} { L} { M
} {}
eine
\definitionsverweis {Abbildung}{}{}
und
\mavergleichskette
{\vergleichskette
{ x
}
{ \in }{ L
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Die Abbildung $f$ heißt \definitionswort {stetig in}{} $x$, wenn für jedes
\mavergleichskette
{\vergleichskette
{ \epsilon
}
{ > }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein
\mavergleichskette
{\vergleichskette
{ \delta
}
{ > }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
derart existiert, dass
\mavergleichskettedisp
{\vergleichskette
{ f { \left( B \left( x,\delta \right) \right) }
}
{ \subseteq} { B \left( f(x),\epsilon \right)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gilt. Die Abbildung $f$ heißt \definitionswort {stetig}{,} wenn sie stetig in $x$ für jedes
\mavergleichskette
{\vergleichskette
{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
\mavergleichskette
{\vergleichskette
{T
}
{ \subseteq }{M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
einer mit der induzierten Metrik versehenen Teilmenge eines metrischen Raumes. Siehe dazu die Aufgaben.
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Continuity_topology.svg} }
\end{center}
\bildtext {} }
\bildlizenz { Continuity topology.svg } {} {Dcoetzee} {Commons} {PD} {}
\inputfakt{Metrische Räume/Stetige Abbildung/Charakterisierung/Fakt}{Satz}{}
{
\faktsituation {Es sei
\maabbeledisp {f} { L} { M
} {x} {f(x)
} {,}
eine
\definitionsverweis {Abbildung}{}{}
zwischen den
\definitionsverweis {metrischen Räumen}{}{}
\mathkor {} {L} {und} {M} {.}}
\faktuebergang {Dann sind folgende Aussagen äquivalent.}
\faktfolgerung {\aufzaehlungvier{$f$ ist
\definitionsverweis {stetig}{}{}
in jedem Punkt
\mavergleichskette
{\vergleichskette
{x
}
{ \in }{L
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Für jeden Punkt
\mavergleichskette
{\vergleichskette
{x
}
{ \in }{L
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und jedes
\mavergleichskette
{\vergleichskette
{ \epsilon
}
{ > }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gibt es ein
\mavergleichskette
{\vergleichskette
{ \delta
}
{ > }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit der Eigenschaft, dass aus
\mavergleichskette
{\vergleichskette
{d(x,x')
}
{ \leq }{ \delta
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
folgt, dass
\mavergleichskette
{\vergleichskette
{d(f(x),f(x'))
}
{ \leq }{ \epsilon
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist.
}{Für jeden Punkt
\mavergleichskette
{\vergleichskette
{x
}
{ \in }{L
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und jede
\definitionsverweis {konvergente Folge}{}{}
\mathl{{ \left( x_n \right) }_{n \in \N }}{} in $L$ mit
\mavergleichskette
{\vergleichskette
{ \lim_{n \rightarrow \infty} x_n
}
{ = }{x
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist auch die Bildfolge
\mathl{{ \left( f(x_n) \right) }_{ n \in \N }}{} konvergent mit dem Grenzwert
\mathl{f(x)}{.}
}{Für jede
\definitionsverweis {offene Menge}{}{}
\mavergleichskette
{\vergleichskette
{V
}
{ \subseteq }{M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist auch das
\definitionsverweis {Urbild}{}{}
\mathl{f^{-1}(V)}{} offen.
}}
\faktzusatz {}
\faktzusatz {}
} Die Eigenschaft (4) zeigt, dass es sich bei der Stetigkeit um eine rein topologische Eigenschaft handelt.
\zwischenueberschrift{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.
\inputfaktbeweis
{Lineare Abbildung/Normierte Räume/Stetigkeit/Charakterisierung/Fakt}
{Satz}
{}
{
\faktsituation {Es seien
\mathkor {} {V} {und} {W} {}
\definitionsverweis {normierte}{}{}
${\mathbb K}$-\definitionsverweis {Vektorräume}{}{}
und
\maabbdisp {\varphi} {V} {W
} {}
eine
\definitionsverweis {lineare Abbildung}{}{.}}
\faktuebergang {Dann sind folgende Eigenschaft äquivalent.}
\faktfolgerung {\aufzaehlungdrei{$\varphi$ ist
\definitionsverweis {stetig}{}{.}
}{$\varphi$ ist
\definitionsverweis {stetig}{}{}
im Nullpunkt.
}{Die Menge
\mathdisp {{ \left\{ \varphi(v) \mid v\in V , \, \Vert {v} \Vert = 1 \right\} }} { }
ist
\definitionsverweis {beschränkt}{}{.}
}}
\faktzusatz {}
\faktzusatz {}
}
{
Von (1) nach (2) ist klar. Von (2) nach (3). Es gibt insbesondere für
\mavergleichskette
{\vergleichskette
{\epsilon
}
{ = }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein
\mavergleichskette
{\vergleichskette
{\delta
}
{ > }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
derart, dass aus
\mavergleichskettedisp
{\vergleichskette
{ \Vert {v} \Vert
}
{ \leq} { \delta
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
die Abschätzung
\mavergleichskettedisp
{\vergleichskette
{ \Vert {\varphi(v)} \Vert
}
{ \leq} { 1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
folgt. Aus
\mavergleichskettedisp
{\vergleichskette
{ \Vert {v} \Vert
}
{ \leq} { 1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
folgt dann wegen der skalaren Verträglichkeit
\mavergleichskettedisp
{\vergleichskette
{ \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
\mavergleichskette
{\vergleichskette
{ v
}
{ \in }{ V
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gegeben. Es ist
\mavergleichskettealign
{\vergleichskettealign
{ 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
}
}
{}
{}{.}
Zu
\mavergleichskette
{\vergleichskette
{\epsilon
}
{ > }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
kann man also
\mavergleichskettedisp
{\vergleichskette
{\delta
}
{ \defeq} { \epsilon/C
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
wählen.
\zwischenueberschrift{Äquivalenz von Normen}
\inputfaktbeweis
{Vektorraum/K/Normen äquivalent/Stetigkeit/Fakt}
{Lemma}
{}
{
\faktsituation {Es sei $V$ ein
${\mathbb K}$-\definitionsverweis {Vektorraum}{}{}
und es seien
\mathkor {} {\Vert {-} \Vert_1} {und} {\Vert {-} \Vert_2} {}
\definitionsverweis {Normen}{}{}
auf $V$.}
\faktuebergang {Dann sind folgende Aussagen äquivalent.}
\faktfolgerung {\aufzaehlungvier{Die beiden Normen sind
\definitionsverweis {äquivalent}{}{.}
}{Die Identität
\maabbdisp {} {V} {V
} {}
ist
\definitionsverweis {stetig}{}{,}
unabhängig davon, ob man $V$ links mit der ersten und rechts mit der zweiten Norm versieht oder umgekehrt.
}{Die
$\Vert {-} \Vert_1$-\definitionsverweis {Einheitskugel}{}{}
ist
\definitionsverweis {beschränkt}{}{}
in der $\Vert {-} \Vert_2$-Norm und umgekehrt.
}{Es gibt reelle Zahlen
\mathl{a,b}{} mit
\mavergleichskettedisp
{\vergleichskette
{ \Vert {v} \Vert_2
}
{ \leq} { a \Vert {v} \Vert_1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{ \Vert {v} \Vert_1
}
{ \leq} { b \Vert {v} \Vert_2
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
für alle
\mavergleichskette
{\vergleichskette
{ v
}
{ \in }{ V
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}}
\faktzusatz {}
\faktzusatz {}
}
{
Die Äquivalenz von (1) und (2) ergibt sich aus Satz 52.13, die Äquivalenz von (2) und (3) aus Satz 52.14. Die Eigenschaften (3) und (4) sind aufgrund der skalaren Verträglichkeit der Normen äquivalent.
\inputfaktbeweis
{Vektorraum/K/Endlichdimensional/Normen äquivalent/Fakt}
{Satz}
{}
{
\faktsituation {Auf einem
\definitionsverweis {endlichdimensionalen}{}{}
${\mathbb K}$-\definitionsverweis {Vektorraum}{}{}
$V$ sind je zwei
\definitionsverweis {Normen}{}{}}
\faktfolgerung {\definitionsverweis {äquivalent}{}{.}}
\faktzusatz {}
\faktzusatz {}
}
{
Wir verwenden
Lemma 52.15.
Die Norm und die Topologie hängen nur von dem zugrunde liegenden reellen Vektorraum ab, wir können also
\mavergleichskettedisp
{\vergleichskette
{ {\mathbb K}
}
{ =} { \R
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
annehmen. Zu einer Basis
\mavergleichskette
{\vergleichskette
{ v_1 , \ldots , v_n
}
{ \in }{ V
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gibt es einen
\definitionsverweis {Isomorphismus}{}{}
\maabbdisp {\varphi} { \R^n } { V
} {}
mit
\mathl{e_i \mapsto v_i}{.} Da unter dem Isomorphismus $\varphi$ durch
\mavergleichskettedisp
{\vergleichskette
{ \Vert {u} \Vert'
}
{ \defeq} { \Vert { \varphi( u )} \Vert
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
eine Norm auf dem $\R^n$ definiert wird, können wir direkt
\mavergleichskette
{\vergleichskette
{ V
}
{ = }{ \R^n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
annehmen. Wir vergleichen nun eine beliebige Norm auf dem $\R^n$ mit der Maximumsnorm bzw. der euklidischen Norm, von denen wir nach
Beispiel 52.7
schon wissen, dass sie untereinander äquivalent sind. Es sei
\mavergleichskette
{\vergleichskette
{v
}
{ = }{ \sum_{i = 1}^n a_i e_i
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Wegen
\mavergleichskettealign
{\vergleichskettealign
{ \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 \betrag { a_i } \cdot \Vert { e_i } \Vert
}
{ \leq} { n \cdot {\max { \left( \Vert {e_i} \Vert , i = 1 , \ldots , n \right) } } \Vert { v } \Vert_{\rm max}
}
}
{}
{}{}
sind hinreichend kleine
\mathl{\Vert {-} \Vert_{\rm max}}{-}offene Bälle in
\mathl{\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
\maabbdisp {} {\R^n} { \R^n
} {,}
wobei die Topologie links durch die euklidische
\zusatzklammer {bzw. Maximumsnorm} {} {}
und rechts durch die Norm gegeben sei. Diese Abbildung ist nach der bisherigen Überlegung stetig. Die euklidische Einheitssphäre $S$ links ist
\definitionsverweis {kompakt}{}{}
und nach
Fakt *****
ist $S$ bezüglich der Norm
\mathl{\Vert {-} \Vert}{} ebenfalls überdeckungskompakt. Diese nennen wir $S'$. Da $\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
\mavergleichskettedisp
{\vergleichskette
{\delta
}
{ >} {0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit
\mavergleichskettedisp
{\vergleichskette
{ U { \left( 0, \delta \right) } \cap S'
}
{ =} { \emptyset
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
\zusatzklammer {der offene Ball in der
\mathl{\Vert {-} \Vert}{-}Topologie} {} {.}
Für
\mavergleichskette
{\vergleichskette
{v
}
{ \neq }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist wegen
\mavergleichskette
{\vergleichskette
{ { \frac{ v }{ \Vert {v} \Vert_{\rm euk} } }
}
{ \in }{ S
}
{ = }{ S'
}
{ }{
}
{ }{
}
}
{}{}{}
also
\mavergleichskettedisp
{\vergleichskette
{ \Vert { { \frac{ v }{ \Vert {v} \Vert_{\rm euk} } } } \Vert
}
{ \geq} { \delta
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und somit
\mavergleichskettedisp
{\vergleichskette
{ \Vert {v} \Vert_{\rm euk}
}
{ \leq} { { \frac{ 1 }{ \delta } } \Vert {v} \Vert
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
\inputfaktbeweis
{Lineare Abbildung/Normierte Räume/Endlichdimensional/Stetigkeit/Fakt}
{Satz}
{}
{
\faktsituation {Es seien
\mathkor {} {V} {und} {W} {}
\definitionsverweis {normierte}{}{}
${\mathbb K}$-\definitionsverweis {Vektorräume}{}{}
und
\maabbdisp {\varphi} {V} {W
} {}
eine
\definitionsverweis {lineare Abbildung}{}{.}}
\faktvoraussetzung {Es sei $V$
\definitionsverweis {endlichdimensional}{}{.}}
\faktfolgerung {Dann ist $\varphi$
\definitionsverweis {stetig}{}{.}}
\faktzusatz {}
\faktzusatz {}
}
{
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
\mavergleichskette
{\vergleichskette
{V
}
{ = }{\R^n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{W
}
{ = }{\R^m
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist und nach
Satz 52.16
können wir annehmen, dass beidseitig die Maximumsnorm vorliegt. Es sei $a$ der maximale Betrag der Einträge in der beschreibenden Matrix
\mavergleichskette
{\vergleichskette
{M
}
{ = }{ (a_{ij})_{ij}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
von $\varphi$ bezüglich der Standardbasen. Für
\mavergleichskette
{\vergleichskette
{ v
}
{ \in }{ \R^n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskettedisp
{\vergleichskette
{ \Vert {v} \Vert_{\rm max}
}
{ \leq} {1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ist dann
\mavergleichskettedisp
{\vergleichskette
{ \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( \betrag { \sum_{j = 1}^n a_{ij} v_j } , i = 1 , \ldots , m \right) } }
}
{ \leq} { na
}
{ } {
}
}
{}{}{.}
Daher folgt die Stetigkeit aus
Satz 52.14.