The endpoint theorem

The endpoint theorem links the existence of a sequence (curve), without accumulation points, in a manifold to the existence of an open embedding of that manifold so that the image of the given sequence (curve) has a unique endpoint. It plays a fundamental role in the theory of the abstract boundary as it implies that there is always an abstract boundary point to represent the endpoint of such sequences and curves. The endpoint theorem will be of interest to researchers analysing specific spacetimes as it shows how to construct a chart in the original manifold which contains the sequence (curve). In particular, it has application to the study of singularities predicted by the singularity theorems.