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.
Define g: D → RM as follows: for x ∈ D, let k be the smallest natural number<br />
such that x ∈ Kk, set g(x) := gk(x). Then fn,n|Kk→ g|Kk uniformly on Kk.<br />
Let K ⊂ D be compact. By the choices <strong>of</strong> K1,K2,..., we have K ⊂ D =<br />
� ∞<br />
k=1 intKk, so that {intKk : k ∈ N} is an open cover for K. Since K is compact,<br />
and since intKk ⊂ intKk+1 for k ∈ N, there exists k0 ∈ N such that K ⊂ intKk0 ⊂<br />
Kk0. Since fn,n|Kk 0 → g|Kk 0 uniformly on Kk0, it follows that fn,n|K→ g|K uniformly<br />
on K.<br />
Theorem 16.2 (Montel’s Theorem). Let D ⊂ C be open, and let F be a family <strong>of</strong><br />
holomorphic functions on D that is uniformly bounded on compact subsets <strong>of</strong> D. Then<br />
every sequence in F has a subsequence that converges compactly to a holomorphic<br />
function on D.<br />
Pro<strong>of</strong>. In view <strong>of</strong> Proposition 16.1, we only need to show that F is equicontinuous<br />
on compact subsets <strong>of</strong> D.<br />
Let z0 ∈ D, and let r > 0 be such that B2r[z0] ⊂ D. There exists C > 0 such that<br />
|f(ζ)|≤ C for all f ∈ F and all ζ ∈ ∂B2r(z0).<br />
Let f ∈ F, and let z,w ∈ Br(z0). Then we have:<br />
|f(z)−f(w)| = 1<br />
��<br />
�<br />
�<br />
2π �<br />
= 1<br />
��<br />
�<br />
�<br />
2π �<br />
= |z −w|<br />
2π<br />
∂B2r(z0)<br />
∂B2r(z0)<br />
��<br />
�<br />
�<br />
�<br />
�<br />
�<br />
dζ�<br />
�<br />
�<br />
�<br />
dζ�<br />
�<br />
f(ζ)<br />
(ζ −z)(ζ −w) dζ<br />
�<br />
�<br />
�<br />
�<br />
� �<br />
f(ζ) f(ζ)<br />
−<br />
ζ −z ζ −w<br />
f(ζ)(ζ −w +z −ζ)<br />
(ζ −z)(ζ −w)<br />
∂B2r(z0)<br />
|z −w|<br />
≤<br />
2π 4πrC<br />
r2 = 2C<br />
|z −w|.<br />
r<br />
For ǫ > 0, choose δ := rǫ<br />
2C , so that |f(z) − f(w)|< ǫ for all z,w ∈ Br(z0) with<br />
|z −w|< δ.<br />
109