Atlas (Mathematik)

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

Karte

Sei $S$ ein Hausdorff-Raum, $U\subset S$ eine offene Teilmenge und $A\subset \mathbb {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 Paar $(U,\phi )$.

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

Atlas

Ganz allgemein ist ein Atlas auf $S$ eine Menge ${\mathcal {A}}=\left\{(U_{i},\phi _{i})\mid 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.

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

Mit Hilfe eines Atlas ist es möglich, zusätzliche Strukturen auf einer Mannigfaltigkeit zu definieren. Beispielsweise kann man mit Hilfe des Atlas 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

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 \mathbb {R}$ heißt dann differenzierbar in $x$, wenn für eine Karte $(U_{i},\phi _{i})$ mit $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

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

Lokal homogene Mannigfaltigkeit

→ Hauptartikel: (G,X)-Struktur