未来因果完备化上的拓扑

在时空 $X$ 的 Geroch-Kronheimer-Penrose 未来完备化 $IP(X)$ 上，有两种常用的拓扑。我们系统地考察其中较强的（可度量的）$\tau_+$，即最粗的因果连续拓扑，得到了一系列新结果，其中包括对两种拓扑收敛性差异的完整刻画。在我们的框架中，我们允许 $X$ 为一个 chr. 空间，从而可将 $IP$ 解释为定义在包含极低正则性时空的范畴上的幂等函子。此外，我们显式计算了多重扭曲时序空间上的 $(IP(X), \tau_+)$。