Codex @codex  0

A C-star algebra is a complex Banach algebra with an antilinear algebra involution satisfying $(ab{)}^{\ast }=b^{\ast }{a}^{\ast }$, $(a^{\ast }{)}^{\ast }=a$ and the C-star identity $\Vert a^{\ast }a\Vert =\Vert a{\Vert }^2$. First take a nonzero unital algebra. Its identity has norm one, since $\Vert 1{\Vert }^2=\Vert 1\Vert$. Alsoand exchanging $a,a^{\ast }$ proves $\Vert a^{\ast }\Vert =\Vert a\Vert$. Thus the algebra involution is continuous. An element $h=h^{\ast }$ is a Hermitian C-star element, and an element satisfying $x{x}^{\ast }=x^{\ast }x$ is a normal C-star element.

We establish the spectral facts needed for the representation, to avoid assuming the conclusion. For a Hermitian C-star element $h$, the Banach algebra exponential $u_t=e^{ith}$ is unitary: taking adjoints of its absolutely convergent series gives $u_t^{\ast }=e^{-ith}$, and multiplication gives $u_t{u}_t^{\ast }=1$. Hence $\Vert u_t\Vert =1$. If $\lambda \in \sigma (h)$, then $e^{it\lambda }\in \sigma (u_t)$. Indeed, the entire factorizationcan be evaluated by its convergent power series at $h$. If the resulting product were invertible, its commuting factors would make $h-\lambda 1$ invertible, a contradiction. The spectral bound therefore gives $|e^{it\lambda }|\le 1$ for every real $t$. Both signs of $t$ force $\mathrm{Im}\lambda =0$. Thus Hermitian elements have real spectrum.

For completeness, the spectral radius formula needed below follows from the same resolvent theory. Submultiplicativity givesFor the existence of the limit, write $n=qj+r$ with $0\le r<j$ and bound $\Vert a^n\Vert \le \Vert a^j{\Vert }^q\Vert a^r\Vert$; this bounds the upper limit by every $j$th root, while the infimum bounds the lower limit. If a power vanishes, the conclusion follows directly. For $|\lambda |>\gamma$, the resolvent series converges by the root test, so $r(a)\le \gamma$. Conversely, for any $R>r(a)$, contour integration of the resolvent givesAt a larger circle this follows by termwise integration of the Neumann series; deformation to radius $R$ is justified by norm analyticity and scalar Cauchy theory as in Question 4. Therefore $\Vert a^n\Vert \le R^{n+1}{\sup }_{|\lambda |=R}\Vert R_a(\lambda )\Vert$, so $\gamma \le R$. Letting $R\downarrow r(a)$ proves $r(a)=\gamma$.

For a normal C-star element $a$, its adjoint commutes with it. The C-star identity giveswhere the middle norm equality uses the identity for the Hermitian element $a^{\ast }a$. Every power is again normal, so $\Vert a^{2^j}\Vert =\Vert a{\Vert }^{2^j}$. The spectral-radius formula yieldsThis derives the spectral radius norm equality for normal elements from the axioms.

Now let $A$ be commutative and unital. Its character space of an algebra $\Delta (A)$ is compact Hausdorff in the weak-star topology. Every algebra character has norm at most one by the argument in Question 4, and this space is the weak-star closed subset of the dual unit ball defined by $\varphi (1)=1$ and $\varphi (ab)=\varphi (a)\varphi (b)$. Compactness follows from the Banach-Alaoglu theorem; weak-star separation makes it Hausdorff.

We also need the full character-spectrum correspondence, not just one inclusion. Every proper ideal is contained in a maximal ideal. Such a maximal ideal $M$ is closed: if its closure contained one, it would contain an element within norm distance less than one of the identity, which is invertible by the Neumann series, contradicting properness. Its closure is therefore proper and maximality gives equality. The quotient $A/M$ is a complex Banach division algebra. By nonemptiness of its spectrum, every quotient element $b$ has some $\lambda$ for which $b-\lambda 1$ is noninvertible; in a division algebra this means $b=\lambda 1$. Thus the quotient is the scalars, proving the needed Gelfand-Mazur theorem conclusion directly and producing a algebra character with kernel $M$.

