Differenzierbare Abbildung/R/Bijektives Differential/Stetige Umkehrabbildung/Differenzierbar/Fakt

Aus Wikiversity

Es seien und endlichdimensionale reelle Vektorräume, und offene Teilmengen und sei

eine bijektive differenzierbare Abbildung. Sei . Das totale Differential

sei bijektiv und die Umkehrabbildung

sei stetig in .

Dann ist die Umkehrabbildung differenzierbar in und für ihre Ableitung gilt