# Banach algebras

## 1 Introduction

This note is a collection of results on Banach algebras whose proofs do not require the machinery of integrating functions that take values in Banach spaces, and that do not require the algebra to be commutative.

## 2 Banach algebras and ideals

Unless we say otherwise, every vector space we talk about is taken to be over $\u2102$. A Banach algebra is a Banach space $\U0001d504$ that is also an algebra satisfying $\parallel AB\parallel \le \parallel A\parallel \parallel B\parallel $ for $A,B\in \U0001d504$. We say that $\U0001d504$ is unital if there is a nonzero element $I\in \U0001d504$ such that $AI=A$ and $IA=A$ for all $A\in \U0001d504$, called a identity element. If $X$ is a Banach space, let $\mathcal{B}(X)$ denote the set of bounded linear operators $X\to X$, and let ${\mathcal{B}}_{0}(X)$ denote the set of compact linear operators $X\to X$ (to be compact means that the image of each bounded set is precompact). $\mathcal{B}(X)$ is a unital Banach algebra. ${\mathcal{B}}_{0}(X)$ is a Banach algebra, but it is unital if and only if $X$ is finite dimensional.

An ideal of a Banach algebra $\U0001d504$ is a vector subspace $\Im $ such that

$$\Im \U0001d504\subseteq \Im ,\U0001d504\Im \subseteq \Im .$$ |

We define the algebra quotient $\U0001d504/\Im $ by

$$\U0001d504/\Im =\{A+\Im :A\in \U0001d504\},$$ |

and define

$$(A+\Im )(B+\Im )=AB+\Im ;$$ |

this makes sense because $\Im $ is an ideal. We define a seminorm on $\U0001d504/\Im $ by

$$\parallel A+\Im \parallel =\underset{S\in \Im}{inf}\parallel A-S\parallel ;$$ |

we call this the quotient seminorm. In the following theorem we show that if the ideal is closed then this seminorm is a norm.

###### Theorem 1.

If $\Im $ is a closed ideal in a Banach algebra $\U0001d504$, then $\U0001d504/\Im $ is a Banach algebra with the quotient norm.

###### Proof.

Suppose that $\parallel A+\Im \parallel =0$. This means

$$\underset{S\in \Im}{inf}\parallel A-S\parallel =0.$$ |

Let ${S}_{n}\in \Im $ with $\parallel A-{S}_{n}\parallel \to 0$. That is, ${S}_{n}\to A$. Since $\Im $ is closed we get $A\in \Im $, and hence $A+\Im =0+\Im $, showing that the seminorm on the quotient is in fact a norm.

Let ${z}_{n}\in \U0001d504/\Im $ be a Cauchy sequence and let ${z}_{a(n)}$ be a subsequence with $$ for all $n\in \mathbb{N}$. We shall use the fact that $\U0001d504$ is complete to prove that the sequence ${z}_{n}$ converges and therefore that $\U0001d504/\Im $ is complete. We define a sequence ${A}_{n}$ in $\U0001d504$ inductively as follows. Let ${A}_{1}$ be any element of ${z}_{a(1)}$. Suppose that ${z}_{a(n)}={A}_{n}+\Im $, and let $T$ be any element of ${z}_{a(n+1)}$. We have

$$\parallel {z}_{a(n+1)}-{z}_{a(n)}\parallel =\underset{S\in \Im}{inf}\parallel T-{A}_{n}-S\parallel ,$$ |

hence

$$ |

As this is an infimum and the inequality is strict, there is some $S\in \Im $ for which $$, and we define ${A}_{n+1}=T-S$. Thus defined, the sequence ${A}_{n}$ satisfies $$ for all $n$ and hence is a Cauchy sequence (as the consecutive differences are summable). Thus ${A}_{n}$ converges to some $A\in \U0001d504$, as $\U0001d504$ is a Banach space. We have

$$\parallel {z}_{a(n)}-(A+\Im )\parallel =\underset{S\in \Im}{inf}\parallel {A}_{n}-A-S\parallel \le \underset{S\in \Im}{inf}\parallel {A}_{n}-A\parallel +\underset{S\in \Im}{inf}\parallel S\parallel =\parallel {A}_{n}-A\parallel ,$$ |

