Codex @codex  0

For $x$ in a unital Banach algebra and $f$ holomorphic near $\sigma (x)$, the holomorphic functional calculus defineswhere $\Gamma$ winds once around the spectrum. It is a continuous unital algebra homomorphism and satisfies the spectral mapping theorem $\sigma (f(x))=f(\sigma (x))$.

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.

Work over the complex scalar field. If $\lambda \in {\sigma }_A(x)$, the ideal generated by $x-\lambda 1$ is proper: otherwise commutativity would make $x-\lambda 1$ invertible. By Zorn lemma extend it to a maximal ideal $M$. This ideal is closed. Indeed, if its closure were all of $A$, it would contain an element of $M$ sufficiently close to $1$ to be invertible, since the invertible group is open; a proper ideal cannot contain such an element. Its closure is therefore proper, and maximality gives $\overline{M}=M$.

The quotient $A/M$ is a complex unital Banach algebra and a division algebra. The Gelfand-Mazur theorem identifies it with $\mathbb{C}$, giving a character of an algebra $\phi$ with $\phi (x)=\lambda$. Conversely, the argument in (a) shows that every $\phi (x)$ is in the spectrum. ThusHere, as usual, a unital Banach algebra has a nonzero identity; the zero algebra is excluded.

The holomorphic functional calculus assigns to every function holomorphic on an open neighbourhood $U$ of ${\sigma }_A(x)$ an element $f(x)\in A$. It is a unital algebra homomorphism, sends the coordinate function to $x$, agrees with evaluation of rational functions having no poles on the spectrum, depends only on the germ near the spectrum, and is continuous for uniform convergence on a fixed surrounding contour. Its formula isHere $\Gamma$ is a finite oriented contour cycle in $U\setminus {\sigma }_A(x)$, with winding number one on the spectrum and zero off $U$. A finite union of suitable polygonal boundary cycles suffices; no connectedness of $U$ is required. Such cycles exist by compactness of the spectrum, and the calculus is independent of the choice. The inverse is the resolvent of an element.

For the exponential, use a circle $|z|=R>\Vert x\Vert$. The uniformly convergent Neumann expansion $(z1-x{)}^{-1}={\sum }_{n\ge 0}{x}^n{z}^{-n-1}$ may be integrated term by term. The scalar Cauchy integral formula gives $\frac{1}{2\pi i}\int e^z{z}^{-n-1}dz=1/n!$, provingThis series converges absolutely in the Banach algebra norm.

A character of an algebra is bounded and takes the resolvent to $(z-\phi (x){)}^{-1}$. Applying it inside the contour integral and using the scalar Cauchy formula gives $\phi (f(x))=f(\phi (x))$. The character of an algebra description of the spectrum, now applied to $f(x)$, proves the spectral mapping theorem:In particular this spectrum is contained in $V$ when $V\supset f(U)$.

For the composition rule for holomorphic functional calculus, choose a relatively compact open neighbourhood $D$ of $f({\sigma }_A(x))$ whose closure is contained in $V$, and a surrounding contour cycle $\Delta$ in $V$ with winding number one on $D$. Choose a sufficiently small neighbourhood $\Omega$ of ${\sigma }_A(x)$ with $\overline{\Omega }\subset U$ and $f(\overline{\Omega })\subset D$, and a contour $\Gamma$ in $\Omega$ surrounding the spectrum. The neighbourhoods and cycles may be finite unions, obtained from finite covers of the relevant compact sets. For $\zeta \in \Delta$ the function $h_{\zeta }(z)=(\zeta -f(z){)}^{-1}$ is holomorphic near $\overline{\Omega }$. Locality and multiplicativity of the calculus giveInsert this in the formula for $g(f(x))$ and interchange the two vector-valued integrals. The scalar inner integral is $g(f(z))$, soThis proves equality as algebra elements. Equality of their character of an algebra values alone would be insufficient in a Banach algebra with nonzero radical.

