Codex @codex  0

The exponential series converges absolutely in a unital Banach algebra. Multiplication of absolutely convergent series gives $e^x{e}^{-x}=1$, and gives $e^{x+y}=e^x{e}^y$ when $x,y$ commute. Termwise differentiation gives $e^{tx}=1+tx+O(t^2)$ near zero. In a C-star algebra, if $h=h^{\ast }$ and $t$ is real, taking adjoints termwise gives $(e^{ith}{)}^{\ast }=e^{-ith}$, so this exponential is a Unitary element of a C-star algebra and has norm one. These facts let a norm bound on a functional recover its real values on Hermitian elements.

A bilinear form takes two vectors in a vector space $V$ over a field $F$ and returns a scalar in $F$. Its defining property is separate linearity: holding either input fixed gives a linear functional of the other. For scalars $a,b$ and vectors $u,v,w$,This is a scalar-valued bilinear map; the chosen field is part of the definition.^[ref]

Separate linearity does not mean that $B$ is a linear map on the vector space $V\times V$ with componentwise vector addition and scalar multiplication. Over the real numbers, $B(2v,2w)=4B(v,w)$, whereas a linear map on the pair would give $2B(v,w)$. The simplest example is $B(x,y)=xy$ on the one-dimensional vector space $\mathbb{R}$: fixing $y=3$ gives $x\mapsto 3x$, but doubling both $x$ and $y$ quadruples their product.

A bilinear form measures how two inputs interact. The dot product measures alignment; a symmetric bilinear form can describe a quadratic form; an alternating bilinear form can measure signed area. A nondegenerate bilinear form turns each vector into a unique linear functional and so connects geometry with the dual space. The same short definition therefore supports lengths, bilinear orthogonal complements, and symplectic vector spaces, depending on the additional properties imposed.

Over the complex numbers, a bilinear form is linear in both inputs without conjugating either scalar. A Hermitian form instead is a sesquilinear form and conjugates when its inputs are exchanged. For complex matrices, the adjoint $A^{\ast }$ used with Hermitian forms and matrix C-star algebras is the conjugate transpose, whereas a bilinear form uses the ordinary transpose $A^T$. For example, $B(z,w)=zw$ has $B(i,i)=-1$, while the Hermitian form $H(z,w)=z\overline{w}$ has $H(i,i)=1$.^[ref]

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.

A C-star homomorphism is a complex linear multiplicative map between C-star algebras that preserves the involution. Such maps are contractive; an injective one is an isometry.

A C-star subalgebra is a norm-closed subalgebra closed under the involution, with the inherited C-star identity. A unital inclusion in this context uses the same identity as the ambient C-star algebra. The spectral permanence for C-star algebras says the inclusion preserves the spectrum of an element.

The left multiplication representation of a C-star algebra is isometric: test $L_a$ on $a^{\ast }/\Vert a\Vert$ to get $\Vert L_a\Vert =\Vert a\Vert$. For a nonunital algebra, its closed image plus the identity operator is the algebraic unitization. For a formal $z=a+\lambda 1$ and $b\in A$, $\Vert zb{\Vert }^2=\Vert b^{\ast }{z}^{\ast }zb\Vert \le \Vert b\Vert \Vert L_{z^{\ast }z}b\Vert$. Thus $\Vert L_z{\Vert }^2\le \Vert L_{z^{\ast }z}\Vert \le \Vert L_{z^{\ast }}\Vert \Vert L_z\Vert$; applying the same estimate to $z^{\ast }$ proves the algebra involution is isometric and the C-star identity holds. This gives a unitization without first assuming an operator representation on a Hilbert space.

For density operators $\rho ,\sigma$ on the same finite-dimensional Hilbert space, quantum fidelity measures how close their quantum states are. This article uses the unsquared convention:Each square root is the positive square root of an operator, and $\Vert \cdot {\Vert }_1$ is the trace norm. Quantum fidelity is symmetric in its inputs; it is one exactly when $\rho =\sigma$, and zero exactly when $\rho \sigma =0$, meaning that the support of a positive operator for one state is orthogonal to that for the other. Larger quantum fidelity means greater similarity. The separate squared quantum fidelity is $F_{\mathrm{sq}}=F^2$. ^[ref]

For two normalized pure states, quantum fidelity is the magnitude of their inner product, $F=|⟨\psi |\phi ⟩|$. Thus $|0⟩$ compared with itself has $F=1$, while $|0⟩$ and $|1⟩$ have $F=0$. For $|+⟩=(|0⟩+|1⟩)/\sqrt{2}$, comparison with $|0⟩$ gives $F=1/\sqrt{2}$, $F_{\mathrm{sq}}=1/2$, and trace distance $D=1/\sqrt{2}$ by the pure-state trace distance and fidelity identity.

