Past exam of the mathematics course of the University of Cambridge / 2002 / iii / Paper 7 (Banach Algebras)

Use ${\sigma }_A(x)$ and ${\rho }_A(x)$ for Banach algebra spectrum and algebra resolvent set. An inverse in the smaller unital algebra is also an inverse in the larger one, so ${\rho }_B(x)\subseteq {\rho }_A(x)$.

If $\lambda \in {\rho }_B(x)$ and $r=(\lambda 1-x{)}^{-1}\in B$, then for $|\mu -\lambda |\Vert r\Vert <1$ the Neumann series givesThus ${\rho }_B(x)$ is open. To prove relative closedness, suppose ${\lambda }_n\in {\rho }_B(x)$ and ${\lambda }_n\to \lambda \in {\rho }_A(x)$. Continuity of inversion in $A$ gives $({\lambda }_{n}1-x{)}^{-1}\to (\lambda 1-x{)}^{-1}$. Since $B$ is norm closed, the limiting inverse belongs to $B$, so $\lambda \in {\rho }_B(x)$. Consequently ${\rho }_B(x)$ is relatively clopen in ${\rho }_A(x)$.

A connected component $U$ of ${\rho }_A(x)$ meets the relatively clopen subset ${\rho }_B(x)$ either everywhere or nowhere: its intersection and its complement would otherwise disconnect $U$. If it meets nowhere, $U\subseteq {\sigma }_B(x)$. If it meets everywhere, $U$ is a connected subset of ${\rho }_B(x)$, and any larger connected subset of ${\rho }_B(x)$ would be a connected subset of ${\rho }_A(x)$ larger than its component $U$. Thus $U$ is either a whole component of ${\rho }_B(x)$ or lies wholly in ${\sigma }_B(x)$.

For $|\lambda |>\Vert x\Vert$, the Neumann seriesconverges in $B$. The exterior of this disk is connected and belongs to both algebra resolvent sets. Since each Banach algebra spectrum is compact, each algebra resolvent set has exactly one unbounded component: any unbounded component meets that exterior, and two components meeting a common connected exterior must coincide. Part (ii) says that the component of ${\rho }_A(x)$ meeting the exterior is also a whole component of ${\rho }_B(x)$. Hence the unbounded components are identical.

Now $B=\overline{\mathbb{C}[1,x]}$. Let $U$ be a bounded component of ${\rho }_A(x)$ and $\lambda \in U$. Its boundary lies in ${\sigma }_A(x)$: an open disk about a boundary point in the algebra resolvent set would meet $U$ and would belong to the same component, contradicting boundary membership. The maximum modulus principle on the bounded domain $U$ therefore gives, for every complex polynomial $p$,Here spectral mapping theorem follows by factoring $p(z)-\mu$: its commuting factors are invertible exactly when every root avoids the Banach algebra spectrum.

The rule $p(x)\mapsto p(\lambda )$ is well-defined by the displayed bound, multiplicative and bounded on the dense polynomial subalgebra. It extends to a unital character ${\phi }_{\lambda }$ on $B$. Since ${\phi }_{\lambda }(\lambda 1-x)=0$, that element cannot have an inverse in $B$. Thus $U\subseteq {\sigma }_B(x)$. Together with part (iii), this proves that the Banach algebra spectrum of a polynomial-generated Banach subalgebra is exactly the original Banach algebra spectrum with all its bounded complementary components filled in.

The hypothesis puts zero in the common unbounded resolvent component from part (iii). Hence $0\in {\rho }_B(x)$ for $B=\overline{\mathbb{C}[1,x]}$, and $(-x{)}^{-1}\in B$, or equivalently $x^{-1}\in B$. By the definition of this norm closure, for each $n$ choose a polynomial $p_n$ with $\Vert p_n(x)-x^{-1}\Vert <1/n$. ThereforeThis is an approximation in the algebra norm, not merely a scalar approximation on the Banach algebra spectrum.

