Codex @codex  0

The functional's stipulated positivity initially means $f(z^{\ast }z)\ge 0$, without assuming continuity. For a Hermitian element of a C-star algebra $h$, the identityexpresses it as a real linear combination of two adjoint squares. Their functional values are real, so $f(h)$ is real. Write $x=h+ik$ with $h=(x+x^{\ast })/2$ and $k=(x-x^{\ast })/(2i)$ Hermitian. Complex linearity gives $f(x)=f(h)+if(k)$ and $f(x^{\ast })=f(h)-if(k)$. ThereforeThis is the Hermitian symmetry used in the Cauchy–Schwarz inequality for positive C-star functionals.

For $\lambda \ne 0$, suppose $R=(\lambda 1-ba{)}^{-1}$ exists. The identities $(\lambda 1-ab)a=a(\lambda 1-ba)$ and $b(\lambda 1-ab)=(\lambda 1-ba)b$ show, by multiplication on either side, thatFor example, multiplying on the left gives $1-{\lambda }^{-1}ab+{\lambda }^{-1}a(\lambda 1-ba)Rb=1$, and the right product gives the same cancellation. Thus invertibility of $\lambda 1-ba$ implies invertibility of $\lambda 1-ab$. Interchanging $a,b$ proves the converse. The nonzero spectra of products in opposite orders are therefore equal:In particular the requested inclusion follows. The exclusion of zero matters: for the unilateral shift operator $S$, $S^{\ast }S=1$ has Banach algebra spectrum $\{1\}$, whereas $S{S}^{\ast }=1-P_0$ has Banach algebra spectrum $\{0,1\}$.

Use the spectral definition of a Positive element of a C-star algebra: $h$ is positive if $h=h^{\ast }$ and ${\sigma }_A(h)\subseteq [0,\infty )$. We use the standard continuous functional calculus for a Hermitian element of a C-star algebra, including its real Banach algebra spectrum and the equality of its norm with its spectral radius. To prove $a^{\ast }a$ positive without assuming this as part of the definition, first establish two elementary cone facts.

If $p,q$ are positive and $s=\Vert p\Vert +\Vert q\Vert$, the continuous functional calculus gives $\Vert \Vert p\Vert 1-p\Vert \le \Vert p\Vert$ and the corresponding bound for $q$, henceSince $p+q$ is self-adjoint, every spectral value $t$ is real and satisfies $|s-t|\le s$, so $t\ge 0$. Thus the positive cone of a C-star algebra is closed under addition. It is proper: if both $h$ and $-h$ are positive, their Banach algebra spectra force $\sigma (h)\subseteq \{0\}$, and the self-adjoint norm equality gives $h=0$. It is also norm closed: if $p_n\ge 0$ converges to $p$, choose $r\ge {\sup }_n\Vert p_n\Vert$; then $\Vert r1-p_n\Vert \le r$ passes to the limit and forces every spectral value of $p$ to be nonnegative.

Now put $h=a^{\ast }a$, and form its negative part $d=\max (-h,0)$ by continuous functional calculus. Let $c=a{d}^{1/2}$. Because $d$ is a function of $h$, the scalar identity $t\max (-t,0)=-\max (-t,0{)}^2$ givesThis has nonpositive Banach algebra spectrum. The previously proved equality of nonzero product Banach algebra spectra shows that $c{c}^{\ast }$ also has nonpositive Banach algebra spectrum; it is self-adjoint, so both $c^{\ast }c$ and $c{c}^{\ast }$ are negative elements. Write $c=u+iv$, where $u=(c+c^{\ast })/2$ and $v=(c-c^{\ast })/(2i)$ are self-adjoint. Direct multiplication givesBy the spectral mapping theorem, the squares $u^2,v^2$ are positive, so their sum is positive by the cone fact above. But the same sum is negative, since both its original summands are negative. Properness forces $c^{\ast }c+c{c}^{\ast }=0$. Then $c^{\ast }c=-c{c}^{\ast }$ is both negative and positive, so $c^{\ast }c=0$, whence $d^2=0$. The C-star identity applied to the self-adjoint $d$ gives $\Vert d{\Vert }^2=\Vert d^2\Vert =0$. Thus $d=0$, provingThis establishes positivity of adjoint products from spectral positivity. It also proves positivity under congruence: for $p\ge 0$ and any $z$, write $p=r^2$ using its functional-calculus square root; then $z^{\ast }pz=(rz{)}^{\ast }(rz)\ge 0$.

For the comparison of squares, we first derive inversion reverses the order of strictly positive elements. If $0<x\le y$ with both positive and invertible, thenThe continuous functional calculus gives $k^{-1}\le 1$, because the scalar function $1-t^{-1}$ is nonnegative on $\sigma (k)\subseteq [1,\infty )$. Congruence then givesNo commutation of $x,y$ was assumed.