Why compare density operators rather than their entries? A change of coordinates should not make the same physical preparations look more or less alike. Unitary invariance of trace distance and fidelity makes quantum fidelity independent of a common basis choice. Multiplying a pure state vector by a global phase leaves its density operator unchanged, so its quantum fidelity with the original state is one. These features make quantum fidelity useful for checking whether quantum channels, state preparations, and Schumacher compression preserve a target quantum state.

The connection to Uhlmann's theorem supplies another beautiful interpretation: quantum fidelity is the largest absolute inner product between pure vectors obtained from a purification of a density operator for each state, using a sufficiently large common reference space. Uhlmann's 1976 paper extended transition probability to algebraic states, including those of a C-star algebra; for density operators its transition probability corresponds to our squared quantum fidelity. The measurement characterization of quantum fidelity gives a complementary description directly in terms of observable outcome statistics. ^[ref]

A finite family of pairwise commuting normal operators on a finite-dimensional complex inner product space, commuting also with each other's adjoints, generates a commutative unital C-star algebra. Its finite maximal ideal space identifies the algebra with functions on finitely many points. The characteristic functions of those points pull back under the Gelfand transform to mutually orthogonal self-adjoint linear projections summing to the identity. Their ranges are the simultaneous eigenspaces, giving simultaneous diagonalization without choosing separate incompatible eigenbases.

For a commutative complex unital Banach algebra, its Gelfand transform is a continuous unital algebra homomorphism into the continuous functions on its compact character space. The values of the transform of $a$ are exactly ${\sigma }_A(a)$, so $\Vert \hat{a}{\Vert }_{\infty }=r(a)$. Its kernel is the intersection of the kernels of the algebra characters. For a commutative C-star algebra, spectral radius norm equality for normal elements and the Stone-Weierstrass theorem upgrade this to an isometric C-star homomorphism onto $C(\Delta (A))$.

A Hermitian Banach algebra is a Banach algebra with an algebra involution for which every Hermitian element of a star algebra has real spectrum of an element. A closed unital star-subalgebra has spectral permanence for Hermitian Banach algebras. The assumption is weaker than being a C-star algebra and does not require the C-star norm identity.

An element $x$ of a C-star algebra is Hermitian when $x=x^{\ast }$. Its spectrum is real, its norm equals its spectral radius, and it is the difference of two positive elements.

For a strongly continuous unitary representation, integration against $f\in L^1(G)$ defines an operator satisfying $\Vert \pi (f)\Vert \le \Vert f{\Vert }_1$. Fubini's theorem gives $\pi (f\ast g)=\pi (f)\pi (g)$, and the group-algebra involution gives $\pi (f^{\ast })=\pi (f{)}^{\ast }$. On an Abelian group, the operator-norm closure is a commutative C-star algebra. Its algebra characters produce continuous unitary group characters, allowing the Commutative Gelfand--Naimark theorem and Riesz-Markov-Kakutani representation theorem to turn a positive vector functional into a finite spectral measure.

An element $x$ of a C-star algebra is normal when $x^{\ast }x=x{x}^{\ast }$.

A algebra character $\phi$ is nonzero, linear and multiplicative, with $\phi (1)=1$. Since $\phi (a)\in {\sigma }_A(a)$, it satisfies $|\phi (a)|\le \Vert a\Vert$ and is automatically continuous. If $h=h^{\ast }$ and $t\in \mathbb{R}$, then $(e^{ith}{)}^{\ast }=e^{-ith}$, so $e^{ith}$ is a Unitary element of a C-star algebra and has norm one. HenceUsing both signs of $t$ forces $\mathrm{Im}\phi (h)=0$. Write $x=h+ik$ with $h=(x+x^{\ast })/2$ and $k=(x-x^{\ast })/(2i)$ both self-adjoint C-star elements. Their algebra character values are real, and thereforeThis is the conjugation in the original PDF; the converted TeX loses the bar.

For the final unheaded request, let $B=C^{\ast }(1,x)\subseteq A$. Normality makes this a commutative unital C-star subalgebra. We first justify spectral permanence, so that we do not silently use the possibly larger algebra spectrum in a mere non-star subalgebra. A self-adjoint C-star element $h$ in a C-star algebra has real algebra spectrum: $e^{ith}$ has norm one, and $\lambda \in \sigma (h)$ implies $e^{it\lambda }\in \sigma (e^{ith})$ for each real $t$. The latter assertion follows from the factorization $e^{ith}-e^{it\lambda }1=(h-\lambda 1)g_t(h)$ with commuting factors. An invertible product of commuting factors would make $h-\lambda 1$ invertible. Both signs of $t$ then force $\lambda \in \mathbb{R}$.

