论文部分内容阅读
提出拓扑系统的一种新的T2分离性--强T2分离性, 给出了T2拓扑系统的网式收敛刻画和强T2拓扑系统的滤子式收敛刻画. 证明了拓扑系统的(强) T2分离性都是T0拓扑空间类的T2分离性的良好推广,证明了一个locale是T2 locale当且仅当它是强T2的拓扑系统. 构造了例子说明T2拓扑系统不必是强T2的拓扑系统,讨论了(强) T2拓扑系统的locale化、空间化、子系统、和系统以及积系统等方面的运算性质.