Mannigfaltigkeit: Differentialgeometrie: Wurzelzieher Mathepedia

Neu: Das Wurzelzieher Mathepedia Forum.

Jetzt registrieren und mit anderen Nutzern über Mathematik diskutieren!

Mannigfaltigkeit bezeichnet in der Mathematik einen topologischen Raum, der lokal einem gewöhnlichen Euklidischen Raum

gleicht. Im Ganzen muss die Mannigfaltigkeit nicht einem

entsprechen (nicht zu ihm homöomorph sein).

Mannigfaltigkeiten sind der zentrale Gegenstand der Differentialgeometrie; sie haben bedeutende Anwendungen in der theoretischen Physik.

Einführendes Beispiel

Ein gern gewähltes Beispiel für eine Mannigfaltigkeit ist eine Sphäre (= Kugeloberfläche), anschaulich etwa die Erdoberfläche:

Jede Region der Erde kann man mit einer Karte auf eine Ebene

abbilden. Nähert man sich dem Rand der Karte, sollte man zu einer anderen Karte wechseln, die das angrenzende Gebiet darstellt. So kann man eine Mannigfaltigkeit durch einen vollständigen Satz von Karten vollständig beschreiben; man braucht dabei Regeln, wie sich beim Kartenwechsel die Karten überlappen. Dagegen gibt es keine einzelne Karte, auf der die gesamte Kugeloberfläche vollständig dargestellt werden kann, ohne sie zu "zerreißen"; Weltkarten haben ja auch stets "Ränder", oder sie bilden Teile der Erde zweimal ab.

Die Dimension einer Mannigfaltigkeit entspricht der Dimension einer lokalen Karte; alle Karten haben die gleiche Dimension.

Übersicht

Wenn die Kartenwechsel hinreichend glatt sind, hat man eine differenzierbare Mannigfaltigkeit. Aus der Analysis bekannte Begriffe wie die Ableitung kann man auf natürliche Art auf differenzierbare Mannigfaltigkeiten übertragen. Eine Riemannsche Mannigfaltigkeit (nach Bernhard Riemann) besitzt mit der Riemannschen Metrik eine zusätzliche Struktur, die es erlaubt, Winkel und Entfernungen zu bestimmen.

Warnung: Eine Sphäre ist ein Beispiel für eine Mannigfaltigkeit, die in einen Euklidischen Raum höherer Dimension eingebettet ist (eine Untermannigfaltigkeit). Eine solche Einbettung existiert zwar für jede Mannigfaltigkeit (vgl. Einbettungssatz von Whitney und Einbettungssatz von Nash). Die moderne mathematische Beschreibung von Mannigfaltigkeiten nimmt aber keinen Bezug auf einen Einbettungsraum.

In der Physik finden differenzierbare Mannigfaltigkeiten Verwendung als Phasenräume in der klassischen Mechanik und als vierdimensionale pseudo-Riemannsche Mannigfaltigkeiten zur Beschreibung der Raum-Zeit in der Allgemeinen Relativitätstheorie und Kosmologie.

Ränder, Orientierung

Eine Sphäre (=Kugeloberfläche) ist eine Mannigfaltigkeit ohne Rand. Eine Vollkugel dagegen ist eine Mannigfaltigkeit mit Rand; ihr Rand ist gerade die Kugeloberfläche. Wir verzichten hier auf eine technische Definition des Begriffs Rand (boundary) und weisen darauf hin, dass die im folgenden gegebene Definition des Begriffs Mannigfaltigkeit nur Mannigfaltigkeiten ohne Ränder einschließt.

Mannigfaltigkeiten können orientierbar sein. Bekannteste Beispiele nicht-orientierbarer Mannigfaltigkeiten sind etwa das Möbiusband und die Kleinsche Flasche. Auch solche Mannigfaltigkeiten werden wir im weiteren nicht betrachten.

Arten von Mannigfaltigkeiten

Topologische Mannigfaltigkeiten

Eine topologische n-Mannigfaltigkeit ist ein parakompakter Hausdorff-Raum, in dem jeder Punkt eine offene Umgebung besitzt, die homöomorph zu einer offenen Teilmenge von

ist.

Mannigfaltigkeiten erben viele lokale Eigenschaften vom Euklidischen Raum: sie sind lokal wegzusammenhängend, lokal kompakt und lokal metrisierbar.

