用F-λ单位重域基刻划Fuzzy拓扑群

本文应用Fuzzy点的重域系理论给出Fuzsy拓扑群的一种新定义,探讨了如何利用F-λ单位e_λ的重域基刻划Fuzzy拓扑群以及如何在Fuzzy拓扑商群中引入Fuzzy拓扑。推进了Foster的工作     

Fuzzy凸集的分离定理

文献[1]中Zadeh引进了两个Fuzzy集关于普通超平面的分离度的概念,在此基础上给出了R~n中Fuzzy凸集的分离定理。Weiss在文献[2]中通过一个反例,指出了Zadeh的分离定理有漏洞,并作了修正。他利用所引进的诱导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]证得,这里仅给出两个较复杂的例子。     

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

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

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

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

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

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

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

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

基于连续值逻辑■上拓扑中仿紧性的刻画

文献[1]给出了基于连续值逻辑(?)上拓扑(简称不分明化拓扑)的定义,并用逻辑的语义方法讨论了有关性质。继而文献[1]的作者又深入讨论了紧性、一致性等拓扑学中重要内容。那么,人们广为关注的拓扑学中另一个重要内容——仿紧性在此类拓扑中又如何刻划呢?本文的定理回答了这个问题,即得到了在T_3条件下的四种等价刻画。文中涉及的术语与记号     

T模运算下Fuzzy关系方程的最大解

Sanchez给出了极大极小运算下Fuzzy关系方程的最大解,本文给出了一般的T模运算下Fuzzy关系方程的最大解。若映射T:[0,1]~2→[0,1]满足条件:a) T(α,1)=α;     

分子格范畴中的积运算

文献[1,2]以近年来发展起来的Fuzzy拓扑学中的工作为基础,建立了完全分配格上的点式拓扑理论。从纯代数的角度看,文献[1,2]中探讨了分子格、广义序同态等重要概念,且证明了以分子格为对象,广义序同态为态射可构成一范畴。本文从范畴论的角度出发,以范畴论中的乘积与上积作为基本概念,证明了分子格范畴是对乘积与上积运算封闭的范畴。同时,我们沿用文献[3]的结果,给出了乘积与上积的具体结构。从而较完满地建立了分子格中的乘积与上积理论。为进而展开拓扑分子格的乘积及直和理论奠定了基础。     

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

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

不分明单位区间的良紧性

不分明单位区间在不分明拓扑中具有基本重要性,在文献[1]中Lowen还描述了它的概率测度背景,并以此为契机,作出一系列深入研究与拓广。另一方面不分明拓扑中紧性远较通常拓扑中紧性复杂,其表现形式也是多种多样的。在文献[2]中就值域为[0,1]的情形引入的一种紧性概念似较理想。这种称为良紧性的紧性在连续格理论的成果刺激下已放     

不分明拓扑空间中的紧性

紧性是拓扑学中最重要的概念之一,如何把它推广到不分明拓扑空间,国内外已有不少研究。但是,到目前为止所引入的各种紧性都或多或少地有这样或那样一些缺点,不能令人十分满意,评论见文献[1—3]。文献[2]提出的良紧性比较理想,但它缺乏覆盖或重盖这一类的几何刻划,而且定义中涉及到赋值集[0,1]的拓扑结构,给推广到一般的L不分明拓扑空间带来     

Fuzzy集论中邻属关系的分析

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

布尔模态逻辑的泛模型与有限模型

布尔模态逻辑是一种模态词带结构的模态逻辑,其模态词及模态词的运算构成一个布尔代数.文献[1]讨论了布尔模态逻辑BML的有关性质,本文在此基础上研究了BML泛模型的存在性.文献[2]中考察了PDL泛模型的存在性,由于BML拟标准模型的可达关系的运算要求满足布尔运算规律,与PDL模型有很大的差异,文献[2]中构造泛模型的方法对BML无效,本文利用基本模态词编码的方法将“P-射”技术一般化,由非标准模型构造出拟标准泛模型.另外,本文还讨论了含n个原子模态词时BML的有限模型性质并进一步利用公式闭包及符号闭包的方法给出BML小模型规模的上界,所谓模型的规模指模型可能世界集的基数.     

关于锥映象的几个不动点定理

本文利用拓扑度理论改进了文献[1]与[2]中有关锥映象的几个不动点定理。设E是实Banach空间,P是E中一个锥,Ω是E中有界开集。引理1 设A:P∩→P全连续,B:P∩Ω→P全连续。如果满足     

一类半p-交换p-群

我们在文献[1]中定义了半p-交换p-群,并且研究了半p-交换性和正则性的关系。在文献[2]中又引进了半p~s-交换p-群和强半p-交换p-群的概念,研究了它们的幂结构。本文将证明p-群是强半p-交换的一个充分条件(定理1),并应用这个定理推广Laffey的某些新近的结果,还将给出Feit,Thompson和Alperin等人关于p-群的几个著名定理的新证明。     

Uhlenbeck的Uniton及Chern和Wolfson的(?)-变换之间的关系

Uhlenbeck和Chern,Wolfson都讨论了2维球面S~2到复Grassmann流形G_k(C~N)的调和映照的构造.Uhlenbeck把导找S~2到G_k(C~N)的所有调和映照的问题转化为解一阶偏微分方程组,即证明了:S~2到G_k(C~N)的任意调和映照都能由常值映照通过有限次称为“加一个Uniton”的运算获得.其中Uniton是平凡丛(?)~N=S~2×C~N的满足一阶偏微分方程组的子丛(下面给出定义).Uhlenbeck通过“Loop群”构造获得上述结果.Valli在文献[3]中给出简单证明,我们采用该文中记号.     

Fuzzy格上的点式一致结构与点式度量

关于格拓扑学中的一致结构与度量理论已有许多引人注目且有创造性的工作(如文献[1～6]及文献[4]中的相应文献)但它们多是Hutton与Erceg无点派工作的继续和推广,不能直接反映格上点式拓扑的特点.本文的目的就是在Fuzzy格上建立一种点式一致结构与点式度量理论.     

逆极限与σ-积的Lindelf度

1 重要结果本文的主要结果是下面三个定理。定理1与文献[1]的结果相关,定理2与3分别推广了文献[2]和作者的一些结果。下面Hausdorff拓扑空间简称空间,映射是连续的。给定集A,以|A|表A的基数。