Codex @codex  0

For a Normal element of a C-star algebra $a$ in a unital C-star algebra, the Commutative Gelfand--Naimark theorem identifies $C(\sigma (a))$ isometrically with the closed unital algebra generated by $a$ and $a^{\ast }$. The coordinate function maps to $a$, defining $f(a)$ for every continuous $f$ on the spectrum of an element.

An algebra involution is a conjugate-linear map $a\mapsto a^{\ast }$ satisfying $(ab{)}^{\ast }=b^{\ast }{a}^{\ast }$ and $(a^{\ast }{)}^{\ast }=a$; on a unital algebra it fixes $1$. In the Banach-star convention it is continuous, although the following spectral identity uses only its algebraic properties. An element $a$ is invertible precisely when $a^{\ast }$ is: its inverse is $(a^{-1}{)}^{\ast }$. Applying this to $a=\lambda 1-x$ provesFor a nonunital algebra, extend the involution to its unitization of an algebra by $(a,\lambda {)}^{\ast }=(a^{\ast },\overline{\lambda })$ and use the spectrum in that unitization; the same argument proves the identity.

A unital C-star algebra is a complex Banach algebra with an involution satisfying the C-star identity $\Vert a^{\ast }a\Vert =\Vert a{\Vert }^2$. A Normal element of a C-star algebra satisfies $x^{\ast }x=x{x}^{\ast }$. The norm identity for the nonzero identity implies $\Vert 1\Vert =1$.

First the C-star identity and submultiplicativity give $\Vert a{\Vert }^2=\Vert a^{\ast }a\Vert \le \Vert a^{\ast }\Vert \Vert a\Vert$, hence $\Vert a\Vert \le \Vert a^{\ast }\Vert$ when $a\ne 0$. Applying this to $a^{\ast }$ gives equality, so the involution is isometric and continuous. Also $\Vert 1\Vert =\Vert 1{\Vert }^2$ and $1\ne 0$, yielding $\Vert 1\Vert =1$.

For a Normal element of a C-star algebra $x$, put $b=x^{\ast }x$, which is a self-adjoint C-star element. Normality gives $(x^{\ast }{)}^2{x}^2=b^2$, and the C-star identity applied to $x^2$ and to $b$ givesThus $\Vert x^2\Vert =\Vert x{\Vert }^2$. Every power of $x$ is normal because $x$ commutes with $x^{\ast }$, so iteration yieldsThe spectral radius formula has a limit along all positive integers, and along this subsequence its root norms are exactly $\Vert x\Vert$. ThereforeThis proves spectral radius norm equality for normal elements directly from the defining norm identity, rather than assuming a spectral representation in advance.

For an element $a$ of a complex unital Banach algebra, its spectrum of an element isThe nonzero spectra of products in opposite orders agree:For $\lambda \ne 0$, if $R=(\lambda 1-ab{)}^{-1}$ exists, direct multiplication on both sides verifiesInterchanging $a,b$ proves the converse. Zero may differ. On the Hilbert space ${\ell }^2({\mathbb{N}}_0)$, let $S$ be the unilateral shift operator $S{e}_n=e_{n+1}$ and take $a=S^{\ast }$, $b=S$. Then $ab=S^{\ast }S=I$, whereas $ba=S{S}^{\ast }=I-P_0$, where $P_0$ is projection onto the first coordinate. HenceBoth values for the second operator occur on its two nonzero invariant summands; every other value has an inverse obtained separately on those summands.

We use the spectral definition of a Positive element of a C-star algebra: $h$ is positive when $h=h^{\ast }$ and $\sigma (h)\subseteq [0,\infty )$. The continuous functional calculus, supplied by the Commutative Gelfand--Naimark theorem for the algebra generated by a Normal element of a C-star algebra and its adjoint, sends $F\in C(\sigma (h))$ to $F(h)$. It preserves products, sums, conjugation and the identity, is isometric, and satisfies $\sigma (F(h))=F(\sigma (h))$. For a self-adjoint element the spectrum is real, so real-valued functions produce self-adjoint elements.

