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 .
Gegeben sind die folgenden Voraussetzungen:
(P1) Sei
U
⊆
C
{\displaystyle {U}\subseteq \mathbb {C} }
eine offene Teilmenge,
(P2) Seien
z
1
,
z
2
,
z
3
∈
C
{\displaystyle {z}_{1},{z}_{2},{z}_{3}\in \mathbb {C} }
drei nicht kollineare Punkte, die das Dreieck
Δ
(
z
1
,
z
2
,
z
3
)
:=
{
∑
k
=
1
3
λ
k
⋅
z
k
∣
(
∑
k
1
3
λ
k
=
1
)
∧
∀
k
∈
{
1
,
2
,
3
}
λ
k
∈
[
0
,
1
]
}
⊂
U
{\displaystyle \Delta {\left({z}_{1},{z}_{2},{z}_{3}\right)}:=\left\{\sum _{k=1}^{3}\lambda _{k}\cdot {z}_{k}{\mid }{\left({\sum _{{k}{1}}^{3}}\lambda _{k}={1}\right)}\wedge \forall {k}\in {\left\lbrace {1},{2},{3}\right\rbrace }\lambda _{k}\in [{0},{1}]\right\}\subset {U}}
definieren,
(P3) Sei
f
:
U
→
C
{\displaystyle {f}:{U}\to \mathbb {C} }
eine holomorphe Funktion,
(P4) Sei
⟨
z
1
,
z
2
,
z
3
⟩
:
[
0
,
3
]
→
C
{\displaystyle {\left\langle {z}_{1},{z}_{2},{z}_{3}\right\rangle }:{\left[{0},{3}\right]}\to \mathbb {C} }
der geschlossene Weg über den Dreiecksrand von
Δ
(
z
1
,
z
2
,
z
3
)
{\displaystyle \Delta {\left({z}_{1},{z}_{2},{z}_{3}\right)}}
mit Startpunkt
z
1
{\displaystyle {z}_{1}}
.
dann gilt die folgenden Behauptungen:
(C1)
∫
⟨
z
1
,
z
2
,
z
3
⟩
f
(
z
)
d
z
=
0
{\displaystyle \int _{\left\langle {z}_{1},{z}_{2},{z}_{3}\right\rangle }{f{\left({z}\right)}}{d}{z}={0}}
Integrationsweg auf dem Dreiecksrand
Aufteilung der äußeren Wegen und Einfügen von zusätzlichen Wegen zwischen den Seitenmitten, die sich durch die umgekehrte Richtung des Integrationsweges im Wegintegral als Summe 0 ergeben und somit das Gesamtintegral nicht verändern.
Induktive Definition der Wege. Die Teildreieck sind ähnlich zum Ausgangsdreieck. Durch die Verwendung der Seitenmitten halbiert sich jeweils der Umfang von einem Dreieck
Δ
(
n
)
{\displaystyle \Delta ^{(n)}}
zu
Δ
(
n
+
1
)
{\displaystyle \Delta ^{(n+1)}}
(S1) Wir definieren wird eine Folge von Dreieickswegen rekursiv
γ
(
n
)
:=
⟨
z
1
(
n
)
,
z
2
(
n
)
,
z
3
(
n
)
⟩
{\displaystyle \gamma ^{(n)}:={\left\langle z_{1}^{(n)},z_{2}^{(n)},z_{3}^{(n)}\right\rangle }}
Beweisteil 1: Definition der Dreieckswege [ Bearbeiten ]
(S2) (DEF) Für
n
=
0
{\displaystyle {n}={0}}
sei der geschlossene Dreiecksweg
γ
(
0
)
:
[
0
,
3
]
→
C
{\displaystyle \gamma ^{(0)}:[0,3]\to \mathbb {C} }
mit:
γ
(
0
)
(
t
)
:=
⟨
z
1
,
z
2
,
z
3
⟩
(
t
)
:=
{
(
1
−
t
)
⋅
z
1
+
t
⋅
z
2
für
t
∈
[
0
,
1
]
(
2
−
t
)
⋅
z
2
+
(
t
−
1
)
⋅
z
3
für
t
∈
(
1
,
2
]
(
3
−
t
)
⋅
z
3
+
(
t
−
2
)
⋅
z
1
für
t
∈
(
2
,
3
]
{\displaystyle \gamma ^{(0)}(t):=\left\langle z_{1},z_{2},z_{3}\right\rangle (t):={\begin{cases}(1-t)\cdot z_{1}+t\cdot z_{2}&{\text{für}}t\in [0,1]\\(2-t)\cdot z_{2}+(t-1)\cdot z_{3}&{\text{für}}t\in (1,2]\\(3-t)\cdot z_{3}+(t-2)\cdot z_{1}&{\text{für}}t\in (2,3]\\\end{cases}}}
Ferner sei und
γ
(
n
)
{\displaystyle \gamma ^{(n)}}
bereits definiert. Wir definieren nun
γ
(
n
+
1
)
{\displaystyle \gamma ^{(n+1)}}
induktiv.
Begründung: (P4,UT)
(S3) (DEF) Definition: Dreiecksweg
γ
1
(
n
)
:=
⟨
z
1
(
n
)
+
z
2
(
n
)
2
,
z
2
(
n
)
,
z
2
(
n
)
+
z
3
(
n
)
2
⟩
{\displaystyle {\gamma _{1}^{(n)}}:={\left\langle {\frac {z_{1}^{(n)}+z_{2}^{(n)}}{2}},z_{2}^{(n)},{\frac {z_{2}^{(n)}+z_{3}^{(n)}}{2}}\right\rangle }}
,
Begründung: (S3,S4,S5)
(S4) (DEF) Definition: Dreiecksweg
γ
2
(
n
)
:=
⟨
z
2
(
n
)
+
z
3
(
n
)
2
,
z
3
(
n
)
,
z
1
(
n
)
+
z
3
(
n
)
2
⟩
{\displaystyle {\gamma _{2}^{(n)}}:={\left\langle {\frac {z_{2}^{(n)}+z_{3}^{(n)}}{2}},z_{3}^{(n)},{\frac {z_{1}^{(n)}+z_{3}^{(n)}}{2}}\right\rangle }}
,
(S5) (DEF) Definition: Dreiecksweg
γ
3
(
n
)
:=
⟨
z
1
(
n
)
+
z
3
(
n
)
2
,
z
1
(
n
)
,
z
1
(
n
)
+
z
2
(
n
)
2
⟩
{\displaystyle {\gamma _{3}^{(n)}}:={\left\langle {\frac {z_{1}^{(n)}+z_{3}^{(n)}}{2}},z_{1}^{(n)},{\frac {z_{1}^{(n)}+z_{2}^{(n)}}{2}}\right\rangle }}
,
(S6) (DEF) Definition: Dreiecksweg
γ
4
(
n
)
:=
⟨
z
1
(
n
)
+
z
2
(
n
)
2
,
z
2
(
n
)
+
z
3
(
n
)
2
,
z
1
(
n
)
+
z
3
(
n
)
2
⟩
{\displaystyle {\gamma _{4}^{(n)}}:={\left\langle {\frac {z_{1}^{(n)}+z_{2}^{(n)}}{2}},{\frac {z_{2}^{(n)}+z_{3}^{(n)}}{2}},{\frac {z_{1}^{(n)}+z_{3}^{(n)}}{2}}\right\rangle }}
(S7) (DEF) Sei
i
∈
{
1
,
2
,
3
,
4
}
{\displaystyle {i}\in {\left\lbrace {1},{2},{3},{4}\right\rbrace }}
der kleinste Index mit
∀
k
∈
{
1
,
,
2
,
3
,
4
}
:
|
∫
γ
k
(
n
)
f
(
z
)
d
z
|
≤
|
∫
γ
i
(
n
)
f
(
z
)
d
z
|
{\displaystyle \forall _{{k}\in {\left\lbrace {1},,{2},{3},{4}\right\rbrace }}:{\left|\int _{\gamma _{k}^{(n)}}{f{\left({z}\right)}}{\left.{d}{z}\right.}\right|}\leq {\left|\int _{\gamma _{i}^{(n)}}{f{\left({z}\right)}}{\left.{d}{z}\right.}\right|}}
und
γ
(
n
+
1
)
:=
γ
i
(
n
)
{\displaystyle \gamma ^{\left({n}+{1}\right)}:={\gamma _{i}^{(n)}}}
(S8)
⇒
{\displaystyle \Rightarrow }
∫
γ
(
n
)
f
(
z
)
d
z
=
∑
k
=
1
4
∫
γ
k
(
n
)
f
(
z
)
d
z
{\displaystyle \int _{\gamma ^{(n)}}f(z)\,dz=\sum _{k=1}^{4}\int _{\gamma _{k}}^{(n)}f(z)\,dz}
(S9)
⇒
{\displaystyle \Rightarrow }
|
∫
γ
n
f
(
z
)
d
z
|
=
|
∑
k
=
1
4
∫
γ
k
(
n
)
f
(
z
)
d
z
|
≤
∑
k
=
1
4
|
∫
γ
k
(
n
)
f
(
z
)
d
z
|
≤
4
⋅
|
∫
γ
k
(
n
)
f
(
z
)
d
z
|
{\displaystyle {\left|\int _{\gamma ^{n}}{f{\left({z}\right)}}{\left.{d}{z}\right.}\right|}={\left|{\sum _{{k}={1}}^{4}}\int _{\gamma _{k}^{(n)}}{f{\left({z}\right)}}{\left.{d}{z}\right.}\right|}\leq {\sum _{{k}={1}}^{4}}{\left|\int _{\gamma _{k}^{(n)}}{f{\left({z}\right)}}{\left.{d}{z}\right.}\right|}\leq {4}\cdot {\left|\int _{\gamma _{k}^{(n)}}{f{\left({z}\right)}}{\left.{d}{z}\right.}\right|}}
für alle
n
∈
N
{\displaystyle {n}\in \mathbb {N} }
Begründung: (S7,WG4,DU)
(S10)
⇒
{\displaystyle \Rightarrow }
0
≤
|
∫
⟨
z
1
,
z
2
,
z
3
⟩
f
(
z
)
d
z
|
=
|
∫
γ
(
0
)
f
(
z
)
d
z
|
≤
4
⋅
|
∫
γ
(
1
)
f
(
z
)
d
z
|
≤
…
≤
4
n
⋅
|
∫
γ
i
(
n
)
f
(
z
)
d
z
|
=
4
n
⋅
|
∫
γ
(
n
+
1
)
f
(
z
)
d
z
|
{\displaystyle {0}\leq {\left|\int _{\left\langle {z}_{1},{z}_{2},{z}_{3}\right\rangle }{f{\left({z}\right)}}{d}{z}\right|}={\left|\int _{\gamma ^{(0)}}f(z){\left.{d}{z}\right.}\right|}\leq {4}\cdot {\left|\int _{\gamma ^{\left({1}\right)}}{f{\left({z}\right)}}{\left.{d}{z}\right.}\right|}\leq \ldots \leq {4}^{n}\cdot {\left|\int _{\gamma _{i}^{(n)}}{f{\left({z}\right)}}{\left.{d}{z}\right.}\right|}={4}^{n}\cdot {\left|\int _{\gamma ^{\left({n}+{1}\right)}}{f{\left({z}\right)}}{\left.{d}{z}\right.}\right|}}
Beweisteil 3: Durchmesser der Teildreiecke [ Bearbeiten ]
(S11) Die geschachtelte Definition der Teildreiecke liefert für alle
n
∈
N
{\displaystyle {n}\in \mathbb {N} }
:
Δ
(
z
1
(
n
)
,
z
2
(
n
)
,
z
3
(
n
)
)
⊃
Δ
(
z
1
(
n
+
1
)
,
z
2
(
n
+
1
)
,
z
3
(
n
+
1
)
)
{\displaystyle \Delta {\left({{z}_{1}^{(n)}},{{z}_{2}^{(n)}},{{z}_{3}^{(n)}}\right)}\supset \Delta {\left({{z}_{1}^{\left({n}+{1}\right)}},{{z}_{2}^{\left({n}+{1}\right)}},{{z}_{3}^{\left({n}+{1}\right)}}\right)}}
und
lim
n
→
∞
diam
(
Δ
(
z
1
(
n
)
,
z
2
(
n
)
,
z
3
(
n
)
)
)
=
0
{\displaystyle \lim _{n\to \infty }\,{\text{diam}}\left(\Delta {\left({{z}_{1}^{(n)}},{{z}_{2}^{(n)}},{{z}_{3}^{(n)}}\right)}\right)=0}
(S12)
⇒
{\displaystyle \Rightarrow }
∃
z
0
∈
U
∀
n
∈
N
:
z
0
∈
Δ
(
n
)
:=
Δ
(
z
1
(
n
)
,
z
2
(
n
)
,
z
3
(
n
)
)
{\displaystyle \exists _{{z}_{0}\in {U}}\forall _{{n}\in \mathbb {N} }:{z}_{0}\in \Delta ^{(n)}:=\Delta {\left({{z}_{1}^{(n)}},{{z}_{2}^{(n)}},{{z}_{3}^{(n)}}\right)}}
und
{
z
0
}
=
⋂
n
∈
N
Δ
(
n
)
{\displaystyle {\left\lbrace {z}_{0}\right\rbrace }=\bigcap _{{n}\in \mathbb {N} }\Delta ^{(n)}}
Beweisteil 4: Holomorphie verwenden (P3)[ Bearbeiten ]
(S13) Wir vewenden nun die Holomorphie von
f
{\displaystyle f}
in
z
0
∈
U
{\displaystyle z_{0}\in U}
für weitere Schritte mit
f
(
z
)
:=
f
(
z
0
)
+
f
′
(
z
0
)
⋅
(
z
−
z
0
)
+
r
(
z
)
{\displaystyle f(z):=f(z_{0})+f'(z_{0})\cdot (z-z_{0})+r(z)}
und
lim
z
→
z
0
r
(
z
)
z
−
z
0
=
0
{\displaystyle \lim _{z\to z_{0}}{\frac {r(z)}{z-z_{0}}}=0}
Begründung: (P3)
(S14)
⇒
{\displaystyle \Rightarrow }
Die Funktion
h
:
U
→
C
{\displaystyle {h}:{U}\to \mathbb {C} }
mit
h
(
z
)
:=
f
(
z
0
)
+
f
′
(
z
0
)
⋅
(
z
−
z
0
)
{\displaystyle h(z):=f(z_{0})+f'(z_{0})\cdot (z-z_{0})}
besitzt eine Stammfunktion
H
(
z
)
:=
f
(
z
0
)
+
f
′
(
z
0
)
⋅
1
2
⋅
(
z
−
z
0
)
2
{\displaystyle H(z):=f(z_{0})+f'(z_{0})\cdot {\frac {1}{2}}\cdot (z-z_{0})^{2}}
Begründung: da
h
(
z
)
{\displaystyle h(z)}
ein Polynom vom Grad 1 ist.
(S15)
⇒
{\displaystyle \Rightarrow }
Das Wegintegral über geschlossene Wege
γ
(
n
)
{\displaystyle \gamma ^{(n)}}
der Funktion
h
:
U
→
C
{\displaystyle {h}:{U}\to \mathbb {C} }
ist damit
∫
γ
k
(
n
)
h
(
z
)
=
0
{\displaystyle \int _{\gamma _{k}^{(n)}}{h}{\left({z}\right)}={0}}
Begründung: (SF)
(S16)
⇒
{\displaystyle \Rightarrow }
Für das Wegintegral über geschlossene Wege
γ
(
n
)
{\displaystyle \gamma ^{(n)}}
der Funktion
f
:
U
→
C
{\displaystyle {f}:{U}\to \mathbb {C} }
gilt
∫
γ
k
(
n
)
f
(
z
)
d
z
=
∫
γ
k
(
n
)
h
(
z
)
+
r
(
z
)
d
z
=
∫
γ
k
(
n
)
r
(
z
)
d
z
{\displaystyle \int _{\gamma _{k}^{(n)}}{f{{\left({z}\right)}{\left.{d}{z}\right.}}}=\int _{\gamma _{k}^{(n)}}{h}{\left({z}\right)}+{r}{\left({z}\right)}{\left.{d}{z}\right.}=\int _{\gamma _{k}^{(n)}}{r}{\left({z}\right)}{\left.{d}{z}\right.}}
Beweisteil 4: Abschätzung des Restglieds
r
(
z
)
{\displaystyle r(z)}
[ Bearbeiten ]
(S17)
⇒
{\displaystyle \Rightarrow }
Mit
lim
z
→
z
0
r
(
z
)
z
−
z
0
=
0
{\displaystyle \lim _{z\to z_{0}}{\frac {r(z)}{z-z_{0}}}=0}
gilt: Für alle
ϵ
>
0
{\displaystyle \epsilon >{0}}
gibt es ein
δ
>
0
{\displaystyle \delta >{0}}
|
z
−
z
0
|
<
δ
⇒
|
r
(
z
)
z
−
z
0
|
<
ϵ
{\displaystyle |z-z_{0}|<\delta \Rightarrow \left|{\frac {r(z)}{z-z_{0}}}\right|<\epsilon }
Begründung:
ϵ
{\displaystyle \epsilon }
-
δ
{\displaystyle \delta }
-Kriterium angewendet auf
g
(
z
)
:=
r
(
z
)
z
−
z
0
{\displaystyle g(z):={\frac {r(z)}{z-z_{0}}}}
und Stetigkeit von
g
{\displaystyle g}
in
z
0
{\displaystyle z_{0}}
(S18)
⇒
{\displaystyle \Rightarrow }
Für alle
ϵ
>
0
{\displaystyle \epsilon >{0}}
gibt es ein
δ
>
0
{\displaystyle \delta >0}
:
|
z
−
z
0
|
<
δ
⇒
|
r
(
z
)
|
<
ϵ
⋅
|
z
−
z
0
|
{\displaystyle |z-z_{0}|<\delta \Rightarrow |r(z)|<\epsilon \cdot |z-z_{0}|}
0
≤
|
∫
⟨
z
1
,
z
2
,
z
3
⟩
f
(
z
)
d
z
|
≤
4
n
⋅
|
∫
γ
k
(
n
)
f
(
z
)
d
z
|
=
4
n
⋅
|
∫
γ
k
(
n
)
r
(
z
)
d
z
|
≤
4
n
⋅
∫
γ
k
(
n
)
|
r
(
z
)
|
d
z
≤
4
n
⋅
∫
γ
k
(
n
)
ϵ
⋅
|
z
−
z
0
|
d
z
{\displaystyle 0\leq \left|\int _{\left\langle z_{1},z_{2},z_{3}\right\rangle }f(z)\,dz\right|\leq 4^{n}\cdot \left|\int _{\gamma _{k}^{(n)}}f(z)\,dz\right|=4^{n}\cdot \left|\int _{\gamma _{k}^{(n)}}r(z)\,dz\right|\leq 4^{n}\cdot \int _{\gamma _{k}^{(n)}}|r(z)|\,dz\leq 4^{n}\cdot \int _{\gamma _{k}^{(n)}}\epsilon \cdot |z-z_{0}|\,dz}
Begründung: (S2)
(S20) Aus der Bedingung
lim
n
→
∞
diam
(
Δ
(
n
)
)
=
0
{\displaystyle \lim _{n\to \infty }{\text{diam}}\left(\Delta ^{(n)}\right)=0}
existiert für alle
ϵ
>
0
{\displaystyle \epsilon >0}
ein
n
δ
∈
N
{\displaystyle n_{\delta }\in \mathbb {N} }
mit
Δ
(
n
)
⊆
D
δ
(
z
0
)
{\displaystyle \Delta ^{(n)}\subseteq {D}_{\delta }(z_{0})}
für alle
n
>
n
δ
{\displaystyle n>n_{\delta }}
.
(S21)
⇒
{\displaystyle \Rightarrow }
|
z
−
z
0
|
<
L
(
γ
(
n
)
)
=
1
2
n
⋅
L
(
γ
)
{\displaystyle |z-z_{0}|<L\left(\gamma ^{(n)}\right)={\frac {1}{2^{n}}}\cdot L\left(\gamma \right)}
für alle
n
∈
N
{\displaystyle n\in \mathbb {N} }
und alle
z
∈
Δ
(
n
)
{\displaystyle z\in \Delta ^{(n)}}
Begründung: Der Faktor
1
2
n
{\displaystyle {\frac {1}{2^{n}}}}
entsteht durch die fortgesetzte Halbierung der Seiten der Dreiecke
Δ
(
n
)
{\displaystyle \Delta ^{(n)}}
0
≤
|
∫
⟨
z
1
,
z
2
,
z
3
⟩
f
(
z
)
d
z
|
≤
4
n
⋅
∫
γ
k
(
n
)
ϵ
⋅
|
z
−
z
0
|
d
z
≤
4
n
⋅
ϵ
⋅
∫
γ
k
(
n
)
1
2
n
⋅
L
(
γ
)
d
z
=
4
n
⋅
ϵ
⋅
1
2
n
⋅
L
(
γ
)
≤
∫
γ
k
(
n
)
1
d
z
⏟
L
(
γ
k
(
n
)
)
{\displaystyle 0\leq \left|\int _{\langle z_{1},z_{2},z_{3}\rangle }f(z)\,dz\right|\leq 4^{n}\cdot \int _{\gamma _{k}^{(n)}}\epsilon \cdot |z-z_{0}|\,dz\leq 4^{n}\cdot \epsilon \cdot \int _{\gamma _{k}^{(n)}}{\frac {1}{2^{n}}}\cdot {\mathcal {L}}(\gamma )\,dz=4^{n}\cdot \epsilon \cdot {\frac {1}{2^{n}}}\cdot {\mathcal {L}}(\gamma )\underbrace {\leq \int _{\gamma _{k}^{(n)}}1\,dz} _{{\mathcal {L}}(\gamma _{k}^{(n)})}}
≤
4
n
⋅
ϵ
⋅
1
2
n
⋅
L
(
γ
)
⋅
L
(
γ
k
(
n
)
)
≤
4
n
⋅
ϵ
⋅
L
(
γ
)
4
n
=
ϵ
⋅
L
(
γ
)
{\displaystyle \leq 4^{n}\cdot \epsilon \cdot {\frac {1}{2^{n}}}\cdot L(\gamma )\cdot {\mathcal {L}}(\gamma _{k}^{(n)})\leq 4^{n}\cdot \epsilon \cdot {\frac {{\mathcal {L}}(\gamma )}{4^{n}}}=\epsilon \cdot {\mathcal {L}}(\gamma )}
für alle
ϵ
>
0
{\displaystyle \epsilon >0}
Begründung: (S19,LIW,IAL)
(C1)
⇒
{\displaystyle \Rightarrow }
∫
⟨
z
1
,
z
2
,
z
3
⟩
f
(
z
)
d
z
=
0
{\displaystyle \int _{\left\langle {z}_{1},{z}_{2},{z}_{3}\right\rangle }{f{\left({z}\right)}}{d}{z}={0}}
(DU)
∀
a
,
b
∈
C
:
|
a
+
b
|
≤
|
a
|
+
|
b
|
{\displaystyle \forall _{a,b\in \mathbb {C} }:|a+b|\leq |a|+|b|}
(DI) Definition: Sei
M
⊂
C
{\displaystyle M\subset {C}}
eine Menge
diam
(
M
)
:=
sup
{
|
b
−
a
|
:
a
,
b
∈
M
}
{\displaystyle {\text{diam}}(M):={\text{sup}}\lbrace |b-a|\,:\,a,b\in M\rbrace }
(WE) Definition (Weg): Sei
U
⊆
C
{\displaystyle {U}\subseteq \mathbb {C} }
eine Teilmenge und
a
,
b
∈
R
{\displaystyle a,b\in \mathbb {R} }
mit
a
<
b
{\displaystyle a<b}
. Ein Weg
γ
{\displaystyle \gamma }
in
U
⊆
C
{\displaystyle U\subseteq \mathbb {C} }
ist eine stetige Abbildung
γ
:
[
a
,
b
]
→
U
{\displaystyle \gamma :[a,b]\to U}
.
(SPU) Definition (Spur): Sei
γ
:
[
a
,
b
]
→
U
{\displaystyle \gamma :[a,b]\to U}
eine Weg in
U
⊆
C
{\displaystyle {U}\subseteq \mathbb {C} }
. Die Spur von
γ
{\displaystyle \gamma }
ist definiert als:
Spur
(
γ
)
:=
{
γ
(
t
)
∈
C
∣
t
∈
[
a
,
b
]
}
{\displaystyle {\text{Spur}}(\gamma ):=\lbrace \gamma (t)\in \mathbb {C} \,{\mid }\,t\in [a,b]\rbrace }
.
(WZ) Definition (wegzusammenhängend): Sei
U
⊆
C
{\displaystyle {U}\subseteq \mathbb {C} }
eine Teilmenge.
U
{\displaystyle {U}}
heißt wegzusammenhängend, wenn es zu beliebigen Punkt
z
1
,
z
2
∈
U
{\displaystyle z_{1},z_{2}\in U}
einen Weg
γ
:
[
a
,
b
]
→
U
{\displaystyle \gamma :[a,b]\to U}
in
U
⊆
C
{\displaystyle U\subseteq \mathbb {C} }
gibt, mit
γ
(
a
)
=
z
1
{\displaystyle \gamma (a)=z_{1}}
,
γ
(
b
)
=
z
2
{\displaystyle \gamma (b)=z_{2}}
und
Spur
(
γ
)
⊆
U
{\displaystyle {\text{Spur}}(\gamma )\subseteq U}
.
(GE) Definition (Gebiet): Eine Teilmenge
G
⊆
C
{\displaystyle {G}\subseteq \mathbb {C} }
heißt Gebiet, wenn (1)
G
{\displaystyle {G}}
offen, (2)
G
≠
∅
{\displaystyle {G}\neq \emptyset }
und (3)
G
{\displaystyle {G}}
wegzusammenhängend ist.
(WG1) Definition (Weg glatt): Ein Weg
γ
:
[
a
,
b
]
→
C
{\displaystyle \gamma :[a,b]\to \mathbb {C} }
heißt glatt, wenn dieser stetig differenzierbar ist.
(UT) Definition (Unterteilung): Sei
[
a
,
b
]
{\displaystyle [a,b]}
ein Intervall,
n
∈
N
{\displaystyle n\in \mathbb {N} }
und
a
=
u
0
<
…
<
u
n
=
b
{\displaystyle {a}={u}_{0}<{\ldots }<{u}_{n}={b}}
.
(
u
0
,
…
,
u
n
)
∈
R
n
+
1
{\displaystyle {\left({u}_{0},\ldots ,{u}_{n}\right)}\in \mathbb {R} ^{n+1}}
heißt dann Unterteilung von
[
a
,
b
]
{\displaystyle {\left[{a},{b}\right]}}
.
(WG2) Definition (Wegunterteilung): Sei
γ
:
[
a
,
b
]
→
C
{\displaystyle \gamma :[a,b]\to \mathbb {C} }
ein Weg in
U
⊆
C
{\displaystyle {U}\subseteq \mathbb {C} }
,
n
∈
N
{\displaystyle {n}\in \mathbb {N} }
,
(
u
0
,
…
,
u
n
)
{\displaystyle {\left({u}_{0},\ldots ,{u}_{n}\right)}}
eine Unterteilung von
[
a
,
b
]
{\displaystyle [a,b]}
,
γ
k
:
[
u
k
−
1
,
u
k
]
→
C
{\displaystyle \gamma _{k}:{\left[{u}_{{k}-{1}},{u}_{k}\right]}\to \mathbb {C} }
für alle
k
∈
{
1
,
…
,
n
}
{\displaystyle {k}\in {\left\lbrace {1},\ldots ,{n}\right\rbrace }}
ein Weg in
U
{\displaystyle {U}}
.
(
γ
1
,
…
,
γ
n
)
{\displaystyle {\left(\gamma _{1},\ldots ,\gamma _{n}\right)}}
heißt Wegunterteilung von
γ
{\displaystyle \gamma }
, wenn gilt
γ
n
(
b
)
=
γ
(
b
)
{\displaystyle \gamma _{n}{\left({b}\right)}=\gamma {\left({b}\right)}}
und
∀
k
∈
{
1
,
…
,
n
}
∀
t
∈
[
u
k
−
1
,
u
k
)
:
γ
k
(
t
)
=
γ
(
t
)
∧
γ
k
(
u
k
−
1
)
=
γ
k
−
1
(
u
k
)
{\displaystyle \forall _{{k}\in {\left\lbrace {1},\ldots ,{n}\right\rbrace }}\forall _{{t}\in {\left[{u}_{{k}-{1}},{u}_{k}\right)}}:\gamma _{k}{\left({t}\right)}=\gamma {\left({t}\right)}\wedge \gamma _{k}{\left({u}_{{k}-{1}}\right)}=\gamma _{{k}-{1}}{\left({u}_{k}\right)}}
.
(WG3) Definition (Integrationsweg/Weg stückweise glatt): Ein Weg
γ
:
[
a
,
b
]
→
C
{\displaystyle \gamma :{\left[{a},{b}\right]}\to \mathbb {C} }
heißt stückweise glatt, wenn eine Wegunterteilung
(
γ
1
,
…
γ
n
)
{\displaystyle {\left(\gamma _{1},\ldots \gamma _{n}\right)}}
aus glatten Wegen
γ
k
{\displaystyle \gamma _{k}}
für alle
k
∈
{
1
,
…
,
n
}
{\displaystyle {k}\in {\left\lbrace {1},\ldots ,{n}\right\rbrace }}
existiert.
(WG4) Definition (Wegintegral): Sei
f
:
U
→
C
{\displaystyle f:U\to \mathbb {C} }
eine stetige Funktion und
γ
:
[
a
,
b
]
→
U
{\displaystyle \gamma :[a,b]\to U}
ein glatter Weg, dann ist das Wegintegral wie folgt definiert:
∫
γ
f
:=
∫
γ
f
(
z
)
d
z
:=
∫
a
b
f
(
γ
(
t
)
)
⋅
γ
′
(
t
)
d
t
{\displaystyle \int _{\gamma }f:=\int _{\gamma }f(z)\,dz:=\int _{a}^{b}f(\gamma (t))\cdot \gamma '(t)\,dt}
. Ist
γ
{\displaystyle \gamma }
nur stückweise glatt bzgl. einer Wegunterteilung
(
γ
1
,
…
,
γ
n
)
{\displaystyle (\gamma _{1},\ldots ,\gamma _{n})}
, dann definiert man
∫
γ
f
(
z
)
d
z
:=
∑
k
=
1
n
∫
γ
k
f
(
z
)
d
z
{\displaystyle \int _{\gamma }f(z)\,dz:=\sum _{k=1}^{n}\int _{\gamma _{k}}f(z)\,dz}
.
(SF) Satz (Stammfunktion mit geschlossenen Wegen): Besitzt eine stetige Funktion
f
:
U
→
C
{\displaystyle f:U\to \mathbb {C} }
eine Stammfunktion
F
:
U
→
C
{\displaystyle F:U\to \mathbb {C} }
, dann gilt für den stückweise glatten Weg
γ
:
[
a
,
b
]
→
U
{\displaystyle \gamma :[a,b]\to U}
, dass
∫
γ
f
(
z
)
d
z
=
F
(
b
)
−
F
(
a
)
{\displaystyle \int _{\gamma }f(z)\,dz=F(b)-F(a)}
gilt.
(LIW) Länge des Integrationsweges: Sei
γ
:
[
a
,
b
]
→
C
{\displaystyle \gamma :{\left[{a},{b}\right]}\to \mathbb {C} }
ein glatter Weg, dann ist die
L
(
γ
)
{\displaystyle {\mathcal {L}}(\gamma )}
wie folgt definiert
L
(
γ
)
:=
∫
a
b
|
γ
′
(
t
)
|
d
t
{\displaystyle {\mathcal {L}}(\gamma ):=\int _{a}^{b}|\gamma '(t)|\,dt}
.
Ist
γ
:
[
a
,
b
]
→
C
{\displaystyle \gamma :{\left[{a},{b}\right]}\to \mathbb {C} }
allgemein ein Integrationsweg mit der Wegunterteilung
(
γ
1
,
…
γ
n
)
{\displaystyle {\left(\gamma _{1},\ldots \gamma _{n}\right)}}
aus glatten Wegen
γ
k
{\displaystyle \gamma _{k}}
, so ist
L
(
γ
)
{\displaystyle {\mathcal {L}}(\gamma )}
als Summe der Länge der glatten Wege
γ
k
{\displaystyle \gamma _{k}}
definiert, also:
L
(
γ
)
:=
∑
k
=
1
n
L
(
γ
k
)
{\displaystyle {\mathcal {L}}(\gamma ):=\sum _{k=1}^{n}{\mathcal {L}}(\gamma _{k})}
(IAL) Integralabschätzung über die Länge des Integrationsweges:
γ
:
[
a
,
b
]
→
G
{\displaystyle \gamma :{\left[{a},{b}\right]}\to \mathbb {G} }
ein Integrationsweg auf dem Gebiet
G
⊆
C
{\displaystyle G\subseteq \mathbb {C} }
, dann gilt für eine auf
Spur
(
γ
)
{\displaystyle {\text{Spur}}(\gamma )}
stetigen Funktion folgende Abschätzung:
|
∫
γ
f
(
z
)
d
z
|
≤
max
z
∈
Spur
(
γ
)
|
f
(
z
)
|
⋅
L
(
γ
)
{\displaystyle \left|\int _{\gamma }f(z)\,dz\right|\leq \max _{z\in {\text{Spur}}(\gamma )}|f(z)|\cdot {\mathcal {L}}(\gamma )}
Diese Seite wurde auf Basis der folgenden Wikipedia-Quelle erstellt: