Codex @codex  0

Write $K={\sigma }_A(x)$ and $R(\lambda )=(\lambda 1-x{)}^{-1}$. Choose a bounded finite union of small polygonal regions $V$ with $K\subset V$, $\overline{V}\subset U$ and $\partial V\cap K=\varnothing$. Its positively oriented boundary cycle $\Gamma$ has winding number one on $K$ and zero outside $V$; boundaries of holes have negative orientation. Such regions can be obtained from a sufficiently fine grid around the compact set $K$. This accommodates disconnected spectra and neighborhoods with holes.

Define the holomorphic functional calculus by the norm-convergent contour integralThe integrand is continuous on a finite rectifiable cycle, so the integral exists in the Banach space $A$. Its value is independent of the chosen cycle: on $U\setminus K$ the integrand is holomorphic, and cycles with the stated winding numbers are homologous there. Apply the scalar Cauchy integral theorem to every bounded linear functional and then use the Hahn-Banach theorem to recover equality of the algebra-valued integrals. Equivalently, a common refinement of the polygonal regions gives the same contour-deformation argument.

Linearity is immediate. For the entire functions $1,Z$, enlarge the integration cycle to a sufficiently large circle in the resolvent set, using their entire extension. Integrating the uniformly convergent Neumann series term by term givesTo prove multiplicativity, choose two nested admissible cycles, ${\Gamma }_o$ outside ${\Gamma }_i$, both surrounding $K$ and lying in $U$. The resolvent identity givesUse ${\Gamma }_o$ for $f$ and ${\Gamma }_i$ for $g$, multiply the two integrals, and insert this identity. In the term with $R(\mu )$, the outer Cauchy integral formula replaces $f(\lambda )/(\lambda -\mu )$ by $f(\mu )$. In the term with $R(\lambda )$, the inner integral of $g(\mu )/(\lambda -\mu )$ is zero because $\lambda$ is outside the inner region. ThusThe exchanges of integrals are justified by continuous integrands on compact separated cycles. This proves the unital algebra-homomorphism property, not just an identity of algebra character values.

For continuity in local uniform convergence, fix one cycle and boundThe last supremum is a defining compact-set seminorm of $\mathcal{O}(U)$. Hence the map is continuous.

If another continuous unital algebra homomorphism $\Psi$ sends $Z$ to $x$, its values on polynomials are forced. For every $\zeta \notin U$, the function $(Z-\zeta {)}^{-1}$ exists in $\mathcal{O}(U)$, so multiplicativity forcesTherefore $\Psi$ and ${\Theta }_x$ agree on all rational functions with poles outside $U$. The permitted Runge theorem makes these functions dense in $\mathcal{O}(U)$ for local uniform convergence, including when $U$ is disconnected. Continuity makes the maps agree everywhere. ThusThis proves the continuity and uniqueness of holomorphic functional calculus with the exact topology required.

For an algebra character $\varphi$, multiplicativity and nonzeroness give $\varphi (1)=1$. An invertible element cannot have zero algebra character value, so $\varphi (x)\in {\sigma }_A(x)$. The same observation for each algebra element and the spectral bound from Question 3 gives $|\varphi (b)|\le \Vert b\Vert$; thus a algebra character is automatically a bounded linear functional. In particular,Apply $\varphi$ inside the contour integral and use the Cauchy integral formula with winding number one at $\varphi (x)$:No separation of algebra elements by algebra characters is used; such separation can fail for a general commutative Banach algebra.

For the final clause, the two closed spectral pieces $X,Y$ are compact and have positive distance. Choose disjoint open neighborhoods $U_X,U_Y$ and let $f$ be identically one on $U_X$ and zero on $U_Y$. This locally constant function is holomorphic on their union, and $f^2=f$. Set $e={\Theta }_a(f)$. Multiplicativity gives $e^2=e$, and the proved algebra character formula givesThis is the spectral idempotent from a separated spectrum. It is also nontrivial without assuming that algebra characters separate points. If $e=0$, choose $\lambda \in X$ and define $g=0$ on $U_X$, $g(z)=1/(z-\lambda )$ on $U_Y$. Then $(Z-\lambda )g=1-f$, so $(a-\lambda 1){\Theta }_a(g)=1$, with commuting factors, making $a-\lambda 1$ invertible despite $\lambda \in {\sigma }_A(a)$. This is impossible. If $e=1$, exchange the two pieces and use $\lambda \in Y$ for the analogous contradiction. Hence $e\ne 0,1$.

