S-超连续偏序集的性质及等价刻画-计算机工程与应用.PDFVIP

Computer Engineering and Applications 计算机工程与应用 2015 ，51（1） 9 S-超连续偏序集的性质及等价刻画 1 2 毛徐新 ，徐罗山 1 2 MAO Xuxin , XU Luoshan 1.南京航空航天大学 理学院，南京 210016 2.扬州大学 数学科学学院，江苏 扬州 225002 1.College of Science, Nanjing University of Aeronautics and Astronautics, Nanjing 210016, China 2.College of Mathematical Science, Yangzhou University, Yangzhou, Jiangsu 225002, China MAO Xuxin, XU Luoshan. Properties and characterizations of supercontinuous posets. Computer Engineering and Applications, 2015, 51 （1）：9-12. Abstract ：Some properties of supercontinuity of posets and relations with other generalized continuities are given. The concept of principal ideal supercontinuity for posets is introduced. By lifts and principal ideals, some new characteriza- tions for supercontinuous posets are given. It is proved that the supercontinuity is equivalent to the principal ideal super- continuity on semilattices. Two counterexamples are constructed to show that the supercontinuity and the principal ideal supercontinuity on posets do not imply each other. Key words ：supercontinuous poset; principal ideal supercontinuous; semilattice; Scott topology 摘 要：研究偏序集上的S-超连续性以及与其他广义连续性间的若干关系。利用提升和主理想S-超连续等概念给 出了S-超连续性的几个等价刻画。证明了一个交半格是S-超连续的当且仅当它是主理想S-超连续的。构造了反例 说明偏序集的S-超连续性与主理想S-超连续性互不蕴涵。 关键词：S-超连续偏序集；主理想S-超连续；交半格；Scott 拓扑 文献标志码：A 中图分类号：O 153.1；O 189.1 doi ：10.3778/j.issn. 1002-8331.1404-0319 1 引言 结果是：一个偏序集是连续的当且仅当它上面的Scott [1-2] [3-4] Domain 理论 属于格论、拓扑学、范畴论及理论计 拓扑是一个完全分配格 。作为完全分配格的一种推广， 算机科学的交叉领域，这一理论的提出源于两个不同的 Zhao 和Zhou 在偏序集上引入S-超连续（supercontinuity） [5] 背景：一是理论计算机中函