紧生成空间范畴函子问题：为何k是j的右伴随函子？

咱们先把已知的背景再顺一遍：我们聚焦紧生成空间构成的子范畴$kTop \subset Top$，这里有两个关键函子：

• 典范嵌入函子 $j: kTop \to Top$：说白了就是把紧生成空间直接当作普通拓扑空间来看待，没改变空间本身，只是换了范畴语境；
• 函子 $k: Top \to kTop$：它给任意拓扑空间$T$赋予紧生成空间拓扑，这个拓扑的定义很明确：$U \subset X$是开集当且仅当对所有局部紧空间$K$和连续映射$s:K \to X$，$s^{-1}U \subset K$都是开集。

要证明$k$是$j$的右伴随，核心就是要验证伴随函子的核心等价条件：对任意紧生成空间$Y \in kTop$、任意拓扑空间$X \in Top$，存在一个自然双射：
$$\text{Hom}{Top}(j(Y), X) \cong \text{Hom}{kTop}(Y, k(X))$$

下面咱们一步步拆解这个双射的构造和验证：

第一步：构造从左到右的映射 #

假设$f: j(Y) \to X$是$Top$中的连续映射（也就是普通拓扑空间之间的连续映射），我们要把它对应到$kTop$中的一个连续映射$\tilde{f}: Y \to k(X)$。

其实$\tilde{f}$就是$f$本身作为集合映射（因为$j(Y)$作为集合就是$Y$，$k(X)$作为集合就是$X$），关键是要证明它在$kTop$中连续。根据$k(X)$的拓扑定义，$\tilde{f}$连续等价于：对任意局部紧空间$K$和连续映射$s:K \to Y$，复合映射$\tilde{f} \circ s: K \to k(X)$是连续的。

而$f$是$Top$中的连续映射，$s$也是连续的，所以$f \circ s: K \to X$本身就是连续的。再看$k(X)$的拓扑要求：对$k(X)$中的开集$U$，$(f \circ s)^{-1}(U) = s^{-1}(f{-1}(U))$必须是$K$中的开集——这正好满足，因为$f \circ s$连续，所以原像就是开集。因此$\tilde{f}$确实是$kTop$中的连续映射。

第二步：构造从右到左的映射 #

反过来，假设$g: Y \to k(X)$是$kTop$中的连续映射，我们要对应到$Top$中的连续映射$\tilde{g}: j(Y) \to X$。

同样，$\tilde{g}$就是$g$本身作为集合映射，现在要证明它在$Top$中连续：也就是对$X$中的任意开集$U$，$\tilde{g}^{-1}(U)$是$j(Y)$（也就是$Y$）中的开集。

因为$Y$是紧生成空间，要证明一个集合是开集，只需要验证：对任意局部紧空间$K$和连续映射$s:K \to Y$，$s^{{-1}(\tilde{g}}{-1}(U)) = (g \circ s)^{-1}(U)$是$K$中的开集。

而$g$是$kTop$中的连续映射，所以$g \circ s: K \to k(X)$是连续的。另外，$X$中的开集$U$必然是$k(X)$中的开集——因为对任意局部紧$K$和连续$s:K \to X$，$s^{-1}U$本来就是$K$中的开集（$s$连续），完全符合$k(X)$开集的定义。因此$(g \circ s)^{{-1}(U)$是$K$中的开集，进而$\tilde{g}}{-1}(U)$是$Y$中的开集，$\tilde{g}$在$Top$中连续。

第三步：验证双射的互逆性和自然性 #

• 互逆性：把$f$映射到$\tilde{f}$再映射回来，得到的就是$f$本身，集合映射没变化，连续性也已经验证过；反过来把$g$映射到$\tilde{g}$再映射回来，得到的也是$g$本身，同理成立。所以这两个映射是互逆的，构成双射。
• 自然性：这个双射对$X$和$Y$是自然的——说白了就是对于$Top$中任意态射$X \to X'$、$kTop$中任意态射$Y' \to Y$，对应的交换图都能成立，这是因为所有映射都是基于集合映射的自然复合，连续性的验证也会跟着态射的复合自然传递，没啥额外障碍。

这样一来，我们就完整验证了$k$满足$j$的右伴随函子的所有条件。

内容的提问来源于stack exchange，提问作者user267839