点集的内部、外部和边界

                     

贡献者： JierPeter

预备知识 1　拓扑空间

　　 拓扑空间定义了什么样的集合算开集，而开集的补集被称为闭集。除此之外，还有一些集合是既不开也不闭的。比如说，在 $\mathcal{R}$ 上定义的度量拓扑中，开区间都是开集，闭区间和孤立点都是闭集，但是半开半闭区间两者都不属于。

1. 基本概念

定义 1　

　　 给定拓扑空间 $(X, \mathcal{T})$ 以及它的一个子集 $A$。

  • 如果对于 $x\in X$，存在一个开集 $V\in \mathcal{T}$ 使得 $x\in V\subset A$，那么称这个 $x$ 是 $A$ 的一个内点（interior point）。
  • 如果存在一个开集 $V\in \mathcal{T}$ 使得 $x\in V\subset A^C$，那么称这个 $x$ 是 $A$ 的一个外点（exterior point）。
  • 如果一个 $x$ 既不是 $A$ 的外点也不是内点，那么称 $x$ 是 $A$ 的一个边界点（boarder point）。
  • 全体内点构成的集合，称为 $A$ 的内部（interior），记为 $A^\circ$。
  • 全体外点构成的集合，称为 $A$ 的外部（exterior）。
  • 全体边界点构成的集合，称为 $A$ 的边界（boarder）。
  • 如果包含点 $x\in X$ 的任何开集 $U_x$，都含有和 $x$ 不相同的、$A$ 的元素：$(U_x-\{x\})\cap A\not=\varnothing$，那么我们说 $x$ 是 $A$ 的一个聚点或者极限点（limit point）。

　　 外点就是 “补集的内点”。

　　 聚点的概念在数学分析和高等微积分里就会出现。在微积分中，一个集合 $A\subset\mathbb{R}$ 的聚点 $x$，就是不管取多小的 $r>0$ 作为半径，总有某个不是$x$ 的点 $x_r\in A$ 落在 $(x-r, x)\cup(x, x+r)$ 里面。$A$ 自己的点 $x\in A$ 当然是 $A$ 的聚点，但是 $x\not\in A$ 也可以是聚点。比如说，区间 $(0,1)$ 的全体聚点构成的集合，就是 $[0,1]$。

　　 有了这些定义，我们就可以更直观地理解开集和闭集了：

习题 1　

　　 给定 $(X, \mathcal{T})$ 以及它的一个子集 $A$。那么，$A$ 是开集当且仅当 $A$ 的点都是内点；$A$ 是闭集当且仅当 $A$ 的聚点都在 $A$ 里。证明留做习题。

　　 同样地，使用区间为例子来理解开集、闭集和内点、聚点的关系会非常直观。

　　 由定义，对于任何拓扑空间的子集 $A$，外点都不是聚点，因此聚点要么是内点、要么是边界点。

　　 对于 $A$，它的聚点构成的集合被称为 $A$ 的导出集（induced set）或者导集，在小时百科中记为1$A'$。

例 1　

  • 令 $A=\{\frac{1}{n}|n\in\mathbb{Z}^+\}$，那么 $A'=\{0\}$。
  • 令 $A=(0,1)\cup(1,2)$，那么 $A'=[0,2]$

习题 2　

　　 证明：任何集合的导集都是闭集。

　　 在数学分析中，我们会使用包含点 $x$ 的任意长度的开区间，来描述 $x$ 的 “附近”。这一概念在拓扑学中被拓展为 “邻域”：

定义 2　邻域

　　 给定拓扑空间 $X$ 和 $x\in X$，则任意开集 $U_x\ni x$，被称为 $x$ 的一个邻域（neighborhood）。

　　 注意，这里定义的邻域必须是开集。在紧致性一节中，我们会提到一个容易混淆的概念，“紧邻域”，它并不一定是开集，因此不一定是邻域。紧邻域的名字是有些混淆，但是没有办法，约定俗成这么叫了2。

2. 闭包

　　 给定任意拓扑空间 $X$ 的任意子集 $A$，那么 $A^\circ$ 是 $A$ 所包含的最大的开集。对称地，包含 $A$ 的最小的闭集被称为 $A$ 的闭包（closure），记为 $\bar{A}$。闭包很容易得到：

