Popis: |
Let $��\subset \mathbb{C}^n$ be a bounded domain and let $\mathcal{A} \subset \mathcal{C}(\bar��)$ be a uniform algebra generated by a set $F$ of holomorphic and pluriharmonic functions. Under natural assumptions on $��$ and $F$ we show that the only obstruction to $\mathcal{A} = \mathcal{C}(\bar��)$ is that there is a holomorphic disk $D \subset \bar��$ such that all functions in $F$ are holomorphic on $D$, i.e., the only obstruction is the obvious one. This generalizes work by A. Izzo. We also have a generalization of Wermer's maximality theorem to the (distinguished boundary of the) bidisk. |