Mannigfaltigkeit mit Rand/Rand ist Mannigfaltigkeit/Fakt
Erscheinungsbild
Es sei eine differenzierbare Mannigfaltigkeit mit Rand der Dimension .
Dann ist der Rand eine differenzierbare Mannigfaltigkeit (ohne Rand) der Dimension .
Es sei eine differenzierbare Mannigfaltigkeit mit Rand der Dimension .
Dann ist der Rand eine differenzierbare Mannigfaltigkeit (ohne Rand) der Dimension .