多元函数第五：拓扑初步（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 \in \Lambda$是个开集族，其中开集的个数$|\Lambda |$可能无限。那么集合$G={\bigcup }_{\lambda \in \Lambda }{G}_{\lambda }$是开集。

证明. 我们需要证明集合$G$中的任何点都是它的内点。设$x\in G$那么必然有$x\in G_{\lambda }$对某个$\lambda$成立。由于$G_{\lambda }$是开集。故而存在$x$的某个邻域$U(x)$满足$U(x)\subseteq G_{\lambda }\subseteq G$。这就说明$x$是G的内点。定理证毕。

例. 我们已经在拓扑初步1中证明了开区间$(a,b)$是一个开集。于是，我们知道区间$（-\infty ,b）$是一个开集。因为
$$（-\infty ,b）=\bigcup _{a<b}(a,b).$$

例. 由于$（-\infty ,a）$和$（b,\infty ）$都是开集，故而区间$[a,b]=((-\infty ,a)\cup (b,\infty ){)}^c$是闭集。

推论. 设$C_{\lambda },\lambda \in \Lambda$是个闭集族，其中闭集的个数$|\Lambda |$可能无限。那么集合$C={\bigcap }_{\lambda \in \Lambda }{C}_{\lambda }$是闭集。

证明. 由摩根定律和上面的定理可知。证毕。

定理. 设$G_{\lambda },\lambda \in \Lambda$是个开集族，其中开集的个数$|\Lambda |$有限。那么集合$G={\bigcap }_{\lambda \in \Lambda }{G}_{\lambda }$是开集。

证明。设$x\in G$，那么$x\in G_{\lambda }$对所有的$\lambda \in \Lambda$成立。由于$G_{\lambda }$是开集，故存在${\delta }_{\lambda }>0$使得$U(x,{\delta }_{\lambda })\subseteq G_{\lambda }$。令
δ = min ⁡ { δ λ : λ ∈ Λ } &gt; 0 \delta = \min\{\delta_{\lambda}: \lambda\in\Lambda\} &gt; 0 δ=min{δλ​:λ∈Λ}>0
便有
$U(x,\delta )\subseteq G$。故x是G的内点，证毕。

注意. $|\Lambda |$有限的条件非常重要，否则上面证明中的
δ = inf ⁡ { δ λ : λ ∈ Λ } \delta = \inf\{\delta_{\lambda}: \lambda\in\Lambda\} δ=inf{δλ​:λ∈Λ}
可能等于0。

例。考虑集合$G_n=(-1/n,1),n\ge 1$. 那么所以的集合$G_n$都是开集。但是集合${\bigcap }_{n=1}^{\infty }{G}_n=[0,1)$不是开集。

推论. 设$C_{\lambda },\lambda \in \Lambda$是个闭集族，其中闭集的个数$|\Lambda |$有限。那么集合$C={\bigcup }_{\lambda \in \Lambda }{C}_{\lambda }$是闭集。