In the theory of causal structure on Lorentzian manifolds, Geroch's theorem or Geroch's splitting theorem (first proved by Robert Geroch) gives a topological characterization of globally hyperbolic spacetimes.
Let be a globally hyperbolic spacetime. Then is strongly causal and there exists a global "time function" on the manifold, i.e. a continuous, surjective map such that:
Moreover, all Cauchy surfaces are homeomorphic, and is homeomorphic to where is any Cauchy surface of .
|This relativity-related article is a stub. You can help Wikipedia by expanding it.|
|This Differential geometry related article is a stub. You can help Wikipedia by expanding it.|
A portion of the proceeds from advertising on Digplanet goes to supporting Wikipedia.