Z-连续偏序集的刻画.pdfVIP

第33卷第2期 南昌大学学报 (理科版) V01．33No．2 2009年4月 JournalofNanchangUniversity(NaturalScience) Apr．2009 文章编号：1006—0464(2009)02—0121—02 Z一连续偏序集的刻画 饶三平 ，许广红 (1．南昌工程学院理学系，江西 南昌 330099；2．南昌航空大学 信息与计算科学院，江西 南昌 330063) 摘 要：在Z一完备偏序集中引入 Z—Scott开滤子，并用Z—Scott开滤子的分离性、强分离性刻画z一连续偏序集， 得到z一连续偏序集的二个刻画定理。 关键词：z一连续偏序集；z—Scott开滤子；分离性 中图分类号：O153．1 文献标识码：A 近30年来，由于计算机科学所引起的关注和数 注 VP ∈Ob(Poset)，有 (1)Vp∈P，{P}∈ 学若干领域所取得的重要进展，计算机科学和数学 z(P)，(2)VQ 尸，Z(Q) z(P)，(3)V ，Y∈P， 的交叉之研究，特别是拓扑结构、格序结构、范畴结 )，= {，Y}∈Z(P)。 构等在计算机科学中的应用引起了人们的广泛关 以下是三个常用的子集系统： 注 。20世纪70年代初，Scott、Plotkin、Hofmann、 (1) VP ∈Ob(Poset)， P)为P的子集全 Lawson、Keimel等人创建了连续格 (Domain)理论。 体)； 从此，Domain的结构理论成为计算机程序指称语义 (2) VP ∈Ob(Poset)， P)为P的定向子 学研究的一个关键点。 集全体)； 无论从数学的角度还是从计算机程序指称语义 (3)取 VP ∈Ob(Poset)，取 P)为P的有限子 学的角度而言，Domain理论研究的一个重要方面是 集全体)。 尽可能地将连续格 (Domain)理论推广到更为一般 在以下讨论中，z总表示Poset上的一个子集系 的格序结构上去 J，而研究推广了的连续格 (Do— 统。VP∈Ob(Poset)，称z(P)为P上的一个子集系 main)的性质就显得比较重要了。本文在z一完备 统。P称为是z一完备的，若 VS∈Z(P)，supS存在。 偏序集中引入z—Scott开滤子；并用定义了的z— 若 VS∈Z(P)，Y≤supS，存在s∈Js，满足 ≤s，则 Scott开滤子的分离性、强分离性刻画z一连续偏序 称 弱逼近)，，记作 《y。 集，得到z一连续偏序集的两个刻画定理。 规定 z = {Y∈P：y《z}，Tr = {Y∈P： 1 预备知识 《zY}，显然我们有 ll =n {，∈lz(P)I ≤ sup／}，其中Iz(P)= { s|：S∈Z(P)}。 本文中，Set表示集合范畴，Poset表示以所有偏 定义1．21【 设P是z一完备偏序集 ，称P为z 序集为对象，保序映射为态射的范畴。有关格论的基 一 连续偏序集，若 V ∈P满足 (1) ： ∈，Z(P)， 本知识可以参见文献 [1]。 (2) =sup 。 对给定范畴 C，G的对象记为 D6(C)。VP ∈ 定义1．3[2 设z为P上的子