集合边界的刻画:闭包与补集闭包的交集
设 \( A \) 为拓扑空间 \( X \) 的子集,则集合 \( A \) 的边界 \( \partial A \) 可以表示为 \( A \) 的闭包与其补集 \( X \setminus A \) 的闭包的交集:$$ \partial A = \operatorname{Cl}(A) \cap \operatorname{Cl}(X \setminus A) $$
这个结论给出了边界的一个非常直观的刻画方式。
简单来说,边界由这样一类点构成,这些点既"接近"集合 \(A\),又"接近"它的补集。换句话说,这些点既无法完全归入 \(A\),也无法完全归入其外部,它们正好处在两者的交界处。
直观理解
为什么要用闭包来描述边界?关键在于闭包捕捉的是"可以被无限逼近的点"。
当一个点属于 \( \operatorname{Cl}(A) \) 时,说明在它的任意邻域中都能找到 \(A\) 中的点。同理,如果它也属于 \( \operatorname{Cl}(X \setminus A) \),那么在它的任意邻域中同样可以找到补集中的点。
因此,这类点无论从哪个方向观察,都同时"接触"集合和外部,这正是边界的本质特征。
一个典型例子
考虑实数轴 \(\mathbb{R}\) 上的开区间 \( A = (0, 1) \)。
首先,区间 \( (0, 1) \) 的闭包是:
$$ \operatorname{Cl}(A) = [0, 1] $$
也就是说,我们把两个端点 0 和 1 也包含进来了。
接下来,看它的补集。区间 \( (0, 1) \) 的补集是:
\( (-\infty, 0] \cup [1, \infty) \)
这个集合本身已经是闭的,因此它的闭包仍然是它自身:
$$ \operatorname{Cl}(\mathbb{R} \setminus A) = (-\infty, 0] \cup [1, \infty) $$
现在取交集:
$$ \partial A = [0, 1] \cap \bigl((-\infty, 0] \cup [1, \infty)\bigr) $$
可以得到:
$$ \partial A = \{0, 1\} $$
这说明区间 \( (0, 1) \) 的边界正是两个端点,它们正好是区间与外部的分界位置。
证明思路
下面给出一个简洁的证明思路,帮助理解这个等式为什么成立。
根据定义,边界 \( \partial A \) 中的点具有一个关键性质:
对任意邻域 \(U\),它既包含 \(A\) 中的点,也包含补集中的点。
这一定义实际上可以从两个方向来理解。
第一步:证明 \( \partial A \subseteq \operatorname{Cl}(A) \cap \operatorname{Cl}(X \setminus A) \)
如果一个点属于边界,那么它的每一个邻域都与 \(A\) 相交,因此它属于 \( \operatorname{Cl}(A) \)。
同时,它的每一个邻域也与补集相交,因此它属于 \( \operatorname{Cl}(X \setminus A) \)。
所以,这个点必然属于两者的交集。
$$ \partial A \subseteq \operatorname{Cl}(A) \cap \operatorname{Cl}(X \setminus A) $$
第二步:证明 \( \operatorname{Cl}(A) \cap \operatorname{Cl}(X \setminus A) \subseteq \partial A \)
反过来,如果一个点同时属于这两个闭包,那么:
- 它的任意邻域都与 \(A\) 相交
- 它的任意邻域也与补集相交
这正是边界点的定义,因此该点属于 \( \partial A \)。
$$ \operatorname{Cl}(A) \cap \operatorname{Cl}(X \setminus A) \subseteq \partial A $$
结论
两个方向同时成立,说明这两个集合完全相同:
$$ \partial A = \operatorname{Cl}(A) \cap \operatorname{Cl}(X \setminus A) $$
这就完成了证明。