关于R（{0，1／2，1}）的水平拓扑的一个结果.pdfVIP

第20卷第4期 纺 织 高 校 基 础 科 学 学 报 Vo1．20。No．4 2007年12月 BASIC SCIENCES JOURNAL OF TEXTILE UNIVERSITIES Dec．，2007 文章编号：1006—8341(2007)04—0331-04 关于R({0，1／2，1))的水平拓扑的一个结果 钟晓静，李生刚 (陕西师范大学数学与信息科学学院．陕西西安710062) 摘要：设L一{0，1／2，1)，Reg(XL)是 实直线(R(L)， )的水平拓扑空间(R(L)，z Ll／ ( ))中的 正则开集的全体．利用R(L)与平面R 的子集XL一{r，s)∈R l r≤5)之间的序同构关系，证 明了(Reg(XL)，c)是有补的locale，但它无素元，无余素元且不满足完全分配律． 关键词：L_拓扑空间；L-实直线；水平空间；正则开集 中图分类号：O 189．1 文献标识码：A 1 引言及预备知识 L一实直线(R(L)， )在模糊数学中扮演的角色与通常的实直线R在经典数学中扮演的角色相似，然而 R(L)上的序结构、代数结构和拓扑结构比R上的相应结构要复杂的多．文献E1]针对最简单的非平凡F 格L一{0，1／2，1)，讨论了(R(L)， )的水平空间和底空间的几种拓扑性质；文献E2]证明了实直线R(L) 中的正则开集的全体依集合的包含关系是一个有补的locale，但它无素元、无余素元且不满足完全分配 律．本文是文献[1．2]的继续，将证明(Reg(X )，c)是有补的locale，但它无素元、无余素元且不满足完全 分配律，其中L一{0，1／2，1)，Reg(XL)是L_实直线(R(L)， )的水平拓扑空间(R(L)，z L．1／ ( ))中的正则 开集的全体． 本文中，L一{0，1／2，1)，(R(L)， )表示L_模糊实直线，即R(L)一{F∈L 1]n，b∈R使12≤b， F- ({1))一(一。。，n]，F- ({0．5))一(口，6]，F- ({0))一(6，+。。))(为研究概率分布函数族的扑拓性质， 有时也把R(L)定义为仅在{0，1／2，1)中取值的概率分布函数的全体)， 是R(L)上以{L ，R l t∈R)为 子基的L_拓扑(L ，R 的定义见文献[1，33)．易见L的不等于1的交既约元之集M(L)一{0，0．5)．V ∈ M(L)和A∈L D，令z (A)一{F∈R(L)l A(F) )，则z ( )一{z (A)l A∈ )是R(L)上的拓 扑(称 的 一水平拓扑，(R(L)，z ( ))称z ( )的卜水平拓扑空间)．未加解释的概念请参见文献[1， 3—6]． 下面的定理给出了(R(L)， )的一个直观描述． 定理1[1] 设X 一{r， )∈R l r≤s)，其上序关系为式序，则存在双射 ：R(L)一x ，使得 和 1保存在的并和存在的交． 证明 V[ ]∈R(L)，令r—supA (1)，s—supA (1／2)， ([ ])一(r，s)∈XL，则 ：R(L)一xL 为要求的映射．根据定理1，可以将R(L)的任意子集E与它在 下的像 (E)视为同一个(特别地，可以认 为R(L)与X 是相同的)，于是得到下面的引理： 引理1 记A 一A (a)一{[ ]∈R(L)l A([ ])一a)(V A∈L D和a∈L)，则(如图1所示) 收稿日期：2007-04—08 基金项目：国家自然科学基金；陕西师范大学研究生培养创新基金资助项目 通讯作者：李生刚(1959一)，男，陕西省神木县人，陕西师范大学教授，博士生导师．主要从事格上拓扑学方面的研究．E— mail：shenggangli@yahoo．com．cn 332 纺 织 高 校 基 础 科 学 学 报 第2O卷 z ’ 口≤ z≤ }， 口一 0。