模糊关系方程·■=的解

本文指出文[1]中关于Fuzzy关系方程A·X=B的解的一个推论不成立。同时给出了反例以及相应的结论。 给定,称A·X=B为模糊(Fuzzy)关系方程。其中。 定义1 在[0,1]上定义算子α     

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

Fuzzy布尔代数

自从1965年Zadeh提出Fuzzy集概念以来,在数学领域和计算机科学领域中,进行了大量的Fuzzy化工作。但是,由于区间[0,1]在极大极小原则下没有互余律,因此,布尔代数的Fuzzy化工作难以展开。     

模糊关系方程(A~)°(X~)=(B~)的解

本文指出文[1]中关于Fuzzy关系方程(A~)°(X~)=(B~)的解的一个推论不成立.同时给出了反例以及相应的结论.     

利用Markoff核表示Fuzzy概率

设Ω是一抽象空间,F(Ω)表Ω上的Fuzzy子集全体,是Ω上的Fuzzy代数,μ是上的Fuzzy概率,是[0,1]上的Borel σ代数。     

实数的普遍二进型展式的概率性质

将区间[0,1]按任意比例分成两个区间[0,α]与[α,1],并记之为δ_(x1)(x_1=0,1):     

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]证得,这里仅给出两个较复杂的例子。     

诱导空间中闭包算子的层次刻划及其应用

关于诱导空间中闭包算子的层次刻划已有不少讨论(见文献[1—3](,但都有一定局限性:文献[1—3]的讨论分别是就L=[0,1]及“M=L~0”的Fuzzy格L进行的。本文利用极小集克服了诸局限性,彻底解决了诱导     

Fuzzy映象的不动度

设(x,d)为完备度量空间,(?)(x)表X上Fuzzy集的全体。A∈(?)(X),α∈(0,1],记ω_α(A)={x∈X:A(x)≥α},A_α={x∈X:A(x)=α}。B(X)表X中一切分明的非空有界闭集的族,H为由d导出的Hausdorff度量。若A、B∈(?)(X),ω_α(A)、     

无穷维Teichmller空间中测地线的唯一性问题

设[μ]是Teichm(?)ller空间T(Γ)中的一点,且[μ]≠[0].当T(Γ)是有限维时,[μ]中的极值Beltrami微分唯一,并且测地线段α:[tμ_0](0≤t≤1)是连接[0]与[μ]的唯一测地线段,这里的μo是[μ]中唯一的极值Beltrami微分.但是,当T(Γ)是无限维时,[μ]中的极值Beltrami微分不一定唯一.第一个反例由Strebel给出,该反例被称为Strebel烟囱.由此,Gardiner于1988年提出下面的基本问题:Gardiner问题 设[μ]是无穷维Teichm(?)ller空间 T(Γ)中的一点,且[μ]中有两个极值Beltrami微分μ_1和μ_2.那么连接[O]与[μ]的测地线段α_1:[tμ_1](0≤t≤1)与测地线段α_2:[tμ_2](0≤t≤1)是否相同?对于Gardiner问题,Li Zhong首先给出万有Teichm(?)ller空间中α_1与α_2不同的例子.之后,Tanigawa与Li Zhong分别给出了一般的无穷维Teichm(?)ller空间中α_1与α_2不同的例子,从而给予Gardiner问题否定的回答.进一步,人们自然会问:Gardiner问题中的α_1与α_2在什么条件下相同?在什么条件下不同?Tanigawa,Li Zhong以及沈玉良分别给出一些无穷维(或万有)Teichm(?)ller空间中α_1与α_2不同的充分必要条件.本文找出了无究维Teichm(?)ller空间中α_1与α_2相同的充分必要条件.     

C_[0,1]~1是C_[0,1]的第一纲集

设C_([0,1])是[0,1]上的实连续函数全体按一致范数所成的Banach空间,C_([0,1])~1是[0,1]上有连续导数的实函数全体。设f(x)是[0,1]上的实函数,如果对于任意的开区间(α,β)(?)[0,1],均有f(x)在(α,β)上不单调,那么称f(x)是[0,1]上的处处振荡函数。设O表示C_([0,1])中处处振荡函数的全     

带壳Boole代数与险象识别逻辑

为尝试给Fuzzy推理建立严格的逻辑基础,文献[1—10]构造了一种新的Fuzzy命题逻辑,其中对Fuzzy公式的评价程度化的思想和方法颇具创造性,比如:Σ-(α-重言式)、Σ-(α-HS)规则、Σ-(α-HS)规则以及支持度理论和α-三I算法等就是这样。另一方面,从文献[11]可知6值逻辑系统K_6~1在组合线路的险象识别中已有成功的应用,但是对其数学基础的研究尚嫌薄弱,并且由于缺少适当的蕴涵算子因而     

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

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

Fuzzy凸集的分离定理

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

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

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

Fuzzy分块矩阵的一个定理

式(2)中的符号O是指Fuzzy矩阵的乘法运算(或称合成运算)。接着,作者证明了关于Fuzzy分块矩阵乘法的一个定理:     

广义布尔函数的结构

在文[1]中,N.T■nd■reanu引进了广义布尔函数的概念。令B是真包含{0,1}的布尔代数,且{0,1}(?)A(?)B。函数g:A×B→B满足下列条件:     

用满足Micchelli条件的Kantorovi■型算子的L逼近性质

设T是C[0,1]■AC[0,1]的线性算子,对g(u)∈C[0,1]有:T(g(u),0)=0,T(g(u),1)=g(1),f(t)∈L[0,1],F(u)=integral from 0 to n (f(t)dt),A(f(t),称A为Kantorovi(?)型算子,记为A∈(?),它是Kantorovi(?)多项式P_n(f)的推广。B_n~([k])(F)和和P_n~([k](f)分别是Bernstein多项式B_n(F)     

Holub定理的非线性推广及其应用

设E为Banach空间,T为E上的有界线性算子。如果下式成立: ‖I T‖=1 ‖T‖,I为恒等算子,（1）则称T满足Daugavet方程。由于Daugavet方程在逼近论、Banach空间几何理论以及算子的可逆性等方面具有基本重要的应用,因此,有关Daugavet方程的研究受到广泛的关注（有关文献及研究近况可参见文献[1～3]）。 自Daugavet证明每个C[0,1]上的紧算子满足Daugavet方程以来,关于Daugavet方程研究的最为出色的工作之一是下面的本质上属于Holub的结论: Holub定理 设T为L~1（μ）（一般地,AL或AM空间）上的有界线性算子,则T满足: 1 ‖T‖=max{‖I T‖,‖I-T‖},（2）即T或-T满足Daugavet方程。 设f:E→E为Lipschitz连续算子,f的最小Lipschitz常数L（f）与Dalhquist常数M（f）分别定义为: