Z<,s>-相容连续偏序集和几类Domain的研究

来源 :陕西师范大学 | 被引量 : 0次 | 上传用户:mu5
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
Domain理论为计算机程序设计语言的指称语义学奠定了数学基础.其中序与拓扑相互结合、相互作用是这一理论的一个基本特征.正是这一特征使Domain理论成为格上拓扑学研究者感兴趣的领域.到目前为止,一些学者对连续Domain、准连续Domain、sL-Domain和Z-连续偏序集等作了较为深入的研究.在此基础上,本文进一步讨论了准连续Domain的性质,给出了有界完备准连续Domain上稳定映射的等价刻画,子代数sL-Domain与投射对之间的关系,以及Zs-相容连续偏序集的若干范畴性质等.主要内容如下: 第一章给出了全文将要用到的Domain与范畴的概念和结果等预备知识.第二章研究由偏序集生成的自由Dcpo与自由并完备格,由并半格生成的强自由Dcpo与强自由并完备格.分别给出了它们是代数Domain的条件. 第三章研究准连续Domain和代数sL-Domain.给出了准连续Domain的乘积、商和子对象以及有界完备准连续Domain的结构和性质,并且刻画了有界完备准连续Domain上的稳定映射.讨论了子代数sL-Domain与投射对之间的关系.第四章研究Zs-相容集系统和它的一个范畴特征.引入了Zs-相容连续偏序集的概念,讨论了Zs-相容连续偏序集的一系列性质,得到Zs-相容完备偏序集是Zs-相容连续偏序集当且仅当它的Zs-相容闭集格是一个完全分配格且它有一步闭包.证明了Zs-相容连续偏序集范畴对偶等价于完全分配格范畴的一个满子范畴。
其他文献
循环矩阵作为矩阵理论研究中一个较为重要的研究方向,近几十年来一直受到学术界较为广泛的关注。究其原因,这与循环矩阵本身的特征是分不开的。首先,循环矩阵有着特殊且良好的性
本文从几何的角度对线性等式和不等式约束的可分离结构型凸优化问题进行了像空间分析。用像空间分析法研究约束优化问题时需要一个分离函数使其能分离约束极值优化问题像空间
本篇论文主要解决约化李代数的幂零轨道在Frobenius映射下的有理点个数的问题,主要论述了下面四个问题:  1.对于具体的李代数,如gl(n,k),给出一个直接而具体的计算公式,来计算幂
本文引入并研究了距离空间(D,d)(不要求它的紧性)上的各种Lipschitz-α算子,讨论了这些算子的性质,并研究了这类算子的空间理论和代数理论.全文共三章,主要内容如下:第一章,引入了