在拓扑初步(1)中,我们给出了开集和闭集的严格定义。这些定义的基础,是开球的概念。由开球,引出了内点,外点和边界点的概念。而内点,外点和边界点的集合,分别叫做内部,外部和边界。开集和闭集的概念,与边界紧密相关。如果一个集合不包含任何边界点,那么这个集合被称作开集。由此,我们可以很容易猜想,闭集就是包含所有边界点的集合。而还有许多的,介于两者之间的,包含部分边界点的集合,就既不是开集也不是闭集了。那么什么集合既是开集,又是闭集呢?很简单,如果一个集合没有边界点,那么它既是开集又是闭集。例如,我们的n维全空间 R n \mathbb{R}^n Rn,既是开集也是闭集。
本文考虑集合的最基本运算,即并和交。因为我们都知道,并、交,加上补运算,是集合最基础的运算。任何其他的运算,都可以看成是这三个基本运算的组合。
在研究开集闭集的性质之前,需要说明的是,开集和闭集的定义,是以某个拓扑空间为前提的。离开拓扑空间这个前提,开集和闭集的定义就没有意义了。比如直线上的两点a和b,可以构成一个开区间 ( a , b ) (a, b) (a,b)。如果我们把直线看做是拓扑空间,那么这个区间显然是开集。但是,如果我们把一个平面看做是拓扑空间,那么这个区间就不是开集了。因为拓扑空间的定义不同,会直接影响邻域的定义。只是在一般不造成歧义的情况下,我们通常把拓扑空间这个前提条件略去。
命题. 空集是开集。
证明. 空集的内部也是空集,也即 i n t ( ∅ ) = ∅ int(\emptyset)=\emptyset int(∅)=∅。根据开集的定义知,空集是开集。证毕。
推论. 集合 R n \mathbb{R}^n Rn是闭集。
证明. 因为它是空集的补集。证毕。
命题. 集合 R n \mathbb{R}^n Rn是开集。
证明. 对于任意的 x ∈ R n x\in\mathbb{R}^n x∈Rn有开球 U ( x , 1 ) ⊆ R n U(x, 1)\subseteq\mathbb{R}^n U(x,1)⊆Rn,故 x x x是 R n \mathbb{R}^n Rn的内点。这说明 i n t ( R n ) = R n int(\mathbb{R}^n)=\mathbb{R}^n int(Rn)=Rn。证毕。
推论. 空集是闭集。
上面的几个结论,证明了集合 R n \mathbb{R}^n Rn和空集既是开集也是闭集。接下来,我们介绍一般的开集和闭集的性质。
定理. 设 G λ , λ ∈ Λ G_\lambda,\lambda\in\Lambda Gλ,λ