多元函数第五：拓扑初步（2）开闭集的并和交

在拓扑初步（1）中，我们给出了开集和闭集的严格定义。这些定义的基础，是开球的概念。由开球，引出了内点，外点和边界点的概念。而内点，外点和边界点的集合，分别叫做内部，外部和边界。开集和闭集的概念，与边界紧密相关。如果一个集合不包含任何边界点，那么这个集合被称作开集。由此，我们可以很容易猜想，闭集就是包含所有边界点的集合。而还有许多的，介于两者之间的，包含部分边界点的集合，就既不是开集也不是闭集了。那么什么集合既是开集，又是闭集呢？很简单，如果一个集合没有边界点，那么它既是开集又是闭集。例如，我们的n维全空间${\mathbb{R}}^n$，既是开集也是闭集。

本文考虑集合的最基本运算，即并和交。因为我们都知道，并、交，加上补运算，是集合最基础的运算。任何其他的运算，都可以看成是这三个基本运算的组合。

在研究开集闭集的性质之前，需要说明的是，开集和闭集的定义，是以某个拓扑空间为前提的。离开拓扑空间这个前提，开集和闭集的定义就没有意义了。比如直线上的两点a和b，可以构成一个开区间$(a,b)$。如果我们把直线看做是拓扑空间，那么这个区间显然是开集。但是，如果我们把一个平面看做是拓扑空间，那么这个区间就不是开集了。因为拓扑空间的定义不同，会直接影响邻域的定义。只是在一般不造成歧义的情况下，我们通常把拓扑空间这个前提条件略去。

命题. 空集是开集。
证明. 空集的内部也是空集，也即$int(\varnothing )=\varnothing$。根据开集的定义知，空集是开集。证毕。

推论. 集合${\mathbb{R}}^n$是闭集。
证明. 因为它是空集的补集。证毕。

命题. 集合${\mathbb{R}}^n$是开集。
证明. 对于任意的$x\in {\mathbb{R}}^n$有开球$U(x,1)\subseteq {\mathbb{R}}^n$，故$x$是${\mathbb{R}}^n$的内点。这说明$int({\mathbb{R}}^n)={\mathbb{R}}^n$。证毕。

推论. 空集是闭集。

上面的几个结论，证明了集合${\mathbb{R}}^n$和空集既是开集也是闭集。接下来，我们介绍一般的开集和闭集的性质。

定理. 设$G_{\lambda },\lambda$