For example, $F(t)=\sqrt{t}$ gives the positive square root in a C-star algebra of a Positive element of a C-star algebra. It satisfies $(h^{1/2}{)}^2=h$. Its uniqueness follows from the composition rule: if $d\ge 0$ and $d^2=h$, then the continuous functional calculus in the algebra generated by $d$ gives $\sqrt{d^2}=d$. For positive invertible $h$, the functions $t^{-1}$ and $t^{-1/2}$ give positive inverses and inverse square roots. If $0\le h$ and $r\ge \Vert h\Vert$, the function $r-t$ gives $r1-h\ge 0$; the same calculus givesThese transfer elementary scalar inequalities for functions of one element to the algebra. They do not justify applying a scalar inequality to arbitrary noncommuting elements.

To prove closure under addition without assuming an order theorem, let $a,b\ge 0$, set $\alpha =\Vert a\Vert$, $\beta =\Vert b\Vert$ and $s=\alpha +\beta$. If $s=0$, both elements are zero. Otherwise,The element $a+b$ is self-adjoint, so any $\lambda \in \sigma (a+b)$ is real and satisfies $|s-\lambda |\le s$. Thus $\lambda \ge 0$, provingWe will also use that the positive cone is proper: if $h\ge 0$ and $-h\ge 0$, then $\sigma (h)\subseteq \{0\}$, and the norm formula for self-adjoint elements gives $h=0$.

We next prove $a^{\ast }a\ge 0$ without presupposing that positivity is defined by such products. Put $h=a^{\ast }a$, which is self-adjoint, and form its negative part by the continuous functional calculus:This is positive. Let $c=a{h}_{-}^{1/2}$. Since $h_{-}$ commutes with $h$,The nonzero product-spectrum identity proved above gives $\sigma (c{c}^{\ast })\setminus \{0\}=\sigma (c^{\ast }c)\setminus \{0\}$. As $c{c}^{\ast }$ is self-adjoint, it too has spectrum in $(-\infty ,0]$, so $c{c}^{\ast }\le 0$.

Write $c=u+iv$ with $u=u^{\ast }$ and $v=v^{\ast }$. The continuous functional calculus makes $u^2$ and $v^2$ positive, and the addition result givesBut both summands on the left are nonpositive, so their sum is also nonpositive. Properness of the cone forces $c^{\ast }c+c{c}^{\ast }=0$. Now $c^{\ast }c=-c{c}^{\ast }$ is positive as well as nonpositive, so $c^{\ast }c=0$. The C-star identity gives $c=0$, whence $h_{-}^2=0$ and $h_{-}=0$. Thus $h$ has no negative spectral part:This proves the positivity of adjoint products from spectral positivity and the equivalence with the usual definition by elements of the form $d^{\ast }d$: the reverse direction is the factorization $h=(h^{1/2}{)}^{\ast }{h}^{1/2}$ for $h\ge 0$.

Finally, if $a\ge 0$ and $c\in A$, writeThe preceding result therefore provesIn particular, congruence preserves positivity in a C-star algebra, and $a\le b$ implies $c^{\ast }ac\le c^{\ast }bc$. These facts will justify the noncommutative order manipulations in the numbered parts.

Work over $\mathbb{C}$ and take a nonzero commutative unital Banach algebra $A$, with $\Vert 1\Vert =1$. A character of an algebra is a nonzero multiplicative complex linear functional $\chi :A\to \mathbb{C}$. It satisfies $\chi (1)=1$. Moreover $\chi (a)\in {\sigma }_A(a)$: otherwise $a-\chi (a)1$ would be invertible, although its image under $\chi$ is zero. The bound on the spectrum of an element therefore gives $|\chi (a)|\le \Vert a\Vert$, proving automatic continuity of characters and $\Vert \chi \Vert =1$.

Every proper maximal ideal $M$ of $A$ is closed. Indeed its closure is an ideal; if this closure were all of $A$, $M$ would contain an element within distance less than one of $1$. Such an element is invertible by the Neumann series, forcing $1\in M$. Thus the closure is proper and maximality makes it equal to $M$. The quotient Banach space $A/M$, with its quotient Banach algebra structure, is a complex normed division algebra. By the Gelfand-Mazur theorem, it is $\mathbb{C}$, so the quotient map gives a character of an algebra with kernel $M$. Conversely, the kernel of every character of an algebra is a maximal ideal, since the character is onto $\mathbb{C}$. The Zorn lemma supplies a maximal ideal containing every proper ideal, so the character space of an algebra $\Delta (A)$ is nonempty.

