Fuzzy集论中邻属关系的分析

重域系在确定Fuzzy拓扑空间中Fuzzy点的邻近构造方面已经取得了相当的成功,在发展得颇为迅速的Fuzzy拓扑空间理论中起着重要的作用.在文献[8]中,我们从拓扑学与集论角度对重域系这种邻近构造给出了几种刻划,说明重域系是满足那里提出     

关于Fuzzy拓扑群

Fuzzy拓扑群的概念首先由Foster引进,由于所给定义本身的局限性,工作未能获得展开。本文作者在文献[2]中借助于加强“群运算的Fuzzy连续性”,提出了Fuzzy拓扑群的一个新定义,获得了一些结果。本文利用Lowen的Fuzzy拓扑定义(文献[2]利用的是Chang的Fuzzy拓扑定义),不再需要加强“群运算的Fuzzy连续性”,给出了Fuzzy拓扑群的又一新     

Fuzzy拓扑群的分离性

本文讨论Fuzzy拓扑群的分离性.我们沿用中的概念和记号,并以ftg表示Fuzzy拓扑群。定义若ftg(X,T)是Fuzzy准T_o(T_i)拓扑空间(i=1、2),则称(X,T)为准T_o(T_i)ftg;若ftg(X,T)是Fuzzy T_1且T_3(或T_1且T_4)拓扑空间,则称(X,T)为正则(或正规)ftg。对于上述各类ftg,我们有以下关系:[1]证得,这里仅给出两个较复杂的例子。     

Fuzzy赋范代数及局部m凸Fuzzy拓扑代数的表示

在前文“Fuzzy拓扑代数及局部m凸Fuzzy拓扑代数”(科学通报,29(1984),20:1279)中,我们提出了Fuzzy拓扑代数和局部m凸Fuzzy拓扑代数的定义,并对它们的一些性质进行了初步的探讨。本文将引进一类更特殊的Fuzzy拓扑代数——     

局部凸T_2型Fuzzy拓扑线性空间中Fuzzy凸集的分离定理

本文在文[1]的基础上,给出局部凸T_2型Fuzzy拓扑线性空间中Fuzzy凸集的分离定理,关于T_2型Fuzzy拓扑空间、Fuzzy拓扑线性空间、局部凸Fuzzy拓扑线性空间等概念,可参阅文[2～4]。     

(QL)Fuzzy拓扑线性空间和Fuzzy一致空间

在本文中,我们对(QL)型Fuzzy拓扑线性空间(数学年刊,6A(1985),345—354)的性质作进一步的讨论,并证明了(QL)型Fuzzy拓扑线性空间的拓扑可以由唯一的平移不变的Fuzzy一致结构导出,从而阐明了(QL)Fuzzy拓扑线性空间与R.Loweri定义的Fuzzy一致空间(J.Math. Anal. Appl., 82(1981),370—385)的关系。     

拓扑分子格(Ⅰ)

§1 引言1968年,Chang引入了Fuzzy拓扑空间的概念。由于对Fuzzy点的定义不恰当,特别是由于对Fuzzy点的邻近构造缺乏认识,从1968年到1975年所发表的那些简单模仿分明拓扑学中邻域方法的文章大都遇到了困难,得出了许多病态的结果。这一情况迫使国外学者回避Fuzzy点及其邻域等概念,从1975年后逐渐形成了“无点化”流派。1977年,蒲保明与刘应明在对Fuzzy点的定义作了适当修改之后首次打破传统的邻域方法,引入了重要的“重     

Fuzzy拓扑代数及局部乘法凸Fuzzy拓扑代数