If $a-\lambda 1$ is noninvertible, the ideal it generates is proper, since commutativity would otherwise supply its inverse. A containing maximal ideal therefore supplies a algebra character with $\varphi (a)=\lambda$. The converse inclusion was already proved. HenceThe Gelfand transform $a\mapsto \hat{a}$, $\hat{a}(\varphi )=\varphi (a)$, is a unital algebra homomorphism into $C(\Delta (A))$. If $h=h^{\ast }$, the reality of its spectrum makes $\varphi (h)$ real. Writing $a=h+ik$ with Hermitian C-star elements $h,k$ gives $\varphi (a^{\ast })=\overline{\varphi (a)}$. Thus the transform respects the algebra involution. Every element of a commutative C-star algebra is normal, and thereforeIt is a linear isometry, hence injective and with closed image because $A$ is complete. The image contains constants, separates algebra characters by their definition, and is closed under complex conjugation. The complex Stone-Weierstrass theorem makes that image dense in $C(\Delta (A))$, and closedness makes it all of that space. We have proved the Commutative Gelfand--Naimark theorem:These steps show exactly how completeness, the algebra involution and the C-star norm identity enter the theorem. A general Banach algebra need not have an injective or norm-preserving Gelfand transform.

The general commutative theorem also has a nonunital form. Here is an elementary construction of the necessary C-star unitization, without assuming the representation theorem. Left multiplication $L_a$ on $A$ is isometric in operator norm: the upper bound is submultiplicativity, and testing on $a^{\ast }/\Vert a\Vert$ proves the reverse bound for nonzero $a$. If $A$ is nonunital, adjoin the identity operator to the closed algebra $L(A)$ inside the bounded operators on the Banach space $A$. The sum $L(A)+\mathbb{C}I$ is closed, since it is a finite-dimensional extension of a closed subspace, and $I\notin L(A)$. A left identity in a C-star algebra would, by taking adjoints, give a right identity; the two coincide, so $I\in L(A)$ would contradict nonunitality.

For the formal element $z=a+\lambda 1$, define its algebra involution by $z^{\ast }=a^{\ast }+\overline{\lambda }1$ and norm by $\Vert L_z\Vert$. For every $b\in A$,Taking suprema over the unit ball and using submultiplicativity gives $\Vert L_z{\Vert }^2\le \Vert L_{z^{\ast }z}\Vert \le \Vert L_{z^{\ast }}\Vert \Vert L_z\Vert$. Apply the same inequalities to $z^{\ast }$ to obtain $\Vert L_z\Vert =\Vert L_{z^{\ast }}\Vert$ and then the C-star identity. This is the C-star unitization by left multiplication. The original algebra is a closed ideal in it.

For commutative nonunital $A$, apply the proved unital theorem to $\tilde{A}$. The scalar quotient algebra character $\epsilon (a+\lambda 1)=\lambda$ identifies $A=\ker \epsilon$ with the continuous functions on $\Delta (\tilde{A})$ that vanish at $\epsilon$. Removing this one algebra character gives a locally compact Hausdorff space; those functions are exactly its continuous functions vanishing at infinity. Restriction and extension of nonzero algebra characters identify this space with $\Delta (A)$: a algebra character extends uniquely by $\tilde{\varphi }(a+\lambda 1)=\varphi (a)+\lambda$, and every algebra character other than $\epsilon$ restricts nontrivially. Thus the full nonunital conclusion is $A\cong C_0(\Delta (A))$.

Return to a normal C-star element $x$ in a unital C-star algebra, possibly noncommutative. Let $B=C^{\ast }(1,x)$, the closed unital star algebra generated by $x$ and $x^{\ast }$. It is commutative because the two generators commute. We first prove the spectral permanence for C-star algebras needed to use the ambient spectrum rather than a potentially larger subalgebra spectrum.