Next derive the square-root resolvent integral in a C-star algebra. For $s\ge 0$,For $s>0$, substituting $t=s{u}^2$ reduces the integral to $\sqrt{s}{\pi }^{-1}{\int }_0^{\infty }2/(1+u^2)du=\sqrt{s}$; for $s=0$ it is zero. For a positive element $x$, the norm of $x(t1+x{)}^{-1}$ is at most $\min (1,\Vert x\Vert /t)$. Thus the integral converges in norm, with integrable bounds $t^{-1/2}$ near zero and $\Vert x\Vert t^{-3/2}$ near infinity, uniform on $\sigma (x)$. The continuous functional calculus consequently givesPut $\alpha =a^2$ and $\beta =b^2$. The assumption $b^2-a^2\ge 0$ says $\alpha \le \beta$. For every $t>0$, inversion reverses the order of the strictly positive elements $t1+\alpha$ and $t1+\beta$. Subtracting the two square-root formulas therefore yieldsHere ${\alpha }^{1/2}=a$ and ${\beta }^{1/2}=b$ because $a,b$ themselves are positive. Every truncated integral has a positive integrand, so is positive; norm convergence and closedness of the positive cone of a C-star algebra make its limit positive. This proves order preservation by the positive square root in the required case:It is important that this argument does not factor $b^2-a^2$ as $(b-a)(b+a)$, which would be invalid for noncommuting elements.

For $p=b-a\ge 0$, apply the continuous function $t\mapsto \sqrt{t}$ on its nonnegative compact Banach algebra spectrum. The resulting element $p^{1/2}$ is self-adjoint, has nonnegative Banach algebra spectrum by continuous functional calculus, and satisfies $(p^{1/2}{)}^2=p$. Thus $b-a$ has a positive square root in a C-star algebra.

Finally, if the positive element $a$ is invertible, its compact Banach algebra spectrum is bounded away from zero. Let $\epsilon =\min \sigma (a)>0$; continuous functional calculus gives $a\ge \epsilon 1$. Since $b\ge a$, we also have $b\ge \epsilon 1$, so $\sigma (b)\subseteq [\epsilon ,\infty )$. The reciprocal function is continuous on this Banach algebra spectrum and supplies $b^{-1}$. Therefore $\boxed{a\text{ invertible}⟹b\text{ invertible}}$ under the given positivity assumptions.

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.

The Beurling–Gelfand spectral radius formula states that for every element $a$ of a complex Banach algebra,For a Hermitian element of a C-star algebra $a=a^{\ast }$, the C-star identity gives $\Vert a^2\Vert =\Vert a{\Vert }^2$. Iterating,The subsequence $n=2^m$ in the spectral-radius limit therefore proves $\boxed{r(a)=\Vert a\Vert }$.

Let $\theta :A\to B$ be a unital C-star homomorphism. If $a-\lambda 1$ is invertible in $A$, its inverse is sent to an inverse of $\theta (a)-\lambda 1$ in $B$. Thus ${\sigma }_B(\theta (a))\subseteq {\sigma }_A(a)$ without assuming continuity of $\theta$. For Hermitian $a$, $\theta (a)$ is also Hermitian, soFor arbitrary $x\in A$, apply this inequality to $x^{\ast }x$ and the C-star identity in both algebras:Hence $\boxed{\Vert \theta (x)\Vert \le \Vert x\Vert }$ for every $x$.

Now assume $\theta$ is injective. For a fixed $x$, it is enough to prove norm preservation on $C=C^{\ast }(1,x^{\ast }x)$, a commutative unital C-star algebra: the preceding square-norm identity will then recover the norm of $x$. By the Commutative Gelfand--Naimark theorem, identify $C$ with $C(K)$. Let $D=\overline{\theta (C)}\subseteq B$. It is also a commutative unital C-star algebra, and its character space ${\Phi }_D$ is compact. Each $\chi \in {\Phi }_D$ restricts along $\theta$ to a character of $C(K)$, hence to evaluation at a point $q(\chi )\in K$. The map $q:{\Phi }_D\to K$ is continuous, so $L=q({\Phi }_D)$ is closed.

If $L\ne K$, the Urysohn lemma provides a nonzero $f\in C(K)$ vanishing on $L$. Then $\chi (\theta (f))=f(q(\chi ))=0$ for every $\chi \in {\Phi }_D$. Faithfulness of the Gelfand transform in $D$ gives $\theta (f)=0$, contradicting injectivity. Thus $q$ is onto. The isometric Gelfand transform of $D$ now givesFinally,This proves that an injective C-star homomorphism is isometric without assuming its image is closed before norm preservation has been established.

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.