闭包 (拓扑学)

维基百科,自由的百科全书

闭包(英语:Closure)在拓扑学中是指,一个拓扑空间里,子集S的闭包由S 的所有点及S极限点所组成的一个集合;直观上来说,即为所有“靠近”S 的点所组成的集合。在子集S 的闭包内的点称为S闭包点。闭包的概念在许多方面能与内部的概念相对比。

定义[编辑]

闭包点[编辑]

S欧几里德空间内的一个子集,若所有以x 为中心的开球都包含S 内的一点(这个点也可以是x 自身),即称xS 的闭包点。

上述定义可以推广到度量空间X 的任意子集S之上。具体地说,设X 为具度量d 的度量空间,SX 内的子集,若对所有的r > 0,皆存在一个S 内的点y,使得 d(x, y) < r(同样地,x = y 也可 ),即称xS 的闭包点。另外,也可以如下定义:若 d(x, S) := inf{d(x, s) : s in S} = 0,即称xS的闭包点。上述两种定义的写法是同样的意思。

最后,闭包点的定义也可以推广到拓扑空间,只需要用邻域替代“开球”即可。设S 为拓扑空间X 的子集,则x 称为S 的闭包点,若所有x 邻域都包含S 内的一点。注意,这个定义并不要求邻域一定要为开集。

极限点[编辑]

闭包点的定义非常接近极限点的定义。这两个定义之间的差别非常微小但很重要——在极限点的定义中,点 x 的邻域必须包含“ 不是 x 自身的”这个集合的点。

因此,所有极限点都是闭包点,但不是所有的闭包点都是极限点。不是极限点的闭包点就是孤点。也就是说,点 x 是孤点,若它是 S 的元素,且存在 x 的邻域,该邻域中除了 x 没有其他的点属于 S

对给定的集合 S 和点 xxS 的闭包点,当且仅当 x 属于 S,或 xS 的极限点。

集合的闭包[编辑]

集合S闭包是指由所有S 的闭包点所组成的集合。S 的闭包写作 cl(S),Cl(S) 或 S。集合的闭包具有如下性质:

  • cl(S) 是 S 的闭父集。
  • cl(S) 是所有包含 S闭集的交集。
  • cl(S) 是包含 S 的最小的闭集。
  • 集合 S 是闭集,当且仅当 S = cl(S)。
  • ST 的子集,则 cl(S) 是 cl(T) 的子集。
  • A 是闭集,则 A 包含 S 当且仅当 A 包含 cl(S)。

上述第二或第三条性质可作为拓扑闭包的定义

第一可数空间(如度量空间)中,cl(S) 是所有点的收敛序列的所有极限

注意,若将“闭包”、“交集”、“包含”、“最小”、“闭”等词汇相应替换成“内部”、“并集”、“包含于”、“最大”、“开”,上述性质仍然成立。更多信息请参看下面的“闭包算子”。

其他性质[编辑]

  • 集合的交集的闭包是集合的闭包的交集的子集
  • 有限多个集合的并集的闭包和这些集合的闭包的并集相等;零个集合的并集为空集,所以这个命题包含了前面的空集的闭包的特殊情况。无限多个集合的并集的闭包不一定等于这些集合的闭包的并集,但前者一定是后者的父集

为包含 子空间,则 中计算得到的闭包等于 中计算得到的闭包()的交集。特别的, 中是稠密的,当且仅当 的子集。

举例[编辑]

  • 在任意空间,空集的闭包是空集。
  • 对任意空间 X,cl(X) = X
  • X实数的欧几里得空间 R,则 cl((0, 1)) = [0, 1]。
  • X 为实数的欧几里得空间 R,则有理数集合 Q 的闭包是全空间 R。也就是,QR 中是稠密的。
  • X复平面 C = R2,则 cl({z 属于 C : |z| > 1}) = {z 属于 C : |z| ≥ 1}。
  • S 为欧几里得空间的有限子集,则 cl(S) = S。(在一般拓扑空间,这个性质和T1 公理等价。)

在实数集上,除了标准拓扑,还可以使用其他的拓扑结构。

  • X = R,且 R下限拓扑,则 cl((0, 1)) = [0, 1]。
  • 若考虑 R 中所有集合都是开(闭)集的拓扑,则 cl((0, 1)) = (0, 1)。
  • 若考虑 R 中只有空集和 R 自身是开(闭)集的拓扑,则 cl((0, 1)) = R

上述示例中集合的闭包取决于背景空间的拓扑。接下来给出的两个示例比较特殊。

  • 在任意离散空间中,由于所有集合都是开(闭)集,所以所有集合都等于其闭包。
  • 在任意不可分空间 X 中,由于只有空集和 X 自身是开(闭)集,所以空集的闭包是空集,对 X 中的非空集 A,cl(A) = X。也就是说,所有非离散空间中的非空集都是稠密的。

集合的闭包也取决于背景空间。例如:若 X 是有理数集合,具有从欧几里得空间 R 中得到的子空间拓扑,且 S = {q 属于 Q : q2 > 2},则 SQ 中的闭集,且 SQ 中的闭包是 S。相应的,S 在欧几里得空间 R 中的闭包是所有大于等于 实数组成的集合。

闭包算子[编辑]

闭包算子 内部算子 o 对偶,即

S = X \ (X \ S)o

并且

So = X \ (X \ S)

这里,X 表示包含 S拓扑空间,反斜线表示集合的补集

因此,闭包算子库拉托夫斯基闭包公理的抽象理论就可以方便地转换为内部算子的写法,这里只需要将集合用它们的补集替换就可以了。

通过对给定集合反复应用闭包和补集运算最多能得到 14 个不同的集合,这个结果叫做库拉托夫斯基十四集问题

参见[编辑]