Abstract

We analyze structures of covering space over a Lorentzian manifold. By use of this we show that, if a Lorentzian manifold is globally hyperbolic then for any two causally related points p and q, the number of homotopy classes of causal curves from p to q is finite and each of its homotopy classes has a causal geodesic from p to q.