# Überlagerung/Komplexe Zahlen/Einführung/Textabschnitt
## Definition

Es seien $X$ und $Y$ topologische Räume. Eine stetige Abbildung
    $p\colon Y\longrightarrow X$
heißt Überlagerung, wenn es eine offene Überdeckung $X=\bigcup _{i\in I}U_{i}$ und eine Familie diskreter topologischer Räume $F_{i}$, $i\in I$, derart gibt, dass $p^{-1}(U_{i})$ homöomorph zu $U_{i}\times F_{i}$ (versehen mit der Produkttopologie) ist, wobei die Homöomorphien mit den Abbildungen nach $U_{i}$ verträglich sind.
Eine Abbildung der Form
    $U\times F\longrightarrow U$
mit einem diskreten Raum $F$ nennt man triviale Überlagerung von $U$, der Überlagerungsraum besteht einfach aus $F$-vielen disjunkten Kopien das Basisraumes $U$. Zu $P\in F$ nennt man dann die zu $U$ homöomorphe Teilmenge $U\times \{P\}$ ein Blatt der Überlagerung über $U$. Lokal ist jede Überlagerung trivial, nach Definition liegen ja kommutative Diagramme
    ${\begin{matrix}p^{-1}(U_{i})&{\stackrel{\longrightarrow }}&U_{i}\times F_{i}&\\&\!\!\!\!\!p\searrow &\downarrow &\\&&U_{i}&\!\!\!\!\!\!\!\!\\\end{matrix}}$
mit horizontalen Homöomorphien vor. Deshalb sind hauptsächlich globale Eigenschaften einer Überlagerung interessant. Unter schwachen Voraussetzungen (siehe Fakt) gibt es nur einen diskreten Raum $F$.

## Beispiel

Zu $n\in \mathbb {N} _{+}$ ist
    $\varphi \colon {\mathbb {C} }^{\times }\longrightarrow {\mathbb {C} }^{\times },\,w\longmapsto w^{n},$
eine Überlagerung. Sei $z\in {\mathbb {C} }^{\times }$ und $w\in {\mathbb {C} }^{\times }$ ein Punkt mit $w^{n}=z$. Es sei $w\in V\subseteq {\mathbb {C} }^{\times }$ eine offene Umgebung, die homöomorph auf $U:=\varphi (V)$ abbildet. Eine solche Menge gibt es nach Fakt und wegen $\varphi '(w)=nw^{n-1}\neq 0$. Die Menge der $n$-ten komplexen Einheitswurzeln ist
    $E_{n}={\left\{\zeta \in {\mathbb {C} }\mid \zeta ^{n}=1\right\}}=\{e^{\frac {2\pi k{\mathrm {i} }}{n}}{|}\,k=0,\ldots ,n-1\}\,,$
siehe Fakt. Wir können $V$ verkleinern und dadurch erreichen, dass für alle $n$-ten Einheitswurzeln $\zeta \neq 1$ die offenen Mengen $V$ und $\mu _{\zeta }(V)$ disjunkt sind. Dann ist
    $\varphi ^{-1}{\left(U\right)}\cong \biguplus _{\zeta \in E_{n}}\mu _{\zeta }(V)\cong U\times E_{n}\,.$

## Beispiel

Die Abbildung
    $\exp \colon {\mathbb {C} }\longrightarrow {\mathbb {C} }^{\times },\,w\longmapsto \exp w,$
ist eine Überlagerung. Zu einem Punkt $z\in {\mathbb {C} }^{\times }$ und einem Punkt $w\in {\mathbb {C} }$ mit $\exp w=z$ gibt es nach Fakt eine offene Umgebung $w\in V\subseteq {\mathbb {C} }$, die homöomorph auf $U:=\exp \left(V\right)$ abbildet. Durch Verkleinern von $V$ können wir annehmen, dass die offenen Mengen $V$ umd $V+2\pi k{\mathrm {i} }$ für $k\neq 0$ disjunkt sind. Dann ist
    $\exp ^{-1}(U)\cong \biguplus _{k\in \mathbb {Z} }{\left(V+2k\pi {\mathrm {i} }\right)}\cong U\times \mathbb {Z} \,.$

## Lemma

Es sei $p\colon Y\rightarrow X$ eine Überlagerung und $X$ zusammenhängend.
Dann ist
für alle $x,y\in X$.

### Beweis

Es sei zunächst $p\colon Y\rightarrow X$ eine beliebige Überlagerung und $U_{i}$, $i\in I$, eine Überdeckung von $X$, über der die Überlagerung trivialisiert. Für $x,y\in U_{i}$ ist
    $p^{-1}(x)\cong F_{i}\cong p^{-1}(y)\,.$
Es sei nun $X$ zusammenhängend, $x\in X$ fixiert und
    $T:={\left\{y\in X\mid p^{-1}(y)\cong p^{-1}(x)\right\}}\neq \emptyset \,.$
Dann ist $T$ offen, denn es enthält zu jedem seiner Punkte noch eine offene Umgebung, über der $p$ trivialisiert. Aus dem gleichen Grund ist aber auch $X\setminus T$ offen. Da $X$ zusammenhängend ist, gilt $T=X$.
$\Box$
Somit hängt die Mächtigkeit einer Faser einer Überlagerung eines zusammenhängenden Raumes nicht von der Wahl des Punktes ab. In Beispiel ist $F=\mathbb {Z} /(n)$ und in Beispiel ist $F=\mathbb {Z}$.