Z-连续偏序集的特征与稠密度 .pdfVIP

维普资讯

第３２卷第３期江西师范大学学报（自然科学版）

Ｖ０１．３２Ｎｏ．３

２００８年６月Ｊ０ＵＲＮＡＬＯＦＪＩＡＮＧＸＩＮＯＲＭＡＬＩＨ、ⅣＥＲｓｒＩ『１Ｙ（ＮＡＴＵＲＡＬＳＣＩＥＮＣＥＪｕｎ．２００８

文章编号：１０００－５８６２（２００８｝０３—０２９６－０４

Ｚ一连续偏序集的特征与稠密度

姚丽娟，徐晓泉

（江西师范大学数学信息科学学院，江西南昌３３００２２）

摘要：该文引入了二连续偏序集的局部基和稠密子集的概念，基于此定义了连续偏序集的特征和稠

密度；给出了局部基的刻画，并讨论了连续偏序集的特征和稠密度与连续偏序集上Ｚ＿Ｓｃｏｔｔ拓扑和

Ｚ－Ｌａｗｓｏｒｌ拓扑的特征、稠密度之间的关系；证明了连续偏序集上Ｚ－Ｓｃｏｔｔ拓扑的特征小于或等于Ｚ＿连

续偏序集及其Ｚ－Ｌａｗｓｏｎ拓扑的特征，连续偏序集的稠密度与其Ｚ－Ｓｃｏｔｔ拓扑的稠密度相等，且小于或等

于Ｚ－Ｌａｗｓｏｎ拓扑的稠密度．。

关键词连续偏序集；局部基；特征；：稠密度

中图分类号：０１５３．１；０１８９．１文献标识码：Ａ

Ｄｏｍａｉｎ理论与理论计算机科学有着密切的联系，它充分体现了序与拓扑的有机结合，因此一直受到计

算机科学和数学领域诸多学者的关注¨．近年来，人们把对这一领域的研究推广到更一般的框架ｉ．ｇｈＷｔ等ｒ

人在文［２］中提出了更为一般的概念，即ｚ＿连续偏序集的概念．许多人对此进行了研究，并将Ｄｏｍａｉｎ理论中

许多结果推广至了ｚ＿连续偏序集上．在文［３］中，赵彬和刘妮讨论了连续ｄｏｍａｉｎ的特征与浓度．本文将其推

广至ｚ＿连续偏序集情形，得到了一系列相应的结果．

１预备知识

在本文中，Ｐｏｓｅｔ表示所有以偏序集为对象，保序映射为态射的范畴；Ｓｅｔ表示集合范畴．

定义１Ｌ４Ｊ函子Ｚ：Ｐｏｓｅｔ—Ｓｅｔ称为是Ｐｏｓｅｔ上的一个子集系统，简称ｚ是一个子集系统，若ｚ满足以

下条件：（１）ＶＰＥｏｂ（Ｐｏｓｅｔ），Ｚ（Ｐ）ｃ２；（２）ＶＰ，ＱＥｏｂ（Ｐｏｓｅｔ），保序映射ｆ：Ｐ—Ｑ，ＡＥ

ｚ（Ｐ）＝＝＞ｚ）（Ａ）（＝ｆ（Ａ）∈Ｚ（Ｑ）；（３）ｊＰ∈ｏ６（Ｐｏｓｅｔ）使Ｚ（Ｐ）含有Ｐ中的非单点的非空子集．

在以下讨论巾，ｚ总表示Ｐｏｓｅｔ上的一个子集系统．

定义２设Ｐ为偏序集，Ｖ，ＹＥＰ，称Ｚ－ｂｅｌｏｗｙ（记为《），若ＶＳＥＺ（Ｐ），ｙ≤ｓｕｐＳ，ｊｓＥＳ

使≤ｓ．

定义３［］设Ｐ为偏序集，（１）ＶＳＥＺ（Ｐ），５称为Ｐ的理想，ｚ＿理想的全体记为（Ｐ）；（２）Ｐ称

为ｚ＿完备的，若ＶＳＥＺ（Ｐ），ｓｕｐＳ存在．

定义４称ｚ为并完备的子集系统，若ＶＰＥｏｂ（Ｐｏｓｅｔ），当｛：ＥＪ｝∈Ｚ（（Ｐ））时，ＵＥ（Ｐ）．

定义５偏序集Ｐ称为ｚ＿连续偏序集，若Ｐ是ｚ＿完备的且ＶＥＰ，ＵｚｘＥ（Ｐ），＝ｓｕｐＵ，

其中ｚｘ＝｛ＹＥＰ：Ｙ《｝．

定义６设Ｐ为ｚ＿连续偏序集，（１）ＢｃＰ，称Ｂ为Ｐ的基，若ＶＥＰ，ＵｚｘＮＢＥ（Ｐ）且＝

收稿日期．＂２００７—１０－１２

基金项目：国家自然科学基金，江西省自然科学基金（０４ｌ１０２５）和江西师范大学博士基金资助项目

作者简介：姚丽娟（１９８３一），女，江西宜丰人，理学硕士研究生，主要从事格上拓扑学的研究．