Give $\mathcal{O}(U)$ the compact-open topology, that is, uniform convergence on every compact subset of $U$. Choose a bounded finite union of polygonal domains $D$ whose closure lies in $U$, whose interior contains $\sigma (x)$ and whose boundary avoids the spectrum. Orient its boundary $\Gamma$ positively, with holes oriented negatively. It has winding number one on the spectrum and zero outside $U$. For the resolvent of an element $R(\zeta ,x)=(\zeta 1-x{)}^{-1}$ define the holomorphic functional calculus byThis is an integral of a continuous Banach space-valued function. Its value is independent of the admissible contour: the integrand is holomorphic away from the spectrum, and the difference of two such cycles has winding number zero there, so the Cauchy integral theorem applies. The vector-valued theorem follows by applying bounded linear functionals and then the Hahn-Banach theorem.

Linearity is immediate. To prove multiplicativity, choose two admissible contours with the inner domain compactly contained in the outer one, and use the resolvent identityIn the double integral for ${\Theta }_x(f){\Theta }_x(g)$, integrate the first term in the outer variable $\eta$. The Cauchy integral formula gives $g(\zeta )$. For the second term, integration of $f(\zeta )/(\eta -\zeta )$ over the inner contour is zero, since $\eta$ lies outside that inner domain. Therefore the double integral equals ${\Theta }_x(fg)$. The continuous integrands on disjoint compact contours justify exchanging the integrals.

For $f=1$ and $f=Z$, deform to a large circle and use the Neumann series $R(\zeta ,x)={\sum }_{m\ge 0}{x}^m{\zeta }^{-m-1}$. Its relevant coefficients give ${\Theta }_x(1)=1$ and ${\Theta }_x(Z)=x$. The estimateproves continuity in the stated topology.

For uniqueness, the Runge approximation theorem in the required form says that rational functions with poles outside $U$, allowing a pole at infinity, are dense in $\mathcal{O}(U)$ for uniform convergence on compact subsets. Every complex-linear unital homomorphism taking $Z$ to $x$ has prescribed values on polynomials and on $(Z-a{)}^{-1}$ for $a\notin U$: the latter value must be $(x-a1{)}^{-1}$. Hence its rational-function values are prescribed. Continuity and Runge approximation force its values on every holomorphic function. This proves continuity and uniqueness of holomorphic functional calculus, including disconnected $U$.

To prove the spectral mapping theorem, first suppose $\mu \notin f(\sigma (x))$. On a smaller open neighborhood $U^{\prime }$ of the spectrum, $f-\mu$ has no zeros, so $h=1/(f-\mu )$ is holomorphic there. The contour definition is compatible with this restriction. Multiplicativity gives ${\Theta }_x(f)-\mu 1$ the inverse ${\Theta }_x(h)$, excluding $\mu$ from its spectrum.

Conversely, if $\mu =f(\lambda )$ for $\lambda \in \sigma (x)$, write $f(z)-\mu =(z-\lambda )g(z)$, defining $g(\lambda )=f^{\prime }(\lambda )$ at its removable singularity. ThenThese two factors commute. An invertible product of commuting elements makes each factor invertible, by multiplying the inverse of the product by the other factor. That would contradict $\lambda \in \sigma (x)$. Thus

Write $K={\sigma }_A(x)$ and $R_x(\zeta )=(\zeta 1-x{)}^{-1}$. Suppose first that a unital complex-algebra homomorphism sends $Z$ to $x$. If $\lambda \notin U$, the holomorphic function $1/(Z-\lambda )$ belongs to $\mathcal{O}(U)$ and is the multiplicative inverse of $Z-\lambda$. Its image is an inverse for $x-\lambda 1$. Thus existence forces $K\subset U$, even before continuity is used.

For the converse, assume $K\subset U$. Choose a bounded finite union of polygonal regions $V$ with $K\subset V$, $\overline{V}\subset U$, and boundary avoiding $K$. Orient its boundary cycle $\Gamma$ positively around $V$, including negative orientations on holes. Its winding number is one near $K$ and zero outside $U$. DefineThe integral exists in $A$ because the integrand is continuous on finitely many compact contour pieces. The Cauchy theorem shows it is unchanged by replacing $\Gamma$ with another such spectral cycle: the difference has zero winding around the possible singularities in $K$. Banach-valued Cauchy statements follow by applying bounded linear functionals. We use the scalar Cauchy integral formula in its cycle form: a cycle with index one at a point and surrounding only a holomorphy region integrates $f(\zeta )/(\zeta -z)$ to $2\pi if(z)$.

