The Carrier Space of a Commutative Banach Algebra
Recall from the Multiplicative Linear Functionals on a Banach Algebra page that if $\mathfrak{A}$ is a Banach algebra then every multiplicative linear functional $f$ on $\mathfrak{A}$ is bounded and $\| f \| \leq 1$. The set of all multiplicative linear functionals on $\mathfrak{A}$ is denoted by $\Phi_{\mathfrak{A}}$, and the set of all multiplicative linear functionals on $\mathfrak{A}$ union the zero functional on $\mathfrak{A}$ is denoted by $\Phi_{\mathfrak{A}}^{\infty}$. Also recall that the dual space $\mathfrak{A}^*$ is the collection of all bounded linear functionals on $\mathfrak{A}$. Thus we have that:
(1)We can consider the weak-* topology on $\mathfrak{A}^*$. Recall the weak-* topology on $\mathfrak{A}^*$ is the topology induced by the collection $\hat{\mathfrak{A}} = \{\hat{x} : x \in \mathfrak{A} \} \subseteq \mathfrak{A}^{**}$ of linear functionals on $\mathfrak{A}^*$ where for each $x \in \mathfrak{A}$ we defined $\hat{x} : \mathfrak{A}^* \to \mathbb{C}$ for all $f \in \mathfrak{A}^*$ by $\hat{x}(f) = f(x)$.
We noted that a sequence $(f_n)$ in $\mathfrak{A}^*$ is said to weak-* converge to $f \in \mathfrak{A}^*$ if for all $x \in \mathfrak{A}$ we have that $\lim_{n \to \infty} \hat{x}(f_n) = \hat{x}(f)$, that is, for all $x \in \mathfrak{A}$ we have that:
(2)We can consider both $\Phi_{\mathfrak{A}}$ and $\Phi_{\mathfrak{A}}^{\infty}$ as subspaces of $(\mathfrak{A}^*, \mathrm{weak}-*)$. When we do, we give the spaces a special name.
Definition: Let $\mathfrak{A}$ be a commutative Banach algebra. Equip the dual space $\mathfrak{A}^*$ with the weak-* topology. The $\mathfrak{A}$-Topology on $\Phi_{\mathfrak{A}}$ (or $\Phi_{\mathfrak{A}}^{\infty}$) is the subspace topology on $\Phi_{\mathfrak{A}}$ (or $\Phi_{\mathfrak{A}}^{\infty}$). The Carrier Space for $\mathfrak{A}$ is the space $\Phi_{\mathfrak{A}}$ (or sometimes $\Phi_{\mathfrak{A}}^{\infty}$) equipped with the $\mathfrak{A}$-topology. |
We begin with some properties of the carrier space for a commutative Banach algebra $\mathfrak{A}$.
Proposition 1: Let $\mathfrak{A}$ be a commutative Banach algebra. Then: a) $\Phi_{\mathfrak{A}}$ has one-point compactification $\Phi_{\mathfrak{A}}^{\infty}$. b) If $\mathfrak{A}$ has a unit then $\Phi_{\mathfrak{A}}$ is compact. c) $\Phi_{\mathfrak{A}}$ is locally compact and Hausdorff. |
- Proof of a) As mentioned above, if $f \in \Phi_{\mathfrak{A}}^{\infty}$. Then $\| f \| \leq 1$ and so $\Phi_{\mathfrak{A}}^{\infty}$ is contained in $B_{\mathfrak{A}^*}$ where $B_{\mathfrak{A}^*}$ denotes the closed unit ball of $\mathfrak{A}^*$. Recall from Alaoglu's Theorem that $B_{\mathfrak{A}^*}$ is weak-* compact. So to show that $\Phi_{\mathfrak{A}}^{\infty} \subseteq B_{\mathfrak{A}^*}$ is weak-* compact it is sufficient to prove that $\Phi_{\mathfrak{A}}^{\infty}$ is weak-* closed (this is because every closed subset of a compact space is also compact).
- If $\Phi_{\mathfrak{A}}^{\infty} = \mathfrak{A}^*$ then we are done.
- Otherwise, suppose that $\Phi_{\mathfrak{A}}^{\infty} \neq \mathfrak{A}^*$. We show that $\Phi_{\mathfrak{A}}^{\infty}$ is weak-* closed by showing that its complement $\mathfrak{A}^* \setminus \Phi_{\mathfrak{A}}^{\infty}$ is weak-* open, i.e., by showing that each $f \in \mathfrak{A}^* \setminus \Phi_{\mathfrak{A}^*}$ has an open neighbourhood fully contained in $\mathfrak{A}^* \setminus \Phi_{\mathfrak{A}^*}$.
- Let $f \in \mathfrak{A}^* \setminus \Phi_{\mathfrak{A}}^{\infty}$. Then $f$ is a linear functional but is NOT multiplicative. So for some $x, y \in \mathfrak{A}$ we have that $f(x)f(y) \neq f(xy)$. Define:
- Let:
- And consider the following open neighbourhood $V$ of $f$:
- Suppose that $g \in V$ so that $|g(x) - f(x)| < \epsilon$, $|g(y) - f(y)| < \epsilon$, and $|g(xy) - f(xy)| < \epsilon$. We want to show that $g \in \mathfrak{A}^* \setminus \Phi_{\mathfrak{A}}^{\infty}$ so that $V \subset \mathfrak{A}^* \setminus \Phi_{\mathfrak{A}}^{\infty}$ to conclude that $\mathfrak{A}^* \setminus \Phi_{\mathfrak{A}}^{\infty}$ is weak-* open. We have that:
- Now we have also assumed above that
- Therefore $|g(xy) - g(x)g(y)| \geq \frac{1}{4} \delta$ showing that $g$ is not multiplicative. (See the image below). So $g \in \mathfrak{A}^* \setminus \Phi_{\mathfrak{A}}^{\infty}$.

