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