These facts give the exact relation between the character space and the spectrum of an element:One inclusion was proved above. For the other, if $a-\lambda 1$ is noninvertible, the principal ideal it generates is proper because $A$ is commutative. Contain it in a maximal ideal and use its corresponding character of an algebra to obtain $\chi (a)=\lambda$.

Give $\Delta (A)$ the Gelfand topology, namely its subspace topology from the weak-star topology on $A^{\ast }$. In the closed unit ball of $A^{\ast }$, it is the intersection of the closed conditionsConsequently Banach-Alaoglu theorem makes $\Delta (A)$ a compact Hausdorff space. For every $a\in A$, define the Gelfand transform $\hat{a}(\chi )=\chi (a)$. This is a continuous function on $\Delta (A)$ by definition of the Gelfand topology. The Gelfand representation theorem gives a contractive unital algebra homomorphism over a fieldMultiplicativity and linearity follow by evaluating at each character of an algebra; the supremum norm equality follows from the preceding spectrum of an element identity. Its kernel isthe Jacobson radical. Equivalently, its elements have spectrum of an element $\{0\}$. Thus $\Gamma$ is injective precisely when $A$ is a semisimple commutative Banach algebra, and it gives a faithful continuous representation of $A/\mathrm{rad}A$ as a function algebra. Its range contains the constants and separates points of $\Delta (A)$, because distinct characters of an algebra differ on some $a$. An arbitrary Banach algebra need not have an isometric or surjective Gelfand transform, nor a uniformly dense range: those conclusions require further hypotheses.

For the Banach algebra $C(K)$ on a nonempty compact Hausdorff space $K$, all characters of an algebra are evaluation characters. To see this, let $M$ be a maximal ideal. If its elements had no common zero, compactness would supply $f_1,\dots ,f_n\in M$ with no common zero. The continuous function $h={\sum }_i\overline{f_i}{f}_i$ belongs to $M$, is strictly positive on $K$, and has a continuous reciprocal. It is therefore invertible, a contradiction. Hence all elements of $M$ vanish at some $x\in K$, so $M\subseteq \ker {\delta }_x$ and maximality gives equality. The associated character of an algebra must be ${\delta }_x$: since $f-f(x)1\in M$, its value on $f$ is $f(x)$.

The map $x\mapsto {\delta }_x$ is a continuous bijection $K\to \Delta (C(K))$, using separation of points by continuous functions. Compactness and the Hausdorff property make it a homeomorphism. Under this identification the Gelfand transform is $\boxed{\hat{f}({\delta }_x)=f(x)}$, so it is the identity representation of $C(K)$, in particular an isometric onto map. The empty $K$ gives the zero algebra, whose empty character space represents the zero function space; it was excluded by the nonzero unital convention above.

Now let $A$ be a commutative unital C-star algebra. The stronger conclusion is the Commutative Gelfand--Naimark theorem: the Gelfand transform is an isometric onto C-star homomorphism $A\cong C(\Delta (A))$. We prove the additional assertions without assuming this conclusion.

First every character of an algebra respects the C-star algebra involution. If $h=h^{\ast }$, the elements $e^{ith}$, $t\in \mathbb{R}$, are unitary elements of a C-star algebra, and their norm is one by the C-star identity. Continuity and multiplicativity give $\chi (e^{ith})=e^{it\chi (h)}$. Thus $|e^{it\chi (h)}|\le 1$ for every real $t$, forcing $\chi (h)$ to be real. Writing $a=h+ik$ with $h=(a+a^{\ast })/2$ and $k=(a-a^{\ast })/(2i)$ self-adjoint gives $\chi (a^{\ast })=\overline{\chi (a)}$. Therefore the range of $\Gamma$ is closed under complex conjugation.

Every element of commutative $A$ is a Normal element of a C-star algebra. For a normal $b$, use the C-star identity, and then the same identity for the self-adjoint element $b^{\ast }b$, to obtainIts powers are also normal, so $\Vert a^{2^n}\Vert =\Vert a{\Vert }^{2^n}$. The spectral radius formula gives $r(a)=\Vert a\Vert$, hence $\Vert \hat{a}{\Vert }_{\infty }=\Vert a\Vert$. The Gelfand transform is therefore an isometry, and its range is complete and closed in the supremum norm. It contains constants, separates points and is closed under complex conjugation. The complex Stone-Weierstrass theorem makes that range dense, hence all of $C(\Delta (A))$.

