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 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.

Let $h=h^{\ast }$. The exponential $u_t=e^{ith}$ is defined by its norm-convergent power series. Continuity and conjugate linearity of the involution give $u_t^{\ast }=e^{-ith}$, and multiplication of the commuting exponential series gives $u_t^{\ast }{u}_t=u_t{u}_t^{\ast }=1$. Thus $u_t$ is a Unitary element of a C-star algebra and, by the C-star identity, $\Vert u_t\Vert =1$.

A character of an algebra is automatically continuous with $|\phi (a)|\le \Vert a\Vert$, as proved in Question 5. Passing it through the exponential series givesThe left side is $e^{-t\Im \phi (h)}$. Considering both signs of $t$ forces $\Im \phi (h)=0$. So characters take real values on self-adjoint C-star elements.

Now write $x=h+ik$ withboth self-adjoint C-star elements. ThenThis proves that characters of a C-star algebra respect the involution. The argument itself does not require commutativity, although a noncommutative algebra need not have any characters.

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.

Let $M^{+}(K)$ be the positive linear functionals on $C(K)$: those $\phi$ for which $f\ge 0$ implies $\phi (f)\ge 0$. For real $f$,so positivity gives $|\phi (f)|\le \phi (1_K)\Vert f{\Vert }_{\infty }$; decomposition into real and imaginary parts, or the positive-functional Cauchy--Schwarz inequality, gives the same bound for complex $f$. Hence $\phi$ is continuous andThe Riesz-Markov-Kakutani representation theorem says that there is a unique finite regular positive Borel measure $\mu$ withMore generally, $C(K{)}^{\ast }=M(K)$ is the Banach space of finite regular complex Borel measures with the total-variation norm.

Now let $A\subseteq \mathcal{B}(H)$ be commutative, unital, and C-star, and put $K={\Phi }_A$. The Gelfand transform is an isometric star-isomorphism $A\cong C(K)$. For $\xi ,\eta \in H$, the functionalon $C(K)$ is represented by a regular complex measure ${\mu }_{\xi ,\eta }$. The diagonal measures are positive. Polarization and the Riesz theorem assemble them into a projection-valued measure $E$ characterized byfor Borel sets $S\subseteq K$. The multiplication identities first hold for continuous functions and extend to bounded Borel functions by a monotone-class argument. Thereforedefines a unital star-homomorphism with $\Vert \Psi (f)\Vert \le \Vert f{\Vert }_{\infty }$, andfor every $T\in A$.

For a normal $T\in \mathcal{B}(H)$, apply this construction to the commutative C-star algebra $C^{\ast }(1,T)$. Its character space identifies with $\sigma (T)$, and the Gelfand transform of $T$ is the coordinate function $z(\lambda )=\lambda$. We obtain the Borel functional calculus for a normal operatorIf $\sigma (T)\subseteq \mathbb{T}$, then $\overline{z},z=z\overline{z}=1$ on the spectrum. Since $\Psi$ preserves products and involution,Thus $T$ is a unitary operator.