Proof.
To prove

is bounded, recall the following sufficient
condition for the convergence of a Neumann series which explicitly
reconstructs the inverse
 |
(3.42) |
Therefore, if

is not invertible, then

. Recall the
definition of
If

is not invertible, certainly

is not
invertible, so that

. This implies

so that

is bounded.
For closure, suppose
is a sequence satisfying
and
. The latter assumption brings into
existence a bounded map
such that
 |
(3.44) |
A little Banach algebra reveals
If

is selected so that

implies

, then we may realize
 |
(3.47) |
indicating

is invertible,
so that

is invertible, contradicting the selection

. Therefore,

, so that

is closed.
Now since
lies in a finite-dimensional space, closed and
bounded exactly prove that
is compact. A proof that
is non-empty is saved for
Fall 2019 Exercise 5.