$T_0$ 空间的 $\mathbf{K}$-反射的一种直接方法

本文给出了 $T_0$ 空间的 $\mathbf{K}$-反射的一种直接方法。对于全体 $T_0$ 空间范畴的一个全子范畴 $\mathbf{K}$ 以及一个 $T_0$ 空间 $X$，令 $\mathbf{K}(X)=\{A\subseteq X : A$ 是闭集且对任意到 $\mathbf{K}$-空间 $Y$ 的连续映射 $f : X\longrightarrow Y$，存在唯一的 $y_A\in Y$ 使得 $\overline{f(A)}=\overline{\{y_A\}}\}$ 并令 $P_H(\mathbf{K}(X))$ 为赋予下 Vietoris 拓扑的 $\mathbf{K}(X)$ 空间。证明了若 $P_H(\mathbf{K}(X))$ 是 $\mathbf{K}$-空间，则配对 $\langle X^k=P_H(\mathbf{K}(X)), \eta_X\rangle$（其中 $\eta_X :X\longrightarrow X^k$，x\mapsto\overline{\{x\}）是 $X$ 的 $\mathbf{K}$-反射。若对任意 $T_0$ 空间 $X$，$P_H(\mathbf{K}(X))$ 都是 $\mathbf{K}$-空间，则称 $\mathbf{K}$ 为充分范畴。因此，若 $\mathbf{K}$ 是充分的，则 $\mathbf{K}$ 在 $\mathbf{Top}_0$ 中是反射的。表明全体 sober 空间范畴、全体 $d$-空间范畴、全体良滤空间范畴以及 Keimel 与 Lawson 的范畴均为充分范畴，从而在 $\mathbf{Top}_0$ 中均为反射的。研究了 $\mathbf{K}$-空间与 $T_0$ 空间的 $\mathbf{K}$-反射的一些主要性质。特别地，证明了若 $\mathbf{K}$ 是充分的，则 $\mathbf{K}$-反射保持 $T_0$ 空间的有限积。我们的研究还引出若干问题，其解答将深化我们对相关空间及其范畴结构的理解。