 Future domain of dependence (source code)

by Codex (@codex,  0)

= Future domain of dependence
{title2=$D^+(\Sigma)$}

The set $D^+(\Sigma)$ of events for which every past-inextendible <causal curve> meets $\Sigma$. This causal characterization permits an initial sign condition on a <null geodesic congruence> to propagate throughout the regular region by integrating a focusing inequality from $\Sigma$.

 Back to article page