偏序集和连续偏序集上的Scott拓扑

来源 :南京师范大学 | 被引量 : 0次 | 上传用户:nacle
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文研究偏序集和连续偏序集上的Scott拓扑,主要内容如下: 第二章利用S-极限的方式在任意偏序集上定义了Scott拓扑,这推广了文[1]中利用S-极限在定向完备偏序集上定义的Scott拓扑,并给出了任意偏序集或连续偏序集上的Scott拓扑的一些性质.同时给出了连续偏序集的一个刻画定理,即文[2]中的拓扑收敛恰好是scott拓扑收敛.最后给出了偏序集之间的Scott连续函数的若干刻画,表明了偏序集之间的Scott连续函数具有类似于dcpo之间的Scott连续函数的许多良好性质. 第三章考察了偏序集范畴的Cartesian闭性.证明了以偏序集为对象以偏序集之间的Scott连续映射为态射的范畴POSET不是Cartesian闭的.这也表明文[3](Semigroup Forum,72(2006),121-133)中的定理5.6和5.8是错误的,即文[3]中的一个主要结论:B-偏序集(FS-偏序集)范畴是Cartesian闭的是错误的.作为推论,指出相容定向完备偏序集范畴CDCPO是偏序集范畴POSET的Cartesian闭的满子范畴:范畴B-CDCPO(FS-CDCPO)也是Cartesian闭的.另外还证明了如果范畴C是范畴CDCPO的Cartesian闭的满子范畴,那么以C中对象的收缩为对象的范畴R-C也是范畴CDCPO的Cartesian闭的满子范畴.最后证明了带最小元的相容连续L-偏序集范畴CCLP⊥和连续的bc-偏序集范畴CBCP是偏序集范畴POSET的Cartesian闭的满子范畴. 第四章的第一节给出了连续拟序集的连续偏序集反射;第二节应用定向完备化给出了连续偏序集的Domain反射,从而得到了连续拟序集的Domain反射.相应地,也可以得到代数拟序集的Domain反射. 第五章的第一节在偏序集上引入了双Scott拓扑的定义,讨论了双Scott拓扑的重要性质;第二节引入了广义单调收敛空间的定义,讨论了广义单调收敛空间及其上的特殊化序之间的关系;最后一节在偏序集上引入了下极限拓扑的定义,并讨论了Lawson拓扑和下极限拓扑之间的关系.
其他文献
半无穷区间上二阶边值问题起源于对非线性椭圆微分方程对称径向解以及半直线上中间多漏洞的煤气压力模型的研究[1].现在人们越来越关注半无穷区间边值问题正解的存在性,并取得
公平交换数字签名问题是密码学的一个基本问题,在电子商务中有着广泛的应用,同时签名是解决公平交换的一个新的工具。在一个同时签名方案中,两个实体共同生成两个没有绑定的
Mizar系统是用于证明或计算数学问题的计算机语言系统。它由波兰华沙大学AndrzejTrybulec教授组织的Mizar协会领导,其逻辑框架是基于Jaskowski自然演绎推理的古典逻辑。Mizar
本文基于可加的ψ-模糊偏好结构,我们分别在不可比关系为空集和大偏好关系强完全的条件下,研究了大偏好关系、严格偏好关系、无区别关系的传递性及其传递性指标.  首先,我们简
本文研究t-模的旋转不变性.首先,我们给出了旋转不变t-模的基本性质,我们讨论旋转不变性与其它t-模的性质之间的关系,主要包括旋转不变性与t-模的左连续性、幂零性、矛盾律、IT
Artin代数表示论的主要目的就是用一个代数的模范畴的性质来刻画这个代数.用模论来研究代数的好处之一是我们可以应用范畴理论和同调代数.从上个世纪40年代开始,同调代数逐渐
多层网格法通常可分为几何多层网格(GMG)法和代数多层网格(AMG)法与GMG法相比,AMG法具有更强的普适性和鲁棒性(robustness),它是求解许多大规模科学工程计算问题特别是偏微分