Atlas (Mathematik)

aus Wikipedia, der freien Enzyklopädie
Wechseln zu: Navigation, Suche

Ein Atlas ist eine Menge von Karten auf einer Mannigfaltigkeit. Er dient dazu, auf einem topologischen Raum zusätzliche Strukturen zu definieren, wie zum Beispiel eine differenzierbare oder eine komplexe Struktur, so dass man eine differenzierbare Mannigfaltigkeit beziehungsweise eine komplexe Mannigfaltigkeit erhält.

Definition[Bearbeiten]

Karte[Bearbeiten]

Sei S ein Hausdorff-Raum, U \subset S eine offene Teilmenge und A \subset \R^n eine offene Teilmenge des euklidischen Raums. Eine Karte auf S ist ein Homöomorphismus  \phi \colon U \to A. Um zu betonen, um welche Grundmenge es sich handelt, schreibt man die Karte auch als 2-Tupel (U, \phi).

Es ist möglich, diese Definition zu verallgemeinern indem man statt des Raums \R^n andere Räume, wie den unitären Vektorraum \C^n, einen Banachraum oder einen Hilbertraum wählt.[1]

Atlas[Bearbeiten]

Ganz allgemein ist ein Atlas auf S eine Menge \mathcal A =\left\{(U_i,\phi_i) | i \in I\right\} von Karten auf S, deren Definitionsbereiche S überdecken

 S = \bigcup_{i \in I} U_i \,.

Falls für einen topologischen Hausdorff-Raum ein solcher Atlas existiert, nennt man diesen Raum Mannigfaltigkeit.[1]

Die Homöomorphismen

\phi_i \circ \phi_j^{-1}\colon\phi_j(U_i\cap U_j)\to \phi_i(U_i\cap U_j)

heißen die Kartenübergänge oder Kartenwechsel des Atlas.

Zusätzliche Strukturen[Bearbeiten]

Mit Hilfe eines Atlas ist es möglich zusätzliche Strukturen auf einer Mannigfaltigkeit zu definieren. Beispielsweise kann man mit Hilfe des Atlasses versuchen, eine differenzierbare Struktur auf der Mannigfaltigkeit zu definieren. Mit dieser ist es möglich Differenzierbarkeit von Funktionen auf der Mannigfaltigkeit zu erklären. Jedoch kann es vorkommen, dass bestimmte Karten nicht miteinander verträglich sind, so dass bei der Wahl einer differenzierbaren Struktur unter Umständen gewisse Karten aus dem Atlas entfernt werden müssen. Die Eigenschaft \textstyle S = \bigcup_{i \in I} U_i muss dabei allerdings erhalten bleiben. Ein Atlas, der alle Karten enthält, die die gleiche differenzierbare Struktur definieren, wird maximaler Atlas genannt.

Differenzierbare Strukturen[Bearbeiten]

Ein differenzierbarer Atlas auf einer Mannigfaltigkeit ist ein Atlas, dessen Kartenübergänge Diffeomorphismen sind.

Eine differenzierbare Struktur auf einer Mannigfaltigkeit ist ein maximaler differenzierbarer Atlas.

Eine Funktion f\colon M\to\R heißt dann differenzierbar in x, wenn für eine Karte x\in U_i die Abbildung f\circ\phi_i^{-1} differenzierbar ist. Wegen der Differenzierbarkeit der Kartenübergänge hängt diese Eigenschaft nicht von der Wahl der Karte ab.

Komplexe Strukturen[Bearbeiten]

Mit Hilfe eines Atlas aus Karten mit Zielbereich \mathbb C^n kann man versuchen eine komplexe Struktur auf der Mannigfaltigkeit zu definieren. Mit Hilfe dieser Struktur ist es möglich holomorphe Funktionen und meromorphe Funktionen auf einer Mannigfaltigkeit zu definieren und zu untersuchen.

(G,X)-Strukturen[Bearbeiten]

Einzelnachweise[Bearbeiten]

  1. a b Abraham, R., Marsden, J. E. & Ratiu T.: Manifolds, Tensor Analysis and Applications. Springer Verlag, Berlin.