Wir betrachten die Abbildung
-
- Die
Jacobi-Matrix
zu in ist
-
- Die
Jacobi-Determinante
von in ist
- Die Jacobi-Determinante von in
ist . Daher ist das totale Differential in diesem Punkt
invertierbar
und nach
dem Satz über die Umkehrabbildung
gibt es eine offene Umgebung von , worauf ein Diffeomorphismus vorliegt.
- Die Jacobi-Matrix von in ist
-
Die Jacobi-Matrix der Umkehrabbildung in ist die inverse Matrix dazu. Das Invertierungsverfahren ergibt
|
|
|
|
|
|
|
|
Die Jacobi-Matrix der Umkehrabbildung ist somit
-