紧化

一个例子

考虑带有通常拓扑的实数线。这个空间不是紧的；在某种意义上说，点向左或向右可以跑向无穷远。可以通过添加一个“无穷远点”，我们记作∞，将其变为一个紧空间。所得的紧化可以想象为一个圆周（作为欧几里得平面的有界闭子集它是紧的）。实线上每个跑向无穷的序列在紧化中将收敛到∞。
直觉上，这个过程可视为：首先将实数线收缩为x-轴上的开区间 (-π,π)；然后将这个区间的两端向上（y-轴正方向）弯曲，并移动使它们靠近，直到得到一个去掉一点（最上点）的圆周。这个点是我们的新点∞ 无穷远点，将它添进来成为一个完整的紧圆周。
稍微正式一点：我们将单位圆周上的点以角度表示，在弧度下，取从-π 到 π。将每个这样的点θ 与实数线上对应的tan(θ/2) 等同。这个函数在点π/2 没有定义，因为 tan(π/2) 没有定义；将这个点等同于我们的∞。
因为正切函数于其反函数都是连续的，我们的等同函数是实数线与去掉∞ 的单位圆周间的同胚。我们所构造的c称为实数线的亚历山德罗夫单点紧化，更一般的讨论见下。也可以增添两个点+∞ 和 -∞ 将实数线紧化，得到扩展的实数轴。

定义

拓扑空间X 作为稠密子集嵌入一个紧空间称为X 的一个紧化。将拓扑空间嵌入紧空间中经常有用，因为紧空间有一些特殊性质。
嵌入紧豪斯多夫空间可能特别让人感兴趣。因为每个紧豪斯多夫空间是一个吉洪诺夫空间，而吉洪诺夫空间的每个子空间是吉洪诺夫的，我们得出每个有豪斯多夫紧化的空间必须是吉洪诺夫空间。事实上，其逆亦真；吉洪诺夫空间是存在豪斯多夫紧化的充分必要条件。
很多有趣的非紧空间确实有特别类型的紧化，这个事实使紧化成为拓扑学中的常用技巧。

亚历山德罗夫单点紧化

对一个拓扑空间X，它的（亚历山德罗夫）单点紧化 αX 是通过添加额外一点∞（通常叫做无穷远点）得到的，定义新空间的开集是 X 中的开集以及具有G U {∞} 形式的集合，这里 G 是 X 的一个子集使得X \ G 闭且紧。X 的单点紧化是豪斯多夫的当且仅当X 是豪斯多夫的且局部紧。

斯通–切赫紧化

特别使人感兴趣的是豪斯多夫紧化，即紧化中紧空间是豪斯多夫的。一个拓扑空间有豪斯多夫紧化当且仅当它是吉洪诺夫的。在这种情形，存在惟一（差一个同胚）“最一般的”豪斯多夫紧化，X 的斯通－切赫紧化，记作βX。空间 βX 由泛性质刻画，任何从X 到一个紧豪斯多夫空间K 的连续函数可以惟一地延拓为从βX 到 Y 的连续函数。更确切地说， βX 是一个包含X 的紧豪斯多夫空间使得X 上由βX 诱导的拓扑与X 上本来的拓扑相同，且对任何连续映射f:X → K，这里 K 是一个紧豪斯多夫空间，存在惟一连续映射g:βX → K 使得 g 限制在X 上等同于f。
斯通–切赫紧化可具体地构造如下：设 C 是从X 到闭区间[0,1] 的连续函数集合。则 X 中每一点可与C 上一个取值函数等同。这样 X 可与[0,1]C 的一个子集等价，这里 [0,1]C 是从C 到 [0,1] 的所有函数集合。由吉洪诺夫定理后者是紧的，X 的闭包作为那个空间的子集也是紧的。这就是斯通–切赫紧化。

射影空间

实射影空间 RPⁿ 是欧几里得空间Rⁿ 的一个紧化。对 Rⁿ 中可能“逃逸”的每个“方向”，添加了一个无穷原点（但每个方向与其反方向等同）。我们上面构造的R 的亚历山德罗夫单点紧化事实上同胚于RP¹。但是注意射影平面 RP² 不是平面R² 的单点紧化，因为添加了不止一点。
复射影空间 CPⁿ 也是 Cⁿ 的一个紧化；平面 C 的亚历山德罗夫单点紧化是（同胚于）复射影直线CP¹，它可等价于黎曼球面。
转向射影空间是代数几何中的一个基本工具，因为添加了无穷远点后许多定理有更简单的表述。例如，RP² 中任何两条不同直线恰好交于一点，而在R² 中不成立。

李群的紧化与离散子群

在李群的离散子群的研究中，陪集的商空间通常为更精细紧化之候选，在更丰富的层次上保持结构而不止是拓扑。
例如模曲线是在每个尖点添加一点，使其成为黎曼曲面（而且因为它们是紧的，故为代数曲线）。这里尖点有一个好理由：曲线参数化了一个格空间，这些格可以退化（跑向无穷远），通常有许多方式（考虑到一些“层次”的辅助结构）。尖点代表了这些指向无穷的不同方向。
这是平面中的格。在 n-维欧几里得空间中也可提出同样的问题，例如关于GLₙ(R)/GLₙ(Z)。这是较难紧化的。现在可以利用一个一般的定理，博雷尔–塞尔紧化（Borel-Serre compactification）。