COMPLEX GEOMETRY Course notes
COMPLEX GEOMETRY Course notes
COMPLEX GEOMETRY Course notes
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