Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $\Omega $ be a domain in $\mathbb{C}^n$. Consider the algebra $A(\Omega)=\mathcal{C}(\overline\Omega)\cap\mathcal{O}(\Omega).$ Let $\{F_\nu\}$ be a sequence in $A(\Omega)$ such that $F_\nu(\overline{\Omega})\subseteq\overline{\mathbb{D}}$ for every $\nu\in\mathbb{Z}_+.$ Now by Montel's Theorem we know that there is a subsequence of this sequence which converges uniformly on compact sets of $\Omega.$ Let $F$ be the limit function of this subsequence then we know this is holomorphic. The question here is if this F belongs to $A(\Omega)$ or not? I mean if we can extend $F$ continuously to the boundary ?

share|cite|improve this question
up vote 1 down vote accepted

In general no, even if $n=1$. Take for example $\Omega$ as the unit disc, let $F \in H^\infty \setminus A$ with $|F| < 1$ and let $F_\nu(z) = F( r_n z)$ where $r_n \searrow 1$.

share|cite|improve this answer
Thanks. So in general it is not true. The sequence of hol. functions that I got has this particular property that each member of the family maps a given fixed point on the boundary to the boundary of unit disc. Does it make any difference? – Abelvikram Jun 14 '13 at 3:01

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.