Give $\mathcal{O}(U)$ the compact-open topology. Choose a finite polygonal cycle $\Gamma$ in $U\setminus {\sigma }_A(x)$ whose winding number is one on the Banach algebra spectrum and zero outside $U$. One can take the oriented boundary of a finite union of small squares surrounding the compact Banach algebra spectrum and contained in $U$. DefineThe integral is an algebra-norm integral of a continuous function on finitely many segments. Cauchy's theorem, applied after any bounded linear functional on $A$, makes it independent of the cycle. Moreoverso it is continuous for the compact-open topology.

Here is a direct verification of the algebra properties and uniqueness using the allowed Runge theorem. The version required is that every holomorphic function on an open plane set is a locally uniform limit of rational functions with poles outside that set, allowing a polynomial part. A rational function $r=p/q$ of this kind has the unambiguous value $r(x)=p(x)q(x{)}^{-1}$, since the roots of $q$ avoid the Banach algebra spectrum. These rational values form a unital algebra homomorphism.

They agree with the contour integral. First $\frac{1}{2\pi i}{\int }_{\Gamma }(z1-x{)}^{-1}dz=1$, by replacing the cycle with a large circle and integrating its Neumann expansion. The identity $z^{j}1-x^j=(z1-x){\sum }_{k=0}^{j-1}{z}^{j-1-k}{x}^k$ then proves the assertion for polynomials. For $a\notin U$, the resolvent identity givesThe cycle has winding number zero at $a$, so integration gives $(x-a1{)}^{-1}$. This identity holds on a neighborhood of $a$ disjoint from the cycle and the Banach algebra spectrum. Differentiating with respect to $a$ gives the analogous result for every power $(z-a{)}^{-k}$, and partial fractions give it for all the rational functions under consideration.

If $r_n\to f$ and $s_n\to g$ locally uniformly, the contour estimate makes their evaluated sequences converge. Since $r_n{s}_n\to fg$ locally uniformly and multiplication in $A$ is continuous, their limits satisfy ${\Theta }_x(fg)={\Theta }_x(f){\Theta }_x(g)$. Also ${\Theta }_x(1)=1$ and ${\Theta }_x(Z)=x$. Conversely any continuous unital complex-algebra homomorphism sending $Z$ to $x$ must send $Z-a$ to $x-a1$ and its reciprocal to the inverse. It therefore agrees on rational functions and then, by Runge density and continuity, on all of $\mathcal{O}(U)$. This proves existence and uniqueness of the holomorphic functional calculus.

For its spectral mapping property, first note compatibility on a smaller open spectral neighborhood $W\subseteq U$: composing restriction to $W$ with the calculus there gives the calculus on $U$ by uniqueness. If $\mu \notin g({\sigma }_A(x))$, choose such a $W$ where $\mu -g$ never vanishes. Thenwith the right side evaluated on $W$. Conversely, for $\lambda \in {\sigma }_A(x)$, write $g(z)-g(\lambda )=(z-\lambda )q(z)$ with $q$ holomorphic on $U$. The evaluated factors commute. If their product were invertible, both factors would be invertible, contradicting $\lambda \in {\sigma }_A(x)$. ThusPullback $h\mapsto h\circ g$ is continuous from $\mathcal{O}(V)$ to $\mathcal{O}(U)$ because the image under $g$ of a compact set is compact. The composite $h\mapsto {\Theta }_x(h\circ g)$ is a continuous unital homomorphism taking the coordinate function to $y={\Theta }_x(g)$. Uniqueness of the calculus at $y$ provesFor the exponential conclusion, let $K={\sigma }_A(x)$. There is a simple polygonal arc from zero through its unbounded complementary component to outside a disk containing $K$, continued by a ray to infinity and avoiding $K$. Loops in an initial polygonal path can be removed to make the arc simple. The complement of this slit is a simply connected open neighborhood of $K$ avoiding zero, and hence admits a holomorphic logarithm $\ell$. Set $y={\Theta }_x(\ell )$. The composition rule givesThe calculus of the entire exponential agrees with the usual algebra exponential because its power-series partial sums converge locally uniformly. Finally an invertible matrix over the complex numbers has a finite Banach algebra spectrum avoiding zero. Removing finitely many plane points leaves a connected set, so the hypothesis always holds: every invertible matrix over the complex numbers is an exponential of a matrix over the complex numbers.

