Manuscript XVI-M@1 · XVI-M.tex · definition · 7346c909
Definition: Coherent contact space
M.3 Contact space, graph maps, and invisible directions · lines 885–895
XVI-M@1#def:Ccoh
Let . After Theorem thm:M2, and using XVI-L, thm:L5,
(using Theorem thm:M2, hence Theorem thm:wpA-Sbv; raw labelled slots ). Coordinates are with and . The regression-preserving subspace consists of the coordinates with ; it has dimension .
Displayed formulas in this passage
unlabeled · line 889
Nearby in this section
- definition: Definition: Three graph maps and two named variants
- section: M.3 Contact space, graph maps, and invisible directions
- proposition: Proposition: Reduction of G
- remark: Remark: Faithfulness for the specializations
- theorem: Theorem: Ambient freedom versus graph-visible collision freedom
- lemma: Lemma: Reported computation for M.3