Gelfand's Spectral Radius Formula/Bounded Linear Operator

Theorem
Let $\struct {X, \norm \cdot _X}$ be a Banach space over $\C$.

Let $\map B X$ be the set of bounded linear operators on $X$.

Let $\norm \cdot_{\map B X}$ denote the operator norm on $\map B X$.

Let $T \in \map B X$.

Let $\size {\map \sigma T}$ be the spectral radius of $T$.

Then:
 * $\ds \size {\map \sigma T} = \lim_{n \mathop \to \infty} \paren {\norm {T^n}_{\map B X} }^{1/n} = \inf_{n \mathop \in \N_{>0} } \paren {\norm {T^n}_{\map B X} }^{1/n}$

Proof
Let $z \in \C$ be such that:
 * $\ds \cmod z > \inf_{n \mathop \in \N_{>0} } \paren {\norm {T^n}_{\map B X} }^{1/n}$

That is, there exists an $m \in \N_{>0}$ such that:
 * $\ds \cmod z > \paren {\norm {T^m}_{\map B X} }^{1/m}$

Then:

exists, that is:
 * $z \in \C \setminus \map \sigma T$

Therefore:
 * $\forall z \in \C : \ds z \in \map \sigma T \implies \cmod z \le \inf_{n \mathop \in \N_{>0} } \paren {\norm{T^n}_{\map B X} }^{1/n}$

By definition of spectral radius we have:
 * $\ds \size {\map \sigma T} \le \inf_{n \mathop \in \N_{>0} } \paren {\norm{T^n}_{\map B X} }^{1/n}$

It remains to show:
 * $\ds \size{\map \sigma T} \ge \limsup_{n \mathop \to \infty} \paren {\norm {T^n}_{\map B X} }^{1/n}$

Let $\struct { {\map B X}^\ast, \norm {\cdot}_{ {\map B X}^\ast} }$ be the normed dual space of $\struct {\map B X, \norm \cdot_{\map B X} }$.

For $\ell \in {\map B X}^\ast$, we define a complex function $F_\ell : \C \setminus \map \sigma T \to \C$ by:
 * $\map {F_\ell} z := \map \ell {\paren {T - z I}^{-1} }$

By Resolvent Mapping is Analytic, $F_\ell$ is analytic on $\C \setminus \map \sigma T$.

Moreover, if $\cmod z > \norm T_{\map B T}$, then:

Thus for all $\delta > 0$ and $m \in \N$:

By Existence of Support Functional, for each $m \in \N$ there is an $\ell_m \in {\map B X}^\ast$ such that:
 * $\norm {\ell_m}_{ {\map B X}^\ast} = 1$
 * $\map {\ell_m} {T^m} = \norm {T^m}_{\map B T}$

Thus:

Letting $m \to \infty$, we obtain:
 * $\ds \limsup_{m \mathop \to \infty} \paren {\norm {T^m}_{\map B X} }^{1 / m} \le \size {\map \sigma T} + \delta$

The result follows by $\delta \to 0$.