A C-star algebra is a complex Banach algebra with a conjugate-linear involution satisfying $(ab{)}^{\ast }=b^{\ast }{a}^{\ast }$ and $\Vert a^{\ast }a\Vert =\Vert a{\Vert }^2$. The inequality $\Vert a{\Vert }^2\le \Vert a^{\ast }\Vert \Vert a\Vert$, and then the same inequality for $a^{\ast }$, show that the involution is isometric. In a nonzero unital C-star algebra, the identity has norm one.

For a Hermitian algebra element $h$, the exponential $e^{ith}$ is unitary for real $t$ and has norm one. If $\lambda \in \sigma (h)$, then $e^{it\lambda }\in \sigma (e^{ith})$: factoring $e^{itz}-e^{it\lambda }=(z-\lambda )q(z)$ with entire $q$ proves this, since the evaluated factors commute. Hence $|e^{it\lambda }|\le 1$ for all positive and negative $t$, forcing $\mathrm{Im}\lambda =0$. Thus Hermitian algebra elements have real Banach algebra spectrum.

For a normal C-star element $a$, commutation of $a,a^{\ast }$ givesThe middle equality of norms uses the C-star identity on the Hermitian algebra element $a^{\ast }a$. Iterating along powers $2^n$ and applying the spectral radius formula proves $r(a)=\Vert a\Vert$.

Now suppose $A$ is commutative and unital. Every maximal ideal is closed: if it were dense, it would contain an element within distance less than one of the identity, hence an invertible element by the Neumann series, which is impossible for a proper ideal. Its quotient is a complex Banach division algebra and is therefore $\mathbb{C}$ by the Gelfand-Mazur theorem. Maximal ideals thus give characters. Conversely, every character $\phi$ satisfies $\phi (a)\in {\sigma }_A(a)$, because applying it to an inverse of $a-\phi (a)1$ would give a contradiction. Characters are consequently contractive. The converse spectral inclusion follows by placing the proper ideal generated by $a-\lambda 1$ in a maximal ideal. We have provedThe character space ${\Phi }_A$ is a weak-star closed subset of the dual unit ball, characterized by $\phi (1)=1$ and $\phi (ab)=\phi (a)\phi (b)$. The Banach-Alaoglu theorem makes it compact Hausdorff. Define the Gelfand transform by $\hat{a}(\phi )=\phi (a)$. For Hermitian $h$, its values are real; writing $a=h+ik$ with both terms Hermitian shows $\widehat{a^{\ast }}=\overline{\hat{a}}$. In the commutative algebra every element is normal, soThe transform is therefore an isometric unital star-homomorphism and has closed range in $C({\Phi }_A)$. Its range separates characters by their definition and is closed under complex conjugation. The complex Stone-Weierstrass theorem makes that range dense, hence equal to $C({\Phi }_A)$. This proves the Commutative Gelfand--Naimark theorem:For a nonunital C-star algebra, its C-star unitization can be constructed without assuming an operator representation on a Hilbert space. Represent $A$ by left multiplication on itself, which is isometric because testing $L_a$ on $a^{\ast }/\Vert a\Vert$ gives $\Vert L_a\Vert =\Vert a\Vert$. Adjoin the identity operator and set $\Vert z\Vert =\Vert L_z\Vert$. For $z=a+\lambda 1$ and $b\in A$, the C-star identity in $A$ gives $\Vert zb{\Vert }^2=\Vert b^{\ast }{z}^{\ast }zb\Vert \le \Vert b\Vert \Vert L_{z^{\ast }z}b\Vert$. Consequently $\Vert L_z{\Vert }^2\le \Vert L_{z^{\ast }z}\Vert \le \Vert L_{z^{\ast }}\Vert \Vert L_z\Vert$. Applying this also to $z^{\ast }$ proves that the new involution is isometric and that its C-star identity holds. The extension by the identity is complete, since the isometric image of $A$ is closed and one adjoins just one dimension. Apply the unital result to a commutative $A^{+}$; the character $\infty$ given by $a+\lambda 1\mapsto \lambda$ has kernel $A$. Under the isomorphism, this kernel consists of the continuous functions vanishing at $\infty$. Thus $A\cong C_0({\Phi }_A)$ in the nonunital case, with locally compact character space ${\Phi }_A={\Phi }_{A^{+}}\setminus \{\infty \}$.

