测度拓扑和连续偏序集的刻画.pdf

高校应用数学学报 2014，29(4)：462—466 测度拓扑和连续偏序集的刻画 毛徐新 徐罗山 (1．南京航空航天大学 理学院，江苏南京 210016 2．扬州I大学数学科学学院，江苏扬州I225002) 摘 要：研究偏序集上的测度拓扑以及与其它内蕴拓扑间的关系，利用测度拓扑刻画 了偏序集的连续性．构造了反例说明存在完全分配格，其上的测度拓扑不是连续格从 而不是局部紧拓扑． 关键词：偏序集；Scott拓扑；测度拓扑；连续偏序集 中图分类号：O153．1；O189．1 文献标识码：A 文章编号：1000—4424(2014)04—0462—05 §1 引 言 Domain理论[1]属于格论、拓扑学、范畴论及理论计算机科学的交叉领域，这一理论的提 出源于两个不同的背景：一是理论计算机中函数式语言的语义研究，另一是偏序结构与内蕴拓 扑的纯数学研究．为扩大Domain理论的实用范围，许多学者尝试建立了更为一般的连续偏序集 理论(见文献2『—91)．2000年，K．Martin研究计算问题的数学基础时对连续dcpo(~Domain)引入 了称作 拓扑的一种新内蕴拓扑，证明了这种内蕴拓扑实际上由Domain上具有一定条件的测度 所诱导，利用 拓扑，Martin广泛研究了诸如连续函数的不动点，Domain上的测度等问题-7J_文 献 8『1在一般的偏序集上引入测度拓扑和全测度等概念，讨论了连续偏序集上的测度拓扑和全测 度的性质，推广和简化了文献f71中的相关概念和结论．本文则在文献 8『]的基础上进一步探讨偏 序集上测度拓扑的性质以及测度拓扑与其它内蕴拓扑间的关系，利用测度拓扑刻画了偏序集的 连续性．这一工作提供了认识偏序集连续性的一个新途径． §2预备知识 下面是一些预备知识，大多采自文献[1]_[3】，未说明的拓扑术语可参考文献1【0]． 设(P，)是偏序集，其对偶偏序集(P，)记为P ．设D为P的非空子集．若对任意a，b∈D， 存在C∈D使a C，b C，则称D为P的定向集．对偶地，P 中的定向集称为P的滤向集．若P的 任意定向集D都存在上确界，则称P是定向完备偏序集，简称dcpo．设 P，记TX={ ∈PI 收稿 日期：2014．03．18 修回日期：2014—11—08 基金项 目：国家自然科学基金611030181 毛徐新等：测度拓扑和连续偏序集的刻画 463 X∈X，X )，X={ ∈PlX∈X，Y )，并分别称为 的上集和下集．偏序集P中的 滤向的上集称为滤子．若对于任意的X，Z∈X，X Y z蕴涵Y∈X，则称子集 是序凸集． 设P是偏序集， P．若 满足条件：(1)U=T ；(2)P中任一定 向集D，当supD存在 且supD ∈U时，有J亡)n ≠ ，则称 为P的Scott开集．P 的全体Scott开集形成的拓扑称 为Scott拓扑，记作 (P)．Scott开集的余集称为Scott闭集．P的全体Scott闭集用 fP)表示． 偏序集P的全体上集形成P的一个拓扑，称为Alexandrov拓扑，记为 (P)．对偶地，P的全体 下集形成的拓扑，称为对偶Alexandrov拓扑，记为Ol(P)．P的以fP＼T lX∈P 为开子基形成 的拓扑称为下拓扑，记为u(P)，称A(P)= (P)V (P)为P上的Lawson拓扑． 定义2．1(见[1—3】)设P是偏序集，X，Y∈P．若任意定向集D P，当supD存在且 supD 时有d∈D使X d，则称 逼近于(或双小于)，记作X 《Y．当X 《 时，称X是P的紧元．对任 意 ∈P，记 ={∈PiY 《)， ={∈Pl 《 }． 定义2．2(见[1—3】) 设P是偏序集，若对任意X∈P，有 X是定向集且sup X=X，则称P是 连续偏序集．连续的dcpo称为连续Domain或简称Domain．连续的完备格称为连续格． 引理2．3(见[1，命题II．1．