论文部分内容阅读
对拟连续DomainD证明了:(1)双拓扑空间(D,σ(D),(D))为两两完全正则空间;(2)若D有可数基,则(max(D),σ(D)|max(D))为正则空间当且仅当它为Polish空间;(3)拓扑空间(D,σ(D))为零维Tychonoff空间,其中σb(D)为D上Scott拓扑的b-拓扑。