紧 Haus 是反射子范畴

谁指向它（入边）

推出 1

• 紧 Hausdorff 空间范畴、紧 ⟹ 本页推出
  构造 $\beta X$ 并验证泛性质

  构造。 把 $X$ 送进 Tychonoff 方块：

  $$e_{X} : X \to [0,1]^{C(X,[0,1])}, \qquad x \mapsto (f(x))_{f \in C(X,[0,1])}$$

  每个分量 $x \mapsto f(x)$ 连续，所以 $e_{X}$ 连续（到积空间的映射连续 $\iff$ 每个分量连续）。由 Tychonoff 定理方块紧，取闭包

  $$\beta X := \overline{e_{X}(X)} \subseteq [0,1]^{C(X,[0,1])}$$

  闭子集紧、方块 Hausdorff 而子空间 Hausdorff，所以 $\beta X \in \mathbf{CHaus}$。

  函子性。 连续映射 $\varphi : X \to Y$ 诱导 $C(Y,[0,1]) \to C(X,[0,1])$（$g \mapsto g \circ \varphi$），进而诱导方块的映射 $[0,1]^{C(X,[0,1])} \to [0,1]^{C(Y,[0,1])}$；它把 $e_{X}(X)$ 送到 $e_{Y}(Y)$，于是把闭包送到闭包，得到 $\beta\varphi : \beta X \to \beta Y$。

  泛性质。 设 $K \in \mathbf{CHaus}$，$f : X \to K$ 连续。紧 Hausdorff 空间是 $T_{3.5}$ 的（不同的点可被连续函数分离），所以 $e_{K} : K \to [0,1]^{C(K,[0,1])}$ 是单射；把 $K$ 看成那个方块里的子空间，目标就变成「造一个 $\widehat{f}$ 使右下三角交换」：

  $$\begin{array}{ccc} X & \xrightarrow{\ e_{X}\ } & \beta X \subseteq [0,1]^{C(X,[0,1])} \\ & \searrow\scriptstyle{f} & \downarrow\scriptstyle{\widehat{f}} \\ & & K \subseteq [0,1]^{C(K,[0,1])} \end{array}$$

  用分量定义 $\widehat{f}$：对每个 $g \in C(K,[0,1])$，令第 $g$ 个分量为

  $$(\pi_{g} \circ \widehat{f}) := \pi_{g \circ f} : [0,1]^{C(X,[0,1])} \longrightarrow [0,1]$$

  即「把第 $g$ 个坐标读成 $g \circ f$ 那个坐标」。每个分量连续，所以 $\widehat{f}$ 连续；在 $e_{X}(x)$ 上验证：

  $$\bigl(\pi_{g} \circ \widehat{f}\bigr)\bigl(e_{X}(x)\bigr) = (g \circ f)(x) = \pi_{g}\bigl(j_{K}(f(x))\bigr)$$

  所以 $\widehat{f} \circ e_{X} = j_{K} \circ f$，即 $f = \widehat{f} \circ e_{X}$（把 $K$ 与它在方块里的像等同）。

  落回 $K$ 里。 还差 $\widehat{f}(\beta X) \subseteq j_{K}(K)$。只需在稠密的 $e_{X}(X)$ 上验：由上式 $\widehat{f}(e_{X}(x)) = j_{K}(f(x)) \in j_{K}(K)$。而 $j_{K}(K)$ 在方块里是紧的因而闭，取闭包即得 $\widehat{f}(\beta X) \subseteq j_{K}(K)$。

  唯一性。 两个这样的 $\widehat{f}$ 在稠密的 $e_{X}(X)$ 上相等，而目标是 Hausdorff，所以处处相等。∎

  关键只有两处：Tychonoff 定理给出紧性，$T_{3.5}$ 性保证 $e_{K}$ 是单射（否则「落回 $K$ 里」那一步没意义）。

定义引用 3

• 紧 → 本页定义引用

  Stone–Čech 紧化的构造跑在 Tychonoff 方块里；闭包紧、方块紧，用的都是紧性。

• 伴随函子 → 本页定义引用

  「$\mathbf{CHaus}$ 是反射子范畴」的意思就是含入函子有左伴随。

• Hausdorff 空间 → 本页定义引用

  $e_{K}$ 是单射那一步用的是紧 Hausdorff 空间是 $T_{3.5}$ 的。

类比 1

• 米田嵌入类比
  米田嵌入与 Stone–Čech 紧化：都是「嵌进一个大得多的世界」

  两件事在数学上没有谁推出谁（一个是范畴嵌入，一个是拓扑紧化），但招数是同一个： 手上这个对象缺东西，就先把它嵌进一个大环境，在那里把活干完，再回到原地。

  米田嵌入：$\mathcal{C} \hookrightarrow \widehat{\mathcal{C}}$。 $\mathcal{C}$ 里可能连两个对象的积都没有；$\widehat{\mathcal{C}}$ 里什么极限余极限都有。 所以在 $\mathcal{C}$ 里造不出来的东西，搬到 $\widehat{\mathcal{C}}$ 里造（稠密性定理就是把它拆成 $h_{X}$ 的余极限）。

  Stone–Čech 紧化：$X \hookrightarrow \beta X$。 $X$ 可能不紧、不 Hausdorff，连连续函数都少得可怜； $\beta X$ 里紧 Hausdorff 的一切好性质都有（Tychonoff 方块给的）。 所以在 $X$ 上做不到的分析，搬到 $\beta X$ 上做（凝聚态集就是拿 $\beta X$ 当探针）。

  共同的招：不要在原环境里硬造；先找（或造）一个「什么都不缺」的大环境，嵌进去，干完再拉回来。 💡 卡在「这个范畴 / 这个空间里根本没有我要的那个东西」时，回来想想这两条。