拓扑一般Boole格连续性的等价定理

不难知道,关于拓扑Boole格现有的邻域定义(如[3]的规定)是不能概括拓扑空间上有关邻域的那些结果的。如[3]中叙述的那样,甚至连T_0分离性概念都不能推广到拓扑Boole格中去。这注定了现有的邻域定义是必定要被淘汰的。本文在[1]—[5]的基础上引入了拓扑一般Boole格的范闭集、范开集及范邻域的定义,这些定义与文献[4]里的那些定义一样使得拓扑空间上有关邻域及包括T_0分离性在内的各种分离性的结果可以推广到拓扑一般Boole格上(当然更可以推广到拓扑Boole格上)。本文实现了将拓扑空间连续性等价的主要基泰定理推广到拓扑一般Boole格上。     

Fuzzy拓扑线性空间的再定义

Fuzzy拓扑线性空间的概念首先是由Katsaras和Llu引进的,但后来始终未被有关作者(也包括Katsaras本人)所沿用,主要原因在于他们定义的Fuzzy拓扑线性空间不具有Fuzzy拓扑的“平移不变性”,从而使研究无法深入。为此,我们[3-5]曾先后给出了Fuzzy拓扑线性空间的另外两种定义,並以蒲保明和刘应明所引进的Fuzzy点的邻域系为工具,对这两种定义下的Fuzzy拓扑线性空间理论作了初步讨论。     

（L）型与（L^＊）型Fuzzy拓扑线性空间

本文给出Fuzzy拓扑线性空间θ_λ邻域基的充要条件,同时引进了(L)型与(L~*)型Fuzzy拓扑线性空间的概念,给出(L~*)型Fuzzy拓扑线性空间的拓扑结构,证明了(L)型Fuzzy拓扑线性空间与[2]意义下的L型Fuzzy拓扑线性空间是等价的,而且任何(L)型Fuzzy拓扑线性空间都是一种平凡的(L)型空间。     

F-拓扑空间的分离公理

[1]中引入模糊拓扑空间的概念后,有关讨论已有很多,我们仿照,将中的概念与中的一般拓扑空间的有关概念对比,来讨论模糊拓扑空间的分离性,并提出一些概念和分离性的等价命题。另外利用远域和开邻域相结合定义模糊拓扑空间的另一种类型分离性。     

邻域系算子范畴及相关性质

对拓扑空间中的邻域系性质进行了进一步研究.提出了邻域系算子和邻域连续映射的概念,定义了邻域系算子范畴,讨论了该范畴上的余积和乘积,并证明了邻域系算子范畴与拓扑范畴是同构的2个范畴.     

建立拓扑空间的一种新方法

拓扑学是近代数学的基础,拓扑空间的建立为近代数学的研究打下了坚实的理论基础.利用集合中满足一定条件的子集族建立拓扑空间的方法很多,文[1],[2],[3]应用开集公理建立拓扑空间,文[4]应用邻域系公理建立拓扑空间,文[5]则应用边界运算建立了拓扑空间.本文定义了不同于文[5]的边界运算,并应用这种方法建立了拓扑空间.     

借助邻域系(丛)刻划Fuzzy拓扑空间

本文首先举出一个反例,指出[1]中给出的Fuzzy拓扑空间的邻域系刻划(命题2.2之一部分)是有漏洞的。为此,作了必要的修正。其次,引进了邻域丛的概念,研究了用邻域丛来表征Fuzzy拓扑空间的问题。     

超积空间初探

本文建立了超积的拓扑结构并提出了超积空间的概念,探讨超积空间的性质,进而证明文[3]中所建立的超积的代数结构和本文建立的拓扑结构在某些条件下是相容的。     

相容拓扑概念的推广与序列相容拓扑

对拓扑向量空间理论中相容拓扑概念作出了推广,引入了更为抽象的P（T）－相容拓扑的定义,它包容原有的相容拓扑概念,对P(T)-相容拓扑的一种特别情形－序列相容拓扑进行了深入的讨论,并给出了一些具体空间的例子。     

集合套拓扑第二邻域的定义及性质

本文在文献[3]的基础上,通过给出集合套拓扑空间中给出一种新的邻域—第二邻域的定义,并给出了它的一些性质,证明了由邻域系,基与子基可分别确定X上的一个唯一的集合套拓扑并且这种拓扑确定的邻域系与原来的邻域系一致.     

乘积空间正规性的一个结果

T.Przymisin'ski 1980年在文[1]中提出研究N(X)(其中N(X)表示与正规空间X的乘积仍为正规的拓扑空间Y所组成的类)。对不同的拓扑空间X,给出类N(X的特征刻划是这个问题的一个重要方面. 本文给出当X为Ω-紧空间,Y为Ω-空间时(Ω-网空间,Ω-Frechet空间与Ω-邻域空间的总称)积空间X×Y为正规的充要条件。这几类空间的定义见文[2],主要结果     

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

