Hyperfläche/Glatt und kompakt/Gauß-Abbildung surjektiv/Fakt

Satz über das Bild der Gauß-Abbildung eine Hyperfläche.

Es sei eine offene Teilmenge und sei

eine stetig differenzierbare Funktion. Die Faser von zu sei kompakt und in jedem Punkt regulär.

Dann ist die Gauß-Abbildung

surjektiv.