Manuscript XIX-D@1 · XIX-D.tex · proposition · 1f47e33b
Proposition: Approximate and finite-probe cancellation need not be exact
Counterterm images, finite cancellation, and projection › Closure of the image is not exact membership · lines 754–785 · proof included or linked
XIX-D@1#prop:dense-image
There is a continuous linear repair map with dense image for which every finite coordinate test can be cancelled exactly, while the full defect cannot be cancelled.
Proof. Let , let carry the inherited norm, and let be the inclusion. Its image is dense but not all of . Take
Then , so no satisfies .
For the probe onto the first coordinates, choose
It cancels those probes exactly. Moreover,
Neither fact puts in the actual image.
Displayed formulas in this passage
unlabeled · line 766
unlabeled · line 773
unlabeled · line 781