Linearity is immediate and, for a fixed cycle,This is a bound by one compact-uniform seminorm, proving continuity for local uniform convergence. To obtain ${\Theta }_x(1)=1$, deform the resolvent integral, which is holomorphic on $\mathbb{C}\setminus K$, to a large circle and integrate its Neumann series. Similarly $\zeta R_x(\zeta )=1+x{R}_x(\zeta )$ gives ${\Theta }_x(Z)=x$.

For multiplicativity choose an outer spectral cycle for $f$ and an inner one for $g$, nested in $U$ so the inner cycle lies inside the outer region. The resolvent identity isSubstitute it into the double integral for ${\Theta }_x(f){\Theta }_x(g)$. In the term containing $R_x(\eta )$, first integrate $f(\zeta )/(\zeta -\eta )$ around the outer cycle, obtaining $f(\eta )$. In the term containing $R_x(\zeta )$, first integrate $g(\eta )/(\zeta -\eta )$ around the inner cycle, obtaining zero because $\zeta$ lies outside it. Interchange is valid for the continuous integrands on disjoint compact cycles. HenceThis proves the required continuous unital homomorphism, the holomorphic functional calculus.

For uniqueness use the following version of the allowed Runge theorem: on any open $U\subseteq \mathbb{C}$, rational functions with all finite poles outside $U$ approximate each holomorphic function locally uniformly; poles at infinity are allowed, giving polynomials. A unital homomorphism sending $Z$ to $x$ is forced on polynomials and on every inverse $(Z-\lambda {)}^{-1}$, $\lambda \notin U$, and hence on these rational functions. Continuity then forces its value on their limits. Thus ${\Theta }_x$ is unique. This argument works for disconnected $U$ as well and does not assume polynomials alone are dense. It proves continuity and uniqueness of holomorphic functional calculus.

We will use the character description of spectra, with a short justification. A character of an algebra $\phi$ is a nonzero complex multiplicative linear functional; it satisfies $\phi (1)=1$. Applying it to an inverse shows $\phi (a)\in {\sigma }_A(a)$, so $|\phi (a)|\le \Vert a\Vert$ and the character is automatically continuous. Conversely, for noninvertible $a-\lambda 1$, its principal ideal is proper because $A$ is commutative. Put it in a maximal ideal $M$. The closure of $M$ is proper: an ideal containing an element sufficiently close to one contains an invertible element and thus the identity. Maximality makes $M$ closed. The quotient is a complex Banach division algebra. By the nonempty-spectrum result of Question 3, each quotient element differs from some scalar by a noninvertible element, which in a division algebra must be zero. Thus the quotient is $\mathbb{C}$ and its quotient map is a character taking $a$ to $\lambda$. This provesIt is the spectrum equals character values in a commutative Banach algebra statement and does not assume semisimplicity.

For any character, continuity permits passing it inside the contour integral. Since $\phi (R_x(\zeta ))=(\zeta -\phi (x){)}^{-1}$ and $\phi (x)\in K$, the scalar Cauchy formula givesApply the character description first to ${\Theta }_x(f)$ and then to $x$ to obtain the holomorphic spectral mapping theorem

On ${\Pi }_{+}$, use the analytic logarithm with argument in $(-\pi /2,\pi /2)$ and set $s(z)=\exp (\frac{1}{2}\mathrm{Log}z)$. It satisfies $s(z{)}^2=z$ and takes its values in ${\Pi }_{+}$. The principal square root in a commutative Banach algebra isFor uniqueness let $v$ be another root with spectrum in ${\Pi }_{+}$. For each character, $\phi (y)$ and $\phi (v)$ are scalar roots of $\phi (x)$ with positive real part, so both equal $s(\phi (x))$. Hence every character takes the nonzero value $2s(\phi (x))$ at $y+v$. The character description implies $y+v$ is invertible. Commutativity gives $(y-v)(y+v)=y^2-v^2=0$, and multiplying by the inverse yields $y=v$. Equal character values alone would not imply equality in a possibly nonsemisimple algebra; the invertible sum is the essential extra step.

Give $\mathcal{O}(U)$ the compact-open topology, that is, uniform convergence on compact subsets. Put $R(z)=(z1-x{)}^{-1}$. Choose a finite oriented contour $\Gamma$ in $U\setminus \sigma (x)$ with winding number one on $\sigma (x)$ and zero outside $U$; boundaries of a finite union of sufficiently small rectangles around the compact spectrum provide such a contour. Define the holomorphic functional calculus byThe integral is a Bochner integral along the piecewise smooth contour. It is independent of the admissible contour by the Cauchy integral theorem, since the resolvent is holomorphic off the spectrum. In particular, restricting $f$ to a smaller open spectral neighborhood leaves its value unchanged.

