紧生成空间

它指向谁（出边）

推出 1

• 本页 ⟹ Top 与 Cond 的伴随推出
  $\mathbf{Top} \to \mathrm{Cond}$ 忠实、限制到 $k\mathbf{Top}$ 全忠实

  $\underline{X}$ 是凝聚态集。 对任一点集 $S$，$\underline{X}(S) = C(S, X)$；$C(-, X)$ 把 $\mathbf{CHaus}$ 里的有限不交并变成有限积、把商变成核（连续映射在无交并上与商上都是逐块决定的）。由凝聚态集的两条判据，$\underline{X}$ 是凝聚态集。∎

  伴随。 函子 $X \mapsto \underline{X}$ 与 $Z \mapsto Z(\cdot)$ 之间要给出

  $$\operatorname{Hom}_{\mathrm{Cond}}(\underline{X}, Z) \;\cong\; \operatorname{Hom}_{\mathbf{Top}}\bigl(X, Z(\cdot)\bigr)$$

  而 $\operatorname{Hom}_{\mathrm{Cond}}(\underline{X}, Z) = \operatorname{Nat}(C(-,X), Z)$，按米田式的计算，它正是「在 $S = \ast$ 处的取值」加上自然性 —— 也就是 $Z(\cdot) = Z(\ast)$ 上的一个元素，并且与所有 $\underline{X}(S) = C(S,X)$ 相容。这恰恰是「从 $X$ 出发的连续映射」，两边一一对应。∎

  忠实。 由上面的伴随式取 $Z = \underline{Y}$：

  $$\operatorname{Hom}_{\mathrm{Cond}}(\underline{X}, \underline{Y}) \;\cong\; \operatorname{Hom}_{\mathbf{Top}}\bigl(X, \underline{Y}(\cdot)\bigr)$$

  而关键的一步是：$\underline{Y}(\cdot) \cong kY$（把 $Y$ 换成它的 $k$-化，拓扑可能变细）。于是

  $$\operatorname{Hom}_{\mathrm{Cond}}(\underline{X}, \underline{Y}) \;\cong\; \operatorname{Hom}_{\mathbf{Top}}(X, kY) \;\cong\; \operatorname{Hom}_{k\mathbf{Top}}(kX, kY)$$

  （最后一个同构因为 $k\mathbf{Top}$ 是余反射子范畴，$k$ 是含入的右伴随：$kX$ 处的映射等同于一切从 $X$ 出发射入紧生成空间的映射。）

  当 $X$ 本身紧生成时 $kX = X$，上式就是 $\operatorname{Hom}_{\mathrm{Cond}}(\underline{X}, \underline{Y}) \cong \operatorname{Hom}_{k\mathbf{Top}}(X, kY)$，逐对 $X, Y$ 都是双射 —— 限制到 $k\mathbf{Top}$ 上全忠实。对一般 $X$，$X \to kX$ 是同一集合上的恒等映射，所以函子在态射层仍是单射 —— 在 $\mathbf{Top}$ 上忠实。∎

  一句话记住：「拓扑空间 $\to$ 凝聚态集」这件事丢掉的东西，正好就是 $k$-化丢掉的东西。 所以在 $k\mathbf{Top}$ 上它不丢信息。

定义引用 15

• Top 与 Cond 的伴随 用到 本页定义引用

  限制到紧生成空间上时那个函子变得全忠实。

• 紧生成空间是余反射子范畴 用到 本页定义引用

  命题说的是紧生成空间是余反射子范畴。

• CGWH 是 CG 的反射子范畴 用到 本页定义引用

  $\mathrm{CGWH}$ 是在紧生成之上再加弱 Hausdorff。

• k-开、k-闭与 k-拓扑 用到 本页定义引用

  $k$-开集就是用「从紧 Hausdorff 空间进来的映射」去测。

• kX 是紧空间的余极限 用到 本页定义引用

  $kX$ 是沿紧 Hausdorff 空间取余极限。

• 紧生成空间是余反射子范畴 用到 本页定义引用

  标的范畴 $k\mathbf{Top}$ 是紧生成空间。

• 紧生成空间对积封闭 用到 本页定义引用

  推论说的是紧生成空间作积。

• 紧生成空间的例子 用到 本页定义引用

  例子说的都是紧生成空间。

• 紧生成空间的等价刻画 用到 本页定义引用

  命题刻画的是紧生成性。

• 拓扑阿贝尔群嵌入凝聚态 用到 本页定义引用

  「全忠实」只在紧生成的那一部分成立。

• 局部紧阿贝尔群不是阿贝尔范畴 用到 本页定义引用

  反例用的是同一个群换拓扑，要靠紧生成那一套来看严格性。

• 紧生成空间是笛卡尔闭的 用到 本页定义引用

  定理说的是紧生成空间范畴。

• 内部 Hom 的函数空间刻画 用到 本页定义引用

  右边的靶 $Y$ 要求是紧生成空间，紧开拓扑才够用。

• 紧生成：弱 Hausdorff ⟺ 拟分离 用到 本页定义引用

  两个条件在紧生成空间上才等价。

• 紧块沿闭含入拼出的空间 用到 本页定义引用

  结论断言余极限仍紧生成。

谁指向它（入边）

定义引用 4

• 极限 → 本页定义引用

  紧生成空间的定义是「紧 Hausdorff 空间作为指标的余极限」。

• 紧 Hausdorff 空间范畴 → 本页定义引用

  指标取的是紧 Hausdorff 空间与它们之间的连续映射。

• 拓扑空间与开集 → 本页定义引用

  紧生成说的是拓扑空间上的一条性质。

• 紧 Hausdorff 空间范畴 → 本页定义引用

  测试空间取的是紧 Hausdorff 空间。