Der Integralsatz für homotope Wege

Nach diesen Vorbereitungen können wir nun die Verstärkung des Integralsatzes formulieren und beweisen:

Satz (Integralsatz von Cauchy, Homotopie-Version)

Sei G ein Gebiet in ℂ. Dann gilt:

(a)	Seien γ₀, γ₁ homotope Wege von a nach b in G. Dann gilt I(f, γ₀) = I(g, γ₁) für jede fast holomorphe Funktion f : G → ℂ.

(b)	Seien γ₀, γ₁ frei homotope Wege in G. Dann gilt I(f, γ₀) = I(g, γ₁) für jede fast holomorphe Funktion f : G → ℂ. Ist γ nullhomotop in G, so gilt I(f, γ) = 0 für jede fast holomorphe Funktion f : G → ℂ.

Die Beweisidee ist gemessen an der Stärke des Ergebnisses relativ einfach. Ein technisches Hindernis ist, dass die defomierten Kurven einer Homotopie keine Wege sein müssen. Dieses Problem können wir durch eine für sich interessante Diskretisierung beheben: Wir unterteilen das Einheitsquadrat [ 0, 1 ] × [ 0, 1 ] in hinreichend feine Teilquadrate T der Seitenlänge 1/N, sodass wir N² Teilquadrate der Form

T = [ k/N, (k + 1)/N ] × [ n/N, (n + 1)/N ]

erhalten). Nun transportieren wir die Gitterpunkte Q dieser Unterteilung mit einer Homotopie H für γ₀ und γ₁ nach G. Die deformierten Kurven der Homotopie laufen durch diese Bildpunkte, sodass sie „bis auf ein kleinere Schlenker“ festliegen. Ein Kompaktheitsargument zeigt, dass wir die Bildpunkte durch Strecken verbinden können, die ganz in G bleiben, wenn wir N hinreichend groß wählen. Genauer gilt: Das H-Bild jedes Teilquadrats T von [ 0, 1 ] × [ 0, 1 ] liegt in einer konvexen offenen ε-Umgebung U_T ⊆ G, wobei ε nicht von T abhängt. Dadurch können wir neue Wege von a nach b in Form von Polygonzügen konstruieren, die durch die Bildpunkte der Waagrechten der Diskretisierung verlaufen. Die konvexen Umgebungen ermöglichen die üblichen Wegveränderungen unter die Erhalt der Integrale. Hier wird der Integralsatz für konvexe Gebiete verwendet (der Beweis kann auch nur dem Lemma von Goursat-Pringsheim geführt werden).

Der Leser, der mit dieser Beschreibung des Arguments zufrieden ist oder nun den Beweis bereits vor sich sieht, kann die folgende technische Umsetzung überschlagen. Entscheidend ist das Einschließen der Bilder der kleinen Teilquadrate der Diskretisierung des Einheitsquadrats in konvexe Teilmengen von G. Hier wird wesentlich des Satz von Heine über die gleichmäßige Stetigkeit von stetigen Funktionen auf kompakten Mengen oder äquivalent die Existenz von Lebesgue-Zahlen verwendet (vgl. Analysis 2).

Beweis

Die beiden Versionen sind äquivalent, sodass es genügt, (a) zu zeigen. Seien also γ₀, γ₁ : I → G Wege von a nach b, die homotop in G mit festen Endpunkten sind. Sei H : I² → G eine entsprechende Homotopie von γ₀ nach γ₁. Sei N ≥ 1 zunächst beliebig. Wir schreiben n′ = n/N zur Vereinfachung der Notation und betrachten das Gitter

Q = { (n′, k′) | 0 ≤ n, k ≤ N } ⊆ I².

Das Bild H[ Q ] des Gitters Q induziert Polygonzüge in ℂ, die für große N nahe an den Kurven H_s = H(s, ·) der Homotopie liegen. Für n = 1, …, N sei der Polygonzug π_n : I → ℂ von a nach b definiert durch

π_n = ∑_{0 ≤ k < N} [ H(k′, n′), H((k + 1)′, n′) ].

