拟Z极小集和其应用.pdfVIP

第22卷第4期 模糊系统与数学 V01．22，No．4 and Mathematics 2008年8月 FuzzySystems Aug．，2008 文章编号：1001—7402(2008)04一0052一06 拟Z一极小集及其应用’ 饶三平1，徐晓泉2 (1．南昌工程学院理学系，江西南昌330099； 2．江西师范大学数学系，江西南昌 330027) 摘 要：定义了拟Z一极小集，并证明了拟z一连续Domain的每个元都有拟z一极小集，在拟Z一连 续Domain中，给出了保拟Z一极小集映射的几个等价刻画，并且在此基础上，运用Rudin性质，得到了 拟Z一连续Domain上的两个相应扩张定理。 关键词：拟z～连续Domain；拟z一极小集；Z—below关系；Rudin性质 中图分类号：0153 文献标识码：A 1 引言 近三十年来，由于计算机科学所引起的关注和数学若干领域所取得的重要进展，计算机科学和数学 的交叉之研究，特别是拓扑结构、格序结构、范畴结构等在计算机科学中的应用引起了人们的广泛关 此，Domain的结构理论成为计算机程序指称语义学研究的一个关键点。 无论从数学的角度还是从计算机程序指称语义学的角度而言，Domain理论研究的一个重要方面 入了极小集概念H]，并证明了完全分配格的每个元都存在极小集。在文1-83中，王国俊教授详细地介绍 了极小集及其应用。另一方面，由于对Domain理论研究的不断深入，徐晓泉教授在文[10]中引入了拟 z一连续Domain，从而使Domain理论得到了进一步的发展。 中，保拟z一极小集映射的几个不同的等价刻画，从而得到了拟z一连续Domain上的两个相应的扩张 定理。 2 预备知识 在本文中，Set表示集合范畴，Poset表示以所有偏序集为对象，保序映射为态射的范畴。对给定的范 畴C，C的对象集记为Ob(C)。 V ·收稿日期：2006一Il一23 基金项目：国家自然科学基金资助项目；江西省自然科学基金资助项目(0411023) 作者简介：饶三平(1981一)，男，江西永修人．硕士，格论，domain理论；徐晓泉(1961一)，男，江西乐平人，江西师范大学数学系教授， 格论，domain理论． 第4期 饶三平，徐晓泉：拟Z一极小集及其应用 53 ={千A：A∈P‘∽)。 定义rain：FinP一27如下：VF∈FinP，min(F)={z∈F：z为F的极小元)。 本文约定，对任意集族彳，(彳，2)总表示彳被赋予集反包含序所得的偏序集。 A，B∈彩，3 彳称为下定向的，若V C∈彳使得C￡AnB，即偏序集(∥，≥)是定向的。将 定义2．1EzJ函子Z：Poset—Set称为Poset上的一个子集系统，若Z满足下述条件： (1)V尸∈Ob(Poset)，Z(P)量2’； (2)V (3)jP∈Oh(Poser)，使Z(P)含有P的非单点的非空子集。 注：VP∈Ob(Poser)，有： (1)V P∈P，{P}∈Z(P)； (2)VQ∈P，Z(Q)互Z(P)； (3)V z，Y∈P，zy净{z，Y)∈Z(P)。 以下是三个常用的子集系统： (1)多(VP∈Ob(Poset)，多(P)为尸的子集全体)。 (2)纫(VP∈Ob(Poset)，纫(P)为P的定向子集全体)。 (3)矿(V P∈Ob(Poser)，髟(尸)为P的有限子集全体)。 备的，即V5∈Z(尸)，VS存在。 --Domain(即定向完备偏序集)简称为Domain。 定义2．2r11]设z是