点集的内部、外部和边界

                     

贡献者： 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. ^ 导集还是自身的集合，称为完备集或者完美集。

                     

© 小时科技 保留一切权利