Es ist nicht möglich, alle Mannigfaltigkeiten zu klassifizieren. Die zusammenhängenden 1-dimensionalen Mannigfaltigkeiten (ohne Rand) sind die reelle Zahlengerade

und der Kreis

. Die Klassifikation der 2-Mannigfaltigkeiten ist ebenfalls bekannt, aber schon für die 3-Mannigfaltigkeiten ist das Problem ungelöst (die Geometrisierung von 3-Mannigfaltigkeiten wäre eine Klassifizierung; ihr vermutlicher Beweis durch Grigori Perelman wird momentan noch von der Fachwelt geprüft). Die 4-dimensionalen Fälle können nicht klassifiziert werden (jede endlich-erzeugte Gruppe ist als Fundamentalgruppe eines solchen Raumes realisierbar, und eine Klassifizierung aller endlich-erzeugten Gruppen ist unmöglich).

Differenzierbare Mannigfaltigkeiten

Um differenzierbare Funktionen zu betrachten, reicht die Struktur einer topologischen Mannigfaltigkeit nicht aus. Es sei M eine solche topologische n-Mannigfaltigkeit ohne Rand. Eine offene Teilmenge von M, auf der ein Homöomorphismus zu einer offenen Menge von

definiert ist, nennt man eine Karte. Eine Sammlung von Karten, die M überdecken, nennt man einen Atlas von M. Sich überlappende Karten induzieren einen Homöomorphismus (einen so genannten Kartenwechsel oder Koordinatenwechsel) zwischen offenen Teilmengen von

. Falls für einen Atlas

alle solche Abbildungen k-mal differenzierbar sind, dann nennt man

einen C^k -Atlas. Zwei C^k -Atlanten (der selben Mannigfaltigkeit) nennt man genau dann miteinander verträglich, wenn ihre Vereinigung wieder einen C^k -Atlas bildet. Diese Verträglichkeit ist eine Äquivalenzrelation. Eine C^k -Mannigfaltigkeit ist eine topologische Mannigfaltigkeit zusammen mit einem C^k -Atlas (eigentlich mit einer Äquivalenzklasse von C^k -Atlanten). Glatte Mannigfaltigkeiten sind Mannigfaltigkeiten vom Typ

. Sind alle Kartenwechsel sogar analytisch, dann nennt man die Mannigfaltigkeit ebenfalls analytisch oder auch -Mannigfaltigkeit.

Zu jeder (parakompakten) C^r -Mannigfaltigkeit (r > 1) existiert ein Atlas, der beliebig oft differenzierbar oder sogar analytisch ist. In der Tat ist diese Struktur sogar eindeutig, d.h. es ist keine Einschränkung der Allgemeinheit anzunehmen, dass jede Mannigfaltigkeit analytisch ist (wenn man von differenzierbaren Mannigfaltigkeiten redet).

Diese Aussage ist aber für topologische Mannigfaltigkeiten der Dimension 4 oder höher nicht mehr unbedingt richtig: So gibt es sowohl C⁰ -Mannigfaltigkeiten, die keine differenzierbare Struktur besitzen, als auch C¹ -Mannigfaltigkeiten (oder auch

-M., s.o.), die als differenzierbare Mannigfaltigkeiten unterschiedlich, aber als topologische Mannigfaltigkeiten gleich sind. Das bekannteste Beispiel für den zweiten Fall sind die so genannten exotischen 7-Sphären, die alle homöomorph zu

(aber untereinander nicht diffeomorph) sind. Da die topologische und die differenzierbare Kategorie in niedriger Dimension übereinstimmen, sind solche Resultate leider nur schwer zu veranschaulichen.

Komplexe Mannigfaltigkeiten

Eine topologische Mannigfaltigkeit X heißt komplexe Mannigfaltigkeit der Dimension n, falls jeder Punkt

eine offene Umgebung

hat, die homöomorph zu einer offenen Menge

ist. Ferner fordert man, daß für je zwei Karten

der Kartenwechsel

Der wesentliche Unterschied zu gewöhnlichen differenzierbaren Mannigfaltigkeiten liegt weniger im Unterschied zwischen

und

, sondern in der viel stärkeren Forderung der komplexen Differenzierbarkeit der Kartenwechselabbildungen.