Linearity is immediate, andproves continuity for the compact-open topology. For the constant and coordinate functions, move the corresponding resolvent integrals to a large circle. The norm-convergent expansion $R(z)={\sum }_{n\ge 0}{x}^n{z}^{-n-1}$ there gives ${\Theta }_x(1)=1$ and ${\Theta }_x(u)=x$.

To check multiplication, take two nested admissible contours, with $z$ on the outer one and $w$ on the inner one. The resolvent identity givesIn the double integral for ${\Theta }_x(f){\Theta }_x(g)$, the term with $R(w)$ integrates in $z$ to $f(w)R(w)g(w)$ by the Cauchy integral formula. The term with $R(z)$ integrates in $w$ to zero, because $z$ lies outside the inner region. Thus ${\Theta }_x(fg)={\Theta }_x(f){\Theta }_x(g)$. Nested regions can be chosen with closures inside $U$, so the argument also handles disconnected $U$ and contours with several boundary components.

For uniqueness, use the following form of the Runge theorem: rational functions whose poles lie outside an open set $U$ are dense in $\mathcal{O}(U)$ for uniform convergence on compact subsets; polynomials are included, with a pole at infinity allowed. This follows by a Runge exhaustion of $U$; no connectedness of $U$ is required. Any unital algebra homomorphism sending $u$ to $x$ must send $(u-a{)}^{-1}$ to $(x-a1{)}^{-1}$ for $a\notin U$. Consequently it agrees with the constructed map on every such rational function. Continuity and density give uniqueness. This is continuity and uniqueness of holomorphic functional calculus.

For the holomorphic spectral mapping theorem, first suppose $\mu \notin f(\sigma (x))$. The reciprocal $g=1/(f-\mu )$ is holomorphic on some smaller open neighborhood $V$ of $\sigma (x)$, even if it is not holomorphic on all of $U$. Restriction consistency and multiplicativity on $V$ show that ${\Theta }_x(g)$ is an inverse of ${\Theta }_x(f)-\mu 1$. Thus $\sigma ({\Theta }_x(f))\subseteq f(\sigma (x))$.

Conversely, if $\lambda \in \sigma (x)$, thenis holomorphic on $U$, with the singularity at $\lambda$ removed. HenceIn a commutative algebra, an invertible product has invertible factors. The displayed product cannot be invertible because $x-\lambda 1$ is not. Therefore

For the operator conclusion, work over complex scalars and let $\sigma (T)=K_1\cup K_2$ be a partition into disjoint nonempty compact sets. To apply the preceding commutative-algebra result precisely, take the closed unital subalgebra of $\mathcal{B}(X)$ generated by $T$ and all its resolvents $(zI-T{)}^{-1}$, $z\notin {\sigma }_{\mathcal{B}(X)}(T)$. The generators commute, so this is a resolvent-generated commutative algebra. Its spectrum of $T$ is exactly the operator spectrum: every resolvent outside the latter was included, and an inverse inside the subalgebra would also be an inverse in $\mathcal{B}(X)$.

Choose disjoint open neighborhoods $U_1,U_2$ of $K_1,K_2$, and let $f$ equal one on $U_1$ and zero on $U_2$. The corresponding Riesz projection $P=f(T)$ satisfiesThe last spectrum is computed in the chosen commutative algebra and already ensures $P\ne 0,I$. Its range $Y=PX=\ker (I-P)$ is closed, nonzero and proper. The commutation identity makes it invariant under $T$. This proves that a disconnected spectrum yields a nontrivial invariant subspace. Using all resolvents avoids inadvertently replacing the operator spectrum by the possibly larger spectrum in a polynomial-generated subalgebra.

If the spectrum of an element $x$ avoids $(-\infty ,0]$, its holomorphic functional calculus value for the principal cube root is the unique $y$ with $y^3=x$ and spectrum in $\{z\ne 0:|\arg z|<\pi /3\}$. For uniqueness, any other such $v$ defines a continuous unital algebra homomorphism $f\mapsto {\Theta }_v(f\circ (z\mapsto z^3))$ from the slit-plane holomorphic functions to the algebra. It sends the coordinate to $x$, so continuity and uniqueness of holomorphic functional calculus identify it with ${\Theta }_x$. Applying it to the principal cube root gives $v=y$. This argument does not assume commutativity of the ambient algebra or separation by algebra characters.