λEnter Calculus CompanionRegistered manuscripts, kept distinct

Manuscript VII-A-ST@1 · VII-A-ST.tex · section · c39a67a3

Causal support, switch equality, and classical comparison

Causal support, switch equality, and classical comparison · lines 1234–1244

VII-A-ST@1#eq:Df

Back to manuscript

For a nonzero test $f$ , define its truncated flat past

D_{f} = J_{η}^{-} (supp f) \cap {t \geq 0} .

Because $supp f ⋐ D_{+}^{\circ}$ , this set is compact, lies inside the supported laboratory, and may meet $Σ_{0}$ .

Displayed formulas in this passage

VII-A-ST@1#eq:Df · line 1238
$D_{f} = J_{η}^{-} (supp f) \cap {t \geq 0} .$

Nearby in this section