Satz über die Umkehrabbildung/C/Stetig differenzierbar/Fakt/Beweis

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.