L-拓扑空间中的T3^#分离性.pdfVIP

维普资讯 第 21卷第 6期 模 糊 系 统 与 数 学 Vo1．21．No．6 2007年 12月 FuzzySystemsandMathematics Dec．。2OO7 文章编号 ：i001—7402(2007)06—0067—05 一 拓扑空间中的 分离性 韩 刚，吉智方 (内蒙古师范大学 数学科学学院，内蒙古 呼和浩特 010022) 摘 要 ：在 L一拓扑空间中定义丁 ，丁 分离性，讨论与其他分离性的关系．论证 了它们是L一好的推广，证 明了T 空间范畴是有积和上积的范畴。 关键词 ：丁 空间；丁 空间；范畴；满子范畴 中图分类号：O189．1 文献标识码 ：A 文I-1]定义了L一拓扑空间中的71分离性 的概念，本文主要讨论它的一些性质，并且定义 了一 种新的分离性 ：71。固分离性，证 明了它们是 L一好的推广。 本文沿用文献[2]的术语和记号 。例如，M (L)是L的全部分子之集，M (L)是 ∥ 中所有分子 之集 ；一(z)指分子 z 的全部闭远域之集，一()表示 F集 的全部闭远域之集。 定义 1L3] 设 ( ，71)是分明拓扑空间，若对 中任意一点 z及任意闭集 ，且z A，有z的开 邻域 和 的开邻域 使得 n 一 ，则称 (，71)为正则空间，称71的正则空间为71。空间。 定义 2 设 ( ，71)是分明拓扑空间，若对 中任意一点z及任意闭集 ，且 z A，有 z的开邻 域 和 的开邻域 使得 —nV一一 ，则称 ( ，71)为正则空间，称71的正则空间为 71。空间。 定义3 设 ( ，71)是分明拓扑空间，若对 中任意一点z及任意闭集 ，且 z A，有 z的开邻 域 和 的开邻域 使得 ～nV～= ，则称 (，)为正则空间，称 71的正则空间为 。空间。 定义4L2] 设 (∥ ，)是L一拓扑空间，若VzEM (L)及任意准分明闭集 ，当z suppA时，有 PE 一(z)，QE 一()，使 PVQ=1，则称 ( ，)为正则空间，称71l的正则空间为丁3空间。 定义5L1] 设 (L ，)是L一拓扑空间，若VzEM ( )及任意准分明闭集 ，当z suppA时，有 PE 一(z)，QE 一()，使P。VQ。一1，则称 (∥ ，)为强正则空间，称7 的强正则空间为71空间。 定义6 设 ( ，)是 一拓扑空间，若VzEM ( )及任意准分明闭集A，当z suppA时，有P E 一(z)，QE 一()，使 P—VQ一一1，则称 (∥ ，)为次强正则空间，称 71的次强正则空间为 空间。 在分明拓扑学中，我们还可以用 “每个点的开邻域都包含着这个点的一个闭邻域”来描写正则 性，因此定义1、定义2、定义3是等价的。文E2-1指出，定义1与以上关于正则性的刻划，对应到，J～拓 扑空间中的定理却不再等价，因此定义 4、定义5、定义 6是不等价的。 显然有 71 砰 丁3． 定理 1 设 (，J， (71))是 由分明拓扑空间( ，71)拓扑生成的 一拓扑空间，则( ，，(71))是 ★ 收稿 日期 ；2006—07—10 基金项目：内蒙古 自治区 自然科学基金资助项 目(2007110201O8) 作者简介：韩刚(1973一)，男．内蒙古呼和浩特人 ．内蒙古师范大学数学科学学院教师，研究方 向：模糊拓扑 。 维普资讯 68 模 糊 系 统 与 数 学 强正则 (71)空间当且仅当( ，71)是正则 (71。)空间。 证明 由文[2]的定理 5．2．3，只须就强正则性证明本定理。设 (Lx，wr(T))是强正则空间，则 ( ， (71))是正则空间，再由文[2]的定理 5．3．3知( ，71)是正则空间；反过来，设 ( ，71)是正则 空间，A是X上