95.90.228.14: /* Beispiele */ Tippfehler korrigiert.

2019-03-28T23:01:59Z

Beispiele: Tippfehler korrigiert.

Neue Seite

{{Dieser Artikel|behandelt Untermannigfaltigkeiten abstrakter Mannigfaltigkeiten. Untermannigfaltigkeiten des <math>\R^n</math> werden im Artikel [[Untermannigfaltigkeit des Rn|Untermannigfaltigkeit des <math>\R^n</math>]] behandelt.}}
In der [[Differentialgeometrie]] beziehungsweise [[Differentialtopologie]] ist eine '''Untermannigfaltigkeit''' eine Teilmenge einer [[Mannigfaltigkeit]], die mit den [[Atlas (Mathematik)|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 [[Immersierte Mannigfaltigkeit|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 ==
{{Hauptartikel|Orientierung (Mathematik)}}
Eine Untermannigfaltigkeit <math>N</math> heißt orientierbar, wenn es einen zugehörigen orientierten [[Atlas (Mathematik) | 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 (Mathematik)|Sphäre]] (niederdimensional). Allgemein ist das Urbild eines [[regulärer Wert|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|mini|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, [[Jerrold Marsden|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

[[Kategorie:Differentialtopologie]]
[[Kategorie:Untermannigfaltigkeit| ]]

Untermannigfaltigkeit - Versionsgeschichte

95.90.228.14: /* Beispiele */ Tippfehler korrigiert.