which tends to $0$ as $n\to \mathrm{\infty}$. Therefore ${z}_{a(n)}\to A+\Im $. As ${z}_{n}$ is a Cauchy sequence a subsequence of which converges to $A+\Im $, it follows that ${z}_{n}\to A+\Im $. We have shown that each Cauchy sequence in $\U0001d504/\Im $ converges, and hence $\U0001d504/\Im $ is complete. ∎

If $X$ is a Banach space, then ${\mathcal{B}}_{0}(X)$ is a closed ideal of the Banach algebra $\mathcal{B}(X)$. Hence with the quotient norm, the quotient algebra $\mathcal{B}(X)/{\mathcal{B}}_{0}(X)$ is a Banach algebra. Let ${\mathcal{B}}_{00}(X)$ denote the set of bounded finite rank linear operators $X\to X$ (to be finite rank means to have a finite dimensional image). ${\mathcal{B}}_{00}(X)$ is an ideal of $\mathcal{B}(X)$, but it is closed if and only if $X$ is finite dimensional. The closure of ${\mathcal{B}}_{00}(X)$ is contained in ${\mathcal{B}}_{0}(X)$. (If the closure is equal to ${\mathcal{B}}_{0}(X)$ we say that the Banach space $X$ has the approximation property.)

## 3 Left regular representation

A Banach algebra $\U0001d504$ is in particular a Banach space, and thus $\mathcal{B}(\U0001d504)$ is itself a Banach algebra with the operator norm. The left regular representation is the map $L:\U0001d504\to \mathcal{B}(\U0001d504)$ defined by

$$L(A)B=AB,A,B\in \U0001d504.$$ |

It is apparent that $L$ is an algebra homomorphism, and for $A,B\in \U0001d504$,

$$\parallel L(A)B\parallel =\parallel AB\parallel \le \parallel A\parallel \parallel B\parallel ,$$ |

showing that $\parallel L(A)\parallel \le \parallel A\parallel $. If $\U0001d504$ has identity element $I$, then $\parallel I\parallel =\parallel I\cdot I\parallel \le \parallel I\parallel \parallel I\parallel $, and as $\parallel I\parallel \ne 0$ we get $\parallel I\parallel \ge 1$. We’d like the norm on $\U0001d504$ to satisfy $\parallel I\parallel =1$, and we define

$${\parallel A\parallel}_{0}=\parallel L(A)\parallel =\underset{\parallel B\parallel \le 1}{sup}\parallel L(A)B\parallel \le \parallel A\parallel .$$ |

Check that $L$ is injective, from which it follows that $\parallel \cdot {\parallel}_{0}$ is nondegenerate and is thus a norm on $\U0001d504$. On the other hand,

$$\parallel A\parallel =\parallel L(A)I\parallel \le \parallel L(A)\parallel \parallel I\parallel ={\parallel A\parallel}_{0}\parallel I\parallel .$$ |

Therefore,

$${\parallel A\parallel}_{0}\le \parallel A\parallel \le \parallel I\parallel {\parallel A\parallel}_{0},$$ |

so $\parallel \cdot \parallel $ and $\parallel \cdot {\parallel}_{0}$ are equivalent norms on $\U0001d504$, and thus for most purposes anything we say using one can be said just as well using the other. We decree that if we are talking about a unital Banach algebra then its norm is such that $\parallel I\parallel =1$. Then, $L$ is an isometry.

## 4 Invertible elements

If $\U0001d504$ is a unital Banach algebra, we say that $A\in \U0001d504$ is invertible if there is some $B\in \U0001d504$ such that
$AB=I$ and $BA=I$, and we call ${A}^{-1}=B$ the inverse of $A$. We denote by
$\mathrm{GL}(\U0001d504)$ the set of invertible elements of $\U0001d504$, and we call $\mathrm{GL}(\U0001d504)$ the multiplicative group of the Banach algebra.
We now prove that a perturbation of norm $$ of the identity element in a unital Banach algebra remains in the multiplicative group.^{1}^{1}
1
Walter Rudin, Functional Analysis, second ed., p. 249, Theorem 10.7.

###### Theorem 2.

If $\U0001d504$ is a unital Banach algebra, $A\in \U0001d504$, and $$, then $I-A\in \mathrm{GL}(\U0001d504)$, and

