在实变函数（或一般拓扑学）中，给定一个集合 E \subseteq \mathbb{R}^n （或更一般的拓扑空间），集合 E 的边界（boundary）与 E 的补集 E^c 的边界是否相等？ 即，是否有 \partial E = \partial E^c ？
基本概念回顾
首先，我们需要明确几个关键概念：
- 闭包（Closure）：集合 E 的闭包 \overline{E} 是包含 E 的最小闭集，即 E 及其所有极限点的并集。
- 内部（Interior）：集合 E 的内部 E^\circ 是包含于 E 的最大开集，即所有 E 的内点的集合。
- 边界（Boundary）：集合 E 的边界 \partial E 定义为：
[
\partial E = \overline{E} \setminus E^\circ = \overline{E} \cap \overline{E^c}
]
即，边界是 E 的闭包中不属于 E 内部的点，或者说同时属于 E 和其补集 E^c 的闭包的点。
边界与补集边界的关系
我们需要比较 \partial E 和 \partial E^c 。
根据边界的定义：
[
\partial E = \overline{E} \cap \overline{E^c}
]
[
\partial E^c = \overline{E^c} \cap \overline{E}
]
显然，集合的交集是可交换的，即 \overline{E} \cap \overline{E^c} = \overline{E^c} \cap \overline{E} ，因此：
[
\partial E = \partial E^c
]
直观理解
从几何或直观上看：
• \partial E 是那些“既不属于 E 的内部也不属于 E^c 的内部”的点。换句话说，这些点的任何邻域都既包含 E 的点也包含 E^c 的点。
• \partial E^c 是那些“既不属于 E^c 的内部也不属于 E 的内部”的点，即同样任何邻域都既包含 E^c 的点也包含 E 的点。
因此， \partial E 和 \partial E^c 描述的是同一组点：集合 E 和其补集 E^c 的“边缘”或“分界线”。
例子验证
让我们通过具体的例子来验证这一点。
例子 1： E 为开区间 ( (0, 1) )（在 \mathbb{R} 中）
• ( E = (0, 1) )
• ( E^c = (-\infty, 0] \cup [1, +\infty) )
计算边界：
• \overline{E} = [0, 1] , ( E^\circ = (0, 1) ), 所以 ( \partial E = [0, 1] \setminus (0, 1) = {0, 1} )
• ( \overline{E^c} = (-\infty, 0] \cup [1, +\infty) ), ( E^{c\circ} = (-\infty, 0) \cup (1, +\infty) ), 所以 \partial E^c = \overline{E^c} \setminus E^{c\circ} = {0, 1}
因此， \partial E = \partial E^c = {0, 1} 。
例子 2： E 为闭区间 [0, 1] （在 \mathbb{R} 中）
• E = [0, 1]
• ( E^c = (-\infty, 0) \cup (1, +\infty) )
计算边界：
• \overline{E} = [0, 1] , ( E^\circ = (0, 1) ), 所以 ( \partial E = [0, 1] \setminus (0, 1) = {0, 1} )
• ( \overline{E^c} = (-\infty, 0] \cup [1, +\infty) ), ( E^{c\circ} = (-\infty, 0) \cup (1, +\infty) ), 所以 \partial E^c = \overline{E^c} \setminus E^{c\circ} = {0, 1}
因此， \partial E = \partial E^c = {0, 1} 。
例子 3： E 为康托尔集（Cantor set）
康托尔集 C 是一个著名的处处不连续的闭集，其补集 C^c 是开集的并。
• \partial C = C （因为 C 的内部为空，闭包为自身）
• \partial C^c = \partial C = C （因为 C^c 的边界也是 C ）
因此， \partial C = \partial C^c 。
可能的误区
有时候，人们可能会误认为 \partial E 和 \partial E^c 是不同的，尤其是当 E 具有复杂的拓扑结构时。例如：
• 如果 E 是一个开集，可能会认为 \partial E 是其“边缘”，而 \partial E^c 是其补集的“边缘”，看起来不同。
但事实上，无论 E 是开集、闭集还是既不开也不闭的集合， \partial E 和 \partial E^c 始终是相同的集合。
数学证明
为了更严谨地证明 \partial E = \partial E^c ，我们可以直接根据定义：
-
边界的定义：
[
\partial E = \overline{E} \cap \overline{E^c}
]
[
\partial E^c = \overline{E^c} \cap \overline{E}
]由于集合的交集是可交换的（即 A \cap B = B \cap A ），因此：
[
\partial E = \partial E^c
] -
另一种表述：
• 边界点 x 满足： x 的任何邻域既包含 E 的点也包含 E^c 的点。• 这与 x 是 E^c 的边界点的定义完全相同（即 x 的任何邻域既包含 E^c 的点也包含 E 的点）。
• 因此， \partial E 和 \partial E^c 描述的是同一组点。
结论
在实变函数或一般拓扑学中，对于任意集合 E \subseteq \mathbb{R}^n （或更一般的拓扑空间），集合 E 的边界 \partial E 与其补集 E^c 的边界 \partial E^c 是相等的。即：
[
\partial E = \partial E^c
]
这一结论可以通过定义直接验证，并通过具体例子（如开区间、闭区间、康托尔集等）得到支持。
)
