I am trying to prove that set of bounded, analytic functions $A(\mho)$, $u:\mho\to\mathbb{C}$ forms a Banach space. It seems quite clear using Morera's theorem that if we have a cauchy sequence of holomorph functions converge uniformly to holomorph function. Now i am a bit confused what norm would be suitable in order to make it complete .
How to show set of all bounded, analytic function forms a Banach space?
-
0In fact it was a confusion with the general case, where $f$ is not assumed to be bounded (but in fact, in order to make this well-defined, we have to use $\min(1,\sup_{K_n}|f|)$, which only gives a semi-norm). – 2012-05-14
1 Answers
We endow $A(\Omega)$ with the norm $\lVert f\rVert:=\sup_{z\in\Omega}|f(z)|$, which is well-defined since $f$ is bounded. Let $\{f_n\}\subset A(\Omega)$ a Cauchy sequence, then for a fixed $z$, $\{f_n(z)\}\subset \Bbb C$ is a Cauchy sequence, and has a limit, denoted $f(z)$.
$f$ is bounded, since we can find $N$ such that if $m,n\geq N$ then for all $z\in\Omega$: $|f_n(z)-f_m(z)|\leq 1$ so $|f_n(z)-f(z)|\leq 1$ and $|f(z)|\leq 1+\sup_{\Omega}|f_n|$. Fix $\varepsilon>0$, and take $N\in\Bbb N$ such that if $n,m\geq N$ then for each $z\in\Omega$: $|f_n(z)-f_m(z)|\leq \varepsilon$. We have, letting $m\to +\infty$, that $|f_n(z)-f(z)|\leq \varepsilon$ for $n\geq N$ hence $\lVert f-f_n\rVert\to 0$.
Now we show that $f$ is analytic. We have for each $z$ and each $n$ that $f_n(z)=\frac 1{2\pi i}\int_{C(z,r)}\frac{f_n(\xi)}{\xi-z}d\xi,$ where $r$ is such that $\{z'\mid |z-z'|
-
0Hi Giraudo, why is it possible that the limit to infinity of the integrals is the integral of limit? – 2017-04-20