z-拟连续omain与z-交连续domain.pdfVIP

(弱)z一拟连续在z一连续闭包(或有下伴随的开核)算子下的保持性以及z一 系，证明了Z一拟连续domain到方体的嵌入定理。 2 分离性，(弱)Z一交连续domain Abstract：The domains concepts of(weakly)Z—quasicontinuous —meat domains continuousareintroduced．Wethe that of prove images weakly domainsunder Z—quasicontinuousZ—continuousclosure orkerneloD． operators eratorswithalower are relations adjoint weaklyZ—quasicontinuous．The among Z—continuous domains domains，(weakly)Z—quasicontinuous —meet continuousdomainsare theoremof investigated．Finally，theembedding domainsinHilbertcubesi8 Z—quasicontinuous proved． Keywords：Z—subset system，(weakly)Z—quasicontinuous bra，Z—Scott topology，Z—Lawsontopology，T2 continuousdomain． 0．引言 近二十多年来。序结构的研究在计算机科学中变得越来越重要．七十年代 概念一连续格可以被用于对用高级程序语言书写的程序指派意义。由此开创 了连续格理论的研究．连续格理论从数学和计算机科学两方面不断向前发展。 取得一系列的重要成果．在文[7]中，Plotkin指出需要更为一般的对象用作计 一1—— 结构理论一直是指称语义学研究的一个关键点 在文[4][5]中，连续格的概念被成功地推广到广义连续恪和拟连续偏序． 基于这种推广方法，利用z一子集系统，我们引入了(弱)z一拟连续domain；利 月J Z—Scott拓扑引入了(弱)z一交连续domain w 丈』0分i节：第一节证||Jj了(1)当条件(i)助(P)∈z(I))；(ii)V P∈P，F．GE (1，)，3 开核钟．f-)下的像还是弱z一拟连续的，弱z一拟连续cIomain的z一予代数与 其上的Z一连续闭包箅子之间存在一一对应关系；第j二节主耍讨论rz一连续 ‘节证fIJ|了z