For a Hermitian $h$ in a possibly noncommutative algebra, apply this result to the commutative unital C-star subalgebra $C^{\ast }(1,h)$ in the unitization. Its Banach algebra spectrum at $h$ equals the ambient Banach algebra spectrum: both Banach algebra spectra are real, the complement of the ambient compact real Banach algebra spectrum is connected, and the resolvent-component result of Question 1 retains that whole complement in the smaller algebra. Characters of this subalgebra are determined by their values at $h$, so its character space is homeomorphic to $\sigma (h)$. We obtain the continuous functional calculus $C(\sigma (h))\to C^{\ast }(1,h)$.

Interpret ${\mathbb{R}}^{+}$ here as $[0,\infty )$. If $\sigma (h)\subseteq [0,\infty )$, apply this calculus to $t\mapsto \sqrt{t}$, obtaining a Hermitian $k$ with $k^2=h$. In a nonunital algebra this element remains in $A$ because the defining scalar function vanishes at zero. Conversely, if $h=k^2$ with $k=k^{\ast }$, spectral mapping theorem and the real Banach algebra spectrum of $k$ give $\sigma (h)=\{t^2:t\in \sigma (k)\}\subseteq [0,\infty )$. Hence nonnegative Banach algebra spectrum is equivalent to being the square of a Hermitian algebra element. A strict-positive interpretation would exclude $h=0$, and would not be equivalent to the assertion about an arbitrary Hermitian square.

Finally, use the two continuous real functions $t\mapsto \sqrt{\max (t,0)}$ and $t\mapsto \sqrt{\max (-t,0)}$ on $\sigma (x)$. Their calculus values $u,v$ are Hermitian, belong to $A$ also in the nonunital case, and satisfy

Put $K=\sigma (T)$ and use the continuous functional calculus $\pi :C(K)\to \mathcal{B}(H)$. It is a unital star-homomorphism taking the coordinate function to $T$. This follows from the commutative C-star theorem applied to $C^{\ast }(I,T,T^{\ast })$, together with spectral permanence for C-star subalgebras, which is among the permitted C-star results.

Take the Hilbert space inner product linear in its first variable. For a vector $\xi$, let $H_{\xi }=\overline{\{\pi (f)\xi :f\in C(K)\}}$. This cyclic subspace is invariant under every $\pi (f)$ and its adjoint, so it is reducing. The functional $f\mapsto ⟨\pi (f)\xi ,\xi ⟩$ is positive because $f\ge 0$ implies $\pi (f)=\pi (\sqrt{f}{)}^{\ast }\pi (\sqrt{f})$. It has, by the Riesz-Markov-Kakutani representation theorem, a finite regular positive Borel measure ${\mu }_{\xi }$ on $K$. The identitymakes $f\mapsto \pi (f)\xi$ an isometry on its quotient by the functions of zero $L^2$ norm. Density of continuous functions in $L^2({\mu }_{\xi })$ extends it to a unitary $U_{\xi }:L^2({\mu }_{\xi })\to H_{\xi }$. Multiplication by a continuous function intertwines with $\pi$ on this subspace.

