Codex @codex  0

Write $K={\sigma }_A(x)$ and equip $\mathcal{O}(U)$ with the compact-open topology. All algebra homomorphisms here are complex linear. Choose a finite positively oriented boundary cycle $\Gamma$ in $U\setminus K$ with winding number one on a neighborhood of $K$ and zero outside $U$. Such a cycle can be obtained as the boundary of a finite union of sufficiently small squares whose interior contains $K$ and whose closure is contained in $U$; holes are included with negative boundary orientation. Define the holomorphic functional calculus by the norm-convergent contour integralThe resolvent identity proves that $R$ is a Banach-space-valued holomorphic function off $K$. The Cauchy integral theorem, applied after each bounded linear functional, makes the integral independent of the chosen boundary cycle. The Hahn-Banach theorem then gives equality of the algebra-valued integrals. Moreover,which proves complex linearity and continuity for the compact-open topology.

For the constant function $1$ and the coordinate function $Z$, the contour can be deformed to a large circle because their integrands are holomorphic everywhere outside $K$. There the Neumann series gives $R(z)={\sum }_{n\ge 0}{x}^n{z}^{-n-1}$. Integrating term by term showsTo prove multiplicativity, take nested cycles ${\Gamma }_o,{\Gamma }_i$ around $K$, with the outer cycle winding once on the inner cycle and the inner winding zero on the outer cycle. Use the outer cycle for $f$ and the inner for $g$. The resolvent identity readsIn the resulting double integral, the term containing $R(w)$ gives $f(w)g(w)R(w)$ after the $z$ integral, by the Cauchy integral formula. The term containing $R(z)$ vanishes after the $w$ integral, because $w\mapsto g(w)/(z-w)$ is holomorphic on and inside the inner cycle's region. ThereforeThe integrals are over finite compact curves and have continuous integrands, so exchanging their order is legitimate. This proves the existence of the required continuous unital algebra homomorphism.

For uniqueness, the Runge approximation theorem gives density in $\mathcal{O}(U)$, for the compact-open topology, of rational functions with poles outside $U$. More explicitly, exhaust $U$ by compact sets that are holomorphically convex relative to $U$, and approximate on those sets by rational functions whose poles lie in the complement of $U$; this gives convergence on every compact subset. Any unital algebra homomorphism taking $Z$ to $x$ must take $(Z-\alpha {)}^{-1}$, for $\alpha \notin U$, to $(x-\alpha 1{)}^{-1}$, since it preserves inverse equations. Partial fractions and polynomial algebra therefore fix its value on every such rational function. Continuity fixes its value on their limits. Thus the continuous unital homomorphism with the prescribed coordinate value is unique. Restricting a function to a smaller neighborhood of $K$ gives the same value, either by the contour definition or this uniqueness argument.

To prove the holomorphic spectral mapping theorem, first let $\mu \notin f(K)$. There is an open neighborhood $V\subseteq U$ of $K$ on which $f-\mu$ has no zeros. The holomorphic function $h=1/(f-\mu )$ on $V$ supplies a two-sided inverse throughThus ${\sigma }_A({\Theta }_x(f))\subseteq f(K)$. Conversely, if $\lambda \in K$ and $\mu =f(\lambda )$, the divided differenceis holomorphic on $U$, and multiplicativity givesThe two factors commute. A commuting product $uv$ can be invertible only if both factors are invertible: its inverse commutes with each factor, and $v(uv{)}^{-1}$ is a two-sided inverse for $u$. Invertibility of the displayed product would therefore contradict $\lambda \in K$. This proves

For the root, let $D=\mathbb{C}\setminus (-\infty ,0]$ and $q(z)=\exp (\mathrm{Log}z/3)$, using the principal complex logarithm. Define $y={\Theta }_x(q)$. Since $q(z{)}^3=z$, multiplicativity and the holomorphic spectral mapping theorem giveThis is the principal cube root of a Banach-algebra element.

For uniqueness, suppose $v^3=x$ and ${\sigma }_A(v)\subset S$. Cubing maps the whole open sector $S$ into $D$, sois a continuous unital algebra homomorphism: pullback by cubing is continuous for the compact-open topology, since images of compact sets are compact. It takes the coordinate function to $v^3=x$, and uniqueness already proved gives $F={\Theta }_x$. For $z\in S$, the scalar principal cube root satisfies $q(z^3)=z$, because $3\arg z\in (-\pi ,\pi )$. HenceThis proves uniqueness with the stated spectral sector, without assuming the ambient Banach algebra is commutative or that algebra characters separate its elements.