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

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

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

Saved successfully!

Ooh no, something went wrong!