Sequence of unit disk automorphisms converge l.u. to an automorphism Given $\{f_n\}$ sequence of automorphisms on the (open) unit disk converging locally uniformly to some nonconstant function $f$. Show that $f$ is an automorphism of the open unit disk.
For injectivity we may use Hurwitz theorem (and identity theorem). For surjectivity I wanted to use maximum modulus principle on $\frac{1}{f(z)-w}$ for some $w \notin f(D)$, but $f$ is not defined on the unit circle...?
 A: Fix $w^* \in \Bbb D$. The $(f_n)$ are automorphisms of the unit disk, therefore there exists a sequence $(z_n)$ in $\Bbb D$ with $f_n(z_n) = w^*$ for all $n$.
Case 1: $z_{n_k} \to z^* \in \Bbb D$ for some subsequence $(z_{n_k})$ of $(z_n)$. Then $f_{n_k}(z_{n_k}) \to f(z^*)$ which implies $f(z^*) = w^*$.
Case 2: $|z_n| \to 1$. Applying the Schwarz–Pick theorem to the inverse functions $f_n^{-1}$ gives
$$
\left|\frac{z-z_n}{1-\overline{z_n} z} \right| \le \left|\frac{f_n(z)-w^*}{1-\overline{w^*} f_n(z)} \right| \, ,
$$
which can equivalently be written as
$$
 \frac{(1-|f_n(z)|^2)(1-|w^*|^2)}{|1-\overline{w^*} f_n(z)|^2}
\le \frac{(1-|z|^2)(1-|z_n|^2)}{|1-\overline{z_n} z|^2} \, .
$$
(Actually equality holds for automorphisms, but that is not needed here). For fixed $z$ and $n \to \infty$ the right-hand side converges to zero, and it follows that $|f(z)| = 1$ for all $z \in \Bbb D$. That is not possible for a non-constant holomorphic function.
So only the first case can occur, which proves that $f: \Bbb D \to \Bbb D$ is surjective.
Remark: The condition that the limit function $f$ is not constant is important, as the example
$$
 f_n(z) = \frac{z-(1- \frac 1n)}{1-(1-\frac 1n)z}
$$
demonstrates. The $f_n$ are automorphisms of the unit disk with $f_n \to -1$ locally uniformly.
