Elementargebiet

Ein Gebiet $D\subseteq \mathbb {C}$ heißt Elementargebiet (teilweise auch Stammgebiet) genau dann, wenn jede auf $D$ holomorphe Funktion eine Stammfunktion besitzt, das heißt, auf $D$ gilt die Aussage des Integralsatzes von Cauchy.

Charakterisierung

Es gelten folgende Charakterisierungen für ein Elementargebiet $D$ :

$D$ ist einfach zusammenhängend, das heißt, jede geschlossene Kurve in $D$ ist nullhomotop, das heißt, auf den Anfangspunkt stetig zusammenziehbar. Anschaulich bedeutet dies, dass $D$ keine Löcher hat.
$D$ ist homolog einfach zusammenhängend, das heißt, jeder Zyklus in $D$ ist nullhomolog, das heißt, das Innere des Zyklus liegt vollständig in $D$ .
$D$ ist konform äquivalent zu ganz $\mathbb {C}$ oder zur Einheitskreisscheibe $\mathbb {E}$ , das heißt, es existiert eine biholomorphe Abbildung von $D$ zu $\mathbb {C}$ oder zu $\mathbb {E}$ , vergleiche: riemannscher Abbildungssatz.

Eigenschaften

Sind $A$ und $B$ Elementargebiete, deren Schnitt zusammenhängend und nicht leer ist, so ist auch $A\cup B$ ein Elementargebiet.
Ist $(A_{i})_{i\in \mathbb {N} }$ eine Folge von Elementargebieten, für die $A_{1}\subset A_{2}\subset A_{3}\subset \ldots$ gilt, so ist auch $\textstyle \bigcup _{i=1}^{\infty }A_{i}$ ein Elementargebiet.