C—空间中半T_ii=(0,1,2,3,)的遗传性

文[2]中讨论了半分离性对于开子空间的遗传性,本文将证明,如果空间是C——空间则半分离性对于半开子空间也是可遗传的.定义1 如果拓扑空间X的子空间Y∈S.o(X),则称Y为X的半开子空间.命题1 若X是c——空间,Y是X的半开子空间。