上个世纪70年代,计算机专家Scott D从理论计算机研究的角度提出了Domain理论.因为Domain理论融合了拓扑与序这两大数学中的基本结......

对拟连续DomainD证明了：（1）双拓扑空间（D，σ（D），（D））为两两完全正则空间；（2）若D有可数基，则（max（D），σ（D）｜max（D））为正则空间当且仅当它为Polish空间；（3）拓扑空......