Indem wir N hinreichend groß wählen, können wir erreichen, dass für alle fast holomorphen f : G → ℂ gilt:

(a)	π_n : [ 0, 1 ] → G für n = 1, …, N.

(b)	I(f, γ₀) = I(f, π₀), I(f, γ₁) = I(f, π_N),

(c)	I(f, π_k′) = I(f, π_{(k + 1)′}) für k = 0, …, N − 1.

Damit gilt für alle fast holomorphen f : G → ℂ:

I(f, γ₀) = I(f, π₀) = … = I(f, π_N) = I(f, γ₁).

Zur Existenz von N

Da H : I² → G stetig und I² kompakt ist, ist C = H[ I² ] ⊆ G kompakt. Da G offen ist, existiert ein ε > 0 mit U_ε(z) ⊆ G für alle z  ∈  C. Nach dem Satz von Heine ist H : I² → G gleichmäßig stetig, sodass ein δ > 0 existiert mit

(+) ∀P ⊆ I² (diam(P) < δ → diam(H[ P ]) < ε).

Sei nun N ≥ 1 derart, dass $\sqrt{2}$ /N < δ. Dann ist N wie gewünscht. Denn ist T ein Teilquadrat des Gitters Q (mit der Seitenlänge 1/N), so gilt diam(T) = $\sqrt{2}$ /N < δ, sodass

(++) diam(H[ T ]) < ε (und so H[ T ] ⊆ U_ε(z) ⊆ G für alle z  ∈  H[ T ]).

Damit haben die H-Bilder benachbarter Gitterpunkte von Q einen Abstand kleiner als ε voneinander, sodass die sie verbindenden Strecken in G liegen. Insbesondere gilt (a). Die Aussagen (b) und (c) ergeben sich durch eine integralerhaltende Wegveränderung nach dem Integralsatz für konvexe Gebiete: Die Gitter-Abschnitte von γ₀ und γ₁ können durch Strecken ersetzt werden, wodurch wir (b) erhalten. Weiter können wir integralerhaltend von π_k zu π_k + 1 übergehen, indem wir die Strecken von H(k′, n′) nach H((k + 1)′, n′) für n = 1, …, N − 1 je einmal in beiden Richtungen durchlaufen.

Beispiel

Wir betrachten noch einmal den Kreiswechsel im Licht des allgemeinen Homotopie-Satzes. Sei G = ℂ − { p } und seien K₁ und K₂ Kreise in G derart, dass der Ausnahmepunkt p entweder im Inneren beider Kreise oder im Äußeren beider Kreise liegt. Dann sind K₁ und K₂ frei homotop in G, sodass I(f, K₁) = I(f, K₂) für alle holomorphen f : G → ℂ. Im zweiten Fall sind die Kreise sogar nullhomotop in G, sodass alle Integrale 0 sind.

Der Kreiswechsel ist ein gutes Beispiel dafür, dass sich der Erhalt der Integrale bei einem Wechsel des Weges in wichtigen Spezialfällen auch direkt einsehen lässt. Eine Darstellung der Funktionentheorie kommt damit bis zu einem gewissen Punkt auch ohne den Homotopie-Begriff aus. Es ist aber sicher gut, den Begriff und den allgemeinen Integralsatz frühzeitig zu kennen. Die topologische Struktur eines Gebiets spielt in der Funktionentheorie eine sehr wichtige Rolle. Und „einfach zusammenhängend“ ist eine anschauliche und natürliche Verstärkung von „zusammenhängend“: „zusammenhängend ohne Löcher“. Der Begriff taucht in ℝ nicht auf, da die Entfernung eines einzigen Punktes den Zusammenhang eines offenen reellen Intervalls zerstört. In der Ebene ist das anders.

Als Typ II-Formulierung halten wir fest:

Satz (Integralsatz von Cauchy für einfach zusammenhängende Gebiete)

Sei G einfach zusammenhängend. Dann hat G Nullintegrale für alle fast holomorphen Funktionen.