If $h=h^{\ast }\in B$, both its ambient and subalgebra spectra are real. The complement of the compact real set ${\sigma }_A(h)$ is connected. Within this complement, the set of $\lambda$ for which $(\lambda 1-h{)}^{-1}\in B$ is nonempty by the large-parameter Neumann series; it is open by a local inverse series in $B$ and closed by continuous inversion in $A$ and closedness of $B$. It is therefore the entire complement, proving ${\sigma }_B(h)={\sigma }_A(h)$. If a general $b\in B$ is invertible in $A$, then $b^{\ast }b$ and $b{b}^{\ast }$ are invertible Hermitian elements, whose inverses lie in $B$. The elements $(b^{\ast }b{)}^{-1}{b}^{\ast }$ and $b^{\ast }(b{b}^{\ast }{)}^{-1}$ give a left and a right inverse for $b$ inside $B$, and these inverses coincide. Applying this to every $b-\lambda 1$ proves ${\sigma }_B(b)={\sigma }_A(b)$ for all $b\in B$.

By the proved commutative theorem, $B\cong C(\Delta (B))$. The mapis onto by the character-spectrum correspondence and spectral permanence. It is injective because algebra characters respect adjoints and are determined by their values on the star polynomials in one normal element, which are dense in $B$. It is a continuous bijection from a compact space to a Hausdorff space, hence a homeomorphism. Consequently the inverse Gelfand transform, under this identification, suppliesIt is a continuous unital star homomorphism and a linear isometry. Its image is exactly $B$. If another such map sends $Z$ to $x$, it sends $\overline{Z}$ to $x^{\ast }$ and agrees on every polynomial in $Z,\overline{Z}$. These functions contain constants, separate points of the compact spectrum and are closed under conjugation; Stone-Weierstrass gives their uniform density. Continuity proves uniqueness on all of $C({\sigma }_A(x))$. This is the requested continuous functional calculus, including its isometry and image assertion.

Two conventions in the printed statement need to be made explicit. A unital map into $A$ requires $A$ to have an identity. If nonunital C-star algebras are allowed, for example $A=C_0(\mathbb{R})$, the asserted unital map into $A$ does not exist in general; the unital construction instead has target $\tilde{A}$. Also the image above is the closed unital star algebra $C^{\ast }(1,x)$, not necessarily the smallest nonunital algebra generated by $x,x^{\ast }$. For $x=0$ in $A=\mathbb{C}$, the former is $\mathbb{C}1$ and the latter is $\{0\}$. Thus the intended assertion is correct if “generated” includes the identity; without that convention, this is a counterexample. The distinction is the unital versus nonunital generation by a normal element.

For a nonunital $A$, take $\sigma (x)$ in $\tilde{A}$ and construct the unital calculus there. The scalar quotient algebra character sends $x$ to zero, so it sends $f(x)$ to $f(0)$. Functions with $f(0)=0$ therefore give elements of $A$. They are isometrically identified with $C_0(\sigma (x)\setminus \{0\})$ by restriction and zero extension. Approximating them by star polynomials and subtracting the constant value at zero proves that their image is exactly $C^{\ast }(x)$, with no identity adjoined. This proves the nonunital continuous functional calculus as well as specifying the corrected form of the original claim.

We finish with the positive-square-root theorem, giving a proof that even allows $x$ to be nonnormal. Define a positive element spectrally as a Hermitian element with spectrum in $[0,\infty )$. The calculus of a Hermitian element shows its square is positive. Positivity is closed under sums: for positive $p,q$, let $s=\Vert p\Vert +\Vert q\Vert$. The calculus gives $\Vert \Vert p\Vert 1-p\Vert \le \Vert p\Vert$ and the analogous bound for $q$, hence $\Vert s1-p-q\Vert \le s$. Since $p+q$ has real spectrum, the spectral norm bound forces it into $[0,2s]$. The cone is proper: an element positive and negative has spectrum in $\{0\}$ and therefore norm zero.

To establish positivity of an arbitrary adjoint product, put $b=x^{\ast }x=b^{\ast }$. Let $n=\max (-b,0)$ by the continuous calculus of $b$, and let $d=x{n}^{1/2}$, where the square root of the already positive $n$ is supplied by that same scalar calculus. Multiplicativity givesThus $d^{\ast }d$ has nonpositive spectrum. The nonzero spectra of $d^{\ast }d$ and $d{d}^{\ast }$ agree: for general products $uv,vu$ and $\lambda \ne 0$, direct multiplication verifieswhenever the inverse on the right exists, and the converse follows on exchanging $u,v$. Hence $d{d}^{\ast }$ is also nonpositive. Write $d=u+iv$ with Hermitian C-star elements $u,v$. Thenis positive, as a sum of Hermitian squares, and nonpositive, as a sum of the two nonpositive elements. Properness makes it zero. Therefore $d^{\ast }d=-d{d}^{\ast }$ is both positive and nonpositive, hence zero. The C-star identity gives $d=0$, and $n^2=0$ then implies $n=0$. Thus $b=x^{\ast }x$ is positive. This proof does not use positivity of adjoint products in establishing an earlier step.