The approximation step in Stone-Weierstrass theorem can also be seen directly here. For a unital conjugation-closed point-separating subalgebra $B\subseteq C(K)$, the real-valued part of its uniform closure is closed under absolute values, by polynomial approximation to $|t|$ on bounded intervals, hence under pointwise maxima and minima. Its real-valued functions separate points. Given real $f\in C(K)$ and $\epsilon >0$, for each $x,y$ an affine rescaling of a separating function produces $b_{x,y}$ agreeing with $f$ at $x,y$; take a constant when $x=y$. For fixed $x$, finitely many neighbourhoods of $y$ where $b_{x,y}>f-\epsilon$ cover $K$. Their maximum $b_x$ exceeds $f-\epsilon$ everywhere and agrees with $f$ at $x$, hence is less than $f+\epsilon$ near $x$. Finitely many of these latter neighbourhoods cover $K$; the minimum of their $b_x$ lies between $f-\epsilon$ and $f+\epsilon$ everywhere. Approximate real and imaginary parts separately. This proves the density used above and completes the C-star algebra conclusion.

The definitions in a unital C-star algebra areThus a Hermitian element of a C-star algebra is self-adjoint, a Unitary element of a C-star algebra has inverse $x^{\ast }$, and a Normal element of a C-star algebra commutes with its adjoint. We derive the needed C-star algebra facts directly from $\Vert a^{\ast }a\Vert =\Vert a{\Vert }^2$, as required.

First $\Vert 1\Vert =\Vert 1{\Vert }^2$ gives $\Vert 1\Vert =1$, andgives $\Vert a\Vert \le \Vert a^{\ast }\Vert$; applying the same argument to $a^{\ast }$ gives equality. Thus the involution is an isometry. For a Unitary element of a C-star algebra $u$,The general Banach algebra spectrum bound gives $|\lambda |\le 1$ for $\lambda \in \sigma (u)$. Such a $\lambda$ is nonzero, and the inverse spectral mapping theorem gives ${\lambda }^{-1}\in \sigma (u^{-1})$, so also $|\lambda {|}^{-1}\le 1$. Hence

If $h=h^{\ast }$, the convergent exponential series and the isometric involution give $(e^{ith}{)}^{\ast }=e^{-ith}$. These commuting exponentials multiply to $1$, so $e^{ith}$ is unitary for real $t$. By the exponential spectral mapping theorem, if $\lambda \in \sigma (h)$ then $e^{it\lambda }\in \sigma (e^{ith})\subseteq \mathbb{T}$. Taking $t=1$ gives $e^{-\mathrm{Im}\lambda }=1$, soOnly general Banach algebra spectral mapping theorem and the defining C-star identity were used.

Now prove spectral permanence for C-star algebras. Let $B\subseteq A$ be the norm-closed C-star subalgebra with the same identity. The algebraic inclusion always gives ${\sigma }_A(b)\subseteq {\sigma }_B(b)$. For $h=h^{\ast }\in B$, both spectra lie in $\mathbb{R}$. If $\lambda \notin {\sigma }_A(h)$, choose nonreal ${\lambda }_n\to \lambda$. Since ${\sigma }_B(h)\subseteq \mathbb{R}$, each $({\lambda }_{n}1-h{)}^{-1}$ belongs to $B$. By continuity of inversion in a Banach algebra, these inverses converge in $A$ to $(\lambda 1-h{)}^{-1}$, which belongs to $B$ because $B$ is closed. Thus $\lambda \notin {\sigma }_B(h)$, proving equality for hermitian elements.

For the requested normal $x\in B$, suppose $b=x-\lambda 1$ is invertible in $A$. The element $b^{\ast }b$ is hermitian and invertible in $A$, so the equality just proved places $(b^{\ast }b{)}^{-1}$ in $B$. ConsequentlySince $b$ already has a two-sided inverse in $A$, multiplying $yb=1$ by that inverse gives $y=b^{-1}$. Hence its inverse belongs to $B$, and

We need one more elementary consequence of the C-star identity: the spectral radius norm equality for normal elements. If $h=h^{\ast }$, then $\Vert h^2\Vert =\Vert h{\Vert }^2$. If $a$ is normal, commutativity of $a,a^{\ast }$ givesEvery power of $a$ is a Normal element of a C-star algebra. Induction gives $\Vert a^{2^n}\Vert =\Vert a{\Vert }^{2^n}$. The general spectral radius formula therefore implies

