Lorentzian Geometry

← Back to Domain-Specific Abstractions by Domain

2 domain-specific abstractions whose origin domain is Lorentzian Geometry.

• Cauchy surface — Select an achronal hypersurface that every inextendible timelike curve crosses exactly once, thereby carrying complete global causal initial data and characterizing globally hyperbolic spacetime.
• Globally hyperbolic spacetime — A spacetime with well-behaved causal structure admitting a Cauchy surface that every inextendible causal curve crosses exactly once.