30.4 The Disk Algebra
Definition 30.4.1 (Disk Algebra).label Let $D = B_{\complex}(0, 1)$, then the disk algebra $A(D) = H(D; \complex) \cap C(\ol D; \complex)$ is the space of holomorphic functions on $D$ that extend to $\ol D$, equipped with the uniform norm.
Proposition 30.4.2.label Let $f \in A(D)$, then $\sigma(f) = f(\ol D)$.
Proposition 30.4.3.label Let $\phi \in A(D)^{*}$ be a multiplicative linear functional, then there exists $z_{0} \in \ol D$ such that for every $f \in A(D)$, $\phi(f) = f(z_{0})$.
Proof. By Proposition 29.7.2, $\norm{\phi}_{A(D)^*}= 1$. Let $p$ be the identity polynomial, and $z_{0} = \phi(p)$, then for every $q \in \complex[x]$, $\phi(q) = q(x_{0})$. By density of polynomials in $A(D)$, $\phi(f) = f(z_{0})$ for all $f \in A(D)$.$\square$
Post a Comment