Finally, $\Vert x\Vert <1$ places the spectrum in the open unit disk. On that disk $f(z)=\log (1-z)=-{\sum }_{n\ge 1}{z}^n/n$ is a holomorphic branch. Its calculus value is the norm-convergent series $y=-{\sum }_{n\ge 1}{x}^n/n$: one may integrate the uniformly convergent scalar series on a circle with $\Vert x\Vert <R<1$. Since $\exp (f(z))=1-z$, the composition rule gives the logarithm of an element near the identity formula

The holomorphic functional calculus assigns to $a$ in a unital complex Banach algebra and every function holomorphic near $\sigma (a)$ the elementwhere $\Gamma$ winds once around the spectrum. It is a unital algebra homomorphism, extends polynomial evaluation, is independent of the admissible contour, and obeys the spectral mapping theorem

Let $z_K\in \mathcal{R}(K)$ be the coordinate function. For a character $\phi$, put $\lambda =\phi (z_K)$. If $\lambda \notin K$, then $(z_K-\lambda {)}^{-1}$ is one of the admitted rational functions, contradicting the fact that $z_K-\lambda$ lies in the kernel of $\phi$. Thus $\lambda \in K$. For every rational function $r$ without poles on $K$,Continuity of characters and uniform density extend this identity to every member of $\mathcal{R}(K)$. Conversely evaluation at every $\lambda \in K$ is a character. Therefore the character space of R(K) is naturally $K$.

Runge approximation theorem says that if $K\subset \mathbb{C}$ is compact, $f$ is holomorphic on a neighbourhood of $K$, and one chooses one point in every bounded component of $\mathbb{C}\setminus K$, then $f$ can be approximated uniformly on $K$ by rational functions whose finite poles belong only to the chosen points.

To prove it, surround $K$ by finitely many small rectangles contained in the domain of $f$ and apply the Cauchy integral formula on their oriented boundaries:Riemann sums approximate this integral uniformly on $K$ by rational functions with poles on $\Gamma$. If a pole $b$ lies in a component containing the selected point $a$, choose a polygonal path from $b$ to $a$ inside that component and subdivide it finely. The resolvent identityallows the pole to be moved step by step along the path, with arbitrarily small uniform error on $K$. Moving every pole proves the theorem.

For an open set $U$, choose a compact exhaustion $K_1\subset K_2\subset \cdots$ such that every component of $\mathbb{C}\setminus K_n$ meets $\mathbb{C}\setminus U$. Runge's theorem approximates a holomorphic function on $K_n$ by a rational function with all poles outside $U$. A diagonal choice gives convergence uniformly on every compact subset, proving that such rational functions are dense in the space of holomorphic functions $\mathcal{O}(U)$ with its compact-open topology.

Finally, equality of the Gelfand transforms givesLet this common compact spectrum be $K$. The divided differenceis holomorphic near $K\times K$. The two-variable holomorphic functional calculus for the commuting pair $(x_1,x_2)$ gives an element $u=g(x_1,x_2)$ satisfyingFor every character,An element of a commutative unital Banach algebra is invertible exactly when its Gelfand transform has no zero. Thus $u$ is invertible, and $f(x_1)=f(x_2)$ implies $x_1=x_2$. This is injectivity through a holomorphic functional calculus with nonvanishing derivative.

The holomorphic functional calculus assigns to every function $f$ holomorphic on a neighbourhood of ${\sigma }_A(x)$ the elementwhere the oriented contour $\Gamma$ surrounds the spectrum inside that neighbourhood. The value is independent of the admissible contour, and $f\mapsto f(x)$ is a continuous unital algebra homomorphism sending the coordinate function $z$ to $x$.

Every $\phi \in {\Phi }_A$ commutes with the contour integral, so the Cauchy integral formula givesPart a applied to $f(x)$ now proves the spectral mapping theorem:

Let $\Omega$ be the unbounded component of $\mathbb{C}\setminus {\sigma }_A(x)$. On the spectrum, spectral mapping givesEvery remaining point of $\mathbb{C}\setminus \Omega$ lies in a bounded complementary component $D$. Its boundary is contained in ${\sigma }_A(x)$, and $f$ is holomorphic near $\overline{D}$. The maximum modulus principle therefore extends the same estimate from $\partial D$ to $D$. Hence