定理 1　

　　 给定任意拓扑空间 $X$ 的任意子集 $A$，则有 $\bar{A}=A\cup A'$。

推论 1　

　　 考虑到 $A$ 的边界点要么在 $A$ 中，要么是 $A$ 的聚点；$A$ 的聚点要么在 $A$ 中，要么是 $A$ 的边界点；故 $\bar{A}$ 等于 $A$ 和 $A$ 的边界的并。

　　 以区间作为例子：如果 $A=(0,1)$，那么 $A'=[0,1]$，$\bar{A}=[0,1]$。

　　 以圆盘作为例子：如果 $D=\{(x,y)\in\mathbb{R}^2|x^2+y^2<1\}$，那么 $D'=\bar{D}=\{(x,y)\in\mathbb{R}^2|x^2+y^2\leq1\}$。尝试在 $x^2+y^2=1$ 的圆盘上添加部分点进 $D$，得到的 $D$ 还是具有相同的闭包。这是因为这些添加的点都是在最初的 $D$ 的边界上的。

3. 稀疏和稠密

预备知识 2　集合的极限

　　 给定任意拓扑空间 $X$ 的任意子集 $A$，如果 $A^\circ=\varnothing$，即 $A$ 没有内点，那么称 $A$ 是稀疏（sparse）的；如果 $\bar{A}=B\subset X$，也就是说 $B$ 是 $A$ 和 $A$ 的边界的并，那么称 $A$ 在 $B$ 中是稠密（dense）的。

　　 无论取什么开集，它都不可能被稀疏的集合完全包含，总有遗漏的点，所以有了 “稀疏” 的名称。而当 $A$ 在 $B$ 中稠密时，不可能找一个开集来圈出 $B$ 中完全和 $A$ 不相交的一块区域，所以有了 “稠密” 的名称。

　　 全体有理数的集合 $\mathbb{Q}$ 在 $\mathbb{R}$ 中既稠密，又稀疏。

例 2　Cantor 集

　　 令 $A_0=[0,1]$，也就是说，$A_0$ 是一段长度为 $1$ 的线段。把这条线段的中间挖去 $1/3$，得到 $A_1=[0,1/3]\cup[2/3,1]$。现在 $A_1$ 有了两段长为 $1/3$ 的线段，同样地，分别挖去它们中间的 $1/3$，得到 $A_2$。以此类推，$A_n$ 有 $2^n$ 条长度为 $1/3^n$ 的线段，把每条线段的中间挖掉 $1/3$，就可以得到 $A_{n+1}$。取这一列集合的极限 $C=\lim_{n\rightarrow\infty}A_n$，所得到的 $C$ 被称为Cantor 集，这是一个非常重要的集合，常用来作特例来阐释各种集合的性质。

　　 这是一个稀疏集，同时又是一个完备集（perfect set）3另外，在测度论中，这个集合的测度是 0.

1. ^ 有的教材中，$A'$ 代表的是补集，但在小时百科中我们使用 $A^C$ 表示补集了，于是 $A'$ 可以腾出来表示导集。
2. ^ 事实上，一种常见的表达方式是在 “邻域” 两字前加其它修饰，这样表达的往往不是邻域（即不是开集），而是包含某个邻域的集合。“紧邻域” 表示包含一个邻域的紧集，“闭邻域” 表示包含一个邻域的闭集，它们往往都不是开集，从而不是邻域。
3. ^ 导集还是自身的集合，称为完备集或者完美集。


致读者： 小时百科一直以来坚持所有内容免费，这导致我们处于严重的亏损状态。 长此以往很可能会最终导致我们不得不选择大量广告以及内容付费等。 因此，我们请求广大读者热心打赏 ，使网站得以健康发展。 如果看到这条信息的每位读者能慷慨打赏 10 元，我们一个星期内就能脱离亏损， 并保证在接下来的一整年里向所有读者继续免费提供优质内容。 但遗憾的是只有不到 1% 的读者愿意捐款， 他们的付出帮助了 99% 的读者免费获取知识， 我们在此表示感谢。

                     

友情链接： 超理论坛　|　©小时科技 保留一切权利