L-闭包空间的c-可数性.pdfVIP

第 25卷第 6期 模 糊 系 统 与 数 学 VoI_25，No．6 2011年 l2月 FuzzySystemsandMathematics Dec．．2011 文章编号 ：1001—7402(2011)06—0093—06 一 闭包空间的 一可数性 凌思兰 ，孟 晗 (1．临沂职业学院，山东 临沂 276000； 2．聊城大学 数学科学学院，山东 聊城 252059) 摘 要：在三一闭包空间中引入第一f一可数性扣第二C一 可数性等的概念，分别给出了它们的基本性 质。分别证明了它们是可遗传的、可数可乘的和可数可加的，在L一 同胚序同态下都保持不变等重要性 质 。 关键词 ：模糊拓扑学；L一 闭包空间；第一c一 可数性 ；第二 c一 可数性 中图分类号：O189 文献标识码 ：A 1 引言及预备知识 文献 [1]中，MashhourA．S和GhanimM．H根据 eech闭包算子引入了 ech闭包空间的概念 ，建 立了F闭包空间的理论 。文献[2]中，Srivastava根据 Birkihoff闭包算子给出了Birkihoff闭包空间的概 念。在此基础上，文献[3]中研究了其子空间、积空间以及两两不相容的闭包空间的和空间等的一系列的 性质。这些工作只局限于L一 [O，1]的情形 。周武能在文献[6]引入了一类新的L一闭包算子、L一闭 包空间和连续序同态等概念 ，研究了它们的若干重要的性质 (尤其是范畴性质)，并将它们推广到完全分 配格 。 在本文 中，L和厶(一 1，2)均为F格(即，具有逆序对合的完全分配格)，L、 分别表示定义在 非空集合 x、 上取值于L的所有模糊集合构成的集族。1和 0分别表示定义 中的最大元和最小 元，M (L)表示 L中全体分子之集， (∥)表示 中全体分子之集。 定义 1．1 设L为一个完全分配格，V ，B∈ ，映射c： 一 满足：(1)f(0)一0x；(2)A ≤c(A)；(3)若 ≤B，则c()≤f(B)；(4)cc(A)=f()。则称C为 一闭包算子，序对 ( ，f)为 一 闭包空间。如果F∈∥ 满足F—c(F)，称F为 (∥ ，f)中的一个C一 闭集 。记为 = {F∈∥ ：f(F) 一 F}。若A ∈∥ 有 ∈ ，称 为C一开集 ，记 一 {A ∈∥ ：A ∈ )。 定义 1．2L5 设 (∥，c)为L一 闭包空间，z。∈M (∥)，若 F∈ 且 z篓F，称 F为分子z 的 一 个 C一 闭远域。对于E∈∥，如果存在 F∈％，使得 E≤F且 z篓F，则称 E为 。的一个C一远 域。分子 的所有 C一闭远域和C一远域构成的集族分别记为 一(z)和 (z)。 定义 1．3[5 设 (∥，c)为 一闭包空间， ∈M (L )，S= {()：∈D，．27∈X，九∈M (L)) 是 ∥ 中的分子网。 收稿 日期：2008一i0—06；修订 日期：2009—11一l6 基金项目：山东省 自然科学基金资助项 目(Y2003A01) 作者简介：凌思兰(1980一)，女，山东临沂人，临沂职业学院助教，研究方 向：模糊拓扑学；盂晗(1964一)，男，山东聊城人，聊城大学数 学科学院教授 ，研究方向：模糊拓扑学。 94 模 糊 系 统 与 数 学 (1)如果VP∈ (z)，S最终不在 尸中(即 Yt。∈D，当n≥ 。时，( ．墓尸)，则称z为 的 c一极限点，或称 收敛于z，记作-S一 35． (2)如果VP∈ (z)，S经常不在P中(即V ∈D， m∈D，当m≥12时，(z ．．车P)，称z。 为S的c一 聚点，或称 5的聚于 ，记作Soox． 定义 1．4 设 ( ，c)为 一 闭包空间，O为L 中的c一开集族，即0c ． (1)如果 中的每一个c一开集都可表示为A中的若干成员之并，即VG∈ ，j c0，使得G = VB，则称O为 (∥ ，c)中的一个 c一 基。 ∈9