[科普中国]-完美集合

在拓朴学中，一个拓朴空间的子集是完美的当且仅当他是闭集且没有孤立点。

定义一个集合是完美的当且仅当，其中是所有的极限点的集合（又称为的导集），则为完美集合。

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

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

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

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

若是完备度量空间且没有孤立点，则康托尔空间可以被连续地嵌入中，因此的基数至少为。若是可分、完备度量空间且没有孤立点，则的基数恰好为。

若是局部紧致郝斯多夫空间且没有孤立点，则存在一个从康托尔空间映射到的单射函数（不一定是连续的），因此的基数至少为。1

参见有限交集性质

相对化拓扑

本词条内容贡献者为:

李嘉骞 - 博士 - 同济大学