Mannigfaltigkeit mit Rand/Rand ist Mannigfaltigkeit/Fakt

Es sei ${}M$ eine differenzierbare Mannigfaltigkeit mit Rand der Dimension ${}n$.

Dann ist der Rand ${}\partial M$ eine differenzierbare Mannigfaltigkeit (ohne Rand) der Dimension ${}n-1$.

Zum Beweis, Alternativen Beweis erstellen