在拓樸學中，一個拓樸空間的子集是完美的若且唯若他是閉集且沒有孤立點。等價地說，一個集合S是完美的若且唯若S=S'，其中S'是所有S的極限點的集合（又稱為S的導集）。
在完美集中，每個點都可以被該集合中其他的點隨意逼近。也就是說，給定S中的任意一點和該點的一個鄰域，總會存在另一個S中的點，也落在該鄰域內。
例子
以下實數線的子集皆為完美集：空集、閉區間、實數線本身、以及康托爾集。其中康托爾集特別的是完全不連通的。
與其他拓樸性質的關連
康托爾證明了實數的閉子集可以被唯一的分解為一個完美集和一個可數集的不交並。Cantor-Bendixson定理則將該性質推廣至波蘭空間的閉子集。
康托爾還證明了實數線的非空完美集的基數是2^{\aleph_0}，也就是連續統的勢。這些結果還可以擴展到描述集合論中：
- 若X是完備度量空間且沒有孤立點，則康托爾空間2^\omega可以被連續地嵌入X中，因此X的基數至少為2^{\aleph_0}。若X是可分、完備度量空間且沒有孤立點，則X的基數恰好為2^{\aleph_0}。
- 若X是局部緊緻郝斯多夫空間且沒有孤立點，則存在一個從康托爾空間映射到X的單射函數（不一定是連續的），因此X的基數至少為2^{\aleph_0}。
參見
- 有限交集性質
- 相對化拓撲
參考文獻
*
*
*
评论 (0)