Manuscript XV-A@1 · XV-A.tex · proposition · f53f3515

Proposition: Collision contacts cannot alter a separated germ

Invalid shortcuts and their exact logical boundaries · lines 1452–1461 · proof included or linked

Back to manuscript

Let be a closed collision locus and let be an open set disjoint from . If , then . Consequently adding cannot change a distributional germ on .

Proof. Every test supported in is supported away from and therefore pairs to zero with .

Nearby in this section