WZDomain与WZScott拓扑.pdf

第24卷第2期 模糊系统与数学 V01．24，No．2 andMathematics 2010年4月 FuzzySystems Apr．．2010 文章编号：1001—7402(2010)02—0050—07 WrZ—Domain与缈Z—Scott拓扑’ 刘 敏，赵彬 (陕西师范大学数学与信息科学学院，陕西西安 710062) 摘要：引入WZ-双d、于关系，以此为基础给出WZ—Domain的概念，讨论它的基本性质，证明当子集 系统z满足一定条件时，WZ-Domain上的WZ一双小于关系具有插入性。其次，在z-完备偏序集上定义 WZ—Scott拓扑，证明在一定条件下一个映射关于该拓扑是连续映射当且仅当该映射保定向的Z集之 间是Sober空间当且仅当该拓扑空间具有Rudin性质。 关键词：予集系统；WZ一双小于关系；ⅣZ—Domain；彬Z—Scott拓扑 中图分类号：0153 文献标识码：A 由于连续格理论在理论计算机科学，拓扑学等领域有着很强的应用背景，它的研究得到了广泛的关 注[1_2]。近年来连续格及其相关问题的研究引起了人们的极大兴趣r3-s]。对偏序集的连续性有许多种定 统及相关问题的研究成了人们的一个研究热点[s-9]，通常的做法是将双小于关系推广为Z一双小于关系， 并以此建立Z一连续偏序集理论。本文引入了WZ一双小于关系，以此为基础进一步研究了连续偏序集、 Scott拓扑等概念及相关问题。 1 预备知识 文中，Set表示集合范畴。Poset表示以偏序集为对象，以保序映射为态射的范畴。对给定的范畴够， P∈Ob(Poset)，z∈P，A至P，记0 留的对象记为Ob(留)。V 口∈A d，，d：∈D，3d∈D，使得d。，d。≤d．A 对偶地定义十z和十A．D∈P称为定向集，若D≠⑦且V a。，a：∈A，3 曼P称为相容集，若V P∈P，使得a，，口：≤P．F≤P称为滤子，若F是非空下定向的上 集。P∈P称为素元，如果P一1或尸＼4，P是滤子。P中的一个元素称为余素元，若它是P中的素元。 A在P中的上下确界分别记为supA，infA或VA，^A对于拓扑空间X，记汐(X)为x的开集格。一 at(P)[6]。文中其它未加定义的概念及相关结论请参考文献[13，[33。 定义1．1[3]函子Z：Poset--，Set称为Poset上的一个子集系统，若Z满足以下条件： (i)V P∈Ob(Poset)，ZEP]互2‘P； ,／j收稿日期：2008—06—18 基金项目：国家自然科学基金资助项目 ．～咆妻革命．：刘墼(1．98．4．一?，．曼．·四川丹棱人，陕西师范大学研究生，研究方向t格上拓扑学；赵彬(1965-)，男，陕西师范大学教授，博士 生导师，研究方向：格上拓扑与模糊推理． 万方数据 第2期 刘敏，赵彬：WZ—Domain与WZ—Scott拓扑 51 (iii)j P∈Ob(Poset)，使得zrP3含有P的非单点子集。 以下是一些常见的子集系统： (1)多(VP∈Ob(Poset)，9[P]为P的子集全体)。 (2)勿(V尸∈Ob(Poset)，纫1-p]为P的定向子集全体)。 (3)矿(V P∈Ob(Poset)，髟[尸]为尸的有限子集全体)。 (4)刃(VP∈Ob(Poset)，历[P]为P的非空相容子集全体)。 命题1．1c33设Z是一个子集系统，则对任意的尸∈Ob(Poset)有： (i)V P∈P，{