Spectrum of Element of Banach Algebra is Non-Empty

Theorem
Let $\struct {A, \norm {\, \cdot \,} }$ be a Banach algebra over $\C$.

Let $x \in A$.

Let $\map {\sigma_A} x$ be the spectrum of $x$ in $A$.

Then $\map {\sigma_A} x \ne \O$.

Proof
Suppose first that $\struct {A, \norm {\, \cdot \,} }$ is a unital banach algebra.

Let $\map {\rho_A} x$ be the resolvent set of $x$ in $A$.

that $\map {\sigma_A} x = \O$.

Then $\map {\rho_A} x = \C$.

Define $R : \C \to A$ by:
 * $\map R \lambda = \paren {\lambda {\mathbf 1}_A - x}^{-1}$

for each $\lambda \in \C$.

From Resolvent Mapping is Analytic: Banach Algebra, $R$ is analytic.

With view to apply Liouville's Theorem (Complex Analysis): Banach Space, we show that $R$ is bounded.

Let $\lambda \in \C$ be such that $\cmod \lambda > \norm x + 1$.

Then $\cmod \lambda > \norm x$, and so:
 * $\ds \norm {\frac x \lambda} < 1$

from.

From Element of Unital Banach Algebra Close to Identity is Invertible, we have:
 * $\ds \norm {\paren { {\mathbf 1}_A - \frac x \lambda}^{-1} } \le \frac 1 {1 - \norm {\frac x \lambda} } = \frac {\cmod \lambda} {\cmod \lambda - \norm x}$

by.

Hence, we have:
 * $\ds \norm {\paren {\lambda {\mathbf 1}_A - x}^{-1} } = \cmod \lambda^{-1} \norm {\paren { {\mathbf 1}_A - \frac x \lambda}^{-1} } \le \frac 1 {\cmod \lambda - \norm x} < 1$

From Resolvent Mapping is Continuous: Banach Algebra, $R$ is continuous.

From Continuous Function on Compact Space is Bounded, there exists $M > 0$ such that:
 * $\norm {\paren {\lambda {\mathbf 1}_A - x}^{-1} } \le M$ for $\lambda \in \C$ with $\cmod \lambda \le \norm x + 1$.

Then:
 * $\norm {\paren {\lambda {\mathbf 1}_A - x}^{-1} } \le \max \set {1, M}$ for all $\lambda \in \C$.

From Liouville's Theorem (Complex Analysis): Banach Space, $R$ is constant.

Then:
 * $\paren {2 {\mathbf 1}_A - x}^{-1} = \paren { {\mathbf 1}_A - x}^{-1}$.

Note that for $y, z \in A$ we have:
 * $y^{-1} = z^{-1}$ $y = z$.

So, we have:
 * $2 {\mathbf 1}_A - x = {\mathbf 1}_A - x$

giving:
 * ${\mathbf 1}_A = {\mathbf 0}_A$

This is impossible since $\struct {A, \norm {\, \cdot \,} }$ is unital.

Hence we have reached a contradiction and we have $\map {\sigma_A} x \ne \O$.

Suppose now that $\struct {A, \norm {\, \cdot \,} }$ is not unital.

Then, we have:
 * $\map {\sigma_A} x = \map {\sigma_{A_+} } {\tuple {x, 0} }$

where $A_+$ is the normed unitization of $A$.

From the previous case, we have $\map {\sigma_{A_+} } {\tuple {x, 0} } \ne \O$ and hence $\map {\sigma_A} x \ne \O$.