Solution

ID: past-exam-of-the-functional-analysis-and-banach-and-c-algebras-course-of-the-university-of-oxford/2010/a/1/ii/solution

We use successive approximation for quotient operators. Fix with . The hypothesis gives with and . Inductively, if
apply the hypothesis to , obtaining with and . If a residual is zero, take all remaining terms zero.
The series converges in the Banach space because . Write its sum as . The continuity of and the residual estimate give
Scaling now yields
This ball inclusion proves that is a quotient operator. Completeness of was unnecessary: the convergent series is constructed in and its image has limit .

New to topics? Read the docs here!