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!