Satz über die Umkehrabbildung/C/Stetig differenzierbar/Fakt/Beweis
Wir verwenden die reelle Situation, also Fakt. Wir fassen die die komplexen Vektorräume und als reelle Vektorräume auf und wir fassen die komplex stetig differenzierbare Abbildung
die die Voraussetzungen des Satzes im Punkt erfüllt, als eine reell stetig differenzierbare Abbildung auf. Dabei gilt die Voraussetzung über die Bijektivität des totalen Differentials auch in der reellen Situation, da ja das komplexe totale Differential mit dem reellen totalen Differential übereinstimmt. Es gibt also offene Umgebungen von und von derart, dass die Einschränkung
bijektiv ist und die Umkehrabbildung
ebenfalls reell stetig differenzierbar ist. Da das totale Differential eine komplex-lineare Abbildung beschreibt, gilt dies auch für die lineare Umkehrabbildung davon, die ja nach dem Satz das (reelle) totale Differential von , also ist. Die Umkehrabbildung ist also in auch komplex total differenzierbar.