紧化

紧致空间有"连续函数取到最值、序列有收敛子列"等分析性质，但 $\mathbb{R}$、开区间等常见空间并不紧。紧化 的思路是：把非紧空间嵌入一个紧 Hausdorff 空间，以最小的代价把紧致性的好处"补回来"。

需先掌握紧致性、连续映射与同胚，并理解分离公理中的 Hausdorff 条件。

定义

空间 $X$ 的紧化是一个对 $(K,e)$：$K$ 为紧 Hausdorff 空间，$e:X\to K$ 是稠密嵌入（$e(X)$ 在 $K$ 中稠密）。两个紧化 $(K_1,e_1)$、$(K_2,e_2)$ 等价，若存在保持 $X$ 的同胚 $K_1\cong K_2$。

• 并非所有空间都有 Hausdorff 紧化：$X$ 存在 Hausdorff 紧化当且仅当 $X$ 完全正则（Tychonoff 空间），即点与闭集可由连续函数分离
• 紧化之间有偏序：$K_1\le K_2$ 若存在保持 $X$ 的连续满射 $K_2\to K_1$。在此偏序下单点紧化最小、Stone-Čech紧化最大（见对应词条）

性质

• 紧化把非紧空间"关进"紧 Hausdorff 空间，使有界连续函数、测度等分析对象获得紧致性支撑
• $\mathbb{R}$ 的任何紧化的补集非空：$K\setminus X$ 是紧集且非空（否则 $X=K$ 紧，矛盾），它刻画了 $X$ 的"端"

示例

• $\mathbb{R}$ 的单点紧化 $\cong S^1$；$\mathbb{R}^n$ 的单点紧化 $\cong S^n$（球极投影）
• $(0,1)$ 的单点紧化 $\cong S^1$；$[0,1]$ 也是 $(0,1)$ 的紧化，把两端黏合的商映射 $[0,1]\to S^1$ 在 $(0,1)$ 上为恒等，体现单点紧化在偏序中最小

应用

紧化理论为分析学提供"紧化边界"（Stone-Čech 用于 $C^*$-代数与 Bohr 紧化），在代数几何中通过射影化把仿射簇补全为射影簇，也是拓扑动力系统研究非紧相空间的常用手法。