Kurs:Analysis (Osnabrück 2014-2016)/Teil II/Vorlesung 51/latex
\setcounter{section}{51}
Es sei
\mavergleichskette
{\vergleichskette
{I
}
{ \subseteq }{\R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein reelles Intervall und
\maabbdisp {f} {I} {\R
} {}
eine
\definitionsverweis {stetig differenzierbare Funktion}{}{}
mit
\mavergleichskette
{\vergleichskette
{ f'(x_0)
}
{ \neq }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
in einem Punkt
\mavergleichskette
{\vergleichskette
{x_0
}
{ \in }{I
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Nehmen wir an es gelte
\mavergleichskette
{\vergleichskette
{ f'(x_0)
}
{ > }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Da die Ableitung stetig ist, gibt es auch ein offenes Intervall
\mavergleichskette
{\vergleichskette
{J
}
{ = }{{]x_0 - \epsilon, x_0 + \epsilon[}
}
{ \subseteq }{ I
}
{ }{
}
{ }{
}
}
{}{}{}
derart, dass
\mavergleichskette
{\vergleichskette
{f'(x)
}
{ > }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für alle
\mavergleichskette
{\vergleichskette
{x
}
{ \in }{J
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist. Aufgrund von
Satz 19.5 (2)
ist somit $f$ auf $J$
\definitionsverweis {streng wachsend}{}{.}
Daher ist insbesondere $f$ auf $J$
\definitionsverweis {injektiv}{}{.}
Das Bild
\mavergleichskette
{\vergleichskette
{ J'
}
{ = }{ f(J)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist
nach dem Zwischenwertsatz
ein Intervall und daher liegt eine Bijektion
\maabbdisp {f {{|}}_J} {J} {J'
} {}
vor.
Nach Fakt *****
ist die Umkehrfunktion
\maabbdisp {g} {J'} {J
} {}
ebenfalls differenzierbar, und ihre Ableitung in
\mavergleichskette
{\vergleichskette
{y
}
{ \in }{J'
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist
\mavergleichskette
{\vergleichskette
{g'(y)
}
{ = }{ { \frac{ 1 }{ f'(g(y)) } }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Daher ist die Umkehrfunktion auf $J'$ auch stetig differenzierbar. Eine ähnliche Argumentation ist durchführbar, wenn
\mavergleichskette
{\vergleichskette
{f(x_0)
}
{ < }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist. Insgesamt bedeutet dies, dass aus dem Nichtverschwinden der Ableitung in einem Punkt folgt, dass die Funktion sich in einer kleinen offenen Umgebung des Punktes bijektiv verhält mit stetig differenzierbarer Umkehrabbildung.
Diese Aussage verallgemeinern wir auf höhere Dimensionen.
\zwischenueberschrift{Der Satz über die Umkehrabbildung}
\inputbeispiel{}
{
Wir betrachten die Abbildung
\maabbeledisp {\varphi} {\R^2} {\R^2
} {(x,y)} {(x+y,xy)
} {.}
Diese Abbildung ist nicht injektiv, da
\mathkor {} {(x,y)} {und} {(y,x)} {}
auf das gleiche Tupel abgebildet werden, und auch nicht surjektiv, da beispielsweise
\mathl{(0,1)}{} nicht im Bild liegt. Trotzdem kann man das Gleichungssystem
\mathkor {} {u = x+y} {und} {v = xy} {}
in gewisser Hinsicht auflösen, also
\mathkor {} {x} {und} {y} {}
durch
\mathkor {} {u} {und} {v} {}
ausdrücken. Zunächst ist
\mavergleichskettedisp
{\vergleichskette
{ x
}
{ =} {u-y
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und damit
\mavergleichskettedisp
{\vergleichskette
{ v
}
{ =} { xy
}
{ =} { (u-y) y
}
{ =} { uy -y^2
}
{ } {
}
}
{}{}{}
oder
\mavergleichskettedisp
{\vergleichskette
{y^2 -uy +v
}
{ =} { 0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Damit ist
\mavergleichskettedisp
{\vergleichskette
{y
}
{ =} { \pm \sqrt{ { \frac{ u^2 }{ 4 } } -v } + { \frac{ u }{ 2 } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und somit
\mavergleichskettedisp
{\vergleichskette
{x
}
{ =} { \mp \sqrt{ { \frac{ u^2 }{ 4 } } -v } + { \frac{ u }{ 2 } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Bis auf die Wahl der Vorzeichen kann man also die Urbilder zu
\mathl{(u,v)}{} rekonstruieren. Dies zeigt erneut, dass es manchmal mehrere Urbilder und manchmal keine Urbilder gibt
\zusatzklammer {wenn die Wurzel keine reelle Lösung hat} {} {.}
Ein eindeutiges Urbild existiert genau dann, wenn der Radikand gleich $0$ ist, also bei
\mavergleichskettedisp
{\vergleichskette
{0
}
{ =} { { \frac{ u^2 }{ 4 } } - v
}
{ =} { { \frac{ (x+y)^2 }{ 4 } } - xy
}
{ =} { { \frac{ x^2 +2xy +y^2 - 4xy }{ 4 } }
}
{ =} { { \frac{ x^2 -2xy +y^2 }{ 4 } }
}
}
{
\vergleichskettefortsetzung
{ =} { { \frac{ (y-x)^2 }{ 4 } }
}
{ } {}
{ } {}
{ } {}
}{}{,}
d.h. bei
\mavergleichskette
{\vergleichskette
{x
}
{ = }{y
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
In einem Punkt
\mathl{(x,x)}{} verhält sich die Abbildung $\varphi$ insofern gut, dass das Bild davon
\zusatzklammer {also \mathlk{(2x,x^2)}{}} {} {}
nur ein Urbild
\zusatzklammer {nämlich \mathlk{(x,x)}{}} {} {}
besitzt. Diese Eigenschaft überträgt sich aber auf keine offene Umgebung des Punktes, da ja
\mathkor {} {(x+ h,x-h)} {und} {(x-h,x+h)} {}
beide auf
\mathl{(2x, x^2-h^2)}{} abgebildet werden. In dieser Hinsicht verhalten sich die anderen Punkte besser. Es sei
\mathl{(x_0,y_0)}{} gegeben mit
\zusatzklammer {sagen wir} {} {}
\mavergleichskettedisp
{\vergleichskette
{y_0
}
{ >} {x_0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Dann besitzt
\mavergleichskettedisp
{\vergleichskette
{(u_0,v_0)
}
{ =} {(x_0+y_0,x_0y_0)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
wie oben ausgerechnet zwei Urbildpunkte, und zwar ist
\zusatzklammer {der Startpunkt legt die Vorzeichen fest} {} {}
\mavergleichskettedisp
{\vergleichskette
{(x_0, y_0)
}
{ =} { \left( - \sqrt{ { \frac{ u_0^2 }{ 4 } } - v_0 } + { \frac{ u_0 }{ 2 } } , \, \sqrt{ { \frac{ u_0^2 }{ 4 } } - v_0 } + { \frac{ u_0 }{ 2 } } \right)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Diese Formeln kann man unter der Bedingung, dass
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ u^2 }{ 4 } } - v
}
{ >} {0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
als \anfuehrung{lokale Umkehrabbildung}{} interpretieren, und dies ist in einer offenen Umgebung $U_2$ von
\mathl{(u_0,v_0)}{} erfüllt. Das Bild von $U_2$ unter dieser lokalen Umkehrabbildung
ist eine offene Umgebung $U_1$ von
\mathl{(x_0,y_0)}{,} und die Einschränkung führt zu einer bijektiven Abbildung
\maabbdisp {\varphi {{|}}_{U_1}} {U_1} {U_2
} {}
mit der angegebenen Umkehrabbildung.
}
Der \stichwort {Satz über die \zusatzklammer {lokale} {} {} Umkehrabbildung} {} gehört zu den wichtigsten Sätzen der mehrdimensionalen Analysis. Er besagt, dass eine stetig differenzierbare Abbildung $\varphi$ zwischen endlichdimensionalen reellen Vektorräumen, für die das totale Differential in einem Punkt $P$ bijektiv ist \zusatzklammer {was voraussetzt, dass die Dimension des Definitionsraum mit der Dimension des Zielraums übereinstimmt} {} {,} die Abbildung selbst auf geeigneten kleinen offenen Umgebungen von \mathkor {} {P} {und von} {\varphi(P)} {} eine Bijektion ist. D.h. die Abbildung verhält sich \stichwort {lokal} {} so wie das totale Differential.
Wir brauchen einige Vorbereitungen. Der Beweis des folgenden Lemmas ist schon eine gute Einstimmung für den Beweis des folgenden Hauptsatzes.
\inputfaktbeweis
{Differenzierbare Abbildung/R/Bijektives Differential/Stetige Umkehrabbildung/Differenzierbar/Fakt}
{Lemma}
{}
{
\faktsituation {Es seien
\mathkor {} {V_1} {und} {V_2} {}
\definitionsverweis {endlichdimensionale}{}{}
\definitionsverweis {reelle Vektorräume}{}{,}
\mathkor {} {U_1 \subseteq V_1} {und} {U_2 \subseteq V_2} {}
\definitionsverweis {offene}{}{} Teilmengen und sei
\maabbdisp {\varphi} {U_1} {U_2 \subseteq V_2
} {}
eine
\definitionsverweis {bijektive}{}{}
\definitionsverweis {differenzierbare Abbildung}{}{.}
Sei
\mavergleichskette
{\vergleichskette
{P
}
{ \in }{U_1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}}
\faktvoraussetzung {Das
\definitionsverweis {totale Differential}{}{}
\mathdisp {\left(D\varphi\right)_{ P }} { }
sei
\definitionsverweis {bijektiv}{}{}
und die
\definitionsverweis {Umkehrabbildung}{}{}
\maabbdisp {\psi} {U_2} {U_1
} {}
sei
\definitionsverweis {stetig}{}{}
in
\mavergleichskette
{\vergleichskette
{ Q
}
{ = }{ \varphi ( P)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}}
\faktfolgerung {Dann ist die Umkehrabbildung differenzierbar in $Q$ und für ihre Ableitung gilt
\mavergleichskettedisp
{\vergleichskette
{ \left(D\psi\right)_{Q }
}
{ =} { (\left(D\varphi\right)_{P })^{-1}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}}
\faktzusatz {}
\faktzusatz {}
}
{
\teilbeweis {}{}{}
{Zuerst kann man durch Verschiebungen im Definitionsraum und im Zielraum annehmen, dass
\mavergleichskette
{\vergleichskette
{ P
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{ \varphi ( P)
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist. Es sei
\mavergleichskette
{\vergleichskette
{ D
}
{ = }{ \left(D\varphi\right)_{ P}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die durch das totale Differential gegebene bijektive lineare Abbildung mit der linearen Umkehrabbildung
\mathl{D^{-1}}{.} Wir betrachten die Gesamtabbildung
\mathdisp {U_1 \stackrel{\varphi}{\longrightarrow} V_2 \stackrel{D^{-1} }{\longrightarrow} V_1} { . }
Diese ist wieder differenzierbar, und das totale Differential davon ist
\mavergleichskette
{\vergleichskette
{ D^{-1} \circ D
}
{ = }{
\operatorname{Id}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
nach der
Kettenregel.
Wenn wir für diese zusammengesetzte Abbildung die Aussage zeigen können, so folgt die Aussage auch für $\varphi$, da eine lineare Abbildung differenzierbar ist. Wir können also annehmen, dass $\varphi$ eine differenzierbare Abbildung mit
\mavergleichskette
{\vergleichskette
{ \varphi(0)
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist, deren totales Differential in $0$ die Identität ist.}
{}
\teilbeweis {}{}{}
{Nach diesen Reduktionen bedeutet die Differenzierbarkeit von $\varphi$ in $0$, dass der
\definitionsverweis {Limes}{}{}
\mavergleichskettedisp
{\vergleichskette
{ \operatorname{lim}_{ v \rightarrow 0 } \, { \frac{ \varphi(v) -v }{ \Vert {v} \Vert } }
}
{ =} { 0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ist. Wir müssen entsprechend für die Umkehrabbildung $\psi$ die Beziehung
\mavergleichskettedisp
{\vergleichskette
{ \operatorname{lim}_{ w \rightarrow 0 } \, { \frac{ \psi(w) - w }{ \Vert {w} \Vert } }
}
{ =} { 0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
zeigen. Es genügt, dies für jede
\definitionsverweis {Folge}{}{}
\mathl{w_n \rightarrow 0}{} nachzuweisen. Eine solche Folge kann man eindeutig als
\mavergleichskette
{\vergleichskette
{ w_n
}
{ = }{ \varphi(v_n)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\zusatzklammer {mit
\mavergleichskettek
{\vergleichskettek
{ v_n
}
{ = }{ \psi(w_n)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}} {} {}
schreiben und aufgrund der vorausgesetzten Stetigkeit von $\psi$ konvergiert auch die Folge
\mathl{{ \left( v_n \right) }_{n \in \N }}{} gegen $0$. Also ist
\mavergleichskettealign
{\vergleichskettealign
{ { \frac{ \Vert { \psi( w_n ) - w_n } \Vert }{ \Vert {w_n} \Vert } }
}
{ =} { { \frac{ \Vert { \psi(\varphi(v_n)) - \varphi(v_n) } \Vert }{ \Vert {\varphi(v_n)} \Vert } }
}
{ =} { { \frac{ \Vert {v_n - \varphi(v_n) } \Vert }{ \Vert {\varphi(v_n)} \Vert } }
}
{ =} { { \frac{ \Vert {\varphi(v_n) - v_n } \Vert }{ \Vert {\varphi(v_n)} \Vert } }
}
{ } {
}
}
{}
{}{.}
Wegen
\mavergleichskette
{\vergleichskette
{ \varphi(v)
}
{ = }{ v+ \Vert { v} \Vert \cdot r(v)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{ \operatorname{lim}_{ v \rightarrow 0 } \, r(v)
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gibt es eine hinreichend kleine Umgebung von $0$ derart, dass
\mavergleichskettedisp
{\vergleichskette
{ \Vert {\varphi(v)} \Vert
}
{ =} { \Vert {v + \Vert {v} \Vert \cdot r(v) } \Vert
}
{ \geq} { { \frac{ 1 }{ 2 } } \Vert {v} \Vert
}
{ } {
}
{ } {
}
}
{}{}{.}
Daher lässt sich die obere Gleichungskette
\zusatzklammer {für $n$ hinreichend groß} {} {}
fortsetzen durch
\mathdisp {\leq 2 \cdot { \frac{ \Vert {\varphi(v_n) - v_n } \Vert }{ \Vert {v_n} \Vert } }} { , }
und dies konvergiert gegen $0$.}
{}
Im Allgemeinen ist eine differenzierbare Abbildung nicht bijektiv. Man kann das Lemma aber häufig anwenden, indem man zu einer kleineren offenen Umgebung des Punktes $P$ übergeht und für diese die Bijektivität auf das Bild zeigt.
Im Beweis des folgenden Satzes geht die folgende Version des Mittelwertsatzes ein. Wir versehen
\definitionsverweis {Homomorphismenräume}{}{}
\mathl{\operatorname{Hom} \, (V,W)}{} mit der
\definitionsverweis {Norm}{}{}
\mavergleichskettedisp
{\vergleichskette
{ \Vert {\psi} \Vert
}
{ \defeq} {{\operatorname{sup} \, ( \Vert { \psi(v)} \Vert , \Vert {v} \Vert = 1 ) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
\inputfaktbeweis
{Totale Differenzierbarkeit/Mittelwertabschätzung/Fakt}
{Lemma}
{}
{
\faktsituation {Es seien
\mathkor {} {V} {und} {W} {}
\definitionsverweis {euklidische Vektorräume}{}{,}
\mavergleichskette
{\vergleichskette
{ G
}
{ \subseteq }{ V
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
sei
\definitionsverweis {offen}{}{}
und enthalte mit je zwei Punkten die Verbindungsstrecke. Es sei
\maabbdisp {\varphi} {G} {W
} {}
eine
\definitionsverweis {differenzierbare Abbildung}{}{}}
\faktvoraussetzung {und es gelte
\mavergleichskettedisp
{\vergleichskette
{ \Vert {\left(D\varphi\right)_{P}} \Vert
}
{ \leq} {b
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
für alle
\mavergleichskette
{\vergleichskette
{ P
}
{ \in }{ G
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}}
\faktfolgerung {Dann gilt für
\mavergleichskette
{\vergleichskette
{ P,Q
}
{ \in }{G
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die Abschätzung
\mavergleichskettedisp
{\vergleichskette
{ \Vert { \varphi(Q) - \varphi(P)} \Vert
}
{ \leq} { \Vert { Q-P} \Vert \cdot b
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}}
\faktzusatz {}
\faktzusatz {}
}
{
Bei
\mavergleichskette
{\vergleichskette
{P
}
{ = }{Q
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist nichts zu zeigen, sei also
\mavergleichskette
{\vergleichskette
{P
}
{ \neq }{Q
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Wir betrachten die Abbildung
\maabbeledisp {h} {[0, \Vert {Q-P} \Vert ]} { W
} {t} { \varphi { \left( P + t { \frac{ Q-P }{ \Vert {Q-P} \Vert } } \right) }
} {.}
Da nach Voraussetzung
\mavergleichskette
{\vergleichskette
{ P+ t { \frac{ Q-P }{ \Vert {Q-P} \Vert } }
}
{ \in }{ G
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist, ist dies eine
\definitionsverweis {differenzierbare Kurve}{}{}
in $W$. Daher gibt es nach der
Mittelwertabschätzung für Kurven
ein
\mavergleichskette
{\vergleichskette
{c
}
{ \in }{ [ 0, \Vert {Q-P} \Vert ]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskettealignhandlinks
{\vergleichskettealignhandlinks
{ \Vert { \varphi(P)- \varphi(Q)} \Vert
}
{ \leq} { \Vert {Q-P} \Vert \cdot \Vert { h'(c)} \Vert
}
{ =} { \Vert {Q-P} \Vert \cdot \Vert { { \left( D\varphi \right) }_{P+ c{ \frac{ Q-P }{ \Vert {Q-P} \Vert } } } { \left( { \frac{ Q-P }{ \Vert {Q-P} \Vert } } \right) } } \Vert
}
{ =} { \Vert {Q-P} \Vert \cdot \Vert { \left(D\varphi\right)_{P+ c{ \frac{ Q-P }{ \Vert {Q-P} \Vert } } } } \Vert \cdot \Vert { { \frac{ Q-P }{ \Vert {Q-P} \Vert } } } \Vert
}
{ \leq} { \Vert {Q-P} \Vert \cdot \Vert { \left(D\varphi\right)_{P+ c{ \frac{ Q-P }{ \Vert {Q-P} \Vert } } } } \Vert
}
}
{
\vergleichskettefortsetzungalign
{ \leq} { \Vert {Q-P} \Vert \cdot b
}
{ } {}
{ } {}
{ } {}
}
{}{.}
Der folgende Satz, der \stichwort {Satz über die lokale Umkehrabbildung} {,} besagt, dass eine stetig differenzierbare Abbildung in einer geeigneten offenen Umgebung eines Punktes bijektiv ist, wenn die Ableitung in diesem Punkt bijektiv ist. D.h., dass sich die Abbildung lokal so verhält wie die lineare Approximation. Die Bedingung, dass das totale Differential in einem Punkt bijektiv ist, lässt sich einfach mit der Determinante überprüfen.
\inputfaktbeweis
{Satz über die Umkehrabbildung/R/Stetig differenzierbar/Fakt}
{Satz}
{}
{
\faktsituation {Es seien
\mathkor {} {V_1} {und} {V_2} {}
\definitionsverweis {endlichdimensionale}{}{}
\definitionsverweis {reelle Vektorräume}{}{,}
sei
\mavergleichskette
{\vergleichskette
{ G
}
{ \subseteq }{ V_1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\definitionsverweis {offen}{}{}
und es sei
\maabbdisp {\varphi} {G} {V_2
} {}
eine
\definitionsverweis {stetig differenzierbare Abbildung}{}{.}}
\faktvoraussetzung {Es sei
\mavergleichskette
{\vergleichskette
{ P
}
{ \in }{ G
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein Punkt derart, dass das
\definitionsverweis {totale Differential}{}{}
\mathdisp {\left(D\varphi\right)_{P}} { }
\definitionsverweis {bijektiv}{}{}
ist.}
\faktfolgerung {Dann gibt es eine offene Menge
\mavergleichskette
{\vergleichskette
{ U_1
}
{ \subseteq }{ G
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und eine offene Menge
\mavergleichskette
{\vergleichskette
{ U_2
}
{ \subseteq }{ V_2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{ P
}
{ \in }{ U_1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und mit
\mavergleichskette
{\vergleichskette
{ \varphi (P)
}
{ \in }{ U_2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
derart, dass $\varphi$ eine
\definitionsverweis {Bijektion}{}{}
\maabbdisp {\varphi {{|}}_{ U_1 }} {U_1} {U_2} {}
induziert, und dass die Umkehrabbildung
\maabbdisp {( \varphi {{|}}_{ U_1 } )^{-1}} {U_2} {U_1
} {}
ebenfalls stetig differenzierbar ist.}
\faktzusatz {}
\faktzusatz {}
}
{
\teilbeweis {}{Wir beginnen mit einigen Reduktionen.\leerzeichen{}}{}
{Zuerst kann man durch Verschiebungen im Definitionsraum und im Zielraum annehmen, dass
\mavergleichskette
{\vergleichskette
{ P
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{ \varphi ( P)
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist. Es sei
\mavergleichskette
{\vergleichskette
{ D
}
{ = }{ \left(D\varphi\right)_{ P}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die durch das totale Differential gegebene bijektive
\definitionsverweis {lineare Abbildung}{}{}
mit der linearen Umkehrabbildung $D^{-1}$. Wir betrachten die Gesamtabbildung
\mathdisp {G \stackrel{\varphi}{\longrightarrow} V_2 \stackrel{D^{-1} }{\longrightarrow} V_1} { . }
Diese ist wieder stetig differenzierbar, und das totale Differential davon ist
\mavergleichskette
{\vergleichskette
{ D^{-1} \circ D
}
{ = }{
\operatorname{Id}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Wenn wir für diese zusammengesetzte Abbildung die Aussage zeigen können, so folgt die Aussage auch für $\varphi$, da eine lineare Abbildung stetig differenzierbar ist. Wir können also annehmen, dass
\maabb {\varphi} {V_1} {V_1 = V_2
} {}
eine stetig differenzierbare Abbildung mit
\mavergleichskette
{\vergleichskette
{ \varphi(0)
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist, deren totales Differential in $0$ die Identität ist. Wir werden dennoch von
\mathkor {} {V_1} {und} {V_2} {}
sprechen, um klar zu machen, ob sich etwas im Definitionsraum oder im Zielraum abspielt.}
{}
\teilbeweis {}{}{}
{Sei
\mavergleichskette
{\vergleichskette
{ y
}
{ \in }{ V_2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
fixiert. Wir betrachten die Hilfsabbildung
\maabbeledisp {H_y} { G } { V_2
} { x } { H_y(x) = x- \varphi(x) +y
} {.}
Diese Hilfsabbildung erfüllt folgende Eigenschaft: Ein Punkt
\mavergleichskette
{\vergleichskette
{ x
}
{ \in }{ G
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist genau dann ein
\definitionsverweis {Fixpunkt}{}{}
von $H_y$, also ein Punkt mit
\mavergleichskette
{\vergleichskette
{ H_y(x)
}
{ = }{ x - \varphi(x)+ y
}
{ = }{ x
}
{ }{
}
{ }{
}
}
{}{}{,}
wenn
\mavergleichskette
{\vergleichskette
{ \varphi(x)
}
{ = }{ y
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist, d.h. wenn $x$ ein Urbild von $y$ unter $\varphi$ ist. Die Abbildungen $H_y$ sind selbst stetig differenzierbar und es gilt
\mavergleichskette
{\vergleichskette
{ \left(DH_y\right)_{x}
}
{ = }{
\operatorname{Id} - \left(D\varphi\right)_{x}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}}
{}
\teilbeweis {}{Wir möchten den
Banachschen Fixpunktsatz
auf $H_y$ anwenden, um dafür einen Fixpunkt zu gewinnen und diesen als Urbildpunkt von $y$ unter $\varphi$ nachweisen zu können. Wir fixieren eine euklidische Norm.\leerzeichen{}}{}
{Wegen der Stetigkeit von
\mathl{x \mapsto \left(D\varphi\right)_{x}}{} und wegen
\mavergleichskettedisp
{\vergleichskette
{ \left(D\varphi\right)_{0}
}
{ =} {
\operatorname{Id}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gibt es ein
\mathbed {r \in \R} {}
{r >0} {}
{} {} {} {,}
derart, dass für alle
\mavergleichskette
{\vergleichskette
{ x
}
{ \in }{ B \left( 0,r \right)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die Abschätzung
\mavergleichskettedisp
{\vergleichskette
{ \Vert { \left(DH_y\right)_{x} } \Vert
}
{ =} { \Vert {
\operatorname{Id} -\left(D\varphi\right)_{x} } \Vert
}
{ \leq} { { \frac{ 1 }{ 2 } }
}
{ } {
}
{ } {
}
}
{}{}{}
gilt. Für jedes
\mavergleichskette
{\vergleichskette
{ x
}
{ \in }{ B \left( 0,r \right)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gilt daher nach der
Mittelwertabschätzung
die Abschätzung
\mavergleichskettealign
{\vergleichskettealign
{ \Vert {x- \varphi(x)} \Vert
}
{ =} { \Vert {H_0(x) } \Vert
}
{ =} { \Vert {H_0(x) - H_0(0)} \Vert
}
{ \leq} { { \frac{ 1 }{ 2 } } \Vert {x} \Vert
}
{ } {}
}
{}
{}{.}
Für
\mathkor {} {y \in B \left( 0, { \frac{ r }{ 2 } } \right)} {und} {x \in B \left( 0,r \right)} {}
gilt
\mavergleichskettealign
{\vergleichskettealign
{ \Vert {H_y(x)} \Vert
}
{ =} { \Vert {x - \varphi(x) +y } \Vert
}
{ \leq} { \Vert {x - \varphi(x)} \Vert + \Vert {y} \Vert
}
{ \leq} { { \frac{ \Vert {x} \Vert }{ 2 } } + { \frac{ r }{ 2 } }
}
{ \leq} { { \frac{ r }{ 2 } } + { \frac{ r }{ 2 } }
}
}
{
\vergleichskettefortsetzungalign
{ =} { r
}
{ } {}
{ } {}
{ } {}
}
{}{.}
Für jedes
\mavergleichskette
{\vergleichskette
{ y
}
{ \in }{ B \left( 0, { \frac{ r }{ 2 } } \right)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
liegt also eine Abbildung
\maabbdisp {H_y} { B \left( 0,r \right) } {B \left( 0,r \right)
} {}
vor.}
{}
\teilbeweis {}{}{}
{Wegen der oben formulierten Ableitungseigenschaft und aufgrund der
Mittelwertabschätzung
gilt für zwei Punkte
\mavergleichskette
{\vergleichskette
{ x_1,x_2
}
{ \in }{ B \left( 0,r \right)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die Abschätzung
\mavergleichskettedisp
{\vergleichskette
{ \Vert { H_y(x_1)- H_y(x_2)} \Vert
}
{ \leq} { { \frac{ 1 }{ 2 } } \Vert {x_1-x_2} \Vert
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
so dass
\mathl{H_y}{} eine
\definitionsverweis {stark kontrahierende Abbildung}{}{}
ist. Da ein euklidischer Vektorraum und damit auch die abgeschlossene Kugel
\mathl{B \left( 0,r \right)}{}
\definitionsverweis {vollständig}{}{}
sind
\zusatzklammer {siehe
Aufgabe 36.6
und
Aufgabe 36.15} {} {,}
besitzt jede Abbildung
\mathl{H_y}{} aufgrund des
Banachschen Fixpunktsatzes
genau einen Fixpunkt aus
\mathl{B \left( 0, { \frac{ r }{ 2 } } \right)}{,} den wir mit
\mathl{\psi(y)}{} bezeichnen. Aufgrund der eingangs gemachten Überlegung ist
\mavergleichskette
{\vergleichskette
{ \varphi(\psi(y))
}
{ = }{ y
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}}
{}
\teilbeweis {}{}{}
{Zu
\mavergleichskette
{\vergleichskette
{ y
}
{ \in }{ U { \left( 0,\frac{r}{2} \right) }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gehört das eindeutige Urbild
\mavergleichskette
{\vergleichskette
{ x
}
{ \in }{ B \left( 0,r \right)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
zur offenen Kugel
\mathl{U { \left( 0,r \right) }}{,} wie die obige Abschätzung zeigt. Wir setzen
\mathkor {} {U_2 = U { \left( 0, { \frac{ r }{ 2 } } \right) }} {und} {U_1 = \varphi^{-1}(U_2) \cap U { \left( 0, r \right) }} {,}
wobei $U_1$ aufgrund der Stetigkeit von $\varphi$ offen ist. Die eingeschränkte Abbildung
\maabbeledisp {\varphi {{|}}_{U_1}} {U_1} {U_2
} {x} {\varphi(x)
} {}
ist wieder stetig und bijektiv. Insbesondere gibt es eine Umkehrabbildung
\maabbdisp {\psi} { U_2 } { U_1
} {,}
die wir als stetig differenzierbar nachweisen müssen.}
{}
\teilbeweis {}{}{}
{Wir zeigen zuerst, dass $\psi$
\definitionsverweis {Lipschitz-stetig}{}{}
ist mit der
\definitionsverweis {Lipschitz-Konstanten}{}{}
$2$. Seien
\mavergleichskette
{\vergleichskette
{ y_1,y_2
}
{ \in }{ U_2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gegeben mit den eindeutigen Elementen
\mavergleichskette
{\vergleichskette
{ x_1,x_2
}
{ \in }{ U_1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mathkor {} {\varphi (x_1)=y_1} {und} {\varphi (x_2)=y_2} {.}
Es gelten die Abschätzungen
\mavergleichskettealignhandlinks
{\vergleichskettealignhandlinks
{ \Vert {x_2-x_1} \Vert
}
{ =} { \Vert {H_0(x_2)+ \varphi(x_2) - H_0(x_1) - \varphi(x_1) } \Vert
}
{ \leq} { \Vert {H_0(x_2) - H_0(x_1) } \Vert + \Vert { \varphi(x_2) - \varphi(x_1) } \Vert
}
{ \leq} { { \frac{ 1 }{ 2 } } \Vert {x_2-x_1} \Vert + \Vert { \varphi(x_2) - \varphi(x_1) } \Vert
}
{ } {
}
}
{}
{}{,}
wobei die letzte Abschätzung auf obiger Überlegung beruht. Durch Umstellung ergibt sich
\mavergleichskettedisp
{\vergleichskette
{ \Vert {\psi(y_2)- \psi(y_1)} \Vert
}
{ =} { \Vert {x_2-x_1} \Vert
}
{ \leq} { 2 \Vert {y_2-y_1} \Vert
}
{ } {
}
{ } {
}
}
{}{}{.}}
{}
\teilbeweis {}{}{}
{Aufgrund von
Lemma 52.1
ist $\psi$ auch differenzierbar und es gilt die Formel
\mavergleichskettedisp
{\vergleichskette
{ \left(D\psi\right)_{y}
}
{ =} { (\left(D\varphi\right)_{ \psi(y)} )^{-1}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Aus dieser Darstellung lässt sich auch die stetige Abhängigkeit der Ableitung von $y$ ablesen, da $\psi$ stetig ist, da das totale Differential von $\varphi$ nach Voraussetzung stetig von
\mavergleichskette
{\vergleichskette
{ x
}
{ = }{ \psi(y)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
abhängt und da das Bilden der Umkehrmatrix ebenfalls stetig ist.}
{}