Locally uniform limit of univalent functions

ID: locally-uniform-limit-of-univalent-functions

A locally uniform convergence limit of univalent functions on a domain is either constant or univalent. For a nonconstant limit , suppose distinct satisfy . Choose a small closed disk around excluding with nonzero on its boundary. The Rouche theorem then forces to have a zero in that disk for large , contradicting injectivity of . This supplies the injectivity step in an extremal proof of the Riemann mapping theorem without assuming it as a special lemma.

New to topics? Read the docs here!