$$\parallel {(I-A)}^{-1}-I-A\parallel \le \frac{{\parallel A\parallel}^{2}}{1-\parallel A\parallel}.$$ |

###### Proof.

Define ${S}_{n}={\sum}_{k=0}^{n}{A}^{k}$. For $n>m$ we have

$$\parallel {S}_{n}-{S}_{m}\parallel \le \sum _{k=m+1}^{n}{\parallel A\parallel}^{k}={\parallel A\parallel}^{m+1}\frac{1-{\parallel A\parallel}^{n-m}}{1-\parallel A\parallel}\le \frac{{\parallel A\parallel}^{m+1}}{1-\parallel A\parallel}.$$ |

Thus ${S}_{n}$ is a Cauchy sequence and so has a limit $S\in \U0001d504$. Because ${S}_{n}(I-A)=I-{A}^{n+1}$, we have

$$\parallel {S}_{n}(I-A)-I\parallel =\parallel {A}^{n+1}\parallel \le {\parallel A\parallel}^{n+1}\to 0,$$ |

so ${S}_{n}(I-A)\to I$. But

$$\parallel {S}_{n}(I-A)-S(I-A)\parallel \le \parallel {S}_{n}-S\parallel \parallel I-A\parallel \to 0,$$ |

so ${S}_{n}(I-A)\to S(I-A)$. Therefore $S(I-A)=I$. One similarly shows that $(I-A)S=I$, and hence that $I-A\in \mathrm{GL}(\U0001d504)$, with ${(I-A)}^{-1}=S$. Furthermore,

$$\parallel S-I-A\parallel =\underset{n\to \mathrm{\infty}}{lim}\parallel {S}_{n}-I-A\parallel =\underset{n\to \mathrm{\infty}}{lim}\parallel \sum _{k=2}^{n}{A}^{k}\parallel \le \underset{n\to \mathrm{\infty}}{lim}\sum _{k=2}^{n}{\parallel A\parallel}^{k}=\frac{{\parallel A\parallel}^{2}}{1-\parallel A\parallel}.$$ |

∎

In the above theorem we found that if $$ then ${(I-A)}^{-1}={\sum}_{n=0}^{\mathrm{\infty}}{A}^{n}$. This is an analog of the geometric series, and is called a Neumann series.

If $\U0001d504$ is a Banach algebra and $\varphi :\U0001d504\to \u2102$ is a linear map satisfying

$$\varphi (AB)=\varphi (A)\varphi (B),A,B\in \U0001d504,$$ |

then $\varphi $ is called a complex homomorphism on $\mathrm{A}$. That is, a complex homomorphism on $\U0001d504$ is an algebra homomorphism $\U0001d504\to \u2102$. It is straightforward to prove that if $\U0001d504$ is a unital Banach algebra and $\varphi $ is a complex homomorphism on $\U0001d504$, then $\varphi (I)=1$ and $\varphi (A)\ne 0$ for all $A\in \mathrm{GL}(\U0001d504)$. A linear functional on a Banach algebra need not be continuous, but in the following we prove that a nonzero complex homomorphism has operator norm 1, and in particular is continuous.

###### Corollary 3.

If $\U0001d504$ is a unital Banach algebra and $\varphi $ is a nonzero complex homomorphism on $\U0001d504$, then $\parallel \varphi \parallel =1$.

###### Proof.

Let $A\in \U0001d504$ with $$. If $\lambda \in \u2102$ with $|\lambda |\ge 1$ then $$, and by Theorem 2 we have $I-{\lambda}^{-1}A\in \mathrm{GL}(\U0001d504)$. Then,

$$1-{\lambda}^{-1}\varphi (A)=\varphi (I)-\varphi ({\lambda}^{-1}A)=\varphi (I-{\lambda}^{-1}A)\ne 0,$$ |

hence $1\ne {\lambda}^{-1}\varphi (A)$, i.e. $\varphi (A)\ne \lambda $. This shows that $$. ∎

