proof of Marty’s theorem
(i) Fix compact. We have:
($*$) |
Let be a region with and let be the curves connecting the points . Then we have:
Thus is Lipschitz continuous and thus is equicontinuous. By the Ascoli-ArzelÃÂ Theorem we conclude that is normal.
(ii) Now assume to be normal. Define:
Let be compact. To obtain contradiction assume is not uniformly bounded on .But then there exists a sequence such that:
Since is normal for each let there be a neighbourhood such that converges normally to a meromorphic function . But from we see that converges normally on . Since is compact it can be covered by finitely many sets . We conclude that must be bounded
on and obtain a contradiction. ∎