Dense open-unit-ball image criterion
ID: dense-open-unit-ball-image-criterion
Let be a bounded linear operator on a Banach space, and let be the open unit ball. If , then . Scale the density statement and correct a target by a geometrically decreasing sequence of approximate preimages. Completeness makes their sum converge inside , and continuity of makes its image equal the target.
New to topics? Read the docs here!