The Gleason-Kahane-Zelazko theorem^{2}^{2}
2
Walter Rudin, Functional Analysis, second ed., p. 251, Theorem 10.9
states that if $\U0001d504$ is a unital Banach algebra and $\varphi $ is a linear functional on $\U0001d504$ satisfying
$\varphi (I)=1$ and $\varphi (A)\ne 0$ for $A\in \mathrm{GL}(\U0001d504)$, then $\varphi $ is a complex homomorphism.

In Theorem 2 we proved that a perturbation of the identity element remains in the multiplicative group. We
now prove that for any element of the multiplicative group, a sufficiently small perturbation of this element remains in the multiplicative
group, i.e. that the multiplicative group is an open set.^{3}^{3}
3
Walter Rudin, Functional Analysis, second ed., p. 253, Theorem 10.11.

###### Theorem 4.

If $\U0001d504$ is a unital Banach algebra, $A\in \mathrm{GL}(\U0001d504)$, $h\in \U0001d504$, and $$, then $A+h\in \mathrm{GL}(\U0001d504)$, and

$$ |

###### Proof.

$$, so by Theorem 2 we get $I+{A}^{-1}h\in \mathrm{GL}(\U0001d504)$. Therefore

$$A+h=A(I+{A}^{-1}h)\in \mathrm{GL}(\U0001d504).$$ |

Furthermore,

$${(A+h)}^{-1}-{A}^{-1}+{A}^{-1}h{A}^{-1}=\left({(I+{A}^{-1}h)}^{-1}-I+{A}^{-1}h\right){A}^{-1},$$ |

and by Theorem 2,

$\parallel \left({(I+{A}^{-1}h)}^{-1}-I+{A}^{-1}h\right){A}^{-1}\parallel $ | $\le \parallel {(I+{A}^{-1}h)}^{-1}-I+{A}^{-1}h\parallel \parallel {A}^{-1}\parallel $ | ||

$\le {\displaystyle \frac{{\parallel {A}^{-1}h\parallel}^{2}}{1-\parallel {A}^{-1}h\parallel}}\parallel {A}^{-1}\parallel $ | |||

$\le {\displaystyle \frac{{\parallel {A}^{-1}\parallel}^{3}{\parallel h\parallel}^{2}}{1-\parallel {A}^{-1}h\parallel}}$ | |||

$$ |

the final inequality is because $$ and hence $1-\parallel {A}^{-1}h\parallel >\frac{1}{2}$. ∎

## 5 Spectrum

If $\U0001d504$ is a unital Banach algebra and $A\in \U0001d504$, the spectrum of $A$ is the set

$$\sigma (A)=\{\lambda \in \u2102:\lambda I-A\notin \mathrm{GL}(\U0001d504)\},$$ |

and the spectral radius of $A$ is

$$r(A)=\underset{\lambda \in \sigma (A)}{sup}|\lambda |.$$ |

If $|\lambda |>\parallel A\parallel $ then $$ and so by Theorem 2,

$$\lambda I-A=\lambda \left(I-\frac{A}{\lambda}\right)\in \mathrm{GL}(\U0001d504),$$ |

so $\lambda \notin \sigma (A)$. Therefore,

$$r(A)\le \parallel A\parallel .$$ |

For $\lambda \notin \sigma (A)$, we define the resolvent of $A$ by

$$R(A,\lambda )={(A-\lambda I)}^{-1}\in \mathrm{GL}(\U0001d504).$$ |

The following is the resolvent identity.

###### Theorem 5 (Resolvent identity).

If $\U0001d504$ is a unital Banach algebra, $A\in \U0001d504$, and $\lambda ,\mu \notin \sigma (A)$, then

$$R(A,\lambda )-R(A,\mu )=(\lambda -\mu )R(A,\lambda )R(A,\mu ).$$ |

###### Proof.

We have

$(A-\lambda I)(R(A,\lambda )-R(A,\mu ))(A-\mu I)$ | $=$ | $(A-\lambda I)R(A,\lambda )(A-\mu I)$ | ||

$-(A-\lambda I)R(A,\mu )(A-\mu I)$ | ||||

$=$ | $(A-\mu I)-(A-\lambda I)$ | |||

$=$ | $(\lambda -\mu )I.$ |

∎

The resolvent set of $A$ is $\rho (A)=\u2102\setminus \sigma (A)$. The following theorem implies that the resolvent set of $A$ is open, and therefore that the spectrum of $A$ is closed. Because $r(A)\le \parallel A\parallel $, it follows that $\sigma (A)$ is a compact set.

