Math 411: Honours Complex Variables - University of Alberta
Math 411: Honours Complex Variables - University of Alberta
Math 411: Honours Complex Variables - University of Alberta
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Chapter 13<br />
Function Theoretic Consequences<br />
<strong>of</strong> the Residue Theorem<br />
Definition. Let D ⊂ C be open. We call S ⊂ D discrete in D if it has no cluster<br />
points in D.<br />
Example. If D is open and connected, and f: D → C is holomorphic and not identically<br />
zero, then Z(f) is discrete.<br />
Remark. Let S ⊂ D be discrete, and let K ⊂ D be compact. If K ∩S were infinite,<br />
then K ∩S would have cluster points, which would lie in K ⊂ D. Thus, K ∩S must<br />
be finite.<br />
Remark. LetS beadiscretesubset <strong>of</strong>anopensetD. Forsuitablysmallradiir(z) > 0,<br />
we note that D can be expressed as a countable union <strong>of</strong> compact sets:<br />
D = �<br />
Br(z)[z].<br />
z∈D∩Q 2<br />
On denoting these compact sets as {Kn} ∞ n=1 , we see that each Kn ∩S is finite. Thus<br />
S =<br />
is either finite or countably infinite.<br />
∞�<br />
(Kn ∩S).<br />
n=1<br />
Example. If D is open and connected, and f: D → C is holomorphic and not identically<br />
zero, then Z(f) is at most countably infinite.<br />
Proposition 13.1. Let D ⊂ C be open, let γ be a closed curve in D, and let S ⊂ D<br />
be discrete. Then S ∩intγ is finite.<br />
Pro<strong>of</strong>. By Proposition 10.2(ii), there exists R > 0 such that intγ ⊂ BR[0].<br />
Definition. Denote the set <strong>of</strong> poles <strong>of</strong> a holomorphic function f by P(f).<br />
87