Lexikon der Mathematik: Hauptsatz der Cauchy-Theorie
charakterisiert einfach zusammenhängende Gebiete G ⊂ ℂ sowohl topologisch als auch funktionentheoretisch. Der Satz lautet:
Es sei G ⊂ ℂ ein Gebiet und \({\mathscr{O}(G)}\)die Algebra aller in G holomorphen Funktionen (Algebra der holomorphen Funktionen). Dann sind die folgenden Aussagen äquivalent :
- Es ist G einfach zusammenhängend.
- Es ist G homologisch einfach zusammenhängend, d. h. jeder rektifizierbare, geschlossene Weg in G ist nullhomolog in G.
- Der Rand ∂G von G ist zusammenhängend.
- Das Komplement \(\hat{{\mathbb{C}}}\)\ G von G in \(\hat{{\mathbb{C}}}\)ist zusammenhängend.
- Jede Funktion \(f\in {\mathscr{O}}(G)\)besitzt eine Stammfunktion in G, d. h. es existiert eine Funktion \(F\in {\mathscr{O}}(G)\)mit \(F\text{'}(z)=f(z)\)für alle z ∈ G.
- Für alle \(f\in {\mathscr{O}}(G)\)und jeden rektifizierbaren, geschlossenen Weg γ in G gilt
\begin{eqnarray}\displaystyle {\int }_{\gamma }f(z)dz=0.\end{eqnarray} - Für alle \(f\in {\mathscr{O}}(G)\)und jeden rektifizierbaren, geschlossenen Weg γ in G gilt
\begin{eqnarray}{\text{ind}}_{\gamma }(z)f(z)=\frac{1}{2\pi i}\displaystyle {\int }_{\gamma }\frac{f(\zeta )}{\zeta -z}d\zeta \end{eqnarray} für alle z ∈ G \ γ. Dabei bezeichnet indγ (z) die Umlaufzahl von γ bezüglich z. - Jede Einheit \({e}^{g(z)}=f(z)\)für alle z ∈ G.
- Jede Einheit \({\mathbb{E}}\).
- Es ist G homöomorph zur offenen Einheitskreisscheibe \({\mathbb{E}}\), d. h. es existiert eine bijektive Abbildung φ : G λ \({\mathbb{E}}\)derart, daß φ und die Umkehrabbildung φ−1stetig sind.
- Zu jeder in G harmonischen Funktion u existiert eine Funktion
\begin{eqnarray}f\in {\mathscr{O}}(G)\end{eqnarray} mit u(z) = Ref (z) für alle z ∈ G.
Copyright Springer Verlag GmbH Deutschland 2017
Wenn Sie inhaltliche Anmerkungen zu diesem Artikel haben, können Sie die Redaktion per E-Mail informieren. Wir lesen Ihre Zuschrift, bitten jedoch um Verständnis, dass wir nicht jede beantworten können.