Geometric correction for approximate surjectivity

ID: geometric-correction-for-approximate-surjectivity

Let be a bounded linear operator, a Banach space, and a normed vector space. Suppose each residual has an approximate preimage of norm at most leaving error at most , where . Correct successive residuals to get vectors with . Their absolutely convergent sum in maps exactly to , and its norm is at most . Completeness of is not needed for this argument.

New to topics? Read the docs here!