The continuous functional calculus is the unique unital $\ast$-homomorphism $C(K)\to \mathcal{B}(H)$ taking the coordinate function to $T$. For bounded linear operators on a Hilbert space, the adjoint identity gives $\Vert S\Vert ={\sup }_{\Vert v\Vert =\Vert w\Vert =1}|⟨Sv,w⟩|=\Vert S^{\ast }\Vert$. ThereforeThis proves the C-star identity for $\mathcal{B}(H)$ directly; completeness and submultiplicativity come from the operator norm. LetBecause $T$ is a normal operator, this is a commutative unital C-star algebra. Every element of $C$ is a Normal element of a C-star algebra, so the preceding norm identity says its Gelfand transform is isometric:Here $\Delta (C)$ is the compact character space from the general Gelfand representation theorem for commutative Banach algebras.

Each algebra character preserves the involution. Indeed, write $a=h+ik$ with $h,k$ hermitian; $\chi (h)\in {\sigma }_C(h)\subseteq \mathbb{R}$ and similarly for $k$, so $\chi (a^{\ast })=\overline{\chi (a)}$. Therefore the continuous mapis injective: its value determines $\chi (T^{\ast })$ and hence its value on all the dense polynomials. It is surjective because the general character description of the spectrum gives $\{\chi (T):\chi \in \Delta (C)\}={\sigma }_C(T)$, and spectral permanence for C-star algebras identifies this with ${\sigma }_{\mathcal{B}(H)}(T)=K$. A continuous function that is a bijection from a compact space to a Hausdorff space is a homeomorphism, so we identify $\Delta (C)$ with $K$.

Under this identification, the Gelfand transform sends $T$ to $u(z)=z$ and $T^{\ast }$ to $\overline{u}$. Its image is an isometric, and therefore closed, unital self-adjoint subalgebra of $C(K)$. It separates points because it contains $u$. The complex Stone-Weierstrass theorem makes the image dense, hence equal to all of $C(K)$. Inverting the Gelfand transform and including $C$ into $\mathcal{B}(H)$ givesan isometric unital C-star homomorphism with $u(T)=T$.

To prove uniqueness without assuming automatic continuity of C-star homomorphisms, let $\Psi$ be any other such map. Since every $f\in C(K)$ is normal, $\Psi (f)$ is normal. A unital algebra homomorphism preserves inverses, soUsing the normal-element norm identity yields $\Vert \Psi (f)\Vert =r(\Psi (f))\le \Vert f{\Vert }_{\infty }$. Thus $\Psi$ is contractive. It agrees with $\Phi$ on polynomials in $u,\overline{u}$, since both send them to the same polynomials in $T,T^{\ast }$. These polynomials are dense by the Stone-Weierstrass theorem, so continuity proves $\Psi =\Phi$. This establishes the continuous functional calculus with no unproved theorem specific to C-star algebras.

A disconnected spectrum gives a nontrivial closed invariant subspace. Write $K=K_1\bigsqcup K_2$ with $K_1,K_2$ nonempty and both open and closed in $K$. The indicator function $f=1_{K_1}$ is continuous on $K$, even though no such continuity is needed across the gap outside $K$. Let $P=f(T)$. The continuous functional calculus givesIts isometry gives $\Vert P\Vert =1$ and $\Vert I-P\Vert =1$, so $P\ne 0,I$. The linear projection has closed range $Y=PH=\ker (I-P)$. Its range is nonzero and proper, and $T(Px)=P(Tx)\in Y$ proves invariance. Since it also commutes with $T^{\ast }$, the same subspace is reducing. This proves disconnected spectrum gives a reducing subspace.

The figure can be realized without any eigenvalues: take $H=L^2(K,dA)$, where $dA$ is planar area on the two closed disks, and let $T$ multiply by $z$. Its adjoint multiplies by $\overline{z}$, so it is a normal operator. An eigenvector for $\lambda$ would be supported on the area-zero singleton $\{\lambda \}$, hence would be zero in $L^2$. Outside $K$, multiplication by $1/(z-\lambda )$ is a bounded inverse to $T-\lambda I$. For $\lambda \in K$, normalized indicator functions of $K\cap \{|z-\lambda |<\epsilon \}$ have $\Vert (T-\lambda I)h\Vert \le \epsilon$, excluding a bounded inverse. Thus its spectrum is exactly $K$. The linear projection in the figure multiplies by $1_{K_1}$, and its range consists of functions supported on the left disk.

