28.02.2013 Views

Math 411: Honours Complex Variables - University of Alberta

Math 411: Honours Complex Variables - University of Alberta

Math 411: Honours Complex Variables - University of Alberta

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

Chapter 10<br />

The Winding Number <strong>of</strong> a Curve<br />

Definition. Let γ be a closed curve in C, and let z ∈ C \ {γ}. Then the winding<br />

number <strong>of</strong> γ with respect to z is defined as<br />

ν(γ,z) := 1<br />

�<br />

1<br />

2πi ζ −z dζ.<br />

Remark. Geometrically, ν(γ,z) is the number <strong>of</strong> times γ winds around z in the counterclockwise<br />

direction.<br />

Lemma 10.1. Let γ: [0,1] → C be a curve, and let z ∈ C \{γ}. Then there exist<br />

open discs D1,...,Dn ⊂ C\{z} and a partition 0 = t0 < t1 < ··· < tn = 1 such that<br />

γ([tj−1,tj]) ⊂ Dj for j = 1,...,n.<br />

Pro<strong>of</strong>. Let ǫ := dist(z,{γ}) > 0. Since γ is uniformly continuous, there exists δ > 0<br />

such that |γ(t)−γ(t ′ )|< ǫ for all t,t ′ ∈ [0,1] such that |t−t ′ |< δ. Choose 0 = t0 <<br />

t1 < ··· < tn = 1 such that |tj−1−tj|< δ for j = 1,...,n, and set Dj := Bǫ(γ(tj)) for<br />

j = 1,...,n. Bythechoice <strong>of</strong>ǫ, itisclearthatD1,...,Dn ⊂ C\{z}. Forj = 1,...,n,<br />

let t ∈ [tj−1,tj], and note that |t−tj|≤ |tj−1 −tj|< δ, so that |γ(t)−γ(tj)|< ǫ, i.e.<br />

γ(t) ∈ Dj; consequently, γ([tj−1,tj]) ⊂ Dj holds.<br />

Proposition 10.1. Let γ be a closed curve in C, and let z ∈ C \ {γ}. Then<br />

ν(γ,z) ∈ Z.<br />

Pro<strong>of</strong>. Choose a partition 0 = t0 < t1 < ··· < tn = 1 and open discs D1,...,Dn such<br />

that γ([tj−1,tj]) ⊂ Dj for j = 1,...,n.<br />

Let j ∈ {1,...,n}. Since z /∈ Dj, there exists a holomorphic function Lj: Dj → C<br />

such that<br />

e Lj(w) = w−z for w ∈ Dj.<br />

On noting that γ(tn) = γ(t0), it is convenient to denote Dn+1 := D1 and Ln+1 := L1.<br />

For j = 1,...,n we then see that γ(tj) ∈ Dj ∩Dj+1 and hence<br />

exp(Lj(γ(tj))) = γ(tj)−z = exp(Lj+1(γ(tj))),<br />

65<br />

γ

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!