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} }
(P2) Seien
z
1
,
z
2
,
z
3
∈
C
{\displaystyle {z}_{1},{z}_{2},{z}_{3}\in \mathbb {C} }
Δ
(
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} }
(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} }
Δ
(
z
1
,
z
2
,
z
3
)
{\displaystyle \Delta {\left({z}_{1},{z}_{2},{z}_{3}\right)}}
z
1
{\displaystyle {z}_{1}}
dann folgt die folgenden Behauptungen gelten:
(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)}}
Δ
(
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}}
γ
(
0
)
:
[
0
,
3
]
→
C
{\displaystyle \gamma ^{(0)}:[0,3]\to \mathbb {C} }
γ
(
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)}}
γ
(
n
+
1
)
{\displaystyle \gamma ^{(n+1)}}
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 }}
∀
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|}}
γ
(
n
+
1
)
:=
γ
i
(
n
)
{\displaystyle \gamma ^{\left({n}+{1}\right)}:={\gamma _{i}^{(n)}}}
Beweisteil 2: Abschätzungen [ Bearbeiten ] (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|}}
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)}}
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)}}
{
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}
z
0
∈
U
{\displaystyle z_{0}\in U}
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)}
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 }
h
:
U
→
C
{\displaystyle {h}:{U}\to \mathbb {C} }
h
(
z
)
:=
f
(
z
0
)
+
f
′
(
z
0
)
⋅
(
z
−
z
0
)
{\displaystyle h(z):=f(z_{0})+f'(z_{0})\cdot (z-z_{0})}
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)}
(S15)
⇒
{\displaystyle \Rightarrow }
γ
(
n
)
{\displaystyle \gamma ^{(n)}}
h
:
U
→
C
{\displaystyle {h}:{U}\to \mathbb {C} }
∫
γ
k
(
n
)
h
(
z
)
=
0
{\displaystyle \int _{\gamma _{k}^{(n)}}{h}{\left({z}\right)}={0}}
Begründung: (SF) (S16)
⇒
{\displaystyle \Rightarrow }
γ
(
n
)
{\displaystyle \gamma ^{(n)}}
f
:
U
→
C
{\displaystyle {f}:{U}\to \mathbb {C} }
∫
γ
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 }
lim
z
→
z
0
r
(
z
)
z
−
z
0
=
0
{\displaystyle \lim _{z\to z_{0}}{\frac {r(z)}{z-z_{0}}}=0}
ϵ
>
0
{\displaystyle \epsilon >{0}}
δ
>
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 }
g
(
z
)
:=
r
(
z
)
z
−
z
0
{\displaystyle g(z):={\frac {r(z)}{z-z_{0}}}}
g
{\displaystyle g}
z
0
{\displaystyle z_{0}}
(S18)
⇒
{\displaystyle \Rightarrow }
ϵ
>
0
{\displaystyle \epsilon >{0}}
δ
>
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}
ϵ
>
0
{\displaystyle \epsilon >0}
n
δ
∈
N
{\displaystyle n_{\delta }\in \mathbb {N} }
Δ
(
n
)
⊆
D
δ
(
z
0
)
{\displaystyle \Delta ^{(n)}\subseteq {D}_{\delta }(z_{0})}
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)}
n
∈
N
{\displaystyle n\in \mathbb {N} }
z
∈
Δ
(
n
)
{\displaystyle z\in \Delta ^{(n)}}
Begründung: Der Faktor
1
2
n
{\displaystyle {\frac {1}{2^{n}}}}
Δ
(
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 )}
ϵ
>
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}}
Abkürzungen für Begründungen [ Bearbeiten ] (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}}
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} }
a
,
b
∈
R
{\displaystyle a,b\in \mathbb {R} }
a
<
b
{\displaystyle a<b}
γ
{\displaystyle \gamma }
U
⊆
C
{\displaystyle U\subseteq \mathbb {C} }
γ
:
[
a
,
b
]
→
U
{\displaystyle \gamma :[a,b]\to U}
(SPU) Definition (Spur): Sei
γ
:
[
a
,
b
]
→
U
{\displaystyle \gamma :[a,b]\to U}
U
⊆
C
{\displaystyle {U}\subseteq \mathbb {C} }
γ
{\displaystyle \gamma }
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} }
U
{\displaystyle {U}}
z
1
,
z
2
∈
U
{\displaystyle z_{1},z_{2}\in U}
γ
:
[
a
,
b
]
→
U
{\displaystyle \gamma :[a,b]\to U}
U
⊆
C
{\displaystyle U\subseteq \mathbb {C} }
γ
(
a
)
=
z
1
{\displaystyle \gamma (a)=z_{1}}
γ
(
b
)
=
z
2
{\displaystyle \gamma (b)=z_{2}}
Spur
(
γ
)
⊆
U
{\displaystyle {\text{Spur}}(\gamma )\subseteq U}
(GE) Definition (Gebiet): Eine Teilmenge
G
⊆
C
{\displaystyle {G}\subseteq \mathbb {C} }
G
{\displaystyle {G}}
G
≠
∅
{\displaystyle {G}\neq \emptyset }
G
{\displaystyle {G}}
(WG1) Definition (Weg glatt): Ein Weg
γ
:
[
a
,
b
]
→
C
{\displaystyle \gamma :[a,b]\to \mathbb {C} }
(UT) Definition (Unterteilung): Sei
[
a
,
b
]
{\displaystyle [a,b]}
n
∈
N
{\displaystyle n\in \mathbb {N} }
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}}
[
a
,
b
]
{\displaystyle {\left[{a},{b}\right]}}
(WG2) Definition (Wegunterteilung): Sei
γ
:
[
a
,
b
]
→
C
{\displaystyle \gamma :[a,b]\to \mathbb {C} }
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)}}
[
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} }
k
∈
{
1
,
…
,
n
}
{\displaystyle {k}\in {\left\lbrace {1},\ldots ,{n}\right\rbrace }}
U
{\displaystyle {U}}
(
γ
1
,
…
,
γ
n
)
{\displaystyle {\left(\gamma _{1},\ldots ,\gamma _{n}\right)}}
γ
{\displaystyle \gamma }
γ
n
(
b
)
=
γ
(
b
)
{\displaystyle \gamma _{n}{\left({b}\right)}=\gamma {\left({b}\right)}}
∀
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} }
(
γ
1
,
…
γ
n
)
{\displaystyle {\left(\gamma _{1},\ldots \gamma _{n}\right)}}
γ
k
{\displaystyle \gamma _{k}}
k
∈
{
1
,
…
,
n
}
{\displaystyle {k}\in {\left\lbrace {1},\ldots ,{n}\right\rbrace }}
(WG4) Definition (Wegintegral): Sei
f
:
U
→
C
{\displaystyle f:U\to \mathbb {C} }
γ
:
[
a
,
b
]
→
U
{\displaystyle \gamma :[a,b]\to U}
∫
γ
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}
γ
{\displaystyle \gamma }
(
γ
1
,
…
,
γ
n
)
{\displaystyle (\gamma _{1},\ldots ,\gamma _{n})}
∫
γ
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} }
F
:
U
→
C
{\displaystyle F:U\to \mathbb {C} }
γ
:
[
a
,
b
]
→
U
{\displaystyle \gamma :[a,b]\to U}
∫
γ
f
(
z
)
d
z
=
F
(
b
)
−
F
(
a
)
{\displaystyle \int _{\gamma }f(z)\,dz=F(b)-F(a)}
(LIW) Länge des Integrationsweges: Sei
γ
:
[
a
,
b
]
→
C
{\displaystyle \gamma :{\left[{a},{b}\right]}\to \mathbb {C} }
L
(
γ
)
{\displaystyle {\mathcal {L}}(\gamma )}
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} }
(
γ
1
,
…
γ
n
)
{\displaystyle {\left(\gamma _{1},\ldots \gamma _{n}\right)}}
γ
k
{\displaystyle \gamma _{k}}
L
(
γ
)
{\displaystyle {\mathcal {L}}(\gamma )}
γ
k
{\displaystyle \gamma _{k}}
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} }
G
⊆
C
{\displaystyle G\subseteq \mathbb {C} }
Spur
(
γ
)
{\displaystyle {\text{Spur}}(\gamma )}
|
∫
γ
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:
![{\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}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2f78e379c02101d5c04e8b465df2d10b6acbc878)
![{\displaystyle {\left\langle {z}_{1},{z}_{2},{z}_{3}\right\rangle }:{\left[{0},{3}\right]}\to \mathbb {C} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/127c097c04d4a02f73f0f5529751284899cec282)
![{\displaystyle \gamma ^{(0)}:[0,3]\to \mathbb {C} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/b5082ba01da5dfb93d129dba1301a0252c144158)
![{\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}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b5ba43d0090ef9352ab778da0b03546eefc36ee0)
![{\displaystyle \gamma :[a,b]\to U}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d032547cae79cddd62ad7e267d9073b29a5a89d0)
![{\displaystyle {\text{Spur}}(\gamma ):=\lbrace \gamma (t)\in \mathbb {C} \,{\mid }\,t\in [a,b]\rbrace }](https://wikimedia.org/api/rest_v1/media/math/render/svg/99742c04ca75ecf8df6e428216f829ee5973716f)
![{\displaystyle \gamma :[a,b]\to \mathbb {C} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/4ba8e67ece48ed58462781818669d29170ae4809)
![{\displaystyle [a,b]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9c4b788fc5c637e26ee98b45f89a5c08c85f7935)
![{\displaystyle {\left[{a},{b}\right]}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/218c5a550234daaeebb7fe581a9d9c5d8ccfe692)
![{\displaystyle \gamma _{k}:{\left[{u}_{{k}-{1}},{u}_{k}\right]}\to \mathbb {C} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/e68d17150031bf3855b5789c04bb6eca3fd166c3)
![{\displaystyle \gamma :{\left[{a},{b}\right]}\to \mathbb {C} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/54fd4de339dd0c75918fcb2fa4ca67e88ce1bf7c)
![{\displaystyle \gamma :{\left[{a},{b}\right]}\to \mathbb {G} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/7445c5302ec68ba931509d8b346990c7345c22d9)