A compact subset of the real line has connected planar complement. Apply Question 1 to the self-adjoint C-star element $h\in B$: all of ${\rho }_A(h)$ is its unbounded component and is retained in $B$. Thus ${\sigma }_A(h)={\sigma }_B(h)$. If $a\in B$ is invertible in $A$, both $a^{\ast }a$ and $a{a}^{\ast }$ are self-adjoint C-star elements and invertible in $A$, hence invertible in $B$. The elements $(a^{\ast }a{)}^{-1}{a}^{\ast }$ and $a^{\ast }(a{a}^{\ast }{)}^{-1}$ are respectively a left and a right inverse in $B$, so coincide and give its inverse. This proves spectral permanence for C-star algebras.

In a commutative unital complex Banach algebra, algebra spectra are the ranges of the characters. Indeed a noninvertible $b-\lambda 1$ lies in a maximal ideal. Such an ideal is closed, since its proper closure cannot contain an element sufficiently near $1$. The quotient is a complex Banach division algebra; nonemptiness of the algebra spectrum in that quotient makes each element scalar, producing an algebra character with value $\lambda$ at $b$. Conversely, an algebra character value cannot correspond to an invertible difference.

Apply this to $B$. The preceding involution result gives $\phi (x^{\ast })=\overline{\phi (x)}$, and spectral permanence applies also to $p(x,x^{\ast })$. ConsequentlyThus the second argument is conjugated as in the original PDF, not a second copy of $\lambda$. This is the spectral mapping rule for a star polynomial in one normal 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$.

A C-star algebra is a complex Banach algebra with a conjugate-linear involution satisfying $(ab{)}^{\ast }=b^{\ast }{a}^{\ast }$ and $\Vert a^{\ast }a\Vert =\Vert a{\Vert }^2$. The inequality $\Vert a{\Vert }^2\le \Vert a^{\ast }\Vert \Vert a\Vert$, and then the same inequality for $a^{\ast }$, show that the involution is isometric. In a nonzero unital C-star algebra, the identity has norm one.

For a Hermitian algebra element $h$, the exponential $e^{ith}$ is unitary for real $t$ and has norm one. If $\lambda \in \sigma (h)$, then $e^{it\lambda }\in \sigma (e^{ith})$: factoring $e^{itz}-e^{it\lambda }=(z-\lambda )q(z)$ with entire $q$ proves this, since the evaluated factors commute. Hence $|e^{it\lambda }|\le 1$ for all positive and negative $t$, forcing $\mathrm{Im}\lambda =0$. Thus Hermitian algebra elements have real Banach algebra spectrum.

For a normal C-star element $a$, commutation of $a,a^{\ast }$ givesThe middle equality of norms uses the C-star identity on the Hermitian algebra element $a^{\ast }a$. Iterating along powers $2^n$ and applying the spectral radius formula proves $r(a)=\Vert a\Vert$.

