 Solution

A character of an algebra is a nonzero complex linear multiplicative map $\varphi :A\to \mathbb{C}$. It necessarily satisfies $\varphi (1)=1$. If $\lambda =\varphi (x)$, then $x-\lambda 1$ cannot be invertible, since applying $\varphi$ to an inverse identity would give $0=1$. Therefore $\varphi (x)\in \sigma (x)$. The Neumann series bound $\sigma (x)\subseteq \{z:|z|\le \Vert x\Vert \}$ givesproving automatic continuity of characters. In particular every algebra character belongs to the closed unit ball of $A^{\ast }$; no prior continuity was needed.

The character space of an algebra is ${\Phi }_A$, the set of all algebra characters. Its Gelfand topology is the weakest topology making every evaluation $\varphi \mapsto \varphi (x)$ continuous, equivalently the weak-star topology inherited from $A^{\ast }$. Within the weak-star compact ball $B_{A^{\ast }}$, it is the closed set specified byThese equations are closed conditions on finitely many evaluations at a time. By the Banach-Alaoglu theorem, ${\Phi }_A$ is compact, and it is Hausdorff because distinct characters differ on an evaluation.

To obtain every spectral value from a algebra character, take $\lambda \in \sigma (x)$. Commutativity makes the ideal $(x-\lambda 1)A$ proper, so it is contained in an algebraic maximal ideal $\mathfrak{m}$. Every such maximal ideal is norm closed: its closure is an ideal, and cannot be all of $A$, because an element of $\mathfrak{m}$ sufficiently close to $1$ would be invertible by the Neumann series. Maximality then makes its closure equal to itself.

The quotient $A/\mathfrak{m}$ is a complex Banach division algebra, hence is $\mathbb{C}$ by the Gelfand-Mazur theorem. Composing the quotient map with this scalar identification gives a algebra character with $\varphi (x)=\lambda$. Together with the first inclusion,The same maximal-ideal argument shows that the algebra character space of a nonzero algebra is nonempty.

Now suppose $A$ is a commutative C-star algebra. All its elements are normal. The C-star identity givessince the self-adjoint element $h=x^{\ast }x$ satisfies $\Vert h^2\Vert =\Vert h{\Vert }^2$. Iterating yields $\Vert x^{2^n}\Vert =\Vert x{\Vert }^{2^n}$. The spectral radius formula along this subsequence provesThis is spectral radius norm equality for normal elements, applied to the commutative case.

For a self-adjoint $h$, the element $v_t=\exp (ith)$ is unitary for every real $t$, so $\Vert v_t\Vert =1$. Algebra character continuity and multiplicativity giveIts modulus is $\exp (-t\mathrm{Im}\varphi (h))$, forcing $\varphi (h)\in \mathbb{R}$. Write $x=h+ik$ with $h,k$ self-adjoint. ThenThis proves that characters of a C-star algebra respect the involution. The conjugation bar is present in the original PDF and must be retained; the TeX aid omits it.

The Commutative Gelfand--Naimark theorem states that a complex commutative unital C-star algebra is isometrically star-isomorphic to $C(K)$ for a compact Hausdorff space, canonically $K={\Phi }_A$. Its Gelfand transform isIt is a unital algebra homomorphism; the conjugation identity just proved makes it preserve the involution. The algebra character description of the spectrum and the spectral-radius equality giveThus it is injective and isometric, and its range is closed because $A$ is complete. The range contains constants, is closed under complex conjugation, and separates points of ${\Phi }_A$: two distinct algebra characters differ on some element of $A$.

The complex Stone-Weierstrass theorem says that a self-adjoint unital subalgebra of $C(K)$ separating points is uniformly dense. For completeness, its familiar lattice argument explains the last step. The real part of its uniform closure is closed under absolute value, by polynomial approximation of $|t|$ on bounded real intervals, and hence under finite maxima and minima. Constants and point separation permit a real function matching any given real continuous $g$ at any chosen pair of points. Fixing the first point, take a maximum of finitely many such functions to obtain a function above $g-\epsilon$ everywhere and equal to $g$ at that first point. It is below $g+\epsilon$ in a neighborhood of that point. A finite cover by these neighborhoods and the minimum of their associated functions then lies between $g-\epsilon$ and $g+\epsilon$ everywhere. Real and imaginary parts give density for complex functions.

Apply this to $\mathcal{G}(A)$. Its range is both dense and closed, so it is all of $C({\Phi }_A)$. ThereforeThis proves the commutative theorem in the setting of the question. For the zero algebra the corresponding compact space is empty and the representation is $C(\varnothing )=\{0\}$.