Mannigfaltigkeit mit Rand/Orientierung/Randorientierung/Fakt

Satz über die Orientierung der Randmannigfaltigkeit

Es sei ${}M$ eine differenzierbare Mannigfaltigkeit mit Rand, die eine Orientierung trage.

Dann trägt auch die Randmannigfaltigkeit eine kanonische Orientierung, nämlich diejenige, die auf jeder Karte durch die äußere Normale festgelegt ist.

Zum Beweis, Alternativen Beweis erstellen