首页> 中文学位 >偏序集和连续偏序集上的Scott拓扑
【6h】

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

代理获取

目录

文摘

英文文摘

声明

第一章绪论

1.1引言

1.2本文的主要内容

第二章偏序集和连续偏序集上的Scott拓扑

2.1预备知识

2.2连续偏序集的Cartesian积

2.3连续偏序集的“和”

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

第三章偏序集范畴的Cartesian闭性

3.1预备知识

3.2偏序集范畴的Cartesian闭性

3.3带最小元的相容连续L-偏序集范畴和连续bc-偏序集范畴的Cartesian闭性

第四章连续拟序集的Domain反射

4.1预备知识

4.2连续拟序集的连续偏序集反射

4.3连续偏序集的Domain反射

第五章偏序集上的双Scott拓扑和下极限拓扑

5.1偏序集上的双Scott拓扑

5.2广义单调收敛空间

5.3偏序集上的Lawson拓扑和下极限收敛

参考文献

附录 攻读博士学位期间的工作成果

致谢

展开▼

摘要

本文研究偏序集和连续偏序集上的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拓扑和下极限拓扑之间的关系.

著录项

相似文献

  • 中文文献
  • 外文文献
  • 专利
代理获取

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号