Manuscript IX-B@2 · IX-B-v2.tex · corollary · 8ce915d6
Corollary: Smooth spectator rule
Observation derivatives and smooth spectators › Smooth spectator attachment · lines 965–983 · proof included or linked
IX-B@2#cor:spectators
Suppose a selected graph coefficient has the form after fixing smooth configurations, where is smooth on . If these multipliers depend continuously on the configurations in the compact smooth seminorms required by Theorem thm:descendants, its numerical finite part is
Convergence is uniform on configuration sets for which those multiplier seminorms are bounded.
Proof. Use Theorem thm:descendants with and its uniform coefficient bounds.
Displayed formulas in this passage
unlabeled · line 973