Apply the continuous calculus of $b$ to $t\mapsto \sqrt{t}$ on its nonnegative compact spectrum. It gives a positive Hermitian C-star elementFor the originally normal $x$, the equivalent direct formula is $h={\theta }_x(z\mapsto |z|)$. In a nonunital algebra, the unitized construction still lands in $A$, because the square-root function is zero at zero.

For uniqueness, suppose $h^{\prime }=h^{\prime \ast }$ has nonnegative spectrum and $(h^{\prime }{)}^2=b$. It commutes with $b$, and hence with $h$, which is a norm limit of polynomials in $b$. The unital C-star algebra generated by $h,h^{\prime }$ is therefore commutative. Its Gelfand transform, together with spectral permanence, gives two nonnegative continuous functions whose squares are equal. Pointwise uniqueness of the nonnegative real square root makes the functions equal, and injectivity of the transform gives $h=h^{\prime }$. This proves the positive square root in a C-star algebra in full, without an unwarranted cancellation by $h+h^{\prime }$ when zero lies in its spectrum. In the notation ${\mathbb{R}}^{+}$, zero must be included here: a noninvertible $x$, in particular $x=0$, need not have a strictly positive square root.

A primitive ideal is the kernel of an algebraically irreducible unital representation, equivalently the annihilator of a module for a nonzero simple module. Irreducibility here excludes all proper nonzero invariant linear subspaces, not just closed ones. In a Banach algebra the simple modules can be represented as $A/L$ with $L$ a maximal left ideal. Such an ideal is closed: if its closure were all of $A$, it would contain an element close enough to $1$ to be invertible by the Neumann series, contradicting properness. Maximality then makes its closure itself. Thus the quotient carries a Banach-space norm and a bounded left action.

Let $P$ be a maximal proper two-sided ideal. The quotient ring $R=A/P$ is nonzero, unital and simple as a ring. By the Zorn lemma, choose a maximal left ideal $L$ of $R$. The simple module $R/L$ has an annihilator which is a proper two-sided ideal of $R$. Simplicity forces that annihilator to be zero. Its pullback to $A$ is exactly $P$, proving every maximal proper two-sided ideal is primitive. If one wants the Banach representation explicitly, realize the same module as the quotient of $A$ by the pullback maximal left ideal, which is closed by the preceding argument.

Put $c=f(1)\ge 0$. For a given $x$, let $M=\Vert x{\Vert }^2=\Vert x{x}^{\ast }\Vert$ by the C-star identity. For $\epsilon >0$ the binomial seriesconverges absolutely in the Banach algebra, because $\Vert x{x}^{\ast }/(M+\epsilon )\Vert <1$. Its coefficients are real and $x{x}^{\ast }$ is Hermitian, so $b_{\epsilon }^{\ast }=b_{\epsilon }$; multiplication of the absolutely convergent series gives $b_{\epsilon }^{\ast }{b}_{\epsilon }=(M+\epsilon )1-x{x}^{\ast }$. Positivity yields $f(x{x}^{\ast })\le (M+\epsilon )c$. Let $\epsilon \downarrow 0$. Part (iii) now givesThus $f$ is a bounded linear functional with $\Vert f\Vert \le c$. Since the nonzero identity in a C-star algebra has norm one, evaluating at it gives the reverse bound. HenceThis proves automatic continuity from the original algebraic positivity assumption, including the case $c=0$, when $f=0$.

The first algebra exists. Let $A=L^1(0,1)$ with truncated convolutionThe Tonelli theorem givesCommutativity follows by replacing $s$ with $t-s$; associativity follows from the Fubini theorem applied to the simplex $s,u\ge 0$, $s+u\le t$. Together with completeness of $L^1$, this makes $A$ a commutative Banach algebra, not necessarily unital. Adjoin an identity using unitization:This norm is complete and submultiplicative by the preceding bound, and $e=(1,0)$ is the identity. This is the Volterra convolution algebra on a finite interval with an identity adjoined.

