R-偏序集上的不动点定理

研究对象是带有偏序逼近族的偏序集(posets withfamilies of approximating partial orders,简称R-偏序集),目的在于探索R-偏序集这一数学结构能否为语义域的研究提供一个较好的数学框架.Lu姫s Monteiro在带有等价关系的集合(sets withfamilies of equivalences,简称sfe)上重建了基于度量空间的语义域研究的部分理论.R-偏序集是较sfe更具普适性的结构.本文仿照Luis Monteiro在sfe上的结论及M.W.Mislove dcpo(directedly complete partial orders)上Tarski不动点定理的证明,在R-偏序集上建立了逼近映射的不动点定理;同时构造了一个新的范畴R-POSET(即以R-偏序集为对象,R-单调映射为态射的范畴),建立了范畴R-POSET与范畴GUMS(即以广义超度量空间为对象,非扩展映射为态射的范畴)之间的一个伴随,为从广义超度量空间角度研究R-偏序集提供了思路.

R-偏序集及其Scott拓扑

本文给出了从一个集合构造R-偏序集的方法,并用迁移系统和部分模拟的例子对这一方法的实现作了进一步的说明,同时还给出R-偏序集上的Scott拓扑.

序半群的表示和R-偏序集(英文)

将半群在集合上的作用推广到序半群,给出了序半群的表示定理,并且引入同余关系和R-同态概念,刻画了R-偏序集的商和余积.

带有偏序逼近族的偏序集上Scott拓扑的比较

设(A,■)是偏序集,ω是自然数集,若对任意n∈ω,■n是A上的偏序,■n+1■n,∩n∈ω■n=■,则称(A,■)是带有偏序逼近族R={■n|n∈ω}的偏序集,简称为R-偏序集,记为(A,■;R).若n∈ω,An=(A,■n)是cpo,且对n∈ω,令Tn表示关于■n的Scott拓扑,本文给出了Tn弱于Tn+1的一个充分条件,以及它的简单应用.

R-偏序集上的cpo,代数cpo与连续cpo

本文研究了若干结构在R-偏序集上的保持性.利用例子说明了R-偏序集所带的偏序族在逼近某个偏序时未必保持cpo,代数cpo或连续cpo等结构,并给出了使得代数cpo和连续cpo结构得以保持的充分条件.

一类基于分层量化的Domain上的广义Alexander拓扑

文献[8]提出了一类基于分层量化的偏序集结构(以下简称R-偏序集)。此结构是sfe的非对称推广,也是拟度量空间(quasi-metric spaces,qms)和广义超度量空间(generalized ultrametric spaces,gums)的一种特殊情形。本文定义了其上的广义Alexander拓扑,讨论了该拓扑的若干基本性质,给出了与基本性质相关的若干实例,并内蕴刻画了关于该拓扑的连续映射。