Choose a maximal family of mutually orthogonal nonzero cyclic reducing subspaces. Their orthogonal sum is all of $H$: otherwise its reducing orthogonal complement contains a nonzero vector generating another such subspace. This argument does not require separability. For a bounded Borel measurable function $g$ on $K$, multiplication $M_g$ on every $L^2({\mu }_{\xi })$ is bounded with norm at most $\Vert g{\Vert }_{\infty }$. Define on that orthogonal sumMultiplication operators satisfy $M_{fg}=M_f{M}_g$, $M_{\overline{g}}=M_g^{\ast }$ and $M_1=I$. The same identities hold for their direct sums, and the norm bound is uniform in $\xi$. Thus ${\beta }_T$ is a norm-decreasing unital star-homomorphism on the algebra of actual bounded Borel measurable functions, and ${\beta }_T(Z)=T$ because it extends $\pi$. No quotient by a single unspecified measure is being substituted for that Borel algebra.

Choose the bounded Borel measurable square root $s(0)=0$ and $s(z)=|z{|}^{1/2}{e}^{i\mathrm{Arg}(z)/2}$ for $z\ne 0$, taking $\mathrm{Arg}\in [0,2\pi )$. Let $S={\beta }_T(s)$. ThenThus every bounded normal operator has a normal square root. The Borel branch is essential in general: on a circle winding about zero a continuous square-root branch need not exist.

A representation of a Banach algebra is a complex-linear multiplicative map $\pi :A\to {\mathrm{End}}_{\mathbb{C}}(X)$. A nonzero irreducible action of a unital algebra automatically has $\pi (1)=I$: the image of the idempotent $\pi (1)$ is a nonzero invariant subspace and hence is all of $X$. An algebraically irreducible representation of a Banach algebra is a nonzero action if it has no nonzero proper invariant submodule, whether closed or not. A normed representation of a Banach algebra has $\pi (a)$ bounded for each $a$ on a preassigned normed vector space $X$; continuity of $\pi$ as an operator-norm-valued map is a further conclusion. This must not be confused with topological irreducibility, which excludes only closed invariant subspaces. Unitizing the algebra extends a nonunital action by $\pi (a+\lambda 1)=\pi (a)+\lambda I$, so it is enough to discuss the unital case.

For $\xi \ne 0$, irreducibility gives $A\xi =X$. The annihilator $L_{\xi }=\{a:\pi (a)\xi =0\}$ is a maximal left ideal: an intermediate left ideal gives an intermediate submodule of $X$. It is closed by the Neumann-series argument for maximal left ideals. Consequently $A/L_{\xi }$ transports a complete quotient norm to $X$, and left multiplication is contractive in this norm. Every algebraically irreducible representation of a Banach algebra can therefore be realized continuously on a Banach space. This alone does not prove continuity for its preassigned norm.

The kernel of $\pi$ is the intersection of the closed left ideals $L_{\xi }$ and is a closed primitive ideal. The Jacobson radical is the intersection of all primitive ideals, equivalently the intersection of maximal left ideals. Thus these quotient representations detect semisimplicity. Equivalent algebra representations are related by a bijective module homomorphism.

The algebra of module endomorphisms is exactly $\mathbb{C}I$. Indeed, if a module endomorphism $D$ sends a fixed cyclic vector $\xi$ to $a\xi$, then $D(b\xi )=ba\xi$. It is induced by bounded right multiplication by $a$ on $A/L_{\xi }$, so is bounded for the quotient norm on an irreducible Banach module. Every nonzero module endomorphism is injective and surjective by irreducibility, and its inverse is bounded by the same argument. This commutant of an operator algebra is a closed division subalgebra of the bounded operators on this Banach module; the Gelfand-Mazur theorem makes it $\mathbb{C}I$.

