Manuscript IX-B-ST@1 · IX-B-ST.tex · proposition · f6af1523
Proposition: One compatible parent parameter
Parent conversion, derivative orbit, and weighted classes · lines 1227–1249 · proof included or linked
IX-B-ST@1#prop:oneparameter
Fix and define
If observation compatibility is imposed by the actual operation , the compatible descendant family is
with the same for every declared derivative and multiplier. An infinite-dimensional residue orbit therefore does not imply one independent normalization constant per derivative.
Proof. This is the linear image under of the one-parameter affine parent family. Independently choosing a new constant for a derivative would change, rather than follow from, the stipulated compatibility identity.
Displayed formulas in this passage
unlabeled · line 1230
unlabeled · line 1235