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!