Manuscript XIV-C@1 · XIV-C.tex · corollary · a34d13df
Corollary: Characteristic ambiguity is not a partial contact
Collision contacts cannot fill the characteristic gap · lines 1170–1180 · proof included or linked
XIV-C@1#cor:charambiguity
If two proposed prescriptions differ on by a nonzero distribution supported on , their difference is not a member of the frozen collision-contact class.
Proof. Every class member vanishes on by Proposition prop:rigidity; the proposed difference does not.
Nearby in this section
- section: Collision contacts cannot fill the characteristic gap
- lemma: Lemma: A disjoint neighborhood of the retained configuration
- proposition: Proposition: Rigidity of collision-supported changes
- section: Collision contacts cannot fill the characteristic gap
- section: Collision contacts cannot fill the characteristic gap