Abgeschlossene Untermannigfaltigkeit/Ist Mannigfaltigkeit/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei eine differenzierbare Mannigfaltigkeit der Dimension und eine abgeschlossene Untermannigfaltigkeit der Dimension von .

Dann ist eine differenzierbare Mannigfaltigkeit derart, dass die Inklusion eine differenzierbare Abbildung ist.

Zum Beweis, Alternativen Beweis erstellen