条件的形式来表述）来推导普适性结论。
视界.在全域几何下可以证明有些时空中存在被称作视界的分界线，它们将时空中的一部分区域隔离起来。这样的最着名例子是黑洞：当质量被压缩到空间中的一块足够小的区域中后（相关长度为史瓦西半径），没有光子能从内部逸出。而由于任何有质量的粒子速度都无法超过光速，黑洞内部的物质也被封闭在视界内。不过，从视界之外到视界之内的通道依然是存在的，这表明黑洞的视界作为一种分界线并不是物理性质的屏障。早期的黑洞研究主要依赖于求得爱因斯坦场方程的精确解，着名的解包括球