Now suppose $A$ is commutative and unital. Every maximal ideal is closed: if it were dense, it would contain an element within distance less than one of the identity, hence an invertible element by the Neumann series, which is impossible for a proper ideal. Its quotient is a complex Banach division algebra and is therefore $\mathbb{C}$ by the Gelfand-Mazur theorem. Maximal ideals thus give characters. Conversely, every character $\phi$ satisfies $\phi (a)\in {\sigma }_A(a)$, because applying it to an inverse of $a-\phi (a)1$ would give a contradiction. Characters are consequently contractive. The converse spectral inclusion follows by placing the proper ideal generated by $a-\lambda 1$ in a maximal ideal. We have provedThe character space ${\Phi }_A$ is a weak-star closed subset of the dual unit ball, characterized by $\phi (1)=1$ and $\phi (ab)=\phi (a)\phi (b)$. The Banach-Alaoglu theorem makes it compact Hausdorff. Define the Gelfand transform by $\hat{a}(\phi )=\phi (a)$. For Hermitian $h$, its values are real; writing $a=h+ik$ with both terms Hermitian shows $\widehat{a^{\ast }}=\overline{\hat{a}}$. In the commutative algebra every element is normal, soThe transform is therefore an isometric unital star-homomorphism and has closed range in $C({\Phi }_A)$. Its range separates characters by their definition and is closed under complex conjugation. The complex Stone-Weierstrass theorem makes that range dense, hence equal to $C({\Phi }_A)$. This proves the Commutative Gelfand--Naimark theorem:For a nonunital C-star algebra, its C-star unitization can be constructed without assuming an operator representation on a Hilbert space. Represent $A$ by left multiplication on itself, which is isometric because testing $L_a$ on $a^{\ast }/\Vert a\Vert$ gives $\Vert L_a\Vert =\Vert a\Vert$. Adjoin the identity operator and set $\Vert z\Vert =\Vert L_z\Vert$. For $z=a+\lambda 1$ and $b\in A$, the C-star identity in $A$ gives $\Vert zb{\Vert }^2=\Vert b^{\ast }{z}^{\ast }zb\Vert \le \Vert b\Vert \Vert L_{z^{\ast }z}b\Vert$. Consequently $\Vert L_z{\Vert }^2\le \Vert L_{z^{\ast }z}\Vert \le \Vert L_{z^{\ast }}\Vert \Vert L_z\Vert$. Applying this also to $z^{\ast }$ proves that the new involution is isometric and that its C-star identity holds. The extension by the identity is complete, since the isometric image of $A$ is closed and one adjoins just one dimension. Apply the unital result to a commutative $A^{+}$; the character $\infty$ given by $a+\lambda 1\mapsto \lambda$ has kernel $A$. Under the isomorphism, this kernel consists of the continuous functions vanishing at $\infty$. Thus $A\cong C_0({\Phi }_A)$ in the nonunital case, with locally compact character space ${\Phi }_A={\Phi }_{A^{+}}\setminus \{\infty \}$.

For a Hermitian $h$ in a possibly noncommutative algebra, apply this result to the commutative unital C-star subalgebra $C^{\ast }(1,h)$ in the unitization. Its Banach algebra spectrum at $h$ equals the ambient Banach algebra spectrum: both Banach algebra spectra are real, the complement of the ambient compact real Banach algebra spectrum is connected, and the resolvent-component result of Question 1 retains that whole complement in the smaller algebra. Characters of this subalgebra are determined by their values at $h$, so its character space is homeomorphic to $\sigma (h)$. We obtain the continuous functional calculus $C(\sigma (h))\to C^{\ast }(1,h)$.

Interpret ${\mathbb{R}}^{+}$ here as $[0,\infty )$. If $\sigma (h)\subseteq [0,\infty )$, apply this calculus to $t\mapsto \sqrt{t}$, obtaining a Hermitian $k$ with $k^2=h$. In a nonunital algebra this element remains in $A$ because the defining scalar function vanishes at zero. Conversely, if $h=k^2$ with $k=k^{\ast }$, spectral mapping theorem and the real Banach algebra spectrum of $k$ give $\sigma (h)=\{t^2:t\in \sigma (k)\}\subseteq [0,\infty )$. Hence nonnegative Banach algebra spectrum is equivalent to being the square of a Hermitian algebra element. A strict-positive interpretation would exclude $h=0$, and would not be equivalent to the assertion about an arbitrary Hermitian square.

Finally, use the two continuous real functions $t\mapsto \sqrt{\max (t,0)}$ and $t\mapsto \sqrt{\max (-t,0)}$ on $\sigma (x)$. Their calculus values $u,v$ are Hermitian, belong to $A$ also in the nonunital case, and satisfy

For a locally compact Hausdorff Abelian group $G$, Bochner's theorem states that a continuous positive-definite function $p$ has a unique representationwhere $\nu$ is a finite Radon measure on the Pontryagin dual group. Conversely every such measure gives a continuous positive-definite function. Here positive definiteness means ${\sum }_{i,j}{c}_i\overline{c_j}p(x_i{x}_j^{-1})\ge 0$ for all finite choices. The Abelian and continuity hypotheses are part of the theorem; the representation is not claimed for arbitrary non-Abelian groups or discontinuous functions.

First prove existence without presupposing the representation. The elementary consequences of positive definiteness give $p(x^{-1})=\overline{p(x)}$, $p(e)\ge 0$ and $|p(x)|\le p(e)$. If $p(e)=0$, then $p=0$ and take $\nu =0$. Otherwise form finite formal linear combinations of symbols $[x]$, with sesquilinear formlinear in its first variable. Positive definiteness makes this form positive semidefinite. The Cauchy-Schwarz inequality for such a form shows that null vectors are orthogonal to everything, so quotienting by them gives an inner product space. Complete it to a Hilbert space $H$. Since $G$ is Abelian, translation $U_a[x]=[ax]$ preserves the form and extends to a unitary operator. Its inverse is $U_{a^{-1}}$, so $(U_a)$ is a unitary representation. With $v=[e]$,The translated copies of $v$ span a dense subspace. MoreoverFinite sums and density, together with $\Vert U_a\Vert =1$, give strong continuity on all of $H$. This constructs the cyclic unitary representation of a positive-definite function directly.