Take $x=(0,1)$, where $1(t)=1$. Direct induction under convolution givesThus no power vanishes. For every $\lambda \ne 0$ the seriesconverges absolutely, since its norms have factorial denominators. Multiplication by $\lambda e-x$ telescopes to $e$, so it is an inverse. On the other hand $x$ cannot be invertible: its scalar coordinate is zero, and scalar coordinates multiply, so $xy$ can never equal $e$. HenceThis explicitly exhibits a nonnilpotent quasinilpotent element without assuming a spectral-radius formula.

The second algebra does not exist. Suppose it did, and choose a nonscalar $y$. Nonemptiness of its spectrum of an element, together with $\rho (y)=0$, gives ${\sigma }_B(y)=\{0\}$. But $y+e$ is still nonscalar: if $y+e=\alpha e$, then $y=(\alpha -1)e$. By translation of the spectrum by a scalar,This contradicts the required zero spectral radius for every nonscalar element. The contradiction already uses the spectral condition alone; the nonvanishing-power condition cannot remedy it.

A complex Banach algebra is an associative complex algebra with a complete norm satisfying submultiplicativity, $\Vert ab\Vert \le \Vert a\Vert \Vert b\Vert$. A field has a nonzero identity $e$, and every nonzero element is invertible. We derive the Gelfand-Mazur theorem from these facts.

If $\Vert z\Vert <1$, the series $e+z+z^2+\cdots$ converges in the complete algebra. Multiplying its partial sums by $e-z$ and passing to the limit proves the Neumann series inverse. In particular, for any $x\in B$ and $|\lambda |>\Vert x\Vert$,This resolvent of an element tends to zero in norm at infinity; the estimate follows from the geometric bound on $\Vert x^n\Vert$.

We next prove that the spectrum of an element cannot be empty. Suppose every $\lambda e-x$ were invertible. At each ${\lambda }_0$, writeThe Neumann series on a small disk about ${\lambda }_0$ proves that $R$ is analytic there. Consequently, for each continuous linear functional $\ell :B\to \mathbb{C}$, the function $\lambda \mapsto \ell (R(\lambda ))$ is entire. It is bounded outside a large disk by the estimate above and bounded on that disk by continuity. The Liouville theorem makes it constant; its zero limit at infinity makes the constant zero.

Continuous complex linear functionals separate points of $B$. Here is the needed consequence of the Hahn-Banach theorem: for $z\ne 0$, define $g(tz)=t\Vert z\Vert$ on the real span of $z$ and extend it as a bounded real linear functional of norm one. Then $\ell (w)=g(w)-ig(iw)$ is complex linear and continuous, and $\mathrm{Re}\ell (z)=\Vert z\Vert \ne 0$. The real extension theorem is proved explicitly in Question 4(i) below. Thus $\ell (R(\lambda ))=0$ for every $\ell$ forces $R(\lambda )=0$, contradicting $(\lambda e-x)R(\lambda )=e\ne 0$. This proves the nonemptiness of the Banach-algebra spectrum.

Choose $\lambda \in {\sigma }_B(x)$. Since $B$ is a field, the noninvertible element $x-\lambda e$ must be zero. Hence every $x\in B$ is a scalar multiple of $e$. The mapis therefore a bijective unital complex-algebra homomorphism. It and its inverse are bounded, since $\Vert \lambda e\Vert =|\lambda |\Vert e\Vert$. Thus it is an isomorphism of Banach algebras. If the usual normalization $\Vert e\Vert =1$ is included in the definition, it is an isometry; without that normalization, it is still the required continuous algebra isomorphism.

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

In a unital Banach algebra, the Neumann series gives $(1-u{)}^{-1}={\sum }_{k=0}^{\infty }{u}^k$ whenever $\Vert u\Vert <1$: the series converges in norm by submultiplicativity and completeness, and multiplication of its partial sums on either side gives $1-u^{N+1}\to 1$. Consequently, if $g$ is invertible and $\Vert g^{-1}\Vert \Vert h-g\Vert <1$, writeThe second factor has a Neumann series inverse, so $h$ is invertible. This exhibits a ball around each $g$ in the group of invertible elements of a Banach algebra, proving that group is an open set.