- Thus $g \in \mathfrak{A}^* \setminus \Phi_{\mathfrak{A}}^{\infty}$. So we have constructed an open neighbourhood of $f$ fully contained in $\mathfrak{A}^* \setminus \Phi_{\mathfrak{A}}^{\infty}$. Since $f$ was chosen arbitrarily in $\mathfrak{A}^* \setminus \Phi_{\mathfrak{A}}^{\infty}$, this shows that $\mathfrak{A}^* \setminus \Phi_{\mathfrak{A}}^{\infty}$ is weak-* open, so $\Phi_{\mathfrak{A}}^{\infty}$ is a weak-* closed subset of the weak-* compact space $\mathfrak{A}^*$, i.e., $\Phi_{\mathfrak{A}}^{\infty}$ is compact with respect to the $\mathfrak{A}$-topology. $\blacksquare$
- Proof of b) Suppose that $\mathfrak{A}$ has a unit $1_{\mathfrak{A}}$. Recall that then if $f \in \Phi_{\mathfrak{A}}$ then $f(1_{\mathfrak{A}}) = 1$. Therefore we see that:
- So $\Phi_{\mathfrak{A}}$ is a closed subset of the $\mathfrak{A}$-topology compact space $\Phi_{\mathfrak{A}}^{\infty}$ which shows that $\Phi_{\mathfrak{A}}$ is compact with respect to the $\mathfrak{A}$ topology. $\blacksquare$
- Proof of c) By (a) we have that $\Phi_{\mathfrak{A}}^{\infty}$ is compact with respect to the $\mathfrak{A}$-topology. For any $f \in \Phi_{\mathfrak{A}}$, by definition, $f$ is not identically zero so there exists an $x_0 \in \mathfrak{A}$ with $f(x_0) \neq 0$. Let:
- The above set is a closed subset of $\Phi_{\mathfrak{A}}^{\infty}$ and is thus compact in $\Phi_{\mathfrak{A}}$ with respect to the $\mathfrak{A}$-topology; contains $f$, and does not contain the zero functional. So $\Phi_{\mathfrak{A}}$ is locally compact.
- Lastly we know that the dual space $\mathfrak{A}^*$ is Hausdorff. Since $\Phi_{\mathfrak{A}}$ is a subspace of $\mathfrak{A}^*$ we have that $\Phi_{\mathfrak{A}}$ is also Hausdorff. $\blacksquare$