Solution

ID: past-exam-of-the-functional-analysis-ii-course-of-the-university-of-oxford/2023/3/a/ii/solution

Again put . Surjectivity gives, by image-kernel orthogonality for an adjoint,
If is real, , so . If is nonreal and , then ; reality of again implies . Thus is injective as well as surjective, without needing to assume separately that is not an eigenvalue.
Since is a bounded linear operator on the Banach space , the bounded inverse theorem makes bounded. Therefore
This is exactly membership in the resolvent set of an operator.

New to topics? Read the docs here!