a) Wir bestimmen die Jacobi-Matrix von , diese ist
-
Die Determinante davon ist
-
Dies ist genau dann, wenn ist, sodass die regulären Punkte genau die Punkte sind, deren -Koordinate nicht ist.
b) Die Abbildung ist nach Teil a) im Punkt regulär, daher gibt es nach dem Satz über die Umkehrabbildung eine differenzierbare Umkehrabbildung , die in einer offenen Umgebung von definiert ist. Das totale Differential von im Punkt ist die inverse Matrix zum totalen Differential von in , also invers zu
-
Die inverse Matrix dazu ist
-
c) Für die Punkte
mit
gibt es aufgrund des Satzes über die Umkehrabbildung lokal eine Umkehrabildung. Für einen Punkt
mit
gibt es dagegen keine lokale Umkehrabbildung, da ein solcher Punkt auf der Geraden liegt, die die Faser über
ist. Daher ist diese Abbildung in keiner offenen Umgebung von
injektiv.