集合的边界是闭集

集合的边界始终是闭集，因为它可以表示为集合 $A$ 的闭包与其补集的闭包的交集： $$ \partial A = \overline{A} \cap \overline{X \setminus A} $$

在拓扑空间 $X$ 中，集合 $A$ 的边界记为 $\partial A$。按照定义，它等于 $A$ 的闭包与其补集的闭包的交集，即 $\partial A = \overline{A} \cap \overline{X \setminus A}$。

这个表达式本身就揭示了一个重要结论：边界一定是闭集。原因很简单，闭集的交集仍然是闭集。

一个直观的例子

考虑带有通常拓扑的实数空间 $\mathbb{R}$，其中开集是开区间。

取集合 $A = (0, 1)$，也就是 0 和 1 之间的开区间。

它的闭包为 $\overline{A} = [0, 1]$，包含区间内的所有点以及两个端点 0 和 1。

集合 $A$ 的补集为

$$ \mathbb{R} \setminus A = (-\infty, 0] \cup [1, \infty) $$

这个补集本身已经是闭集，因此它的闭包仍然是它自己：

$$ \overline{\mathbb{R} \setminus A} = (-\infty, 0] \cup [1, \infty) $$

边界由两个闭包的交集给出：

$$ \partial A = \overline{A} \cap \overline{\mathbb{R} \setminus A} $$

计算可得：

$$ \partial A = [0, 1] \cap ((-\infty, 0] \cup [1, \infty)) = \{0, 1\} $$

也就是说，这个开区间的边界正好是两个端点，它们构成一个闭集。

这个结论并不依赖具体的例子，而是源于拓扑空间中的一般性质。

首先，任意集合的闭包 $\overline{A}$ 一定是闭集。

其次，集合的补集 $X \setminus A$ 也是一个集合，它的闭包 $\overline{X \setminus A}$ 同样是闭集。

最后，一个关键事实是：闭集在有限次交运算下仍然保持闭性。

因此，由定义

$$ \partial A = \overline{A} \cap \overline{X \setminus A} $$

可以直接得出，边界始终是闭集。

这个结论在任意拓扑空间中都成立，是研究集合边界时最基本、也是最常用的性质之一。