拓扑系统的相对分离性.pdfVIP

第 29卷第 1期 模 糊 系 统 与 数 学 Vo1．29，No．1 2015年 2月 FuzzySystemsandMathematics Feb．。2015 文章编号 ：1001～7402(2015)01—0006—04 拓扑系统的相对分离性 杨 慧，姜广浩，肖 璨 (淮北师范大学 数学科学学院，安徽 淮北 235000) 摘 要 ：对拓扑系统的相对分离性进行初步探讨，得到若干新的结论 。 关键词 ：拓扑系统；子拓扑系统 ；相 对分 离性 中图分类号 ：O189 文献标识码 ：A 拓扑系统是 目前最广泛的拓扑研究对象之一。文献[1]提出了一些关于拓扑系统的相对分离性的初 步结果 ，文献[2]从空间化角度引入 了拓扑系统的一类 (一 1，2，3，4)分离性。相对的拓扑性质是经典 拓扑性质的推广。1996年 ，A．V．Arhangel’skii首次在文献[3]中对相对拓扑性质做了最基本的介绍 ，给 出了分离性的一些相对性质。本文初步讨论了拓扑系统的相对分离性 ，得到了若干结果 。 1 基本概念 定义 1．1[1] 设 x是集 ， 是一 frame，其最大元与最小元分别记为 1，0。又设 }=是x ×A的子集 且记 (z，a)∈ }=为z}=a(读作 35满足a)。若 }=具有性质 ： (1)对任一有限集S 和点z∈X， }=八 当且仅当每一 a∈S，z}=口； (2)对任一集 和点 z∈X，X}=VS当且仅当存在 口∈S，X}=a． 则称三元组 ( ，A，}=)为一拓扑系统 。A中的元称为拓扑系统的开元 ，x 中的元称为拓扑系统的点。通 常用大写字母 D表示拓扑系统(x，A，}=)，分别用 ptD和 D表示拓扑系统D 的点集 x和开元集 A 定义 1．2n] 设 D是一个拓扑系统 ，任意开元 日∈aiD 的内容 ex(a)定义为 ex(a)一 {z∈ptD： 口}。 定义 1．3_4 设D是拓扑系统，x ptD，三 是 aiD上的frame同余 。作 aiD上关于x上的等价关 系 三 ：Va，b∈aiD，a三 b当且仅 当口兰b且任意z∈X，z}=口甘z}=b，则 三 也为aiD上的frame同余 。 此时拓扑系统D 一 (x，D／三x，}=)称为D 的一个子拓扑系统，其 中X}=Ea3~zx}=n． 2 主要结论 设 E是 D 的子拓扑系统 ，遵循分离性公理 ，则有如下定义及其性质 ： 2．1 就71。拓扑系统而言，有 定义 2．1 称 E在D 中丁。，如果Vz，_)，∈ptE，且z≠Y，3a∈aiD，使z}=口但 Y不 }=a，或jb 收稿 日期 ：2013-09—21；修订 日期 ：2014-01—09 基金项 目：国家 自然科学基金资助项 目(1lO010Ol；安徽省高等学校省级 自然科学研究重点项 目(KJ2Ol3A236) 作者简介：杨慧 (1986一)，女，江苏丹阳人，淮北师范大学数学科学学院研究生，研究方 向：一般拓扑学；姜广浩 (通讯作者)(1973一)， 男，江苏沛县人，淮北师范大学数学科学学院副教授 ，博士，研究方向：一般拓扑学；肖璨 (1989一)，女，江苏泰兴人，淮北师范大学数学科学 学院研究生 ，研究方 向：一般拓扑学 。 第 1期 杨慧，姜广浩等：拓扑系统的相对分离性 E I2D使 }=b但 z不 }=b． 称 E在 D 中强丁。，如果V EptD，YEptE，且 ≠Y，]口EOD，使 ．72}=a但 Y不 }=a，或]b Ea2D使 Y}=b但z不 }=b． 由定义 2．1知 ，相对丁。有如下结论 ： 定理 2．1 若 E在 D 中强 丁。，则 E在 D 中T。． 定理 2．2 E在D 中丁。∞E是 拓扑系统。 证明 ( )设 V,72，YEptE，且 z≠ ．由于E在 D中 。，不妨设 口Eg2D，使 }=口且 不 }=口， 则 z∈ex(a)NO(ptE)且 esc(a)nO(ptE)。令 m===aNOEE E，即]mEOE使得z}=m