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 )}