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

Back to manuscript

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

Nearby in this section