Codex @codex  0

The first assertion needs the C-star identity; a Banach-algebra involution alone is insufficient. For an explicit counterexample, take the dual-number algebraThis is a commutative unital Banach algebra, since it is finite-dimensional andIts involution is conjugate-linear, multiplicative, involutive and isometric. Every character of an algebra kills $\epsilon$, because $\varphi (\epsilon {)}^2=0$. Thus there is just one character, $a+b\epsilon \mapsto a$, and the Gelfand transform sends the nonzero norm-one element $\epsilon$ to zero. It is neither injective nor norm preserving. In particular $\Vert {\epsilon }^{\ast }\epsilon \Vert =0\ne \Vert \epsilon {\Vert }^2$, identifying the missing norm axiom.

Even the claimed compatibility with the involution is not automatic. On ${\mathbb{C}}^2$ with the maximum norm and pointwise multiplication, define $(a,b{)}^{\ast }=(\bar{b},\bar{a})$. This is another isometric involution, but evaluation at the first coordinate takes $(1,0{)}^{\ast }$ to zero rather than to the conjugate of its value $1$ at $(1,0)$. These examples establish involution alone does not imply an isometric Gelfand transform.

We now prove the intended assertion for a commutative complex unital C-star algebra. Let $\mathcal{M}$ be its maximal ideal space, identified with the compact character space of an algebra as in Question 3. The C-star identity and submultiplicativity giveand applying the same inequality to $a^{\ast }$ proves $\Vert a^{\ast }\Vert =\Vert a\Vert$. Thus the involution is continuous. For a self-adjoint element $h$, the exponential series defines $u_t=\exp (ith)$ in norm. Applying the involution term by term gives $u_t^{\ast }=\exp (-ith)$, and multiplying the absolutely convergent series shows $u_t^{\ast }{u}_t=1$. Hence $\Vert u_t\Vert =1$. Every character of an algebra is contractive by Question 3, and soTaking both signs of $t$ forces $\varphi (h)$ to be real. Writingwith $h,k$ self-adjoint, provesThis proves that characters of a C-star algebra respect the involution.

To prove the norm assertion, we also justify the spectral radius formula used here. Put $r(a)={\max }_{\lambda \in \sigma (a)}|\lambda |$. By spectrum equals character values in a commutative Banach algebra,For $R>\Vert a\Vert$, integrating the uniformly convergent Neumann series on $|z|=R$ givesOnly the coefficient of $z^{-1}$ survives. The resolvent is holomorphic outside the spectrum by Question 3, so the Cauchy integral theorem deforms this contour to any circle of radius $R>r(a)$. For algebra-valued integrals the same identity follows by applying every bounded linear functional and then using Hahn-Banach separation. Taking norms givesThe maximum is finite by resolvent continuity on the circle. Taking $n$th roots and then $R\downarrow r(a)$ proves ${\lim }_n\Vert a^n{\Vert }^{1/n}=r(a)$.

Every element is normal because $B$ is commutative. For self-adjoint $h$, the C-star identity gives $\Vert h^2\Vert =\Vert h{\Vert }^2$. Therefore, for arbitrary $a$,Iterating yields $\Vert a^{2^n}{\Vert }^{1/2^n}=\Vert a\Vert$, so the proved spectral radius formula givesThe Gelfand transform is thus isometric and injective. Its range is closed, since $B$ is complete and an isometry takes norm-Cauchy sequences back to norm-Cauchy sequences. It contains the constants, separates the characters, and is closed under complex conjugation by the proved involution identity. The Stone-Weierstrass theorem says that such a unital self-adjoint point-separating subalgebra of $C(\mathcal{M})$ is uniformly dense: apply its real version to real and imaginary parts. Closedness then makes the range all of $C(\mathcal{M})$. Hence the Gelfand transform is an isometric star-isomorphism under the C-star hypothesis, establishing the Commutative Gelfand--Naimark theorem in the form required.

For the finite-dimensional operator application, assume first $V\ne 0$ and let $A$ be the unital algebra generated by $\alpha ,\beta ,{\alpha }^{\ast },{\beta }^{\ast }$. Their pairwise commutation makes $A$ commutative; it is closed under the adjoint and norm closed because it is finite-dimensional. With the operator norm it is a C-star algebra. Indeed inner product duality gives $\Vert T^{\ast }\Vert =\Vert T\Vert$, andThus the missing hypothesis in the first paragraph really does hold for this algebra, independently of any spectral theorem.

The proved result identifies $A$ with $C({\mathcal{M}}_A)$. This character space is finite. For if it had $N$ distinct points, point separation would give, for each pair, a continuous function taking values $1$ and $0$ at the chosen two points. Products of these functions give $N$ functions with Kronecker-delta values on the selected points, hence $N$ linearly independent functions. Taking $N>\dim A$ is impossible. Write ${\mathcal{M}}_A=\{{\varphi }_1,\dots ,{\varphi }_m\}$, a finite Hausdorff and therefore discrete space.

Let $p_j$ be the indicator of $\{{\varphi }_j\}$ and let ${\pi }_j$ be its inverse Gelfand transform in $A$. Since $p_j^2=p_j$, ${\bar{p}}_j=p_j$, $p_j{p}_k=0$ for $j\ne k$, and ${\sum }_j{p}_j=1$, the injective star-isomorphism givesThus the ${\pi }_j$ are mutually orthogonal linear projections, and in particular commute. Put ${\lambda }_j={\varphi }_j(\alpha )$ and ${\mu }_j={\varphi }_j(\beta )$. The pointwise identities $\hat{\alpha }={\sum }_j{\lambda }_j{p}_j$ and $\hat{\beta }={\sum }_j{\mu }_j{p}_j$ pull back toThe ranges are simultaneous eigenspaces: on ${\pi }_{j}V$, the two operators act as the scalars ${\lambda }_j,{\mu }_j$. This proves that finite commuting normal operators have joint spectral projections. If $V=0$, the same conclusion holds with empty sums.