紧致化

一个 拓扑空间 的紧致化是一个更大的空间 ，包含 且也是紧致的。最小的紧致化是单点紧致化。例如，实数线不是紧致的。它包含在圆中，圆是通过添加一个无穷远点获得的。类似地，平面通过添加一个无穷远点而被紧致化，得到球面。

一个 拓扑空间 具有紧致化当且仅当它是完全正则且是 -空间。

扩展实数线 与序拓扑是 的两点紧致化。射影平面可以被视为平面的紧致化。