Hyperfläche/Glatt und kompakt/Jede Hyperebene als Tangentialraum/Fakt

Aus Wikiversity
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 .

Zum Beweis, Alternativen Beweis erstellen