开集与其边界的关系

集合的边界 $ \partial A $ 与集合本身 $ A $ 的交集为空，当且仅当该集合为开集： $$ \partial A \cap A = \emptyset \Leftrightarrow A \text{ 为开集} $$

简单来说，一个集合是开集，当且仅当它的所有点都不在边界上。

因此，如果 $ A $ 是开集，那么 $ A $ 与其边界之间没有任何公共点。

一个直观的例子

以实数轴 $\mathbb{R}$（带通常拓扑）中的开区间 $(0, 1)$ 为例：

$$ A = (0, 1) $$

在这种常见的拓扑结构中，集合 $ A $ 是开集。

根据定义，集合的边界等于该集合的闭包与其补集闭包的交集：

$$ \partial A = \mathrm{Cl}(A) \cap \mathrm{Cl}(\mathbb{R} \setminus A) $$

先看闭包：

$$ \mathrm{Cl}(A) = [0, 1] $$

再看补集的闭包：

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

因此可以得到边界：

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

现在计算交集：

$$ \partial A \cap A = \{0, 1\} \cap (0, 1) = \emptyset $$

可以看到，边界点 $0$ 和 $1$ 都不属于开区间 $(0, 1)$。

这正体现了开集的一个典型特征：边界不包含在集合内部。

例 2

再来看闭区间的情况：

$$ B = [0, 1] $$

在同样的拓扑下，集合 $ B $ 是闭集。

它的边界依然由闭包与补集闭包的交集给出：

$$ \partial B = \mathrm{Cl}(B) \cap \mathrm{Cl}(\mathbb{R} \setminus B) $$

计算可得：

$$ \partial B = \{0, 1\} $$

这一次，边界点属于集合本身：

$$ \partial B \cap B = \{0, 1\} $$

因此，闭区间与其边界存在公共点，这也说明它不是开集。

下面说明为什么这个结论成立。

(⇒) 若 $ \partial A \cap A = \emptyset $，则 $ A $ 为开集

如果集合与其边界没有交集，说明集合中的点都不在边界上。

这意味着，每个点周围都可以找到一个完全落在集合内部的邻域。

而这正是开集的定义，因此 $ A $ 是开集。

(⇐) 若 $ A $ 为开集，则 $ \partial A \cap A = \emptyset $

如果 $ A $ 是开集，那么集合中的每个点都有一个完全包含在 $ A $ 内的邻域。

因此，这些点不可能是边界点，因为边界点的任意邻域都会与集合外部相交。

所以，$ \partial A \cap A = \emptyset $。

结论

综上，一个集合是开集，当且仅当它与自身的边界没有交集。

这个性质在理解开集、闭集以及边界的关系时非常重要，也是拓扑学中的一个基础结论。