Math 411: Honours Complex Variables - University of Alberta
Math 411: Honours Complex Variables - University of Alberta
Math 411: Honours Complex Variables - University of Alberta
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