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),给出一个直接而具体的计算公式,来计算幂
21世纪是人类依靠知识创新和可持续发展的世纪。习近平总书记在全国科技大会上指出:“创新是一个民族进步的灵魂,是国家兴旺的不竭动力。”并告诫国民:“一个没有创新能力的民族
请下载后查看,本文暂不支持在线获取查看简介。 Please download to view, this article does not support online access to view profile.
期刊
本文引入并研究了距离空间(D,d)(不要求它的紧性)上的各种Lipschitz-α算子,讨论了这些算子的性质,并研究了这类算子的空间理论和代数理论.全文共三章,主要内容如下:第一章,引入了