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

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

不分明凸集的几个性质

在奠基性论文中,Zadeh给出了不分明数学的基本框架,其中有近半篇幅是讨论不分明凸集,所给出的凸集性质主要有两条:一为分离性定理,另一为不分明凸集的影的性质,关于前者,文献[2,3]中已作了修正与发展,关于后者,Zadehn作了进一步的讨论,但有一个基     

关于Fuzzy拓扑群

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

有效Hahn-Banach定理

Hahn-Banach定理在非光滑分析方面有着重要的应用,如文献[1～3]。 本文在拓扑向量空间中,用给定的尖闭凸锥K来确定空间的序,并引进了集值函数的K次线性的概念。利用有效性的概念,对于集值函数得到了Hahn-Banach定理有效性的表示形式,并将这个结论称为有效Hahn-Banach定理。     

Fuzzy布尔代数

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

Fuzzy集论中邻属关系的分析

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

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

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

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

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

关于拓扑熵的一点注记

Adler,Konheim和McAndrew于1965年在文献[1]中首次引进了拓扑熵的概念。稍后Bowen在文献[2]中证明了一个相当重要的结果,他指出,紧致度量空间自映射的拓扑熵等于这一映射在它的非游荡集上的限制映射的拓扑熵。在文献[3]中也可找到另一个证明。关于这一结果的所有已知的证明均强烈地依赖于所考虑的映射的定义域的可度量性。本文推广Bowen的上述结果,证明了下述定理。     

点到集映象族算法的弱收敛性

本文给出了点到集映象族算法具有弱收敛性的条件,这些条件仅与空间的拓扑性质有关,是文献[1—4]中相应结果的改进与推广。特别对于Zangwill的算法(一种闭点到集映象算法),它具备弱收敛性的充要条件。此外,我们还对文献[6]中提出的算法建立了相应的弱收敛性定理。     

拓扑线性空间中的紧集

本文给出了有关拓扑空间中紧集定理的一个新证明 ,从而完善了 [1,2 ]中的有关结果 .　　紧集是拓扑空间中最基本、最重要的结构之一 .它一直是人们研究的热点问题 .[1,2 ]中有关拓扑线性空间的定理证明 ,均有不妥之处 .本文给出了一种新的证明 ,从而完善了上述结果 .　　设Ａ为线性拓扑空间中的集合 ,Ａ称为紧集是指Ａ的任意开覆盖均有有限子覆盖 .Ａ称为完全有界集是指对零点的任一邻域Ｖ ,都有ｚ1,ｚ2 ,… ,ｚｎ∈Ａ使Ａ ∪ｎｉ=1 (ｚｉ Ｖ) .Ａ称为完备的是指Ａ中任意Ｃａｕｃｈｙ网均收敛于Ａ中一点[1,2 ] .　　定理[1,2 ] 　设Ａ为线…     

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

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

诱导空间的权、特征与浓度

刘应明与罗懋康在文献[1]中引入了诱导空间的概念,给出了诱导空间的若干性质。王国俊系统地讨论了诱导空间的基本性质,并且提出了一个公开问题:对于一般的Fuzzy格L,诱导空间的权、特征、浓度分别与生成它的分明拓扑空间的权、特征、浓度是否有某种密切的关系。     

三维FDS非线性波动方程初值问题的整体解

一 在文献[1]中提出了一类由数量场形成的三维孤立于问题,指出了这类非拓扑性孤立子解存在的必要条件,建立了依量子力学稳定性的一般定理,并对特殊问题给出了数值结果。在文献[2]中将此问题推广到具有非Abel内部对称性的情况。正如在文献[3]中指出,文献[1]中研究的方程组为     

具有正规结构的Banach空间中多值非扩张映射的不动点定理

自1974年Lim证明了一致凸空间中多值非扩张映射的不动点定理以来,出现了该定理的各种推广及改进(例如文献[2—5]中的其他文献),然而具有正规结构的Banach空间中相应的不动点问题一直未得到解决。本文将对此问题给出正面解答。 我们先引入“f-准不变”概念,它似乎比“f-不变”概念更适用于多值映射的不动点问题。     

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

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

分子格范畴中的积运算

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

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

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

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

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

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