The Jacobson density theorem now says that for finitely many linearly independent ${\xi }_1,\dots ,{\xi }_n$ and arbitrary ${\eta }_1,\dots ,{\eta }_n$, one element of $A$ sends all ${\xi }_j$ to ${\eta }_j$. Here is the induction behind it. The one-vector assertion is $A{\xi }_1=X$. Assuming the first $n-1$ coordinates can be prescribed, set $L=\{a:a{\xi }_j=0(j<n)\}$. Its image $L{\xi }_n$ is an invariant subspace. If it is $X$, it adjusts the last image without changing the first ones. If it is zero, the rule $(a{\xi }_1,\dots ,a{\xi }_{n-1})\mapsto a{\xi }_n$ is a well-defined module map $X^{n-1}\to X$. Each coordinate map is scalar by the module endomorphism result, forcing ${\xi }_n$ to be a linear combination of the earlier vectors, a contradiction. This proves the assertion.

We can now give Johnson's continuity argument with its crucial construction. If $X$ is finite dimensional, the closed kernel has finite codimension and $A/\ker \pi$ is finite dimensional, so $\pi$ is continuous. Suppose instead that $X$ is infinite dimensional. LetThis is an invariant submodule, because the orbit map of $\pi (b)\xi$ is the orbit map of $\xi$ composed with the bounded map $a\mapsto ab$. Thus either $Y=X$ or $Y=0$.

To rule out $Y=0$, choose linearly independent unit vectors ${\xi }_0,{\xi }_1,\dots$. There are elements $a_n\in A$ such that, with $c_n=a_n\cdots a_1$,For completeness, construct them in the canonical quotient-norm Banach module. At stage $n$ the current tail vectors are independent. In the closed left annihilator of its first vector, density permits arbitrary images of any finite list of the remaining vectors. The condition that finitely many such images are independent is open in this Banach subspace and dense: perturb any element by $t$ times an element prescribing independent images; a suitable determinant is a nonzero polynomial in $t$, with only finitely many exceptional values. The Baire category theorem intersects these open dense conditions for all initial finite tail lists. The resulting $a_n$ kills the first current vector and retains independence of the entire remaining tail. This is the countable annihilation sequence in an irreducible Banach module.

The gliding-hump continuity principle supplies the other ingredient: if $E,F$ are Banach spaces, $S:E\to F$ is linear, $T_j:E\to E$ and $U_n:F\to F_n$ are bounded, and $U_{n}S{T}_1\cdots T_m$ is continuous whenever $m>n$, then $U_{n}S{T}_1\cdots T_n$ is continuous eventually. The product form of this principle is recorded in Proposition 1.3 of Thomas's paper. Here is the contradiction mechanism. Rescale so $\Vert T_j\Vert ,\Vert U_n\Vert \le 1$ and put $P_m=T_1\cdots T_m$. If infinitely many diagonal maps are discontinuous, choose increasing $n_j$ and successively tiny $x_j$ soAlso choose $\Vert x_j\Vert \le 2^{-j}/(1+{\max }_{i<j}\Vert U_{n_i}S{P}_{n_i+1}\Vert )$. The convergent sum $x={\sum }_j{P}_{n_j}{x}_j$ has, after its $j$th term, a tail factoring through $P_{n_j+1}$. Applying that continuous composite bounds the tail contribution by one. The display forces $\Vert U_{n_j}Sx\Vert >j$, contradicting $\Vert U_{n_j}Sx\Vert \le \Vert Sx\Vert$. Only finite decompositions and the continuous tail composites are used; no unjustified interchange of a discontinuous map with an infinite sum occurs.

Apply this principle with $E=A$, $F=\mathcal{B}(\overline{X})$, where $\overline{X}$ is the completion in the original norm, and $S(a)$ the bounded extension of $\pi (a)$. Set $T_j(a)=a{a}_j$ and $U_n(R)=R{\xi }_n$. ThenFor $m>n$ this is zero, hence continuous. For $m=n$ it is the orbit map of a nonzero vector, hence discontinuous if $Y=0$. This contradicts the principle. Therefore $Y=X$.