###### Theorem 6.

If $\U0001d504$ is a unital Banach algebra, $A\in \U0001d504$, and $\lambda \in \rho (A)$, then $$ implies that $\mu \in \rho (A)$.

Moreover, $\sigma (A)$ is nonempty, and although $r(A)$ may be strictly less than $\parallel A\parallel $, the spectral
radius is equal to a limit of
norms.^{4}^{4}
4
Gert K. Pedersen, Analysis Now, revised printing, p. 131, Theorem 4.1.13. This proof does not use the holomorphic functional
calculus, while Walter Rudin, Functional Analysis, second ed., p. 253, Theorem 10.13 does. That is, to read Pedersen’s proof one does
not have to make sense of integrals of functions taking values in a Banach space, while to read Rudin’s one does.

###### Theorem 7.

If $\U0001d504$ is a unital Banach algebra and $A\in \U0001d504$, then $\sigma (A)$ is nonempty, and

$$r(A)=\underset{n\to \mathrm{\infty}}{lim}{\parallel {A}^{n}\parallel}^{1/n}.$$ |

Using the fact that the spectrum of any element of a unital Banach algebra is nonempty, one can prove the
Gelfand-Mazur theorem, which states that if $\U0001d504$ is a unital Banach algebra for which every nonzero element is invertible, then there is an isometric
algebra isomorphism $\U0001d504\to \u2102$.^{5}^{5}
5
Walter Rudin, Functional Analysis, second ed., p. 255, Theorem 10.14.

The following theorem shows that $\lambda \mapsto R(A,\lambda )$ is a continuous function $\rho (A)\to \U0001d504$. From this and the resolvent identity it follows that for any $\lambda \in \rho (A)$,

$$\underset{\mu \to \lambda}{lim}\frac{R(A,\mu )-R(A,\lambda )}{\mu -\lambda}=R{(A,\lambda )}^{2},$$ |

i.e.

$${R}^{\prime}(A,\lambda )=R{(A,\lambda )}^{2}.$$ |

###### Theorem 8.

If $\U0001d504$ is a unital Banach algebra and $A\in \U0001d504$, then $\lambda \mapsto R(A,\lambda )$ is a continuous function $\rho (A)\to \U0001d504$.

###### Proof.

From Theorem 5, if $\lambda ,\mu \in \rho (A)$ then

$$\parallel {R}_{\mu}-{R}_{\lambda}\parallel \le |\mu -\lambda |\parallel {R}_{\lambda}\parallel \parallel {R}_{\mu}\parallel ,$$ | (1) |

where we write ${R}_{\lambda}=R(A,\lambda )$. As

$$\parallel {R}_{\mu}-{R}_{\lambda}\parallel \ge \parallel {R}_{\mu}\parallel -\parallel {R}_{\lambda}\parallel ,$$ |

we get

$$\parallel {R}_{\mu}\parallel \le |\lambda -\mu |\parallel {R}_{\lambda}\parallel \parallel {R}_{\mu}\parallel +\parallel {R}_{\lambda}\parallel ,$$ |

which is

$$\parallel {R}_{\mu}\parallel (1-|\lambda -\mu |\parallel {R}_{\lambda}\parallel )\le \parallel {R}_{\lambda}\parallel .$$ | (2) |

If $\lambda \in \rho (A)$ and $|\mu -\lambda |\le \frac{1}{2}\cdot {\parallel {R}_{\lambda}\parallel}^{-1}$, then from Theorem 6 we get $\mu \in \rho (A)$, and combined with (2) this gives

$$\parallel {R}_{\mu}\parallel \le 2\parallel {R}_{\lambda}\parallel .$$ |

Applying this to (1) we have that if $\lambda \in \rho (A)$ and $|\mu -\lambda |\le \frac{1}{2}\cdot {\parallel {R}_{\lambda}\parallel}^{-1}$ then

$$\parallel {R}_{\mu}-{R}_{\lambda}\parallel \le 2|\mu -\lambda |{\parallel {R}_{\lambda}\parallel}^{2},$$ |

from which it follows that $\lambda \mapsto {R}_{\lambda}$ is a continuous function $\rho (A)\to \U0001d504$. ∎

