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

Back to manuscript

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