Manuscript VII-H@1 · VII-H.tex · proposition · d20d2a9f
Proposition: Scale and dilation identities
An explicit extension and the full normalization class › Scale conversion and its exact meaning · lines 965–1001 · proof included or linked
VII-H@1#prop:scale, VII-H@1#eq:scale-conversion, VII-H@1#eq:dilation
For positive scales ,
For , ,
Scale conversion is additive and every test in (eq:actual-annihilator) is insensitive to it.
Proof. The Riesz identity at gives
Subtract the logarithms in (eq:reference-response) to obtain (eq:scale-conversion). For (eq:dilation), change variables in the weak integral. Four differentiations give the factor , while . The same delta identity completes the calculation.
Displayed formulas in this passage
VII-H@1#eq:scale-conversion · line 968
VII-H@1#eq:dilation · line 975
unlabeled · line 991