Hyperfläche/Glatt und kompakt/Jede Hyperebene als Tangentialraum/Fakt
Zur Navigation springen
Zur Suche springen
Es sei eine offene Teilmenge und sei
eine stetig differenzierbare Funktion. Die Faser von zu einem Punkt sei kompakt und in jedem Punkt regulär.
Dann ist jeder -dimensionale Unterraum für mindestens einen Punkt gleich dem Tangentialraum .