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
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
- proposition: Proposition: Failure of a sufficient product test
- section: Invalid shortcuts and their exact logical boundaries
- section: Invalid shortcuts and their exact logical boundaries
- proposition: Proposition: Action symmetry does not establish observable closure
- section: Invalid shortcuts and their exact logical boundaries