Lemma von Goursat

Das Lemma von Goursat, manchmal auch als Satz von Goursat bezeichnet, ist ein Satz aus der Funktionentheorie.

Das Lemma von Goursat ist eine Vorstufe des Cauchyschen Integralsatzes und wird auch oft für dessen Beweis genutzt. Es spielt im Aufbau der Funktionentheorie eine wichtige Rolle. Bemerkenswert ist, dass das Lemma lediglich die komplexe Differenzierbarkeit voraussetzt, nicht aber die stetige Differenzierbarkeit. Das Lemma wurde von Édouard Goursat (1858-1936) in der Rechteckform bewiesen und 1884 veröffentlicht. Die heute übliche Dreiecksform stammt von Alfred Pringsheim.

Sei ${\displaystyle U\subset \mathbb {C} }$ offen und ${\displaystyle f\colon U\rightarrow \mathbb {C} }$ holomorph (komplex-differenzierbar). Dann gilt für das Wegintegral längs der Randkurve ${\displaystyle \partial \triangle }$ eines jeden in ${\displaystyle U}$ gelegenen Dreieckes ${\displaystyle \triangle }$:

${\displaystyle \oint _{\partial \triangle }f(z)\mathrm {d} z=0}$

Manchmal wird das Lemma von Goursat auch für Rechtecke formuliert:

Sei ${\displaystyle U\subset \mathbb {C} }$ offen und ${\displaystyle f\colon U\rightarrow \mathbb {C} }$ holomorph. Dann gilt für alle Randkurven ${\displaystyle \partial \Box }$ eines in ${\displaystyle U}$ gelegenen Rechteckes ${\displaystyle \Box }$:

${\displaystyle \oint _{\partial \Box }f(z)\mathrm {d} z=0}$

Das Lemma von Goursat gilt auch unter etwas schwächeren Voraussetzungen:

Sei ${\displaystyle U\subset \mathbb {C} }$ offen, ${\displaystyle z_{0}\in U}$ und ${\displaystyle f\colon U\rightarrow \mathbb {C} }$ stetig und holomorph auf ${\displaystyle U\setminus \{z_{0}\}}$, dann gilt für alle Randkurven ${\displaystyle \partial \triangle }$ von in ${\displaystyle U}$ gelegenen Dreiecken ${\displaystyle \triangle }$ mit ${\displaystyle z_{0}}$ als Eckpunkt:

${\displaystyle \oint _{\partial \triangle }f(z)\mathrm {d} z=0}$

• Eberhard Freitag & Rolf Busam: Funktionentheorie 1, Springer-Verlag, Berlin, ISBN 3-540-67641-4