Untermannigfaltigkeit

Vorlage:Hinweisbaustein In der Differentialgeometrie beziehungsweise Differentialtopologie ist eine Untermannigfaltigkeit eine Teilmenge einer Mannigfaltigkeit, die mit den Karten der Mannigfaltigkeit verträglich ist.

Definition

Eine Teilmenge <math>N</math> einer <math>n</math>-dimensionalen Mannigfaltigkeit <math>M</math> ist genau dann eine <math>k</math>-dimensionale (eingebettete) Untermannigfaltigkeit, wenn für jeden Punkt <math>p \in N</math> eine Karte <math>(\varphi,U)</math> von <math>M</math> mit <math>p\in U</math> existiert, so dass die Gleichung

<math>\varphi(N\cap U) = (\mathbb{R}^k \times \{0\}^{n-k}) \cap \varphi(U)</math>

erfüllt ist. Jede (eingebettete) Untermannigfaltigkeit ist mit den gerade angegebenen Karten und der induzierten Unterraumtopologie wieder eine Mannigfaltigkeit.

Es gibt auch eine allgemeinere Definition von immersierten Untermannigfaltigkeiten, diese sind definiert als das Bild einer injektiven Immersion einer Mannigfaltigkeit. Wenn ohne weiteren Zusatz von Untermannigfaltigkeiten gesprochen wird, sind jedoch in aller Regel eingebettete Untermannigfaltigkeiten gemeint.

Orientierbarkeit und Orientierung

Eine Untermannigfaltigkeit <math>N</math> heißt orientierbar, wenn es einen zugehörigen orientierten Atlas gibt. Dies liegt genau dann vor, wenn alle Karten gleichorientiert sind.

Damit stellt die Gleichorientiertheit von Atlanten eine Äquivalenzrelation dar und wir bezeichnen die Äquivalenzklasse <math> \sigma </math> als die Orientierung von M. Man kann beide als ein Paar <math> (M, \sigma) </math> zusammenfassen.

Beispiele

Standardbeispiele für Untermannigfaltigkeiten sind die offenen Mengen des <math>\R^n</math> (gleichdimensional) oder der Äquator einer Sphäre (niederdimensional). Allgemein ist das Urbild eines regulären Wertes einer Funktion <math>f\colon\, M\to X</math> eine Untermannigfaltigkeit von <math>M</math>, siehe Satz vom regulären Wert.

Datei:Möbius strip.pdf

Ein Möbiusband parametrisiert mit zwei Karten.

Ein weiteres Beispiel ist das Möbiusband. Es lässt sich darüber hinaus zeigen, dass es nicht orientierbar ist. Der Standardbeweis dafür sieht vor, einen Normaleneinheitsvektor auf der Oberfläche entlang laufen zu lassen. Die resultierende Abbildung ist nicht stetig und somit ist das Möbiusband nicht orientierbar.

Alternativ kann man zeigen, dass es keinen orientierten Atlas gibt. Dazu bietet es sich an, zunächst einen Atlas <math> A </math> zu suchen und zu zeigen, dass dieser nicht orientiert ist. Es könnte jedoch ein weiterer Atlas <math> B </math> existieren, welcher orientiert sein könnte. Dann müsste je eine Karte aus <math> A </math> zu je einer Karte aus <math> B </math> entweder gleichorientiert oder entgegengesetzt orientiert sein. Dies ist jedoch nicht möglich, weil es Karten gibt, die abschnittsweise gleich und abschnittweise entgegengesetzt sein müssen.

Literatur

Klaus Jänich: Vektoranalysis. 2. Auflage. Springer-Verlag, Berlin u. a. 1993, ISBN 3-540-57142-6.
R. Abraham, J. E. Marsden, T. Ratiu: Manifolds, Tensor Analysis, and Applications (= Applied Mathematical Sciences 75). 2nd Edition. Springer-Verlag, New York NY u. a. 1988, ISBN 0-387-96790-7.
O. Forster: Analysis III, Aufbaukurs Mathematik. Vieweg+Teubner Verlag Springer Fachmedien Wiesbaden 2012