Uniform Limit of Analytic Functions is Analytic

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $U$ be an open subset of $\C$.

Let $\sequence {f_n}_{n \mathop \in \N}$ be a sequence of analytic functions $f_n : U \to \C$.

Let $\sequence {f_n}$ converge locally uniformly to $f$ on $U$.


Then $f$ is analytic.


Proof

By Equivalence of Local Uniform Convergence and Compact Convergence, $f_n$ converges to $f$ locally uniformly on $U$.

Then for any $z \in U$, there is an $\epsilon > 0$ so that:

$\map {B_\epsilon} z \subset U$

and $f_n$ converges uniformly on $\map {B_\epsilon} z$.

Let $\gamma$ be any simple closed curve in $\map {B_\epsilon} z$.

Since $f_n \to f$ uniformly on $\gamma$ (because $\gamma \subset \map {B_\epsilon} z$), we have:

$\ds \lim_{n \mathop \to \infty} \int_\gamma \map {f_n} z \rd z = \int_\gamma \map f z \rd z$

Since each $f_n$ is analytic, we have that:

$\ds \forall n \in \N: \int_\gamma \map {f_n} z \rd z = 0$

So we conclude also that:

$\ds \int_\gamma \map f z \rd z = 0$

Since $\gamma$ was arbitrary, we have by Morera's Theorem that $f$ is analytic in $\map {B_\epsilon} z$.

Since $z$ was arbitrary, $f$ is analytic on all of $U$.

$\blacksquare$


Also see