Note that
divide by
and use continuity of inversion.
For
,
.
Then
Our proof that the spectrum of a bounded operator is always non-empty uses Liouville's Theorem and the Hahn-Banach Theorem, specifically the consequence of the latter asserting that the intersection of the kernels of all the bounded linear functionals on a normed linear space is
.
Theorem II.41
The spectrum is nonempty for every
.
Proof. Suppose
has empty spectrum. That is,
for all
.
Take
and consider
.
It follows from Proposition II.40 and the continuity of
that is analytic on (with derivative
).
Furthermore,
by Proposition II.40 — so is bounded on .
Then, by Liouville's Theorem, must be constant — and so
.
This means for all
and for all
,
we have
.
It follows from the Hahn-Banach Theorem that
for every , which is impossible.