有限集上的拓扑数的探讨

本文尝试对有限集上的拓扑空间结构进行探讨,得到有限集上的T_0空间、正规、正则空间的一种刻画,给出有限集上互不同胚的拓扑空间个数的一个估计式。一、有限集上的拓扑分类设φ_n是n元集S上所有拓扑组成的集合.今将φ_n按如下办法划分成n类:命题1:(?)T∈φ_(n.i),如果u_1,u_2是T中两个势为i的开集,且u_1≠u_2,则s=u_1∪u_2。证明:u_1,u_2∈T,则u_1∪u_2∈T.由u_1≠u_2,有|u_1∪u_2|>|u_1|=i,由T∈φ_(n,i)及φ_(n,i)的定义知s=u_1∪u_2。命题2:(?)T∈φ_(n,i),则T中至多有n/(n-i)]个不同开集的势为i。