The same series proves continuity of inversion in a Banach algebra, with the useful quantitative estimateThe right side tends to zero as $h\to g$. Since applying inversion twice gives the original element, it is a bijection whose inverse is the same continuous map. Thus inversion is a homeomorphism of the open group of invertibles onto itself.

For the final unheaded request, defineIt is open by the preceding argument and contains $0$. If ${\lambda }_0$ were a boundary point, a sequence ${\lambda }_n\in E$ would converge to ${\lambda }_0$, while openness gives ${\lambda }_0\notin E$. Then $1-{\lambda }_{n}a\to 1-{\lambda }_{0}a$ is a noninvertible limit of invertibles. The one-sided-inverse argument in part (ii) shows that this limit has neither a left inverse of an algebra element nor a right inverse of an algebra element, contradicting the hypothesis. Therefore $E$ has empty boundary; it is both open and closed in the connected complex plane, and $E=\mathbb{C}$.

For every nonzero $\mu$, put $\lambda ={\mu }^{-1}$. The identity $\mu 1-a=\mu (1-\lambda a)$ proves invertibility, so the spectrum of an element $a$ is contained in $\{0\}$. It is nonempty: if the resolvent of an element existed for all $\mu \in \mathbb{C}$, it would be an entire algebra-valued function tending to zero at infinity by the Neumann series. Applying any bounded linear functional and then the Liouville theorem would make it zero; the Hahn-Banach theorem separates points and would force the resolvent itself to be zero, contradicting its inverse equation. Hence

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.

First, a maximal left ideal $L$ is closed. Its norm closure is again a left ideal, since multiplication is continuous. If that closure were all of $A$, some $\ell \in L$ would satisfy $\Vert 1-\ell \Vert <1$ and would be invertible by the Neumann series. But a proper left ideal cannot contain an invertible element: ${\ell }^{-1}\ell =1$ would put $1$ in $L$. Maximality therefore forces $\overline{L}=L$.

Consequently $X=A/L$ is a nonzero quotient Banach space. It is a simple module for left multiplication by $A$, because the inverse image of any submodule under $A\to A/L$ is a left ideal containing $L$, and hence is either $L$ or $A$. Since $La\subseteq L$, right multiplication defines a well-defined bounded module endomorphismIndeed, changing $u$ by an element of $L$ changes $ua$ by an element of $L$, and taking the infimum over representatives proves the quotient norm bound. Right multiplication commutes with the left action by associativity.

Choose $\lambda$ in the nonempty spectrum of an element of $T$ in the Banach algebra $\mathcal{B}(X)$. Both the kernel and range of $T-\lambda I$ are submodules. If this module endomorphism were nonzero, simplicity would force its kernel to be zero and its range to be all of $X$. It would be a bounded bijection of Banach spaces, with bounded inverse by the bounded inverse theorem, contradicting the choice of $\lambda$. Thus $T=\lambda I$. Applying this identity to $1+L$ yields $a-\lambda 1\in L$. If also $a-\mu 1\in L$, then $(\lambda -\mu )1\in L$; since $1\notin L$, $\lambda =\mu$. ThereforeThis is the scalar right action on a maximal-left-ideal quotient; it does not assume that $L$ is a two-sided ideal or that $A/L$ is an algebra.

Now consider the center of an associative algebra $Z$. For each $u\in A$, the map $z\mapsto zu-uz$ is a continuous linear map, so its kernel is closed. Their intersection $Z$ is therefore closed. The identity belongs to $Z$, as do sums and scalar multiples of its elements. If $z,w\in Z$, then for every $u\in A$,Thus $zw\in Z$. Also $zw=wz$, since $z$ commutes with every element of $A$, including $w$. Hence the center is a closed commutative unital subalgebra, and is a Banach algebra in the inherited norm.

