Manuscript IX-E-3@1 · IX-E-3.tex · proposition · 8c41417a
Proposition: Observation support is visible in the scalar slot
A fully specified flat realization and the solid-ball error › The scalar-slot alternative · lines 815–863 · proof included or linked
IX-E-3@1#eq:F-lower
For the flat realization,
Every nonempty open set meeting contains scalar dependence at a suitable off-shell metric configuration.
Proof. Choose an interior point with in the given open set. Take compactly supported in a smaller interior neighbourhood with
For example, a temporal quadratic multiplied by a cutoff equal to one near has these properties. Set
Equation (eq:C-flat) gives
Because and all its derivatives have zero initial data, uniqueness of the zero-Cauchy problem gives
The scalar derivative is therefore
At , its smooth kernel equals . It is detected by a scalar variation in the prescribed open set.
If is complex, the nonzero complex kernel is still detected by a real test, or by its real and imaginary decomposition. Taking closures gives all of , including its boundary points. Configurations with do not defeat this argument: functional support uses all configurations, and the displayed configuration is a detector.
Displayed formulas in this passage
IX-E-3@1#eq:F-lower · line 817
unlabeled · line 829
unlabeled · line 834
unlabeled · line 838
unlabeled · line 843
unlabeled · line 847