光锥上的序及其诱导拓扑

在本文中，我们首先纠正了关于 Zeeman 提出作为其 Fine 拓扑可能替代方案的一种拓扑的一个近期误解。该误解是在尝试建立环境边界-环境空间宇宙学模型中的因果性时出现的。然后我们证明，该拓扑实际上是 $\mathbb{R}^4$ 上的 Euclid 拓扑与定义在光锥上的序拓扑（其序即 horismos）之间的交叉拓扑（intersection topology，G.M. Reed 意义上的）。最后同样重要的是，我们证明了由 horismos 导出的序拓扑属于 Zeeman 拓扑类。这些结果加速了对时空流形全局拓扑性质进行更深入和系统研究的需要。