连续偏序集的拓扑性质、笛卡尔闭性及函数空间的研究

Domain theory is a very important area between Mathematics and Theoretical Computer Sciences. One of the most important topics is to generalize its results to continuous posets and quasi-continuous domains. Based on the existing results on domain theory, the project will launch the research from the following four aspects by combining domain theory, fuzzy set theory, topology and category theory. (1) Using the tool of D-completion, studying the Cartesian closed full subcategories of continuous posets; (2) Based on the domain-theoretical approach to fuzzy metric spaces, discussing the domain representation of generalized fuzzy metric spaces by the associated formal balls; (3) By the use of the methods on continuity of functional spaces, investigating the possible conditions for a functional space from a special topology space to a quasi-continuous domain to be quasi-continuous and the possible conditions under which the Isbell topology and the Scott topology is equal; (4) Studying the topological properties of posets, generalizing the denses of basis via topology on domain to s2 continuous posets and generalizing the characterization of coherence under Scott topology on well-filtered dcpos to the posets which is not a dcpo. These works will enrich and perfect the domain theory.

Domain理论是数学与理论计算机科学交叉研究的重要领域，该理论在连续偏序集和拟连续domain等数学结构上的拓展是当前研究的热点。本项目拟结合domain理论、模糊集理论、拓扑和范畴论等相关理论，基于已有研究结果，从以下四个方面展开研究：(1) 借助D-完备化这一有力工具，研究连续偏序集范畴的笛卡尔闭的满子范畴；(2) 以形式球为工具，基于模糊度量空间的domain表示理论，探讨广义模糊度量空间的domain表示；(3) 借鉴函数空间连续的相关研究方法，讨论特定拓扑空间到拟连续domain上的函数空间拟连续和其上Isbell拓扑与Scott拓扑一致的条件；(4) 对偏序集的拓扑性质进行研究，将domain中基在拓扑下的稠密性结果推广到s2连续偏序集，将良滤dcpo上关于Scott拓扑的coherence性的等价刻画推广至非定向完备偏序集。本项目的研究将大大地丰富和完善domain理论。

Domain理论是数学与理论计算机科学交叉研究的重要领域，该理论在连续偏序集和拟连续domain等数学结构上的拓展是当前研究的热点。本项目结合domain理论、拓扑和范畴论等相关理论，基于已有研究结果，从以下五个方面展开了系统深入的研究：(1) 偏序集的拓扑性质研究，如良滤性、sober性及其弱化形式等的研究；(2) domain结构的序性质研究，如偏序集的完备化，偏序集的下极限收敛等；(3) 借鉴函数空间连续的相关研究方法，研究了特定拓扑空间到拟连续domain上的函数空间拟连续和其上Isbell拓扑与Scott拓扑相同的条件；(4) domain结构的逻辑表示理论研究；(5) domain结构的其他表示理论研究。通过研究，我们给出了拓扑空间良滤化的一种构造方式，解决了Xu和Zhao等提出的关于sober性的几个公开问题，建立了sober性、良滤性和单调收敛性的统一表示形式；得到了偏序集上下极限收敛可拓扑化的充要条件；修订了专著《Continuous Lattices and Domains》中关于L-domain商的定义中的一个错误，重新定义了L-domain的商以及同余；在拟连续情形下，解决了Lawson和Mislove提出的关于函数空间上Scott拓扑与Isbell拓扑一致的公开问题；建立了L-domain，稳定连续半格等domain结构的逻辑表示以及闭包系统和信息系统表示等，解决了Chen和Jung提出的关于L-domain的逻辑表示的公开问题。本项目的研究极大地丰富和完善domain理论及非Hausdorff拓扑理论。