Manuscript VII-A@1 · VII-A.tex · section · 11da3fe6

The observation support is not the functional support

Support and comparison of switches › The observation support is not the functional support · lines 1574–1586

VII-A@1#eq:Df

For $f \in C_{c}^{\infty} (U)$ define

D_{f} = J_{η}^{-} (supp f) \cap M_{+} .

This set is compact: the time coordinate is bounded between $t_{0}$ and the largest observation time, and the spatial projection is bounded by the corresponding Minkowski light cones.

Displayed formulas in this passage

VII-A@1#eq:Df · line 1577
$D_{f} = J_{η}^{-} (supp f) \cap M_{+} .$

Nearby in this section

proposition: Proposition: Coefficientwise causal dependence
section: The observation support is not the functional support