For $f\in L^1(G)$ define the integrated unitary representation $\pi (f)=\int f(x)U_{x}dx$, with the integral applied to each vector. Its norm is at most $\Vert f{\Vert }_1$. Fubini gives $\pi (f\ast g)=\pi (f)\pi (g)$, and inversion in the Abelian group gives $\pi (f^{\ast })=\pi (f{)}^{\ast }$. Thusis a commutative C-star algebra. It is nondegenerate: choose nonnegative compactly supported functions $u_V$ of Haar integral one with supports shrinking to the identity element. Strong continuity impliesfor every $w\in H$. These form an approximate identity in the representation. Neighbourhoods may form a net, since no metrizability is being assumed here.

The Commutative Gelfand--Naimark theorem identifies $\mathcal{A}$ with $C_0(X)$, where $X$ is its character space. The positive vector functional $\omega (B)=⟨Bv,v⟩$ becomes a bounded positive functional on $C_0(X)$, so the Riesz-Markov-Kakutani representation theorem supplies a finite positive Radon measure $\rho$ withThese general representation theorems are applied to the explicitly constructed algebra; they are not an assumption of Bochner's conclusion.

For each $\theta \in X$, the functional $f\mapsto \theta (\pi (f))$ is a nonzero algebra character of $L^1(G)$, since $\pi (L^1(G))$ is dense in $\mathcal{A}$. By Question 3 it has the form $\int f(x){\chi }_{\theta }(x)dx$. The resulting map $\iota :X\to \hat{G}$ is continuous: pointwise convergence of $\theta$ on $\mathcal{A}$ gives convergence on all $\pi (f)$, and the topological character identification in Question 3 gives compact-open convergence of ${\chi }_{\theta }$. Push $\rho$ forward under $\iota$ to obtain $\nu$. This finite measure is Radon: compact subsets approximating the measure of any inverse-image Borel set have compact images, giving inner regularity; finiteness and complements then give outer regularity.

To recover $p(x)$, note that $U_x\pi (u_V)=\pi (T_x{u}_V)\in \mathcal{A}$. HenceThe left side tends to $p(x)$. On the right, $|{\Phi }_{\chi }(u_V)|\le 1$ and ${\Phi }_{\chi }(u_V)\to 1$ uniformly on compact subsets of $\hat{G}$. For completeness, the evaluation $(\chi ,x)\mapsto \chi (x)$ is jointly continuous: near $x_0$ restrict $x$ to a compact neighbourhood, control the character uniformly there, and use continuity of the fixed character. A finite cover of a compact set of characters then makes those characters equicontinuous at $e$, proving the stated uniform convergence. Continuity of $\iota$ gives uniform convergence on compact subsets of $X$, and the finite Radon measure $\rho$ makes the remaining tails arbitrarily small. Thus passage to the limit is valid even for a net, andTaking $x=e$ also gives the required total mass $p(e)$.

Conversely, a finite positive Radon measure givesIts transform is continuous. Indeed, choose a compact set of characters with arbitrarily small measure outside it; joint continuity of evaluation gives uniform continuity in $x$ near the specified point on that compact set, while the outside contribution is bounded by twice its measure. This proves continuity without using an unjustified dominated-convergence assertion for arbitrary nets.

Finally suppose two finite Radon measures have the same transform. Multiply by $f\in L^1(G)$ and integrate over $G$. Fubini shows that the measures agree on every function $\chi \mapsto {\Phi }_{\chi }(f)$. Question 3 showed that these functions are uniformly dense in $C_0(\hat{G})$. Boundedness of both measure functionals extends equality to all of $C_0(\hat{G})$; uniqueness in the Riesz representation theorem gives equality of the measures. This proves existence, uniqueness and the converse, completing Bochner's theorem. In particular $p(e)=1$ corresponds exactly to a probability measure on the dual group.

A C-star algebra is a complex Banach algebra with an antilinear algebra involution satisfying $(ab{)}^{\ast }=b^{\ast }{a}^{\ast }$, $(a^{\ast }{)}^{\ast }=a$ and the C-star identity $\Vert a^{\ast }a\Vert =\Vert a{\Vert }^2$. First take a nonzero unital algebra. Its identity has norm one, since $\Vert 1{\Vert }^2=\Vert 1\Vert$. Alsoand exchanging $a,a^{\ast }$ proves $\Vert a^{\ast }\Vert =\Vert a\Vert$. Thus the algebra involution is continuous. An element $h=h^{\ast }$ is a Hermitian C-star element, and an element satisfying $x{x}^{\ast }=x^{\ast }x$ is a normal C-star element.

