28.11.2014 Views

COMPLEX GEOMETRY Course notes

COMPLEX GEOMETRY Course notes

COMPLEX GEOMETRY Course notes

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

and so f (n) (γ) = 0 for every n ≥ 0. It follows that f is constant on an neighbourhood of γ, getting a<br />

contradiction.<br />

Corollary 1.2.1 (Analytic Continuation or Identity Theorem). If f = g on a non-discrete subset of U and<br />

f, g ∈ O(U), then f ≡ g on U.<br />

Lemma 1.2.1 (Schwartz). If f ∈ O(D) and f ≤ M on ∂D, |f(z)| ≤ M|z| on ∂D r for every r ∈ (−ɛ, 1), then<br />

f(z) = Nz; where |N| < M.<br />

Another version: If |f(z)| ≤ M on D and f(0) = 0, then f(z) = Nz with |N| < M. Here, D<br />

de<strong>notes</strong> the Poncaré disk, i.e., the disk {z ∈ C : |z| 2 < 1} endowed with the metric<br />

|z − w| 2<br />

δ(z, w) = 2<br />

(1 − |z| 2 )(1 − |w| 2 ) .<br />

5

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

Saved successfully!

Ooh no, something went wrong!