(Zusammenhängende) Komplexe Mannigfaltigkeiten der Dimension 1 werden als Riemannsche Flächen bezeichnet.

Tangentialbündel

An jedem Punkt p einer differenzierbaren (aber nicht einer topologischen) Mannigfaltigkeit findet man einen Tangentialraum. In einer Karte heftet man an diesen Punkt einfach einen

an und überlegt sich dann, dass das Differential eines Koordinatenwechsels an jedem Punkt einen linearen Isomorphismus definiert, der die Transformation des Tangentialraums in die andere Karte leistet. Abstrakt definiert man den Tangentialraum an p entweder als den Raum der Derivationen an diesem Punkt oder den Raum von Äquivalenzklassen von differenzierbaren Kurven (wobei die Äquivalenzrelation angibt, wann die Geschwindigkeitvektoren zweier Kurven an p gleich sein sollen).

Die Vereinigung aller Tangentialräume einer Mannigfaltigkeit bildet ein Vektorbündel, das Tangentialbündel genannt wird. Der Tangentialraum einer Mannigfaltigkeit M im Punkt p wird meist mit T_p M bezeichnet, das Tangentialbündel mit TM.

Ein Unterbündel des Tangentialbündels ist das Einheitstangentialbündel UTM, das nur aus Tangentialvektoren der Länge 1 besteht. Seine Fasern sind keine Vektorräume, sondern Sphären der Dimension n-1. Daher ist es kein Vektorbündel sondern nur ein Faserbündel. Als Bündel ist es unabhängig von der Wahl der Metrik auf den Tangentialräumen.

Semi-Riemannsche Mannigfaltigkeiten

Auf einer "nackten" differenzierbaren Mannigfaltigkeit ist es nicht möglich Abstände, Winkel oder Volumen zu bestimmen. Semi-Riemannsche Mannigfaltigkeiten sind spezielle differenzierbare Mannigfaltigkeiten. Hier gibt es als sogenannte Metrik nicht unbedingt ein (positiv definites) Skalarprodukt, sondern nur eine symmetrische, nicht-ausgeartete Bilinearform. Mit dieser lassen sich Abstände, Winkel und Volumen definieren, wobei diese Begriffe jedoch nicht immer der anschaulichen Interpretation dieser Worte entsprechen.

Nach dem Trägheitssatz von Sylvester lässt sich eine solche Bilinearform in einer Orthonormalbasis als Diagonalmatrix mit Einträgen von

darstellen. Sind dann r Einträge +1 und s Einträge -1, spricht man von einer Metrik mit Signatur (r,s).

Ist die Signatur der Metrik (1,m-1), wobei m die Dimension der Mannigfaltigkeit ist, spricht man von einer Lorentz-Mannigfaltigkeit.

Riemannsche Mannigfaltigkeiten

Will man Abstände, Winkel und Volumen so definieren, dass die Definition mit dem anschaulichen Verständnis dieser Begriffe übereinstimmt, so ist die üblichste Art, alle diese Größen festzulegen, die Angabe eines Skalarproduktes des Tangentialraums an jedem Punkt der Mannigfaltigkeit (oder äquivalent einer orthonormalen Basis von Tangentialvektoren).

Eine solche Mannigfaltigkeit nennt man dann Riemannsche Mannigfaltigkeit. Riemannsche Mannigfaltigkeiten sind also Semi-Riemannsche Mannigfaltigkeiten, deren Metriken Skalarprodukte sind, also die Signatur (m,0) haben, wobei m die Dimension der Mannigfaltigkeit ist.

Besteht nur die Forderung nach einer Längenmessung, gibt es die allgemeineren Finslerschen Mannigfaltigkeiten (auch Finsler-Geometrie).

Lie-Gruppen

Eine Lie-Gruppe G ist sowohl eine differenzierbare Mannigfaltigkeit als auch eine Gruppe. Man fordert, dass beide Strukturen miteinander verträglich sind. Diese Objekte beschreiben typische Symmetrien von geometrischen Strukturen und physikalischen Systemen.

Impressum: Wurzelzieher Mathepedia • Thomas Steinfeld • Dorfplatz 25 • 17237 Blankensee • Tel.: 01734332309 (Vodafone/D2) • Email: matһе@wυrzеlzιeher.de

Inhalt

Mannigfaltigkeit