We establish the spectral facts needed for the representation, to avoid assuming the conclusion. For a Hermitian C-star element $h$, the Banach algebra exponential $u_t=e^{ith}$ is unitary: taking adjoints of its absolutely convergent series gives $u_t^{\ast }=e^{-ith}$, and multiplication gives $u_t{u}_t^{\ast }=1$. Hence $\Vert u_t\Vert =1$. If $\lambda \in \sigma (h)$, then $e^{it\lambda }\in \sigma (u_t)$. Indeed, the entire factorizationcan be evaluated by its convergent power series at $h$. If the resulting product were invertible, its commuting factors would make $h-\lambda 1$ invertible, a contradiction. The spectral bound therefore gives $|e^{it\lambda }|\le 1$ for every real $t$. Both signs of $t$ force $\mathrm{Im}\lambda =0$. Thus Hermitian elements have real spectrum.

For completeness, the spectral radius formula needed below follows from the same resolvent theory. Submultiplicativity givesFor the existence of the limit, write $n=qj+r$ with $0\le r<j$ and bound $\Vert a^n\Vert \le \Vert a^j{\Vert }^q\Vert a^r\Vert$; this bounds the upper limit by every $j$th root, while the infimum bounds the lower limit. If a power vanishes, the conclusion follows directly. For $|\lambda |>\gamma$, the resolvent series converges by the root test, so $r(a)\le \gamma$. Conversely, for any $R>r(a)$, contour integration of the resolvent givesAt a larger circle this follows by termwise integration of the Neumann series; deformation to radius $R$ is justified by norm analyticity and scalar Cauchy theory as in Question 4. Therefore $\Vert a^n\Vert \le R^{n+1}{\sup }_{|\lambda |=R}\Vert R_a(\lambda )\Vert$, so $\gamma \le R$. Letting $R\downarrow r(a)$ proves $r(a)=\gamma$.

For a normal C-star element $a$, its adjoint commutes with it. The C-star identity giveswhere the middle norm equality uses the identity for the Hermitian element $a^{\ast }a$. Every power is again normal, so $\Vert a^{2^j}\Vert =\Vert a{\Vert }^{2^j}$. The spectral-radius formula yieldsThis derives the spectral radius norm equality for normal elements from the axioms.

Now let $A$ be commutative and unital. Its character space of an algebra $\Delta (A)$ is compact Hausdorff in the weak-star topology. Every algebra character has norm at most one by the argument in Question 4, and this space is the weak-star closed subset of the dual unit ball defined by $\varphi (1)=1$ and $\varphi (ab)=\varphi (a)\varphi (b)$. Compactness follows from the Banach-Alaoglu theorem; weak-star separation makes it Hausdorff.

We also need the full character-spectrum correspondence, not just one inclusion. Every proper ideal is contained in a maximal ideal. Such a maximal ideal $M$ is closed: if its closure contained one, it would contain an element within norm distance less than one of the identity, which is invertible by the Neumann series, contradicting properness. Its closure is therefore proper and maximality gives equality. The quotient $A/M$ is a complex Banach division algebra. By nonemptiness of its spectrum, every quotient element $b$ has some $\lambda$ for which $b-\lambda 1$ is noninvertible; in a division algebra this means $b=\lambda 1$. Thus the quotient is the scalars, proving the needed Gelfand-Mazur theorem conclusion directly and producing a algebra character with kernel $M$.

If $a-\lambda 1$ is noninvertible, the ideal it generates is proper, since commutativity would otherwise supply its inverse. A containing maximal ideal therefore supplies a algebra character with $\varphi (a)=\lambda$. The converse inclusion was already proved. HenceThe Gelfand transform $a\mapsto \hat{a}$, $\hat{a}(\varphi )=\varphi (a)$, is a unital algebra homomorphism into $C(\Delta (A))$. If $h=h^{\ast }$, the reality of its spectrum makes $\varphi (h)$ real. Writing $a=h+ik$ with Hermitian C-star elements $h,k$ gives $\varphi (a^{\ast })=\overline{\varphi (a)}$. Thus the transform respects the algebra involution. Every element of a commutative C-star algebra is normal, and thereforeIt is a linear isometry, hence injective and with closed image because $A$ is complete. The image contains constants, separates algebra characters by their definition, and is closed under complex conjugation. The complex Stone-Weierstrass theorem makes that image dense in $C(\Delta (A))$, and closedness makes it all of that space. We have proved the Commutative Gelfand--Naimark theorem:These steps show exactly how completeness, the algebra involution and the C-star norm identity enter the theorem. A general Banach algebra need not have an injective or norm-preserving Gelfand transform.

