Fuzzy集论中邻属关系的分析

重域系构造在不分明拓扑的研究中已取得相当的成功,在文献[6]中我们给出了几组互相等价的公理系,从拓扑学与Fuzzy集论角度刻划了重域系构造,因为不分明拓扑空间中邻近构造是由不分明点与不分明集之间的邻属关系决定的,本文就从Fuzzy集论角度分析这个邻属关系。我们给出了直观且比较明显的四条原则并证明满足这些原则的唯一的邻属关系就是相重关系,这个相重关系在不分明拓扑学中相应于重域系构造。     

关于Fuzzy收敛类

在文献[1]中,我们建立了不分明点概念及其称作重域的一种邻近构造,进而我们还企图籍助所谓Fuzzy收敛类来刻划不分明拓扑.那里的“刻划”基本上平行于一般拓扑学中相应结果.但是,在不分明拓扑中,由于集合(看作特征函数)的取值范围已从二元集{0,1}扩展为实单位区间Ⅰ=[0,1],而且值域Ⅰ中各点之间还有序包含(即序大小)关系,故集     

Fuzzy拓扑空间中的仿紧性与紧性

<正> 本文中,以q记相重关系,以Q(A)记Fuzzy集A的重域系,以X记特征函数.其他未经定义的概念均取自[2—5]。简记Fuzzy拓扑空间为fts.在不致混淆时,常径称Fuzzy集,Fuzzy点为集和点,对分明集与其特征函数不加区别.恒以(X,)表-fts. 定义1 设,为(X,)中集族.称为的加细,若A∈,B∈     

完全分配格的谱论与拓扑分子格

本文借助于完全分配格的谱理论是首先证明分子格范畴同构于某连续偏序集范畴子范畴,然后利用上述同构,证明分子格上余拓扑同构于其中分子之集上。与分子序密切相关的某分明拓扑,从而就给“重域”“远域”这两个基本概念以合理解释,并证明许多拓扑分子格性质的研究可以化为相应的拓扑空间性质的研究.“重域”概念的引入,使 fuzzy 拓扑学的研究发生了根本变化,导致了有点派的兴起。而“远域”的引入,则导致因更广的拓扑分子格理论的产生,从而把 Fuzzy 拓扑为学纳入了拓扑格的范畴.本文中我们首先建立分子格范畴与连续偏序集范畴某子范畴的同构,从而把二者的研究紧密结合起来,然后借助上述同构把拓扑分子格中的问题的研究化为连续偏序集中问题去考虑,通过这种转化,我们将会看到,“重域”,“远域”等基本概念确为 fuzzy 拓扑学,拓扑分子格中唯一合理的点与集合的邻属关系,而择一原理这条fuzzy 拓扑学中的基本原理成立的原因也就变得很清楚。本文中凡未定义的概念请参看[4].     

不分明嵌入理论及其应用

本文讨论一类格上拓扑学中嵌入问题,确切说是讨论值域为fuzzy格的L不分明拓扑空间中嵌入理论及其应用.首先概述若干诸如不分明单位区间、重域构造以及格上保并映射类的代数运算等基础性成果.其次给出不分明完全正则的点式刻划与关于一致结构的著名Weil定理的不分明推广并从而建立了在不分明单位方体中一般性的嵌入定理.最后作为嵌入定理的应用,得到了不分明Urysohn度量化定理并完成了不分明Stone-Cech紧化的一般理论。     

拓扑分子格的分离公理

在[1]中我们建立了拓扑分子格的理论,它既是古典的点集拓扑学的推广,又是晚近发展起来的Fuzzy拓扑学的推广,对于某些Fuzzy格L(如L是线性序集或L是分子格等),它也是L—Fuzzy拓扑学的推广。因此,凡在拓扑分子格中得到的结果自然都是上述各种拓扑学中相应定理的一般化形式。在本文中我们将讨论拓扑分子格的分离公理。 我们熟知点集拓扑学中的分离公理有多种不同的等价形式。以正则性为例,设X是拓扑空间,X叫正则的,当且仅当对每个点a∈X以及a的每个开邻域U,a有开邻域V满足条件V~-U。这一分离公理又可表述为:设a∈X,F是X中不包含a的闭集,则有开集P     

基于连续值逻辑上的不分明化拓扑线性空间

在连续逻辑的语义框架下,我们给出了不分明化拓扑线性空间的概念,讨论了零元平衡邻域系的结构和性质,并在不分明化拓扑线性空间中给出不分明化凸集的代数与拓扑性质。     

不分明拓扑的层次结构

不分明拓扑较之分明拓扑多了一个层次结构.本文讨论了不分明集与其各层截集以及不分明拓扑与其层次拓扑之间的关系,给出了存在不分明集使其各层截集为给定的一族分明集的充要条件,进而给出了存在不分明余拓扑使其层次拓扑为给定的一族分明余拓扑的充要条件.本文还就相关的问题作了一些讨论,得出了一些有趣的结果.     

Fuzzy拓扑体

引入了 Fuzzy拓扑体的定义 ,研究了它的性质 ,得到了借助于θλ的重域系及开重域基刻画 Fuzz拓扑体的充要条件 ;为 Fuzzy拓扑体理论研究提供了框架和工具 .     

