Inverse AbbildungE, F seien Banachräume, , stetig differenzierbar in U, .
besitze eine Inverse.
Dann gibt es und sodass f eingeschränkt auf ( ) bijektiv ist mit stetig differenzierbarer Inverse ![$ g: \tilde V \to \tilde U $ $ g: \tilde V \to \tilde U $](/teximg/1/1/00794411.png)
Und es gilt: ![$ (Df(x_0))^{-1} = Dg(y_0) $ $ (Df(x_0))^{-1} = Dg(y_0) $](/teximg/2/1/00794412.png)
(sogar )
Korollar: f ist offen, d.h. offene Teilmengen von U werden auf offene Mengen in F abgebildet.
|