连续性的闭集刻画
设 \(X\) 和 \(Y\) 为两个拓扑空间。映射 \(f:X \to Y\) 连续，当且仅当 \(Y\) 中任意闭集 \(C \subseteq Y\) 的原像 \(f^{-1}(C)\) 都是 \(X\) 中的闭集。
在拓扑学中，连续性通常通过开集来定义。然而，这个定理告诉我们，完全可以从闭集的角度来理解同一个概念。
根据连续性的标准定义，若 \(Y\) 中每个开集的原像在 \(X\) 中仍然是开集，那么映射 \(f\) 就是连续的。
而本定理给出了一个等价条件：映射 \(f:X \to Y\) 连续，当且仅当 \(Y\) 中每个闭集的原像在 \(X\) 中也是闭集。
这一结果非常重要，因为它揭示了拓扑中开集与闭集之间深刻的对偶关系。由于闭集是开集的补集，开集也是闭集的补集，因此连续性既可以通过开集来描述，也可以通过闭集来描述。
一个简单的例子
考虑实数集上的函数
$$ f(x)=x^2 $$
其中定义域和值域都取实数集 \(\mathbb{R}\)，并赋予通常拓扑。
为了利用闭集来判断连续性，我们来考察一个具体的闭集：
$$ C=[1,+\infty) $$
这个集合在实数集上是闭集，因为它的补集
$$ (-\infty,1) $$
是开集。
接下来计算 \(C\) 的原像：
$$ f^{-1}(C) = \{x\in\mathbb{R}:x^2\in[1,+\infty)\} $$
即
$$ f^{-1}(C) = (-\infty,-1]\cup[1,+\infty) $$
这个集合是两个闭区间的并，因此在 \(\mathbb{R}\) 中仍然是闭集。
也就是说，闭集 \(C\) 的原像依然是闭集。
当然，仅验证一个闭集还不足以证明函数连续。要真正应用这一判定方法，必须说明值域中的任意闭集，其原像都保持闭性。不过，这个例子能够直观地展示该定理的思想。
由于函数 \(f(x)=x^2\) 本身是连续函数，因此根据本定理，它必然满足“闭集的原像仍为闭集”这一性质。
证明
下面证明这一判定条件与连续性的标准定义完全等价。
若 \(f\) 连续，则闭集的原像是闭集
设 \(f\) 连续。
根据连续性的定义，\(Y\) 中任意开集的原像都是 \(X\) 中的开集。
现在取任意闭集 \(C\subseteq Y\)。
由于 \(C\) 是闭集，所以其补集
$$ Y\setminus C $$
是开集。
由连续性可知：
$$ f^{-1}(Y\setminus C) $$
是 \(X\) 中的开集。
另一方面，原像与补集运算满足关系：
$$ f^{-1}(Y\setminus C) = X\setminus f^{-1}(C) $$
因此，\(X\setminus f^{-1}(C)\) 是开集。
这意味着 \(f^{-1}(C)\) 的补集是开集，所以 \(f^{-1}(C)\) 本身是闭集。
因此，只要 \(f\) 连续，任何闭集的原像都是闭集。
若闭集的原像是闭集，则 \(f\) 连续
反过来，假设 \(Y\) 中每个闭集的原像在 \(X\) 中都是闭集。
为了证明 \(f\) 连续，只需验证任意开集的原像都是开集。
取任意开集 \(U\subseteq Y\)。
由于 \(U\) 是开集，其补集
$$ Y\setminus U $$
是闭集。
根据假设：
$$ f^{-1}(Y\setminus U) $$
是 \(X\) 中的闭集。
而
$$ f^{-1}(Y\setminus U) = X\setminus f^{-1}(U) $$
因此，\(X\setminus f^{-1}(U)\) 是闭集。
于是 \(f^{-1}(U)\) 的补集是闭集，从而 \(f^{-1}(U)\) 是开集。
由于这一结论对任意开集 \(U\) 都成立，所以 \(f\) 连续。
结论
连续性既可以通过开集来定义，也可以通过闭集来刻画。
对于拓扑空间之间的映射 \(f:X\to Y\)，以下两个条件完全等价：
- \(Y\) 中每个开集的原像在 \(X\) 中是开集；
- \(Y\) 中每个闭集的原像在 \(X\) 中是闭集。
因此，在研究连续映射时，我们既可以使用开集，也可以使用闭集。根据具体问题选择更方便的表述方式，往往能够使证明和计算更加简洁。
