3
$\begingroup$

If ${f_n}$ is a uniformly bounded sequence of holomorphic functions in $\Omega$ such that ${f_n(z)}$ converges for every $z \in \Omega$, is the convergence is uniform on every compact subset of $\Omega$?

I'm trying to prove using Dominated Convergence Theorem with Cauchy's Integral Formula. For any compact $K \subset \Omega$, let $\gamma = \partial K$. Then for any $z \in K$, by the CIF, $|f_n(z) - f_m(z)| \leq \frac{1}{2\pi i}\int_{\gamma}\left|\frac{f_n(w)-f_m(w)}{w-z}\right|\:dz.$

Now since we are talking in compact sets, $|f_n(z)| \leq B \in L^1$, so by applying Dominated Convergence Theorem, and by taking the limit as $m \to \infty$, $|f_n(z)-f(z)| \leq \frac{1}{2\pi i}\int_{\gamma}\left|\frac{f_n(w)-f(w)}{w-z}\right|\:dz.$

But by the pointwise convergence, I am trying to claim that RHS can be made sufficiently small for large enough $n$. Am I on the right track?

  • 0
    I did run across Arzela-Ascoli's Theorem, but we haven't technically proven it yet, so I can't use it. But I assume I can mimic the proof of the A-A Theorem.2012-09-14

1 Answers 1

2

Here is a powerful convergence theorem.

  • 0
    You were right on the money with Ascoli's theorem. [Montel's theorem](http://en.wikipedia.org/wiki/Montel's_theorem) (stated in a somewhat cryptic fashion on Wikipedia) can be proved using Arzelà-Ascoli. This is done e.g. in Ahlfors.2012-09-14