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.
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