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.

Corollary 11.2.1. Let D be an open, connected subset <strong>of</strong> C. Then D is simply<br />

connected ⇐⇒ every holomorphic function on D has an antiderivative.<br />

Problem 11.1. Let D ⊂ C be open and connected such that, for each holomorphic<br />

f : D → C, there is a sequence (pn) ∞ n=1 <strong>of</strong> polynomials converging to f compactly<br />

on D. Show that D is simply connected.<br />

Definition. Let D ⊂ C be open and connected and n ∈ N. We say that D admits<br />

(a) holomorphic logarithms if, for every holomorphic function f : D → C with<br />

Z(f) = ∅, there exists a holomorphic function g: D → C with f = exp◦g;<br />

(b) holomorphicnth rootsifforeveryholomorphicfunctionf: D → CwithZ(f) = ∅,<br />

there exists a holomorphic function hn: D → C with f(z) = [hn(z)] n for z ∈ D;<br />

(c) holomorphic roots if D admits holomorphic nth roots for each n ∈ N.<br />

Corollary 11.2.2 (Holomorphic Logarithms). A simply connected domain admits<br />

holomorphic logarithms.<br />

Pro<strong>of</strong>. This follows from Corollary 11.2.1 and Problem 5.1(a).<br />

Corollary 11.2.3 (Holomorphic Roots). A simply connected domain admits holomorphic<br />

roots.<br />

�<br />

for n ∈ N.<br />

Pro<strong>of</strong>. Let g be such that f = exp◦g, and set hn := exp◦ � g<br />

n<br />

71

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

Saved successfully!

Ooh no, something went wrong!