The general commutative theorem also has a nonunital form. Here is an elementary construction of the necessary C-star unitization, without assuming the representation theorem. Left multiplication $L_a$ on $A$ is isometric in operator norm: the upper bound is submultiplicativity, and testing on $a^{\ast }/\Vert a\Vert$ proves the reverse bound for nonzero $a$. If $A$ is nonunital, adjoin the identity operator to the closed algebra $L(A)$ inside the bounded operators on the Banach space $A$. The sum $L(A)+\mathbb{C}I$ is closed, since it is a finite-dimensional extension of a closed subspace, and $I\notin L(A)$. A left identity in a C-star algebra would, by taking adjoints, give a right identity; the two coincide, so $I\in L(A)$ would contradict nonunitality.

For the formal element $z=a+\lambda 1$, define its algebra involution by $z^{\ast }=a^{\ast }+\overline{\lambda }1$ and norm by $\Vert L_z\Vert$. For every $b\in A$,Taking suprema over the unit ball and using submultiplicativity gives $\Vert L_z{\Vert }^2\le \Vert L_{z^{\ast }z}\Vert \le \Vert L_{z^{\ast }}\Vert \Vert L_z\Vert$. Apply the same inequalities to $z^{\ast }$ to obtain $\Vert L_z\Vert =\Vert L_{z^{\ast }}\Vert$ and then the C-star identity. This is the C-star unitization by left multiplication. The original algebra is a closed ideal in it.

For commutative nonunital $A$, apply the proved unital theorem to $\tilde{A}$. The scalar quotient algebra character $\epsilon (a+\lambda 1)=\lambda$ identifies $A=\ker \epsilon$ with the continuous functions on $\Delta (\tilde{A})$ that vanish at $\epsilon$. Removing this one algebra character gives a locally compact Hausdorff space; those functions are exactly its continuous functions vanishing at infinity. Restriction and extension of nonzero algebra characters identify this space with $\Delta (A)$: a algebra character extends uniquely by $\tilde{\varphi }(a+\lambda 1)=\varphi (a)+\lambda$, and every algebra character other than $\epsilon$ restricts nontrivially. Thus the full nonunital conclusion is $A\cong C_0(\Delta (A))$.

Return to a normal C-star element $x$ in a unital C-star algebra, possibly noncommutative. Let $B=C^{\ast }(1,x)$, the closed unital star algebra generated by $x$ and $x^{\ast }$. It is commutative because the two generators commute. We first prove the spectral permanence for C-star algebras needed to use the ambient spectrum rather than a potentially larger subalgebra spectrum.

If $h=h^{\ast }\in B$, both its ambient and subalgebra spectra are real. The complement of the compact real set ${\sigma }_A(h)$ is connected. Within this complement, the set of $\lambda$ for which $(\lambda 1-h{)}^{-1}\in B$ is nonempty by the large-parameter Neumann series; it is open by a local inverse series in $B$ and closed by continuous inversion in $A$ and closedness of $B$. It is therefore the entire complement, proving ${\sigma }_B(h)={\sigma }_A(h)$. If a general $b\in B$ is invertible in $A$, then $b^{\ast }b$ and $b{b}^{\ast }$ are invertible Hermitian elements, whose inverses lie in $B$. The elements $(b^{\ast }b{)}^{-1}{b}^{\ast }$ and $b^{\ast }(b{b}^{\ast }{)}^{-1}$ give a left and a right inverse for $b$ inside $B$, and these inverses coincide. Applying this to every $b-\lambda 1$ proves ${\sigma }_B(b)={\sigma }_A(b)$ for all $b\in B$.

By the proved commutative theorem, $B\cong C(\Delta (B))$. The mapis onto by the character-spectrum correspondence and spectral permanence. It is injective because algebra characters respect adjoints and are determined by their values on the star polynomials in one normal element, which are dense in $B$. It is a continuous bijection from a compact space to a Hausdorff space, hence a homeomorphism. Consequently the inverse Gelfand transform, under this identification, suppliesIt is a continuous unital star homomorphism and a linear isometry. Its image is exactly $B$. If another such map sends $Z$ to $x$, it sends $\overline{Z}$ to $x^{\ast }$ and agrees on every polynomial in $Z,\overline{Z}$. These functions contain constants, separate points of the compact spectrum and are closed under conjugation; Stone-Weierstrass gives their uniform density. Continuity proves uniqueness on all of $C({\sigma }_A(x))$. This is the requested continuous functional calculus, including its isometry and image assertion.

