关于一类空间的简单dcpo 模型

讲座内容：Domain理论是一门涉及拓扑学，序理论及格论，逻辑，计算机理论，范畴论，半群等诸多领域的交叉学科。经过多年的深入研究，Domain理论已成为一门比较成熟的但依然十分活跃的数学领域。在Domain理论中，一个最核心的概念是Scott拓扑。如果一个拓扑空间同胚于一个半序集的全体极大点构成的Scott空间的子空间，这个半序集称作该拓扑空间的一个模型。现已证明，每个T1空间都有dcpo模型。半序集模型构建了Domain理论与经典拓扑的一个新的桥梁，也带出了一些新的研究课题，本报告，将介绍这方面的背景及一些最新进展。主要是有关一类Hausdorff空间，它们的某种子集构成dcpo模型。