在拓扑初步2中,我们总结了开集闭集与边界的关系。开集是不包含任何边界点的集合,这由定义可以得到。而闭集是开集的补集,因此它必然包含所有边界点。 同时,我们也可以很直接地推得,任何包含所有边界点的集合都是闭集。这样,我们就得到了一种构造闭集的重要手段——闭包。
定义 记集合 S S S的闭包为 c l ( S ) = S ∪ B d ( S ) cl(S)=S\cup Bd(S) cl(S)=S∪Bd(S).
命题 任何集合 S S S是闭包都是闭集。
其实,一个集合的边界点,是这个集合的“极限”。因此,闭集的“闭”指的是对极限运算封闭。这点,在后文介绍序列时会详细讨论。
例 记开球 U = { x : ∣ x − x 0 ∣ < δ } U=\{x: |x-x_0| <\delta\} U={ x:∣x−x0∣<δ}. 它的边界 B d ( U ) = { x : ∣ x − x 0 ∣ = δ } Bd(U)=\{x: |x-x_0| =\delta\} Bd(U)={ x:∣x−