Z准连续Domain的性质及其等价刻画-西南大学.PDF

( ) 第 卷第 期 西 南 大 学 学报 自然科学版 年 月 39 8 2017 8 ( ) Vol.39 No.8 JournalofSouthwestUniversit NaturalScienceEdition Au. 2017 y g : / DOI 10.13718 .cnki.xdzk.2017.08.010 j Z 准连续Domain的性质及其等价刻画① 马 崛, 魏美华 , 榆林学院 数学与统计学院 陕西 榆林 719000 摘要: , , 引入了 准极小集 通过 准极小集定义了 准连续 给出了 准连续 的等价刻画 Z Z Z Domain Z Domain . 关 键 词: 准极小集; 准连续 ; 连续 Z Z Domain Z Domain 中图分类号: 文献标志码: 文章编号: ( ) O152.4 A 1673 9868201708 0073 04 , 、 、 Domain理论为计算机程序设计语言的指称语义学奠定了数学基础 属于以格论 拓扑学 范畴论及理 [] 1 [] 论计算机科学为基础的交叉领域 连续 是 理论中的重要研究对象 文献 中给出了 . Domain Domain . 2 Z , [] 连续 的定义和一些基本性质 由文献 还可以看出 连续 与连续 有好多相似的 Domain 2 Z Domain Domain [] ——— 性质 文献 中介绍了弱于连续 的一种结构 准连续 本文引入了弱于 连续 . 3 Domain Domain. Z Domain ——— , , 、 的一种结构 准连续 给出了它的一些等价刻画 并且讨论了 准连续 的积结构