完美集合

拓朴学中,一个拓朴空间的子集是完美的当且仅当他是闭集且没有孤立点。等价地说,一个集合是完美的当且仅当,其中是所有极限点的集合(又称为导集)。

在完美集中,每个点都可以被该集合中其他的点随意逼近。也就是说,给定中的任意一点和该点的一个邻域,总会存在另一个中的点,也落在该邻域内。

例子

以下实数线的子集皆为完美集:空集闭区间、实数线本身、以及康托尔集。其中康托尔集特别的是完全不连通的。

与其他拓朴性质的关连

康托尔证明了实数的闭子集可以被唯一的分解为一个完美集和一个可数集的不交并。Cantor-Bendixson定理则将该性质推广至波兰空间的闭子集。

康托尔还证明了实数线的非空完美集的基数 ,也就是连续统的势。这些结果还可以扩展到描述集合论中:

  •  完备度量空间且没有孤立点,则康托尔空间 可以被连续地嵌入 中,因此 的基数至少为 。若 可分、完备度量空间且没有孤立点,则 的基数恰好为 
  •  局部紧致郝斯多夫空间且没有孤立点,则存在一个从康托尔空间映射到 单射函数(不一定是连续的),因此 的基数至少为 

参见

参考文献