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.