auch universelle Überlagerungsabbildung genannt, eine wegzusammenhängende Überlagerung (Überlagerung, analytische) π : E → B so, daß E einfach zusammenhängend ist.

ℝ ist beispielsweise die universelle Überlagerung des Einheitskreises S¹, die entsprechende Überlagerungsabbildung ist gegeben durch t ↦ e^2πlt. Entsprechend ist die reelle Ebene ℝ² die universelle Überlagerung des Torus S¹ × S¹.

Von besonderem Interesse in der Funktionentheorie ist der Fall, daß G ⊂ ℂ ein Gebiet ist, die Überlagerungsabbildung also eine eine holomorphe Funktion mit speziellen Eigenschaften. Ein holomorpher Überlagerungsraum von G ist ein Paar (D, τ) bestehend aus einem Gebiet D ⊂ ℂ und einer surjektiven holomorphen Funktion τ : D → G mit folgender Eigenschaft: Zu jedem ζ ∈ G existiert eine offene Kreisscheibe B_ζ ⊂ G mit Mittelpunkt ζ derart, daß jede Zusammenhangskomponente des Urbilds \begin{eqnarray}{\tau}^{-1}({B}_{\zeta})\subset D\end{eqnarray} durch τ konform auf B_ζ abgebildet wird. Man nennt τ dann eine holomorphe Überlagerungsabbildung.

Ist D ein einfach zusammenhängendes Gebiet, so heißt (D, τ) ein holomorpher universeller Überlagerungsraum von G, und τ eine holomorphe universelle Überlagerungsabbildung.

Die Bezeichnung „universell“ hat folgenden Grund. Es seien (D₁, τ₁) und (D₂, τ₂) holomorphe Überlagerungsräume von G. Weiter seien w₁ ∈ D₁, w₂ ∈ D₂ und z₀ ∈ G mit \begin{eqnarray}{\tau}_{1}({w}_{1})={\tau}_{2}({w}_{2})={z}_{0}.\end{eqnarray}

Ist (D₁, τ₁) universell, so existiert genau eine surjektive holomorphe Funktion T : D₁ → D₂ mit T(w₁) = w₂ und τ₂ ○ T = τ₁. Sind (D₁, τ₁) und (D₂, τ₁) universell, so ist T eine konforme Abbildung von D₁ auf D₂. Man drückt diese Tatsache auch wie folgt aus: Zwei holomorphe universelle Überlagerungsräume von G sind isomorph. Daher spricht man oft von dem universellen Überlagerungsraum von G. Zur Existenz dieses Raumes vgl. Uniformisierungssatz.

Einige Beispiele von Überlagerungsräumen:

(1) Es sei G = ℂ \ {0} die punktierte Ebene, und für k ∈ ℤ \{0} sei τ_k(z) ≔ z^k, z ∈ G. Dann ist (G, τ_k) ein Überlagerungsraum von G. Definiert man τ(z) ≔ e^z, z ∈ ℂ, so ist (ℂ, τ) der universelle Überlagerungsraum von G.

(2) Es sei G = ℂ \ {0,1} die zweifach punktierte Ebene und λ die unter dem Stichwort Modulfunktion definierte Funktion. Weiter sei \begin{eqnarray}{\mathbb{E}}=\{z\in {\mathbb{C}}:|z|\lt 1\}\end{eqnarray} und \begin{eqnarray}\tau (z):=\lambda \left(i\frac{1-z}{1+z}\right),\ z\in {\mathbb{E}}.\end{eqnarray}

Dann ist \(({\mathbb{E}},\tau)\) der universelle Überlagerungsraum von G.

(3) Es sei \(G={\mathbb{E}}\backslash \{0\}\) die punktierte Einheitskreisscheibe und \begin{eqnarray}\tau (z):=\exp \frac{1-z}{1+z},\ z\in {\mathbb{E}}.\end{eqnarray}

Dann ist \(({\mathbb{E}},\tau)\) der universelle Überlagerungsraum von G.

(4) Es sei \begin{eqnarray}G=\{z\in {\mathbb{C}}:0\lt r\lt |z|\lt 1\}\end{eqnarray} ein Kreisring und \begin{eqnarray}\tau (z):=\exp \left[\left(\frac{1}{2}+\frac{i}{\pi}\mathrm{log}\frac{1+z}{1-z}\right)\ \mathrm{log}r\right],\ z\in {\mathbb{E}},\end{eqnarray} wobei der Hauptzweig des Logarithmus zu nehmen ist. Dann ist \(({\mathbb{E}},\tau)\) der universelle Überlagerungsraum von G.