Manuscript IX-D@3 · IX-D-v3.tex · section · 3ad4586e

D2: support of the constructed free outputs

D2: support of the constructed free outputs · lines 1007–1017

For a compact observation set $F ⋐ M_{+}$ , define

P_{F} = J^{-} (F) \cap {t \geq 0} .

This set is compact in Minkowski space: time lies between zero and the largest time in $F$ , and finite propagation bounds the spatial coordinates.

Displayed formulas in this passage