紧生成空间是余反射子范畴kification

紧生成空间是 $\mathbf{Top}$ 的余反射子范畴

命题
依赖深度 layer 18
拓扑学
紧生成空间与弱 Hausdorff

prop.cg-coreflective · 拓扑 · 紧生成 · 余反射 · 伴随

又称紧生成空间是余反射的·kification·紧生成是余反射子范畴·k 是右伴随·Proposition 2.3.4·Prop 2.3.4

陈述

紧生成空间构成的范畴 $k\mathbf{Top}$ 是 $\mathbf{Top}$ 的余反射子范畴：含入函子 $i : k\mathbf{Top} \hookrightarrow \mathbf{Top}$ 有右伴随

k : \mathbf{Top} \longrightarrow k\mathbf{Top}, \qquad X \mapsto kX

即 $i \dashv k$ 。 $kX$ 与 $X$ 有同一个集合，拓扑换成 $k$ -拓扑。

说明

要证的是：对每个紧生成空间 $X$ 与每个拓扑空间 $Y$ ，

\operatorname{Hom}_{\mathbf{Top}}(X,\ Y) \;\cong\; \operatorname{Hom}_{k\mathbf{Top}}\bigl(X,\ kY\bigr).

证明。 余单位是 $\varepsilon_{Y} : kY \to Y$ （恒等映射，拓扑从细到粗，连续）。

先证 $kY$ 确实紧生成：把每个连续映射 $S \to Y$ （ $S$ 紧 Hausdorff）复合 $\varepsilon_{Y}$ 抬成 $S \to kY$ ，再用 $kY$ 的定义（ $k$ -开集的取法）验证「由这些映射决定拓扑」。
于是任意 $f : X \to Y$ 连续（ $X$ 紧生成）时， $f = \varepsilon_{Y} \circ f': X \to kY$ 给出一个到 $kY$ 的连续映射 $f'$ ：设 $U \subseteq kY$ 开，要证 $f'^{-1}(U)$ 在 $X$ 中开。由 $X$ 紧生成，只需对每个紧 $L \subseteq X$ 验证 $f'^{-1}(U) \cap L$ 在 $L$ 中开。而 $f|_{L} : L \to Y$ 连续、 $L$ 紧，故 $f(L)$ 紧； $U \cap f(L)$ 在 $f(L)$ 中开，于是 $(f|_{L})^{-1}\bigl(U \cap f(L)\bigr) = f'^{-1}(U) \cap L$ 在 $L$ 中开。∎
反向由 $\varepsilon_{Y}$ 连续直接得到。这样两个方向互逆，就是那个同构。

⭐ 与紧 Hausdorff 对照着记： $\mathbf{CHaus}$ 是 $\mathbf{Top}$ 的反射子范畴（含入函子有左伴随 $\beta$ ），而 $k\mathbf{Top}$ 是余反射的（含入函子有右伴随 $k$ ）。一个把空间「收紧」，一个把空间「松开」—— 所以前者对极限封闭，后者对余极限封闭。

English draft

Translation of the statement above · machine-drafted, pending author review · the Chinese text is authoritative.

Abstract

The category $k\mathbf{Top}$ of compactly generated spaces is a coreflective subcategory of $\mathbf{Top}$ : the inclusion $i$ has a right adjoint $k$ that keeps the underlying set and replaces the topology by the $k$ -topology, $i \dashv k$ , i.e. $\operatorname{Hom}_{\mathbf{Top}}(X, Y) \cong \operatorname{Hom}_{k\mathbf{Top}}(X, kY)$ for compactly generated $X$ . The counit $kY \to Y$ is the identity map, continuous because the $k$ -topology is the finer one.

它指向谁（出边）

推出 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}$ 上它不丢信息。

谁指向它（入边）

定义引用 5

紧生成空间 → 本页定义引用

命题说的是紧生成空间是余反射子范畴。
伴随函子 → 本页定义引用

「余反射」的意思是含入函子有右伴随。
k-开、k-闭与 k-拓扑 → 本页定义引用

余反射的函子 $k$ 就是换成 $k$ -拓扑。
紧生成空间 → 本页定义引用

标的范畴 $k\mathbf{Top}$ 是紧生成空间。
伴随函子 → 本页定义引用

「余反射」= 含入函子有右伴随。

参考

Le Stum, An introduction to condensed mathematics, §2.3

常见问法 3 条

什么是反射子范畴也看反射子范畴、紧 Haus 是反射子范畴
什么是紧生成空间也看紧生成空间、底拓扑空间
什么是k拓扑也看 k-开、k-闭与 k-拓扑、紧生成空间

同一星团的其他概念 23 个

继续

在星图里打开「紧生成空间是余反射子范畴」　·　全部 709 个概念　·　 Markdown 原文　·　 English entry　·　读图指南与记号表