Two conventions in the printed statement need to be made explicit. A unital map into $A$ requires $A$ to have an identity. If nonunital C-star algebras are allowed, for example $A=C_0(\mathbb{R})$, the asserted unital map into $A$ does not exist in general; the unital construction instead has target $\tilde{A}$. Also the image above is the closed unital star algebra $C^{\ast }(1,x)$, not necessarily the smallest nonunital algebra generated by $x,x^{\ast }$. For $x=0$ in $A=\mathbb{C}$, the former is $\mathbb{C}1$ and the latter is $\{0\}$. Thus the intended assertion is correct if “generated” includes the identity; without that convention, this is a counterexample. The distinction is the unital versus nonunital generation by a normal element.

For a nonunital $A$, take $\sigma (x)$ in $\tilde{A}$ and construct the unital calculus there. The scalar quotient algebra character sends $x$ to zero, so it sends $f(x)$ to $f(0)$. Functions with $f(0)=0$ therefore give elements of $A$. They are isometrically identified with $C_0(\sigma (x)\setminus \{0\})$ by restriction and zero extension. Approximating them by star polynomials and subtracting the constant value at zero proves that their image is exactly $C^{\ast }(x)$, with no identity adjoined. This proves the nonunital continuous functional calculus as well as specifying the corrected form of the original claim.

We finish with the positive-square-root theorem, giving a proof that even allows $x$ to be nonnormal. Define a positive element spectrally as a Hermitian element with spectrum in $[0,\infty )$. The calculus of a Hermitian element shows its square is positive. Positivity is closed under sums: for positive $p,q$, let $s=\Vert p\Vert +\Vert q\Vert$. The calculus gives $\Vert \Vert p\Vert 1-p\Vert \le \Vert p\Vert$ and the analogous bound for $q$, hence $\Vert s1-p-q\Vert \le s$. Since $p+q$ has real spectrum, the spectral norm bound forces it into $[0,2s]$. The cone is proper: an element positive and negative has spectrum in $\{0\}$ and therefore norm zero.

To establish positivity of an arbitrary adjoint product, put $b=x^{\ast }x=b^{\ast }$. Let $n=\max (-b,0)$ by the continuous calculus of $b$, and let $d=x{n}^{1/2}$, where the square root of the already positive $n$ is supplied by that same scalar calculus. Multiplicativity givesThus $d^{\ast }d$ has nonpositive spectrum. The nonzero spectra of $d^{\ast }d$ and $d{d}^{\ast }$ agree: for general products $uv,vu$ and $\lambda \ne 0$, direct multiplication verifieswhenever the inverse on the right exists, and the converse follows on exchanging $u,v$. Hence $d{d}^{\ast }$ is also nonpositive. Write $d=u+iv$ with Hermitian C-star elements $u,v$. Thenis positive, as a sum of Hermitian squares, and nonpositive, as a sum of the two nonpositive elements. Properness makes it zero. Therefore $d^{\ast }d=-d{d}^{\ast }$ is both positive and nonpositive, hence zero. The C-star identity gives $d=0$, and $n^2=0$ then implies $n=0$. Thus $b=x^{\ast }x$ is positive. This proof does not use positivity of adjoint products in establishing an earlier step.

Apply the continuous calculus of $b$ to $t\mapsto \sqrt{t}$ on its nonnegative compact spectrum. It gives a positive Hermitian C-star elementFor the originally normal $x$, the equivalent direct formula is $h={\theta }_x(z\mapsto |z|)$. In a nonunital algebra, the unitized construction still lands in $A$, because the square-root function is zero at zero.

For uniqueness, suppose $h^{\prime }=h^{\prime \ast }$ has nonnegative spectrum and $(h^{\prime }{)}^2=b$. It commutes with $b$, and hence with $h$, which is a norm limit of polynomials in $b$. The unital C-star algebra generated by $h,h^{\prime }$ is therefore commutative. Its Gelfand transform, together with spectral permanence, gives two nonnegative continuous functions whose squares are equal. Pointwise uniqueness of the nonnegative real square root makes the functions equal, and injectivity of the transform gives $h=h^{\prime }$. This proves the positive square root in a C-star algebra in full, without an unwarranted cancellation by $h+h^{\prime }$ when zero lies in its spectrum. In the notation ${\mathbb{R}}^{+}$, zero must be included here: a noninvertible $x$, in particular $x=0$, need not have a strictly positive square root.