The following theorem tells us that if the spectrum of an element of a unital Banach algebra is contained in an open set,
then the spectrum of a sufficiently small perturbation of that element is contained in the same open set.^{6}^{6}
6
Walter Rudin, Functional Analysis, second ed., p. 257, Theorem 10.20.

###### Theorem 9.

If $\U0001d504$ is a unital Banach algebra, $A\in \U0001d504$, and $\mathrm{\Omega}$ is an open subset of $\u2102$ containing $\sigma (A)$, then there is some $\delta >0$ such that $$ implies that $\sigma (A+h)\subset \mathrm{\Omega}$.

###### Proof.

If $|\lambda |>\parallel A\parallel $, then

$$R(A,\lambda )={\left(A-\lambda I\right)}^{-1}=\frac{1}{\lambda}\cdot {\left(\frac{A}{\lambda}-I\right)}^{-1}=-\frac{1}{\lambda}\cdot \sum _{n=0}^{\mathrm{\infty}}{\left(\frac{A}{\lambda}\right)}^{n},$$ |

hence

$$\parallel R(A,\lambda )\parallel \le \frac{1}{|\lambda |}\sum _{n=0}^{\mathrm{\infty}}{\left(\frac{\parallel A\parallel}{|\lambda |}\right)}^{n}=\frac{1}{|\lambda |}\cdot \frac{1}{1-\frac{\parallel A\parallel}{|\lambda |}}=\frac{1}{|\lambda |-\parallel A\parallel}.$$ |

Hence ${lim}_{|\lambda |\to \mathrm{\infty}}\parallel R(A,\lambda )\parallel =0$. By Theorem 8, $\lambda \mapsto \parallel R(A,\lambda )\parallel $ is a continuous function $\rho (A)\to \mathbb{R}$. It follows that there is some $M>0$ such that $\lambda \notin \mathrm{\Omega}$ implies that $$. If $$ and $\lambda \notin \mathrm{\Omega}$, then

$$ |

which implies that $R(A,\lambda )h+I\in \mathrm{GL}(\U0001d504)$. From this we obtain that

$$A+h-\lambda I=(A-\lambda I)(R(A,\lambda )h+I)\in \mathrm{GL}(\U0001d504),$$ |

which means that $\lambda \notin \sigma (A+h)$. We have shown that if $$ then $\sigma (A+h)\subset \mathrm{\Omega}$. ∎

The following theorem gives conditions under which we can evaluate a holomorphic function at an element of a unital Banach algebra, and shows that the image of the spectrum is contained in the spectrum of the image.

###### Theorem 10.

If $\U0001d504$ is a unital Banach algebra, $A\in \U0001d504$, $\parallel A\parallel \le r$, and $f(z)={\sum}_{n=0}^{\mathrm{\infty}}{\alpha}_{n}{z}^{n}$ is holomorphic on a domain that contains the closed disc $\overline{{B}_{r}(0)}$, then

$$f(A)=\sum _{n=0}^{\mathrm{\infty}}{\alpha}_{n}{A}^{n}\in \U0001d504,$$ |

and if $\lambda \in \sigma (A)$ then $f(\lambda )\in \sigma (f(A))$.

###### Proof.

For $N>M$,

$\parallel {\displaystyle \sum _{n=0}^{N}}{\alpha}_{n}{A}^{n}-{\displaystyle \sum _{n=0}^{M}}{\alpha}_{n}{A}^{n}\parallel $ | $=$ | $\parallel {\displaystyle \sum _{n=M+1}^{N}}{\alpha}_{n}{A}^{n}\parallel $ | ||

$\le $ | $\sum _{n=M+1}^{N}}|{\alpha}_{n}|\parallel {A}^{n}\parallel $ | |||

$\le $ | $\sum _{n=M+1}^{N}}|{\alpha}_{n}|{\parallel A\parallel}^{n$ | |||

$\le $ | $\sum _{n=M+1}^{N}}|{\alpha}_{n}|{r}^{n}.$ |

Because the radius of convergence of ${\sum}_{n=0}^{\mathrm{\infty}}{\alpha}_{n}{z}^{n}$ is $>r$, it follows that the above sums tend to $0$ as $M\to \mathrm{\infty}$, showing that $f(A)\in \U0001d504$. Define

