在分离性公理“T0,T1/2,T1,T11/2,T2,T21/2,T3,T31/2,T4,T5,T6具有关系:T6(→)T5(→)T4(→)T31/2(→)T3(→)T23/4(→)T21/2(→)T2(→)T11/2(→)T1(→)T1/2(→)T0,反之不成立”的基础上,从定义出发,引进T51/2拓扑空间.研究了“T6(→)T51/2(→)T5”,并给出两个反例.证明了T51/2空间的一些性质,使分离性公理更加完善.
分离性公理 完全正规 完备正规 拟完备正规