The function from the Resolvent Set to is the resolvent function of written .

For have by the following theorem

Theorem

Let be a Banach Space and .
Then implies is invertible
with