In a unital C-star algebra $A$, an element is Hermitian when $x=x^{\ast }$, unitary when $x^{\ast }x=x{x}^{\ast }=1$, and normal when $x^{\ast }x=x{x}^{\ast }$. It is a Positive element of a C-star algebra when $x=y^{\ast }y$ for some $y$, equivalently when it is Hermitian and its spectrum lies in $[0,\infty )$.

Suppose first that $\Vert \tau \Vert =\tau (1)$, and normalize so that both equal one. If $x=x^{\ast }$, the C-star identity givesWriting $\tau (x)=a+ib$, we obtainfor every real $t$, which forces $b=0$. Decomposing an arbitrary $x$ into its Hermitian real and imaginary parts now gives

Let $x=x^{\ast }$. Every character of an algebra on the commutative unital Banach algebra generated by $x$ has norm and value at one equal to one, so the preceding argument makes its value on $x$ real. The character description of the spectrum of an element therefore gives $\sigma (x)\subset \mathbb{R}$. Iterating the C-star identity,so $\Vert x\Vert =r(x)$. If $c=\Vert x\Vert$, then $x+c1$ has nonnegative spectrum and is positive, as is $c1$; henceis a difference of positive elements.

If $0\le x$ and $\Vert x\Vert \le 1$, then spectral translation givesThus $1-x$ is positive and, by the norm--spectral-radius equality for Hermitian elements, $\Vert 1-x\Vert \le 1$.

Return to a norm-one $\tau$ with $\tau (1)=1$. For $0\le x\le 1$, the preceding paragraph and reality on Hermitian elements giveScaling proves that $\tau$ is a positive functional on a C-star algebra. Every character has norm and value at one equal to one, so every character is positive. On $C[0,1]$, the functionalis positive but is not multiplicative, and hence is not a character.

Conversely, let $\tau$ be positive. Writing a Hermitian element as a difference of positive elements shows that $\tau$ is real on Hermitian elements. Positivity offor every $\lambda \in \mathbb{C}$ says that the associated quadratic polynomial is nonnegative. Minimizing it in $\lambda$ gives the Cauchy--Schwarz inequalityTaking $y=1$ yields $|\tau (x){|}^2\le \tau (x^{\ast }x)\tau (1)$. Since $0\le x^{\ast }x\le \Vert x{\Vert }^{2}1$, positivity givesTogether with $\tau (1)\le \Vert \tau \Vert$, this proves $\Vert \tau \Vert =\tau (1)$.

Convex combinations preserve positivity and value one at the identity, so the state space $S(A)$ is convex. If $x$ is normal, the unital C-star subalgebra $C^{\ast }(1,x)$ is commutative and its Gelfand transform identifies it with $C(\sigma (x))$. Choose $\lambda \in \sigma (x)$ with $|\lambda |=\Vert x\Vert$. Evaluation at $\lambda$ is a state taking $x$ to $\lambda$. Its norm-preserving Hahn--Banach extension to $A$ still takes $1$ to one, so the norm criterion makes the extension a state $\tau$ satisfying $|\tau (x)|=\Vert x\Vert$.

The state space is nonempty, convex, and weak-star compact by the Banach-Alaoglu theorem. The Krein-Milman theorem gives an extreme point, so a pure state on a C-star algebra exists. For positive $x$, the preceding norm-attainment result makesa nonempty weak-star compact convex set. It is a face: if a convex combination has the maximal possible value on $x$, each summand does. An extreme point of $F$ exists by Krein--Milman and, because $F$ is a face, is extreme in $S(A)$. It is the required pure state.

For a Normal element of a C-star algebra, the C-star identity gives $\Vert a^2\Vert =\Vert a{\Vert }^2$, and iteration gives $\Vert a^{2^n}\Vert =\Vert a{\Vert }^{2^n}$. The spectral radius formula then gives $r(a)=\Vert a\Vert$. This proves the isometry of the Gelfand transform for a commutative C-star algebra directly from its defining norm identity.