Proof.
If

is injective and the range of

is closed, consider
the operator
 |
(10.30) |
which is known to have a closed range. This means the domain
is also closed, from which we can decide that the graph is closed,
so that the operator and its inverse are continuous. Therefore,
we take
 |
(10.31) |
Now lets show

is satisfactory. Let

be given,
then

, and we can determine that
 |
(10.32) |
It remains to simply contract

to
find the desired result.
Now suppose there exists such an
. To show that
is injective, suppose
. By linearity we have the inequality
 |
(10.33) |
which implies

by squeezing the difference down. We are
left to show that

is closed. Suppose

. By
the estimate involving, we can determine that the sequence

is Cauchy, from which we select its limit

.
Then to show

, let us utilize the triangle inequality
 |
(10.34) |
The left summand vanishes because

is bounded and the
right summand vanishes by the assumption

.
Therefore,

is closed.
The above shows
(a)
(b).