原创力文档- 1、本文档共4页，可阅读全部内容。
- 2、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。
- 3、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
- 5、该文档为VIP文档，如果想要下载，成为VIP会员后，下载免费。
- 6、成为VIP后，下载本文档将扣除1次下载权益。下载后，不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后，您将拥有八大权益，权益包括：VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传，每下载1次， 网站将根据用户上传文档的质量评分、类型等，对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
维普资讯
第３２卷第３期江西师范大学学报（自然科学版）
Ｖ０１．３２Ｎｏ．３
２００８年６月Ｊ０ＵＲＮＡＬＯＦＪＩＡＮＧＸＩＮＯＲＭＡＬＩＨ、ⅣＥＲｓｒＩ『１Ｙ（ＮＡＴＵＲＡＬＳＣＩＥＮＣＥＪｕｎ．２００８
文章编号：１０００－５８６２（２００８｝０３—０２９６－０４
Ｚ一连续偏序集的特征与稠密度
姚丽娟，徐晓泉
（江西师范大学数学信息科学学院，江西南昌３３００２２）
摘要：该文引入了二连续偏序集的局部基和稠密子集的概念，基于此定义了连续偏序集的特征和稠
密度；给出了局部基的刻画，并讨论了连续偏序集的特征和稠密度与连续偏序集上Ｚ＿Ｓｃｏｔｔ拓扑和
Ｚ－Ｌａｗｓｏｒｌ拓扑的特征、稠密度之间的关系；证明了连续偏序集上Ｚ－Ｓｃｏｔｔ拓扑的特征小于或等于Ｚ＿连
续偏序集及其Ｚ－Ｌａｗｓｏｎ拓扑的特征，连续偏序集的稠密度与其Ｚ－Ｓｃｏｔｔ拓扑的稠密度相等，且小于或等
于Ｚ－Ｌａｗｓｏｎ拓扑的稠密度．。
关键词连续偏序集；局部基；特征；：稠密度
中图分类号：０１５３．１；０１８９．１文献标识码：Ａ
Ｄｏｍａｉｎ理论与理论计算机科学有着密切的联系，它充分体现了序与拓扑的有机结合，因此一直受到计
算机科学和数学领域诸多学者的关注¨．近年来，人们把对这一领域的研究推广到更一般的框架ｉ．ｇｈＷｔ等ｒ
人在文［２］中提出了更为一般的概念，即ｚ＿连续偏序集的概念．许多人对此进行了研究，并将Ｄｏｍａｉｎ理论中
许多结果推广至了ｚ＿连续偏序集上．在文［３］中，赵彬和刘妮讨论了连续ｄｏｍａｉｎ的特征与浓度．本文将其推
广至ｚ＿连续偏序集情形，得到了一系列相应的结果．
１预备知识
在本文中，Ｐｏｓｅｔ表示所有以偏序集为对象，保序映射为态射的范畴；Ｓｅｔ表示集合范畴．
定义１Ｌ４Ｊ函子Ｚ：Ｐｏｓｅｔ—Ｓｅｔ称为是Ｐｏｓｅｔ上的一个子集系统，简称ｚ是一个子集系统，若ｚ满足以
下条件：（１）ＶＰＥｏｂ（Ｐｏｓｅｔ），Ｚ（Ｐ）ｃ２；（２）ＶＰ，ＱＥｏｂ（Ｐｏｓｅｔ），保序映射ｆ：Ｐ—Ｑ，ＡＥ
ｚ（Ｐ）＝＝＞ｚ）（Ａ）（＝ｆ（Ａ）∈Ｚ（Ｑ）；（３）ｊＰ∈ｏ６（Ｐｏｓｅｔ）使Ｚ（Ｐ）含有Ｐ中的非单点的非空子集．
在以下讨论巾，ｚ总表示Ｐｏｓｅｔ上的一个子集系统．
定义２设Ｐ为偏序集，Ｖ，ＹＥＰ，称Ｚ－ｂｅｌｏｗｙ（记为《），若ＶＳＥＺ（Ｐ），ｙ≤ｓｕｐＳ，ｊｓＥＳ
使≤ｓ．
定义３［］设Ｐ为偏序集，（１）ＶＳＥＺ（Ｐ），５称为Ｐ的理想，ｚ＿理想的全体记为（Ｐ）；（２）Ｐ称
为ｚ＿完备的，若ＶＳＥＺ（Ｐ），ｓｕｐＳ存在．
定义４称ｚ为并完备的子集系统，若ＶＰＥｏｂ（Ｐｏｓｅｔ），当｛：ＥＪ｝∈Ｚ（（Ｐ））时，ＵＥ（Ｐ）．
定义５偏序集Ｐ称为ｚ＿连续偏序集，若Ｐ是ｚ＿完备的且ＶＥＰ，ＵｚｘＥ（Ｐ），＝ｓｕｐＵ，
其中ｚｘ＝｛ＹＥＰ：Ｙ《｝．
定义６设Ｐ为ｚ＿连续偏序集，（１）ＢｃＰ，称Ｂ为Ｐ的基，若ＶＥＰ，ＵｚｘＮＢＥ（Ｐ）且＝
收稿日期．＂２００７—１０－１２
基金项目：国家自然科学基金，江西省自然科学基金（０４ｌ１０２５）和江西师范大学博士基金资助项目
作者简介：姚丽娟（１９８３一），女，江西宜丰人，理学硕士研究生，主要从事格上拓扑学的研究．
文档评论（0）