1

The disk algebra is the set of continuous functions $f: D \to \mathbb C$ where $D$ is the closed unit disc in $\mathbb C$ and $f$ is analytic on the interior of $D$. It is endowed with the $\sup$-norm.

Why this extra restriction to only include $f$ that are analytic on the interior of $D$? Wouldn't $C(D)$, the set of all continuous $f:D\to \mathbb C$ make a fine complete normed algebra, too?

Student
  • 1,687

2 Answers2

0

The algebras $C(K)$ with $K$ compact set are widely studied algebras, and in lots of ways they are very well understood.

I have always thought that we study the disk algebra, where functions are analytic in the interior of $D$, to be able to translate the "magic" that arises when analytic functions appear to the context of Banach Algebras. Observe that the other natural complex functions spaces $H^p(D), A^p(D)$... are not Banach Algebras.

On the other hand, in general the Weierstrass theorem of density of polynomials is not valid in general when you work in compact sets of the complex plane. Observe that the sup-norm closure of the polynomials only generates analytic functions. If you want to get every continuous function you must consider usual polynomials in $z$ and polynomials in $\overline{z}$. My point is that you can consider that the disk algebra $A(D)$ arises in a natural way when you consider it as the closure of polynomials with the sup-norm defined in the unit disk $D$.

javi1996
  • 973
0

$C(D)$ is a perfectly fine Banach algebra. (But $C(\text{open unit disc})$ is not, at least under the sup-norm.)

mrf
  • 43,639
  • But $\overline{D}=D$. Did you downvote my question or have any idea why the downvote? – Student Dec 22 '13 at 18:33
  • I just saw that your $D$ is closed, for me $D$ usually denotes the open disc. No idea about the downvote. Not mine. – mrf Dec 22 '13 at 18:34