学位论文 > 优秀研究生学位论文题录展示

连续Domain理论及其相关问题的研究

作　者: 尚云
导　师: 赵彬
学　校: 陕西师范大学
专　业: 基础数学
关键词: 连续Domain 相通连续Domain 极大点空间 Z-连通连续偏序集 对偶等价
分类号: O153.4
类　型: 硕士论文
年　份: 2002年
下　载: 81次
引　用: 3次
阅　读: 论文下载
 

内容摘要


自从19世纪70年代D.S.Scott首次提出Domain的概念以来,Domain理论一直成为人们关注的课题。到目前为止，已定义了连续Domain,Z-连续偏序集，广义连续偏序集等各种不同的Domain，本文主要从两方面讨论连续Domain理论中的几个问题。一方面在经典Domain理论中，对连续Domain本身的性质进行了深入研究，得到连续Domain的许多类似连续格的性质，给出了连续Domain的等式刻划，连续Domain与Waybelow辅助序的关系，以及连续Domain的极大点空间的若干拓扑性质。这些结果对于丰富连续Domain的内容，体现连续Domain的内蕴特征具有重要作用。另一方面，从广义的角度研究连续Domain，引入相通连续Domain，Z-连通集系统的概念，从范畴方面得到许多良好的结果，拓宽了Z-集系统的研究领域，为研究连续Domain提供了一些新的途径。 下面介绍本文的结构和主要内容。 第一章，对全文将要用到的连续Domain与范畴理论的概念与结果等预备知识作了简要概述。 第二章，研究连续Domain的若干特征定理。首先引入了准定向极小集与准连续Domain的概念。其次给出了准连续Domain与连续Domain的一些等价刻画，得到一个准连续Domain是连续Domain当且仅当它是广义连续Domain，进而得到了连续Domain的等式刻画。最后，利用Waybelow关系证明了一个定向完备偏序集是连续Domain与它上的Waybelow关系为最小的逼近辅助序是等价的。 第三章，研究相通连续Domain。首先引入了相通连续Domain及其连通完备化的概念，证明了相通连续Domain的连通完备化是连通连续Domain；利用主理想及连通闭集刻画了相通连续Domain，得到相通完备偏序集是相通连续的当且仅当它的连通闭集格足一个完全分配格且它有一步闭包。最后考察了相通连续Domain的连通完备化的范畴意义，得到相通连续Domain范畴是连通连续Domain范畴的满的反射子范畴。 第四章，研究连续Domain中极大点空间的若干性质。利用极大点空间的等价刻画证明了极大点空间的某些子空间，不交和，乘积空间，逆序列的逆极限，具有可数基的局部紧的Hausdorff空间是极大点空间。特别是得出局部紧的Sober的第二可数空间带上Patch拓扑是极大点空间。最后给出了具有可数基的局部紧的Hausdorff g间的 Domain－hull是上空间． 第五章，研究Z－连通集系统．首先引入了Z－连通集系统的概念，其次讨论了Z－连通连续偏序集的一系列性质，得到Z－连通完备偏序集是乙连通连续的当且仅当它的Z－连通闭集格是一个完全分配格且它有一步闭包．最后证明Z－连通连续偏序集范畴对偶等价于完全分配格范畴的一个满子范畴．

全文目录


引言  7-9
第一章 预备知识  9-15
  §1．1 连续Domain与Lawson拓扑  9-12
  §1．2 反射子范畴与自然变换  12-15
第二章 连续Domain的若干特征定理  15-22
  §2．1 准连续Domain  15-17
  §2．2 连续Domain的等式刻画  17-19
  §2．3 用辅助序刻划连续Domain  19-22
第三章 相通连续Domain及其连通完备化  22-29
  §3．1 相通连续Domain  22-24
  §3．2 闭集格  24-25
  §3．3 相通连续Domain的完备化  25-29
第四章 极大点空间的若干性质  29-35
  §4．1 预备知识  29-30
  §4．2 极大点空间的特征定理  30-35
第五章 Z连通集系统及其范畴特征  35-44
  §5．1 Z连通集系统  35-36
  §5．2 Z连通-连续偏序集  36-38
  §5．3 Z连通-连续偏序集与完全分配格范畴的对偶等价  38-44
总结  44-45
致谢  45-46
参考文献  46-47
攻读学位期间的研究成果  47

相似论文

  1. 拟连续Domain的若干性质与连续局部Dcpo上的序同态,O153.1
  2. 超连续格和双Scott拓扑若干问题的研究,O153.1
  3. Z-连通连续偏序集和Z-连通光滑偏序集若干问题的研究,O153.1
  4. 混合幂domain的极大点空间及其对某类domain结构的封闭性,O189.11
  5. 拟Z－代数domain,O153.1
  6. Z－连通集系统的一些范畴性质,O154
  7. 连续子domain的内蕴定义及其应用,O189
  8. Z_s-相容连续偏序集和几类Domain的研究,O153.1
  9. 连续Domain的基数函数与若干Domain范畴的笛卡尔闭性,O154
  10. 格上点式一致结构与点式度量理论及其应用,O189.11
  11. 完备格的关系表示理论及其应用,O153.1
  12. 拟超连续Domain与拟超连续格,O189.1
  13. 关于非交换Poisson代数的若干研究,O153
  14. 弱Hoft代数的性质及弱Hoft模的不变量的研究,O153.3
  15. 拟C-偏序集与广义完全分配偏序集的若干性质,O153.1
  16. 关于半环的一些研究,O153.3
  17. 半模范畴中生成子与余生成子及其相关性质,O153.3
  18. 满足某可变恒等式的环的交换性,O153.3
  19. 顶点代数发展及在镜像对称中的应用的综述,O153
  20. 软环理论研究,O153.3
  21. 概念格的生成算法,O153.1

中图分类: > 数理科学和化学 > 数学 > 代数、数论、组合理论 > 抽象代数（近世代数） > 域论
© 2012 www.xueweilunwen.com