Let (M, g) be a time-oriented Lorentzian manifold and d the Lorentzian distance on M. The function τ(q) := supp<q d(p, q) is the cosmological time function of M, where as usual p < q means that p is in the causal past of q. This function is called regular iff τ(q) < ∞ for all q and also τ → 0 along every past inextendible causal curve. If the cosmological time function r of a spacetime (M, g) is regular it has several pleasant consequences: (i) it forces (M, g) to be globally hyperbolic; (ii) every point of (M, g) can be connected to the initial singularity by a rest curve (i.e. a timelike geodesic ray that maximizes the distance to the singularity); (iii) the function τ is a time function in the usual sense; in particular, (iv) τ is continuous, in fact, locally Lipschitz and the second derivatives of τ exist almost everywhere.
ASJC Scopus subject areas
- Physics and Astronomy (miscellaneous)