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.

Proposition 10.2 (Winding Numbers AreLocallyConstant). Let γ be a closed curve<br />

in C. Then:<br />

(i) the map<br />

is locally constant;<br />

C\{γ} → C, z ↦→ ν(γ,z)<br />

(ii) there exists R > 0 such that C\BR[0] ⊂ extγ.<br />

Pro<strong>of</strong>. (i): Let z0 ∈ C\{γ} and choose R > r > 0 such that BR(z0) ⊂ C\{γ}.<br />

Consider the function<br />

F : {γ}×Br[z0] → C, (ζ,z) ↦→ 1<br />

ζ −z .<br />

Then F is continuous and thus uniformly continuous. Choose δ ∈ (0,r) such that<br />

Then<br />

z ∈ Bδ(z0), ζ ∈ {γ} ⇒ |F(ζ,z)−F(ζ,z0)|<<br />

π<br />

ℓ(γ)+1 .<br />

� � � � �<br />

�<br />

|ν(γ,z)−ν(γ,z0)| = �<br />

1 1 1 �<br />

� − dζ�<br />

2πi γ ζ −z ζ −z0<br />

�<br />

≤ ℓ(γ)<br />

2π sup|F(ζ,z)−F(ζ,z0)|<br />

ζ∈{γ}<br />

≤ ℓ(γ) π<br />

2π ℓ(γ)+1<br />

< 1<br />

2 .<br />

Since ν(γ,z)−ν(γ,z0) ∈ Z, this means that ν(γ,z) = ν(γ,z0).<br />

(ii): For any z ∈ C\{γ}, we have<br />

� �<br />

�<br />

|ν(γ,z)|= �<br />

1 1<br />

�2πi<br />

ζ −z dζ<br />

�<br />

�<br />

�<br />

ℓ(γ) 1<br />

� ≤<br />

2π dist(z,{γ}) .<br />

Since lim<br />

|z|→∞<br />

γ<br />

dist(z,{γ}) = ∞, there exists R > 0 such that |ν(γ,z)|≤ ℓ(γ)<br />

2π<br />

1<br />

dist(z,{γ})<br />

for all z ∈ C such that |z|> R. Since ν(γ,z) ∈ Z for all z ∈ C\{γ}, this implies that<br />

ν(γ,z) = 0 for all z ∈ C with |z|> R.<br />

67<br />

< 1

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

Saved successfully!

Ooh no, something went wrong!