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 
Und es gilt: 
(sogar )
Korollar: f ist offen, d.h. offene Teilmengen von U werden auf offene Mengen in F abgebildet.
|