$${P}_{n}(A,\lambda )=\sum _{k=0}^{n}{\lambda}^{k}{A}^{n-k},$$ |

giving

$$(A-\lambda I){P}_{n}(A,\lambda )=\sum _{k=0}^{n}\left({\lambda}^{k}{A}^{n-k+1}-{\lambda}^{k+1}{A}^{n-k}\right)={A}^{n+1}-{\lambda}^{n+1}I.$$ |

We have

$$f(A)-f(\lambda )I=\sum _{n=1}^{\mathrm{\infty}}{\alpha}_{n}({A}^{n}-{\lambda}^{n}I)=(A-\lambda I)\sum _{n=1}^{\mathrm{\infty}}{\alpha}_{n}{P}_{n-1}(A,\lambda ).$$ |

But if $|\lambda |\le r$ then

$$\parallel {P}_{n}(A,\lambda )\parallel \le \sum _{k=0}^{n}{|\lambda |}^{k}\parallel {A}^{n-k}\parallel \le \sum _{k=0}^{n}{|\lambda |}^{k}{\parallel A\parallel}^{n-k}\le \sum _{k=0}^{n}{r}^{n}=(n+1){r}^{n},$$ |

and if $N>M$ then

$\parallel {\displaystyle \sum _{n=1}^{N}}{\alpha}_{n}{P}_{n-1}(A,\lambda )-{\displaystyle \sum _{n=1}^{M}}{\alpha}_{n}{P}_{n-1}(A,\lambda )\parallel $ | $=$ | $\parallel {\displaystyle \sum _{n=M+1}^{N}}{\alpha}_{n}{P}_{n-1}(A,\lambda )\parallel $ | ||

$\le $ | $\sum _{n=M+1}^{N}}|{\alpha}_{n}|\parallel {P}_{n-1}(A,\lambda )\parallel $ | |||

$\le $ | $\sum _{n=M+1}^{N}}|{\alpha}_{n}|n{r}^{n-1},$ |

and as ${\sum}_{n=0}^{\mathrm{\infty}}{\alpha}_{n}{z}^{n}$ has radius of convergence $>r$ this tends to $0$ as $M\to \mathrm{\infty}$. Therefore

$$\sum _{n=1}^{\mathrm{\infty}}{\alpha}_{n}{P}_{n-1}(A,\lambda )\in \U0001d504,$$ |

and hence

$$f(A)-f(\lambda )I=(A-\lambda I)\sum _{n=1}^{\mathrm{\infty}}{\alpha}_{n}{P}_{n-1}(A,\lambda )\in \U0001d504.$$ |

If $\lambda \in \sigma (A)$ then $A-\lambda I\notin \mathrm{GL}(\U0001d504)$, and as we have written $f(A)-f(\lambda )I$ as a product of $A-\lambda I$ and another element of $\U0001d504$, it follows that $f(A)-f(\lambda )I\notin \mathrm{GL}(\U0001d504)$, and thus $f(\lambda )\in \sigma (f(A))$. ∎

###### Theorem 11.

If $\U0001d504$ is a unital Banach algebra, $A\in \U0001d504$, and ${z}_{0}\in \u2102$, then

$$\sigma (A-{z}_{0}I)=\sigma (A)-{z}_{0}.$$ |

###### Proof.

Let $f(z)=z-{z}_{0}$. If $\lambda \in \sigma (A)$ then by Theorem 10,

$$\lambda -{z}_{0}=f(\lambda )\in \sigma (f(A))=\sigma (A-{z}_{0}I),$$ |

so

$$\sigma (A)-{z}_{0}\subseteq \sigma (A-{z}_{0}I).$$ |

Let $B=A-{z}_{0}I$ and $g(z)=z+{z}_{0}$. If $\lambda \in \sigma (B)$ then by Theorem 10,

$$\lambda +{z}_{0}=g(\lambda )\in \sigma (g(B))=\sigma (A),$$ |

so

$$\sigma (B)+{z}_{0}\subseteq \sigma (A),$$ |

i.e.

$$\sigma (A-{z}_{0})\subseteq \sigma (A)-{z}_{0}.$$ |

∎