Successive approximation for quotient operators

ID: successive-approximation-for-quotient-operators

Let be a bounded linear operator with a Banach space. Suppose every has an approximation with and error less than . Repeatedly approximate the scaled residual to construct with and residual less than . Completeness sums the series, and continuity gives . Since , scaling proves . Hence is a quotient operator, even without assuming completeness of .

New to topics? Read the docs here!