Finally, apply the Uniform boundedness principle on the Banach space $A$ to the continuous maps $a\mapsto \pi (a)\xi$ indexed by $\Vert \xi \Vert \le 1$. They are pointwise bounded because each individual $\pi (a)$ is bounded in the original norm. It givesThis proves Johnson's continuity theorem for irreducible normed representations, including when the original normed vector space is incomplete. The quotient norm, countable density construction, and gliding hump explain the substantive steps rather than assuming the desired continuity in advance.

We first extend the scalar Hadamard three-circle theorem to a holomorphic Banach-space-valued function $F$. Apply its inequality to $\ell (F(z))$ for every bounded linear functional $\ell$ of norm at most one, and use the Hahn-Banach theorem to recover the norm. For the radii $1/R,1,R$ this givesNow take $F(z)=p(z{)}^{2^n}$. Even for noncommuting coefficients this is an algebra-valued holomorphic polynomial. Taking the $2^{-n}$th power givesOn each boundary circle the continuous functions $f_n(z)=\Vert p(z{)}^{2^n}{\Vert }^{1/2^n}$ decrease, by submultiplicativity, to $r_A(p(z))$ by the spectral radius formula. Their maxima decrease to the supremum of this pointwise limit. To justify that passage without assuming continuity of the spectral radius, take maximizing points along a convergent subsequence on the compact circle. For any fixed $k$, all later $f_n$ are bounded by $f_k$; continuity of $f_k$ therefore bounds the limiting maxima by $f_k$ at the limiting point. Taking the infimum over $k$ gives the desired upper bound, while the reverse bound is immediate.

Passing to the limit proves the spectral-radius three-circle inequality at the geometric mean:For a nonunital algebra, use its unitization of an algebra; the spectral radius of an original algebra element is unchanged. Zero boundary suprema cause no difficulty in the decreasing-limit argument.

It suffices first to treat unital algebras and a unital homomorphism. A surjective homomorphism between unital algebras automatically preserves the identity. If $B=0$, continuity is immediate. In the nonunital case, extend to the forced unitizations by $T^{+}(a+\lambda 1)=T(a)+\lambda 1$. This is still surjective and the unitization of a semisimple algebra is semisimple: its radical projects to zero in its scalar quotient, and its remaining intersection with the original algebra is its original radical. Continuity of the extension implies continuity of the original map.

An algebra homomorphism decreases the spectral radius, even without any continuity assumption, because it takes an inverse of $\lambda 1-a$ to an inverse of $\lambda 1-T(a)$. Suppose $a_n\to 0$ in $A$ and $T(a_n)\to b$ in $B$. Fix any $c\in B$ and choose $u,v\in A$ with $T(u)=b$, $T(v)=c$. PutConsider the polynomial $q_n(z)=T((1-z)w_n+zw)=(1-z)d_n+zd$. Its value at one is exactly $d$. On the outer circle $|z|=R$,On the inner circle $|z|=1/R$, spectral-radius decrease givesApplying part (i) in $B$ and then letting $n\to \infty$, with $R$ fixed, givesThis holds for every $R>1$, so $r_B(cb)=0$ for every $c\in B$.

This forces $b$ into the Jacobson radical. To see the criterion directly, if $b$ were outside a maximal left ideal $L$, then $L+Bb=B$, so $1=l+cb$ for some $l\in L$, $c\in B$. The equality $r_B(cb)=0$ makes $1-cb$ invertible, but this element equals $l\in L$, impossible in a proper left ideal. Hence $b$ lies in every maximal left ideal. Since $B$ is semisimple, $b=0$.

We have shown that the separating space of $T$ is zero. If $a_n\to a$ and $T(a_n)\to y$, apply the result to $a_n-a$ to obtain $y=T(a)$. Its graph is closed, and the closed graph theorem now provesThe crucial estimate uses part (i) with an exactly fixed central value; it does not assume the false general assertion that the spectral radius is continuous under norm limits.