定义 设X是数域K上的代数,(X,T)是如Lowen定义的Fuzzy拓扑空间,若对任何a,b∈X映射f:(x,y)→x y,g:(k,x)→kx,h_a:y→ay,h~b:xb(x,y∈X,k∈K)均是Fuzzy连续的(其中     

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

紧性是拓扑学中最重要的概念之一。自从1968年Fuzzy拓扑空间的概念被提出以来,人们就试图将这一概念推广到Fuzzy拓扑空间中,提出了各种Fuzzy紧性。相比之下,还是王国俊提出的良紧性比较理想,从     

Fuzzy凸集的分离定理

文献[1]中Zadeh引进了两个Fuzzy集关于普通超平面的分离度的概念,在此基础上给出了R~n中Fuzzy凸集的分离定理。Weiss在文献[2]中通过一个反例,指出了Zadeh的分离定理有漏洞,并作了修正。他利用所引进的诱导Fuzzy拓扑概念,给出了普通拓扑线性空间中Fuzzy凸集的分离定理。     

Boole算子Fuzzy逻辑中的广义归结原理

王湘浩、刘叙华的广义归结方法在一阶逻辑中推广了Robinson的归结原理,使得可以将归结方法用于一种非子句形式的公式集-广义子句集上.从而不仅可以避免从一般的公式集到子句集的转化过程所产生的大量符号冗余,同时也保持了对问题描述的自然性.我们在文献[2]中提出了Boole算子Fuzzy逻辑(以下简称BOFL),同时将归结方法简洁自然地引入BOFL.在BOFL中,一般地,对任意给定的公式G,可以将G转化成形如{λ_1,…,λ_m,λ_(m+1)∨C_1,…,λ_(m+n)∨C_n}的子句集S,其中λ_1,…,λ(m+n)是Fuzzy算子,C_1,…,C_n是不含Fuzzy算子的普通形式的子句,则对于任意的Fuzzy算子λ,公式G是λ-恒假的当且仅当子句集S是λ-恒假的.在将归     

一种新的Fuzzy连通性

本文针对Fuzzy拓扑空间提出了一种新的连通性——r连通性。这种连通性是用远域给出正面刻划的,它不同于巳有的用否定某种隔离性而定义的那些连通性。与已有的连通性比较,我们的连通性具有更多的优点,比如我们的连通性是有限可乘的。另外本文还讨论了已有的连通性的一些进一步的性     

拓扑分子格范畴与相关范畴的关系

以Fuzzy拓扑学与点集拓扑学为背景,1979年我们提出了拓扑分子格理论,此后几经拓广,文献[3]与[4]是其最一般的框架。正如文献[3]所指出的,Fuzzy拓扑学与点集拓扑学都是拓扑分子格理论的特款,然而关于是否可以通过经典拓扑学的方法来处理拓扑分子格理论的可行性问题似乎并不很清楚。本文将从范畴论的角度出发讨论拓扑分子格范畴(?)与拓扑空间范畴(?)以及局部超紧Sober双拓扑空间范畴(?)之间的关系,从而从总体     

论Fuzzy格之构造

自从Goguen提出L-fuzzy集的概念以来,Fuzzy格作为单位区间的一种自然推广受到了不分明数学工作者,特别是不分明拓扑学家们的极大关注。Hutton与刘应明等人都对这类格进行过研究,然而,至今尚未见到对这类格的构造进行专门探讨的文章。本文从事于这方面的研究,得到了关于Fuzzy格构造的两个定理,作为它们的应用,我们证明了由作者提出的“广义拓扑分子格”理论适用于一切Fuzzy格,从而我们可以把最一般的L-fuzzy拓扑空间理论作为特例纳入于这种拓扑格的理论之中。     

λ-Horn集上的λ-单元锁归结

我们于1984年提出了算子Fuzzy逻辑的概念和λ-归结方法,并得到若干理论结果。从中可以看到,在实际中很大一类不确定知识和规则,可以用λ-Horn子句集描述,例如著名的专家系统MYCIN中的知识和规     

Fuzz函数成为Zadeh型函数的充要条件

刘应明与王国俊曾对序同态理论进行过系统的研究并就正则的Fuzzy格分别建立了Fuzz函数成为Zadeh型函数的充要条件。本文的目的在于对任一Fuzzy格建立Fuzz函数成为Zadeh型函数的充要条件。值得一提的是,本文所引入的保承集Fuzzy序同态可用来定义L-Fuzzy拓扑空间间的同胚而放弃纵向上的度量不变性。文     

关于Fourier和的L~1收敛与L~1逼近

我们继前文(科学探索,4(1984),1:1—4)进一步讨论Fuzzy拓扑线性空间(以下恒记为(X,T))中凸集(下面总用A、B表X中的Fuzzy集)和局部凸的(X,T)的一些性质。     

由Fuzzy关系诱导的M-F连续映射性

定义1 T:X×Y→[0,1]是普通集合X到Y的单值Fuzzy关系,设x_2∈X,Υ(x,y)>0,令f~T(x_λ)=y_λT(x,y),称f~T为X到Y的M-F映射,记作f~T:X→Y。     

代数系上Fuzzy合同关系的格论性质

设是一个代数系(如群、环、格、向量空间等等),上具有某些(有限或无限多个)代数运算。上的一个Fuzzy等价关系R称为一个Fuzzy合同关系,如果对     

保层Fuzzy序同态的结构和Fuzzy同胚的另一定义

设L是完全分配格,X是非空通常集,X上L-Fuzzy集全体记作L~X,则它点式地从L中诱出格运算自然地成为完全分配格。本文将在文献[1—3]的基础上提出一种称作保层Fuzzy序同态的概念,并且研究它的结构,而后借助于它给出Fuzzy拓扑分子格之间同胚的