在文献[1]中,我们给出了一般线性空间中两个Fuzzy集关于通常超平面的分离度的定义。这一定义与Zadeh[2]、Weiss[3]所引进的分离度概念是等价的,但比他们的定义直观且便于应用。利用这一定义,[1]中得到了若干关于Fuzzy凸集的分离定理,推广了Zadeh、Weiss的有关结果。本文是文献[1]的继续,给出了局部凸T_2型(即Hausdorff的)Fuzzy拓扑线性空间中Fuzzy凸集的分离定理。     

Fuzzy拓扑空间

我们从讨论一类特殊的Fuzzy拓扑空间,即所谓乘积诱导空间出发,首先得出,任一Fuzzy拓扑空间必与某个拓扑空间拓扑同构,进而指出每个Fuzzy开集都对应于某个下半连续函数。以此为背景,引入了对偶点的概念,从而建立起一种Fuzzy点的邻近构造,把Fuzzy拓扑中重要概念之一的重域和邻域统一在这一结构中,这个邻近构造将是我     

定面积的紧凸体的超空间的拓扑结构

主要研究了具有某种几何性质的紧凸体的超空间的拓扑结构.实际上证明了:欧氏平面R~2上面积为正数v_0的紧凸体全体,赋予Hausdorff度量拓扑所构成的超空间,是一个Q-流形其中Q表示赋予乘积拓扑的Hilbert方体[-1,1]~ω.     

一类不分明拓扑空间(Ⅱ)

在中我们引入了一类特殊的不分明拓扑空间——乘积诱导不分明拓扑空间(X,■×θ),并得到了一些直接的结果。在那里我们沿用了Wong在中给出的不以分明点为特例的不分明点及其邻域的定义。但我们指出了分明点具有特殊地位。在本文中我们将引入邻域胚的概念,并利用它定义分明点的邻域及不分明集的S-复盖,从而引入S-不分明紧性。并证明了关于这种不分明紧性的Tychonoff定理。最后初步地考虑了不分明拓扑定间的分离性,为进一步的讨论作了必要的准备。     

半拓扑线性空间及其性质(Ⅰ)

首先在一般的拓扑空间中引入了准半连续映射的概念,并借助此概念引入了半拓扑线性空间,得到了这一新空间的如下基本性质:(1)给出了半拓扑线性空间中半开集和0点的邻域的特征刻画;证明了半拓扑线性空间中0点的局部S基可通过平移作为任何一点的局部S基;证明了半拓扑线性空间中半开集和任何集的和仍然是半开集.(2)证明了半拓扑线性空间的局部S基的每一个元是吸收集,并且它包含0点的一个平衡S邻域;证明了对具有C性质的半拓扑线性空间中的0的每个S邻域u,存在0点的S邻域v,使得v的半闭包v-u;证明了对具有C性质的半拓扑线性空间的局部S基的每一个元u,存在局部S基的元v,使v+vu成立.(3)给出了半拓扑线性空间中有关半闭包和半内部的等式或蕴涵关系.     

半拓扑线性空间及其性质（I）

首先在一般的拓扑空间中引入了准半连续映射的概念,并借助此概念引入了半拓扑线性空间,得到了这一新空间的如下基本性质:(1)给出了半拓扑线性空间中半开集和0点的邻域的特征刻画;证明了半拓扑线性空间中0点的局部S基可通过平移作为任何一点的局部S基;证明了半拓扑线性空间中半开集和任何集的和仍然是半开集.(2)证明了半拓扑线性空间的局部S基的每一个元是吸收集,并且它包含0点的一个平衡S邻域;证明了对具有C性质的半拓扑线性空间中的0的每个S邻域u,存在0点的S邻域v,使得v的半闭包v-(∩)u; 证明了对具有C性质的半拓扑线性空间的局部S基的每一个元u,存在局部S基的元v,使v+v(∩)u成立.(3)给出了半拓扑线性空间中有关半闭包和半内部的等式或蕴涵关系.     

半拓扑线性空间的子空间、乘积空间和商空间

在半拓扑线性空间的基础上,定义了半拓扑线性子空间、商半拓扑线性空间,讨论了它们的一些性质,给出在一定条件下乘积空间成为半拓扑线性空间的条件.     

关于拓扑群的一点性质

在P.M.Cohn的[2]中定义的拓扑群,要求底空间是豪斯道夫空间。而在的[1]中所定义的拓扑群,只要求底空间是拓扑空间,由于对底空间所作的要求不同,则从各自定义的拓扑群所发展起来的理论似应有很大的差别,但是仔细检查在[1]中对拓扑空间所作的定义,实际上不是一般拓扑空     

不分明化拓扑中的S-分离公理

文 [2 ]中将一般拓扑学中的分离性公理引入到不分明化拓扑空间中去 ,[3 ]给出了不分明化拓扑中半开集概念 .本文在不分明化拓扑空间中 ,利用半开集、半邻域和半闭包等概念导入了 S0 - ,S1 - ,S2 - ,S3- ,S4- 分离公理 ,并且给出这五个分离公理的等价命题 .