紧块沿闭含入拼出的空间

紧 Hausdorff 块沿闭含入的滤过余极限

prop.closed-inclusion-filtered-limit · 拓扑 · 紧 Hausdorff · 滤过余极限 · 紧生成 · 弱 Hausdorff

又称紧块沿闭含入·Proposition 2.3.9·Exercise 2.42

陈述

设 $X = \varinjlim_{i \in I} X_{i}$ 是紧 Hausdorff 空间沿闭含入的滤过余极限。则

$X$ 紧生成且弱 Hausdorff；
每个 $X_{i}$ 在 $X$ 中闭；
$X$ 的拓扑就是这些紧块的余极限拓扑： $U \subseteq X$ 开 $\iff$ 每个 $U \cap X_{i}$ 在 $X_{i}$ 中开。

反过来，每个紧生成的弱 Hausdorff 空间都是它自己的紧 Hausdorff 子空间沿闭含入的滤过余极限。

第 3 条是这条命题的实质。拓扑空间取余极限时，拓扑可能比「逐块看」的拓扑更粗或更细；这条说在这种情况下两侧恰好一致 —— 一个集合是开的，当且仅当它在每一块上的迹是开的。于是「 $X$ 上的连续函数」= 「一族在每块上连续的、互相相容的函数」，可以逐块处理。

为什么块要取紧 Hausdorff。 紧性是「有限子覆盖」这种有限性条件的几何化身；在凝聚态数学里，紧 Hausdorff 空间正是「探测者」。把一个大对象写成紧块的滤过余极限，就等于把它写成「越来越大的有限信息」的极限 —— 一切计算都可以停机在某个块上。

⭐ 用在哪：证明「拟分离的凝聚态集的底空间弱 Hausdorff」时，先把拟分离的 $X$ 写成紧 Hausdorff 块沿含入的滤过余极限，再对这一串块取底空间 —— 由这条，余极限仍紧生成弱 Hausdorff。

📌 与「 $\mathrm{CGWH}$ 的封闭性」那条分工：那条说的是「一般的 CGWH 空间沿闭含入拼起来还是 CGWH」，这条把块换成紧 Hausdorff，并额外给出拓扑的显式刻画与反向分解。