论文部分内容阅读
拓扑学是数学的一个主要研究领域,它关注的是空间的最基本的性质,比如说连通性,分离性等等.更加精确的讲,拓扑学主要关注可以在连续变形中保持不变的几何性质.现在拓扑学已经有一般拓扑学,代数拓扑学,微分拓扑学,几何拓扑学等分支,并且与许多数学领域紧密联系在一起作为各个学科的基础,而且现已逐步渗透到现代数学的几乎所有的分支,应用到物理、化学、生物以及经济学等学科.在这篇文章中我们主要关注的是一般拓扑学理论和序结构的交叉研究.
Domain理论是一个数学的另一个分支,主要研究一类特殊的偏序集,因此Domain理论被认为是偏序集理论的一个分支.Domain理论在很多领域中有重要的作用,比如计算机科学中,它是函数程序语言的指称语义,特别是对函数式编程意义重大.Domain理论中的收敛和拓扑空间的收敛有很密切的联系.在本文中我们主要关注Domain理论的三个方面:收敛类的可拓扑化问题,幂Domain,度量空间.
本文的内容主要分为三部分:
第一部分是第三章和第四章主要研究偏序集中收敛类的可拓扑化问题,首先我们考虑拟连续Domain上的网的收敛,也就是我们引入的所谓的S*-收敛和拟下极限收敛,并且用它们来刻画拟连续Domain.证明了:
1.一个定向完备偏序集是拟连续的当且仅当其上的网的S*-收敛是可拓扑化的,并且它所生成的拓扑就是这个定向完备偏序集上的Scott拓扑;
2.满足一定条件下,一个定向完备偏序集是拟连续的当且仅当其上的网的拟连续收敛是可拓扑化的,并且它所生成的拓扑就是这个定向完备偏序集上的Lawson拓扑.
然后我们把这些结论推广到了偏序集中给出了网的下极限收敛,并得到了偏序集是连续的充分必要条件.最后我们给出了Z连续偏序集上的下极限收敛的定义并讨论了其生成的拓扑和Z-Lawson拓扑的关系.
第二部分是第五章,我们讨论了可能性测度和可能性幂Domain的一些基本性质,并且结合Domain理论对可能性测度的大小进行了比较,最后我们给出了一个连续函数关于可能性测度的新的积分,讨论了其性质.
第三部分是第六章,我们结合Domain理论推广了度量空间的概念,定义了权度量空间,并且给出了权度量空间的表示定理.