Beschreibung
In unseren bisherigen Definition für Glatte Mannigfaltigkeit schlossen wir immer aus, dass eine Mannigflatigkeit einen Rand haben kann. Diese Mannigfaltigkeiten lassen nun auch Ränder zu.
Definition
Eine Manigfaltigkeit mit Rand ist ein zweitabzählbarer, Hausdorffscher Topologischer Raum mit einem Atlas , der aus normalen Karten oder aus Randkarten besteht
Eigenschaften
Rand des Randes
Der Rand des Randes ist immer leer.
Das erinnert mich daran, wie das doppelte Äußeres Differential immer ist.