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

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

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

Saved successfully!

Ooh no, something went wrong!