集合边界的刻画:闭包与补集闭包的交集

设 \( 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) $$

这就完成了证明。

 
 

Please feel free to point out any errors or typos, or share suggestions to improve these notes.

FacebookTwitterLinkedinLinkedin

拓扑学

练习