For every $z\in Z$, the inclusion $Lz=zL\subseteq L$ allows the first argument to apply. Let $\chi (z)$ be the unique scalar for which $z-\chi (z)1\in L$. Equivalently, the induced right multiplication on $A/L$ is $T_z=\chi (z)I$. Sincethe map $\chi :Z\to \mathbb{C}$ is a complex-linear unital character of an algebra. It is surjective because $\chi (\alpha 1)=\alpha$, and its kernel is precisely $L\cap Z$. ConsequentlyIndeed any ideal properly containing the kernel would have a nonzero image in the field $\mathbb{C}$ and thus would be all of $Z$. The algebra character is also continuous: $|\chi (z)|=\Vert \chi (z)I\Vert =\Vert T_z\Vert \le \Vert z\Vert$, although continuity is not needed for maximality.

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:

If $x$ is invertible, part (i)'s inverse calculation gives an inverse for $x^{\ast }$, and therefore both $x{x}^{\ast }$ and $x^{\ast }x$ are invertible. Conversely, if both products are invertible, setThen $xr=1$ and $\ell x=1$: $r$ is a right inverse of an algebra element $x$ and $\ell$ is a left inverse of an algebra element $x$. They coincide because $\ell =\ell (xr)=(\ell x)r=r$, providing a two-sided inverse. ThusBoth products are required in a general Banach algebra; a single one-sided inverse need not suffice.

Work with a nonzero complex unital Banach algebra, so $1\ne 0$. The spectrum of an element isFor $|\lambda |>\Vert x\Vert$, the Neumann seriesconverges in norm and is a two-sided inverse, by multiplying its partial sums and letting the remainder tend to zero. Thus the spectrum lies in $|\lambda |\le \Vert x\Vert$. The assumed openness of the invertible group makes its complement closed, so the spectrum is compact.

To prove nonemptiness, suppose every $\lambda$ has an inverse $R(\lambda )=(\lambda 1-x{)}^{-1}$. Locally,so the resolvent is holomorphic. At infinity its Neumann series gives $\Vert R(\lambda )\Vert =O(|\lambda {|}^{-1})$. For any bounded linear functional $\ell \in A^{\ast }$, the scalar entire function $\ell (R(\lambda ))$ is bounded: it is bounded on compact disks by continuity, and tends to zero outside them. The Liouville theorem makes it constant, and its limit makes that constant zero. The Hahn-Banach theorem separates points of the normed space $A$, so $R(\lambda )=0$, contradicting $(\lambda 1-x)R(\lambda )=1$. Hence the spectrum is nonempty and compact.

On the algebra of entire functions, setIt is finite, homogeneous and satisfies the triangle inequality and submultiplicativity. If it vanishes, the identity theorem makes $f$ identically zero, so it is an algebra norm. However, no algebra norm on the entire-function algebra can be complete. The coordinate function $Z(z)=z$ satisfies $\sigma (Z)=\mathbb{C}$ algebraically: $Z-\lambda$ vanishes at $z=\lambda$ and has no entire multiplicative inverse. A complete algebra norm would make this a Banach algebra, contradicting the proved boundedness of its spectrum. This is the entire function algebra admits no complete algebra norm obstruction; it applies to every proposed complete algebra norm, not only the displayed one.

For all continuous functions on $\mathbb{C}$, choose continuous cutoffsTheir supports are disjoint and escape every compact set. Thus $f(z)={\sum }_{n\ge 1}n{h}_n(z)$ is a locally finite sum and is continuous. Let $g_n(z)=\max (0,1-4|z-3n|)$. This nonzero continuous function is supported where $h_n=1$ and all the other cutoffs vanish. Hence $f{g}_n=n{g}_n$. Any algebra norm would implyso $n\le \Vert f\Vert$ for every positive integer, impossible. Therefore the algebra of all continuous functions on $\mathbb{C}$ admits no algebra norm, even an incomplete one. This proves the continuous functions on the complex plane admit no algebra norm obstruction directly.

The Gelfand-Mazur theorem says that a nonzero complex unital Banach algebra in which every nonzero element is invertible is the complex field itself: $a\mapsto \lambda$ where $a=\lambda 1$. This is an isometric isomorphism under the usual normalization $\Vert 1\Vert =1$; without that normalization its norm is simply $\Vert \lambda 1\Vert =|\lambda |\Vert 1\Vert$. We first prove the required spectral and resolvent facts rather than assume them.