2.可数性

    [邻域基]  假定s 是拓扑空间里一点x的一个邻域族,对x的任何一个邻域U,一定存在Vs 使VU成立,那末称sx的一个邻域基.

    [合盖族]  假定一族点集的和集掩盖一个集S,那末称这族点集的全体是S的一个合盖族.

    [第一可数空间]  假定拓扑空间X里任何一点有可数的邻域基,那末称这个空间为第一可数空间(“满足第一可数公理”的空间).

    [林德略夫空间]  假定一个拓扑空间里任何一个点集的任何一个合盖开集族有可数的子合盖族,那末称这个空间为林德略夫空间.

    [可分空间]  假定在一个拓扑空间X里有可数点集处处稠密,那末称这空间为可分空间.

    [第二可数空间]  有可数的拓扑基的空间称为第二可数空间(“满足第二可数公理”的空间).

    它们有下面的强弱关系:

                                  

    例如,n维实数空间Rn是一个第二可数空间,因为{|aibi都是有理数}显然是它的一个可数的拓扑基.因此Rn 又是第一可数空间、可分空间和林德略夫空间.