完美集合

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

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

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

• 若${\displaystyle X}$是完备度量空间且没有孤立点，则康托尔空间${\displaystyle 2^{\omega }}$可以被连续地嵌入${\displaystyle X}$中，因此${\displaystyle X}$的基数至少为${\displaystyle 2^{\aleph _{0}}}$。若${\displaystyle X}$是可分、完备度量空间且没有孤立点，则${\displaystyle X}$的基数恰好为${\displaystyle 2^{\aleph _{0}}}$。
• 若${\displaystyle X}$是局部紧致郝斯多夫空间且没有孤立点，则存在一个从康托尔空间映射到${\displaystyle X}$的单射函数（不一定是连续的），因此${\displaystyle X}$的基数至少为${\displaystyle 2^{\aleph _{0}}}$。

• 有限交集性质
• 相对化拓扑

• Kechris, A. S., , Berlin, New York: Springer-Verlag, 1995, ISBN 3540943749
• Levy, A., , Berlin, New York: Springer-Verlag, 1979
• edited by Elliott Pearl., Pearl, Elliott , 编, , Elsevier, 2007, ISBN 978-0-444-52208-5, MR 2367385