L-良紧子集的几何刻划

本文引入了L-Fuzzy子集的强α-远域族的概念;证明了,当M(?)J(L)时,广义Fuzzy拓扑分子格的Fuzzy子集A是良紧的充要条件是A的每个α-远域族都有有限强α-远域子族.利用这个结果我们还证明了良紧的Alexander子基定理,给出了良紧的定理的另一证明.     

不分明化拓扑中强紧性

在不分明化拓扑空间中,从pre-开集出发引入了强紧性的概念,并且给出了它的一些性质.这些概念的结合有助于我们对不分明化拓扑的研究.     

格上点式拓扑的基数函数

目前,不分明拓扑学的研究正迅速地向拓扑格的理论迈进。文[1]总结了过去的工作,较为全面地在一种合理而广泛的框架下建立了格上点式拓扑的远域系结构,以及Moore-Smith收敛的理论,为格上拓扑学的进一步研究奠定了基础。本文就是在这种较为广泛而又合理的拓扑格的背景下,以“远域”为工具,建立了格上拓扑学的各种基数函数的概念,讨论它们之间的关系,并推广了若干在一般拓扑学中较为著名的基数不等式。 在本文的讨论中,我们不涉及任何“开”的概念,仅以“闭”的概念作为基本的出发点,而获得了格上基数函数的许多性质。这又一次证明,在格上拓扑理论的研究中,“闭”的概念更为基本,更反映拓扑学的本质。有了这些讨论,人们对格上代数理论的认识,将会有深一层的了解。     

不分明化拓扑中近似紧性和几乎紧性

在不分明化拓扑空间中,从正则开集出发引入了近似紧性和几乎紧性的概念,并且给出了它们的一些性质.这些概念的结合有助于我们对不分明化拓扑的研究。     

不分明拓扑空间中完全正则性的点式刻划与嵌入定理

本文研究了以一般格为值域的不分明拓扑空间中的嵌入问题,提出了一种在嵌入理论中较贴切的分离性,利用重域构造与格上某种映射类的代数性质,给出了不分明完全正则性的点式刻划,并证明了关于不分明一致结构的Weil定理,建立了不分明基本方体中一般性的嵌入定理     

I-fuzzy拓扑线性空间中的零元平衡重域系

本文首先引入I-fuzzy拓扑线性空间的概念,并在该空间中利用连续值逻辑语义的方法研究了任意Fuzzy点重域系的性质;其次讨论了零元平衡重域系的结构及其性质;最后建立了零元的平衡重域系对I-fuzzy拓扑线性空间的刻画定理。     

良紧性的特征与网式Alexander子基引理

紧性是拓扑学中最重要的概念之一.自从1968年C.L.Chang提出Fuzzy拓扑空间的概念以来,人们就试图将这一概念推广到Fuzzy拓扑学中,提出了各种Fuzzy紧性.相比之下,还是王国俊提出的良紧性有较多的优点,比较理想,从而很快获得人们的承认.对良紧性进行各种等价刻划,不论对良紧性本身的研究还是对后继工作都是很重要的.事实上,正是对良紧性的几何刻划导致了这种紧性在L-Fuzzy拓扑空间中的推广.本文中,我们将对L-Fuzzy拓扑空间中的良紧性给出几个等价刻划,在此基础上,我们建立了良紧性的所谓网式Alexander子基引理,从而更加简捷地证明了良紧性的Tychonoff定理而不借助良紧性的几何特征.     

拓扑均衡支撑分子格

本文从讨论完备 Heyting 代数与完备原子 Boole 代数的内在联系出发,给出一类抽象格的若干结构定理,然后建立拓扑均衡支撑分子格的框架,使有点拓扑格理论与不分明拓扑学获得进一步统一.     

Fuzzy拓扑空间中的弱仿紧性与紧性

本文针对Fuzzy拓扑空间局部性质和整体性质的各种不同情形引入了Fuzzy弱仿紧性的概念,研究了通常弱仿紧性在Fuzzy拓扑学中的各种不同表现形式。它们定义于一般Fuzzy子集,对闭子集遗传,以Fuzzy拓扑空间中几类较合理的紧性为特款,且其中二类为通常弱仿紧性的“良好推广”(good extension)。本文讨论了Fuzzy弱仿紧性的基本性质,给出了Fuzzy拓扑空间中弱仿紧性,可数紧性和紧性之间各种关系。     

导集运算及其条件的独立性

对点集拓扑学中由导集运算决定拓扑的方法进行了讨论,给出了导集运算的定义,导集运算决定拓扑定理,并讨论了导集运算中条件的相互独立性.进一步完善了点集拓扑学中有关导集概念的内容.     

关于超一致空间的一个注记

最近,张德学引入了拓扑构造的co-tower扩张这一概念,并证明了不分明拓扑学中若干熟知的范畴构造可以表示为较为简单的范畴构造的co-tower扩张.本文证明了由J.GutiérrezGarcía和M.A.dePradaVicente[3]引入的超一致空间构造SUS具体同构与R.Lowen[9]意义下的不分明一致空间构造FUS的cco-tower扩张的一个满子构造,而已知FUS同构于一致空间构造的co-tower扩张.