“对于非紧 Hausdorff 空间,单点紧化成为 Hausdorff 空间的充要条件正是局部紧性。若 $x\in U\subseteq K$ 且 $K$ 紧,$U$ 与新增无穷远点的邻域 $…”
形式陈述
设
其中
任意开覆盖中,先选一个含
直觉
新点
例子与边界
当
对应关系把无穷远点送到
推论与应用
局部紧 Hausdorff 空间满足构造所需的分离条件,所得空间是一个紧化。紧集的补给出无穷远邻域,若
参考资料
- James R. Munkres, Topology, 2nd ed., Prentice Hall, 2000,§29, one-point compactification。
- Stephen Willard, General Topology, Dover reprint, 2004,Ch. 8, Alexandroff compactification。