Hausdorff separability of the boundaries for spacetimes and sequential spaces

Abstract

There are several ideal boundaries and completions in General Relativity sharing the topological property of being sequential, i.e., determined by the convergence of its sequences and, so, by some limit operator $L$. As emphasized in a classical article by Geroch, Liang and Wald, some of them have the property, commonly regarded as a drawback, that there are points of the spacetime $M$ non $T_1$-separated from points of the boundary $\partial M$. Here we show that this problem can be solved from a general topological viewpoint. In particular, there is a canonical minimum refinement of the topology in the completion $\overline{M}$ which $T_2$-separates the spacetime $M$ and its boundary $\partial M$ ---no matter the type of completion one chooses. Moreover, we analyze the case of sequential spaces and show how the refined $T_2$-separating topology can be constructed from a modification $L^{\ast }$ of the original limit operator $L$. Finally, we particularize this procedure to the case of the causal boundary and show how the separability of $M$ and $\partial M$ can be introduced as an abstract axiom in its definition.

arXiv comment29 pages, 8 figures, latex

References in corpus (10)

• On the interplay between Lorentzian Causality and Finsler metrics of Randers type
• Topology of the Future Chronological Boundary: Universality for Spacelike Boundaries
• The abstract boundary---a new approach to singularities of manifolds
• Universality of the Future Chronological Boundary
• Topology of the Causal Boundary for Standard Static Spacetimes
• Isocausal spacetimes may have different causal boundaries
• Sequential convergence in topological spaces
• The Attached Point Topology of the Abstract Boundary For Space-Time
• Topology of the Misner Space and its g-boundary
• The Strongly Attached Point Topology of the Abstract Boundary For Space-Time

Cited by in corpus (3)

• Topology of the Misner Space and its g-boundary
• Uniqueness of maximal spacetime boundaries
• Spacetimes Coverings and C-Boundary