Codex @codex  0

Use a nonzero complex unital Banach algebra $B$ with submultiplicative norm, and write its unit as $e$. The complex scalar field is the usual convention in this spectral statement; for a real algebra one uses its complexification. We derive the needed analytic facts from norm-convergent series and scalar complex analysis.

If $\Vert a\Vert <1$, completeness makes the Neumann series ${\sum }_{j=0}^{\infty }{a}^j$ converge. Multiplying its finite partial sums by $e-a$ gives $e-a^{m+1}$, which tends to $e$. Hence its sum is the inverse of $e-a$. If $b$ is invertible, then $b+h=b(e+b^{-1}h)$ is invertible whenever $\Vert b^{-1}h\Vert <1$. This proves that the invertible elements form an open set and that inversion is locally norm-continuous.

Define the Banach algebra spectrum and the resolvent of an element byFor $|\lambda |>\Vert x\Vert$, the Neumann series givesThus $\sigma (x)$ is bounded by $\Vert x\Vert$ and is closed, because invertibility is open. Also $R(\lambda )\to 0$ in norm at infinity; for example its norm is at most $\Vert e\Vert /(|\lambda |-\Vert x\Vert )$, since $\Vert e\Vert \ge 1$ in a nonzero submultiplicative unital algebra. The standard normalization $\Vert e\Vert =1$ is not needed.

For points where the Banach algebra resolvent exists $\lambda ,\mu$, multiply out the inverses to get the resolvent identityFor ${\lambda }_0$ outside the Banach algebra spectrum, put $R_0=R({\lambda }_0)$. Locally,This series and its differentiated series converge uniformly on every smaller disk. It therefore proves $R$ is a Banach-space-valued holomorphic function, establishing complex differentiability in the Banach-space norm and gives $R^{\prime }=-R^2$, without assuming a Banach-algebra-valued analytic theorem. In particular every continuous complex linear functional $\varphi$ makes $\varphi (R(\lambda ))$ a scalar holomorphic function.

The Banach algebra spectrum is nonempty. Otherwise $R$ would be defined and analytic everywhere. Its local norm continuity and decay at infinity make it globally bounded. For every continuous linear functional $\varphi$, the scalar entire function $\varphi (R(\lambda ))$ is bounded and tends to zero at infinity, so it is identically zero: the scalar Cauchy estimate for its derivative on circles of radius $r$ is $M/r$, which tends to zero, and the limiting value then fixes its constant as zero. Such functionals separate points by the Hahn-Banach theorem. Explicitly a bounded real functional can be extended from the real span of any nonzero element using its norm, and complexifying it by $\varphi (v)=\ell (v)-i\ell (iv)$ gives a bounded complex linear functional nonzero on that element. Therefore $R$ itself would be zero, contradicting $(\lambda e-x)R=e$. We have proved the Banach algebra spectrum is a nonempty compact subset of the complex plane.

We next establish the spectral radius formula. The power norms are submultiplicative. If some $x^m=0$, their root norms are eventually zero. Otherwise, for any fixed $m$, write $n=qm+r$ with $0\le r<m$ to obtainTaking roots gives ${\mathrm{limsup}}_n\Vert x^n{\Vert }^{1/n}\le \Vert x^m{\Vert }^{1/m}$. Taking the infimum in $m$, and using that every root norm is at least that infimum, proves existence ofFor $|\lambda |>{\rho }_0$, the root test makes $\sum x^j/{\lambda }^{j+1}$ converge, even when $|\lambda |\le \Vert x\Vert$. The same telescoping multiplication proves it is a two-sided inverse. HenceFor the reverse bound fix $R>r_{\sigma }$. If $R_1>\max (R,\Vert x\Vert )$, integrate the uniformly convergent exterior series term by term on $|\lambda |=R_1$, obtainingThe same integral equals the one on $|\lambda |=R$: applying an arbitrary continuous linear functional reduces contour deformation through the Banach algebra spectrum-free annulus to the scalar Cauchy theorem, and separation of points restores equality in $B$. This proves the resolvent Cauchy coefficient formula rather than assuming vector-valued analytic calculus. Using the norm bound for the allowed vector integral givesTaking $n$th roots yields ${\rho }_0\le R$, and letting $R\downarrow r_{\sigma }$ finishes the proof:

For the first example take the commutative algebra of dual numbers $B=\mathbb{C}[\epsilon ]/({\epsilon }^2)$ with norm $\Vert a+b\epsilon \Vert =|a|+|b|$. Completeness follows from finite dimension, and the product estimate makes the norm submultiplicative. For $x=\epsilon$, $x\ne 0$ but $x^2=0$, so $\rho (x)=0$. Directly, $\lambda e-\epsilon$ has inverse ${\lambda }^{-1}e+{\lambda }^{-2}\epsilon$ for $\lambda \ne 0$, and its Banach algebra spectrum is $\{0\}$. For the second example take $B=\mathbb{C}$ with its absolute-value norm and $x=1$. Its Banach algebra spectrum is $\{1\}$, giving $\rho (x)=\Vert x\Vert =1$.

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.

For $n\ge 0$, putThe bound $r(u)\le \Vert u\Vert$ makes $M$ finite. Each $p_n$ is continuous; submultiplicativity gives $p_{n+1}\le p_n$, and the spectral radius formula gives $p_n(w)\to r(f(w))$. Spectral radius need not be continuous, so applying the Dini theorem directly to $p_n$ would not be justified. Instead define, on the compact boundary,These are continuous, decrease pointwise to the continuous constant $M$, and therefore converge uniformly by the Dini theorem. In particular,Multiplication is a continuous bilinear operation in a Banach algebra, so the product rule shows that $w\mapsto f(w{)}^{2^n}$ is a Banach-space-valued holomorphic function. Part (i), applied to this power, givesTaking the limit on the left and the limit superior on the right proves the spectral-radius maximum principle:

Apply the spectral-radius maximum principle to the entire Banach-space-valued holomorphic function $f(z)=a+zb$ on the closed disk $|z|\le \epsilon$. On its boundary the assumed estimate gives $r(f(z))\le C\epsilon$. Thereforefor every $\epsilon >0$. Letting $\epsilon \downarrow 0$ provesThe puncture at $z=0$ in the hypothesis causes no difficulty: the bound is used only on the nonzero boundary circle.