推理闭包空间的分离性

目的引入推理闭包空间的T0,T1,T2,Sober以及Urysohn分离性,研究它们的若干性质。方法利用拓扑学中分离性的思想以及研究方法,讨论推理闭包空间的分离性。结果分别给出了它们的定义及相应的等价刻画,证明了T0,T1,T2及Urysohn分离性是可遗传的且在同胚映射下是保持拓扑不变的,得到了诸分离性之间的关系。结论通过推理闭包空间分离性的建立,展现和丰富了逻辑学的拓扑性质。     

Fuzzy拓扑空间中分离性的一点注记

在Fuzzy拓扑空间中引入了N-T0,N-T1分离性概念,这不仅使分明的T0,T1拓扑空间分别成为N-T0,N-T1拓扑空间的特款,而且揭示了在Fuzzy拓扑空间中的T0,T1分离性与层次分离性（T-1）,N-T0,N-T1间的分解关系.文中还讨论了这两个分离性的性质.     

不同值域格值拓扑空间的紧性与分离性

讨论了重积空间的紧性和分离性成立的充要条件．首先，对于常见的T0，T1，T2等分离性，重积空间具有某种分离性当且仅当每个因子空间具有相同的分离性，而不需要其他条件．其次，模糊子集的重积是良紧集当且仅当每个模糊子集是良紧集．从而，在重积空间中，Tychonoff乘积定理成立．     

LF拓扑空间的T0和T1分离性

本文军政府了LF拓扑空间中的新的T0和T1分离性,讨论了它们的一系列性质,并进一步说明模糊单位区间和模糊实直线仅满足极弱的分离性。     

LF拓扑空间的T_0和T_1分离性

本文定义了LF拓扑空间中的新的T0与T1分离性，讨论了它们的一系列性质，并进一步说明模糊单位区间和模糊实直线仅满足极弱的分离性。     

LF拓扑空间的分离性

在LF拓扑空间中引入了N-T0，N-T1分离性概念，这不仅使分明的T0，ST1拓扑空间分别成为N-T0，N-T1拓扑空间的特款，而且揭示了在LF拓扑空间中的T0，ST1分离性与层次分离性(准T0，ST-1)，N-T0，N-T1分离性间的分解关系。     

形式背景的几种分离性

利用拓扑方法定义了形式背景的T0,T1,T2分离性,探讨几种分离性之间的关系,并研究诸分离性的性质.证明了诸分离性对兼容子背景是遗传的且被满足一定条件的背景映射所保持.另外,还得到拓扑空间(X,τ)的上述几种分离性与形式背景(X,τ,∈)的相应分离性在一定条件下是一致的.     

关于L-相对T_0与相对T_1分离性

定义了L-fuzzy拓扑空间的相对T0与相对T1分离性.给出了相对T0与相对T1分离性等价刻画.研究了相对T0与相对T1分离性的性质,包括遗传性、可乘性,传递性与L-好的推广,对相对T0与相对T1分离性与其他分离性进行了比较.     

拓扑系统的(强)T2分离性

提出拓扑系统的一种新的T2分离性——强T2分离性,给出了T2拓扑系统的网式收敛刻画和强T2拓扑系统的滤子式收敛刻画.证明了拓扑系统的(强)T2分离性都是T0拓扑空间类的T2分离性的良好推广,证明了一个loca le是T2loca le当且仅当它是强T2的拓扑系统.构造了例子说明T2拓扑系统不必是强T2的拓扑系统,讨论了(强)T2拓扑系统的loca le化、空间化、子系统、和系统以及积系统等方面的运算性质.     

直觉I-fuzzy拓扑空间中,T3,T4分离公理

目的讨论直觉I-fuzzy拓扑空间中的T_3,T_4分离公理以及与T_1,T_2分离公理的关系。方法 L*-格值上Lukasiewicz蕴含算子。结果与结论首先给出直觉I-fuzzy拓扑空间中T_3,T_4分离性的概念,接着得到它们的等价命题,最后讨论了T_3,T_4分离性与T_1,T_2分离性的关系。     

LF拓扑空间中分离性Ti(i=2,3)的几点注记

王国俊教授在《L-拓扑空间论》一书中研究LF拓扑空间分离性时，T2强调支撑点不一样，T3则强调非零准分明闭集，本文对T2分离性给出了注记，对T3分离性进行了改进。     

T—型拓扑空间

关于拓扑空间的分离性公理,已有T_0、T_1、T_2等,本文提出T分离性,它比T-1强而比T_2,弱,讨论了T—型拓扑空间的某些性质,证明了对于满足第一可数公理的拓补空间来说,T和T_2的等价性。最后指出关肇直先生给出的局部紧性之定义与J·Kelley所给的定义在T—型拓扑空间上是一致的。定义一拓扑空间(X,T)叫做T—型的,是指X的一切紧子集都是闭的。若以D表     

[0,1]－拓扑空间中T*分离性的非标准分析方法研究

在非标准扩大模型下,应用非标准分析方法研究了[0,1]－拓扑空间中的T*分离性.首先,利用模糊点的单子及其性质,刻画了T (i＝0,1,2)分离性.其次,借助模糊集的邻域系,提出了模糊集单子的概念,证明了模糊集单子的逼近定理.最后,得到了T (i＝3,4)分离性的非标准刻画.     

浅谈实数域上的拓扑空间

在实数域上,构造了三个拓扑空间:左闭拓扑空间E、右闭拓扑空间G、无限拓扑空间F。左闭拓扑空间E的基为{Br(z,d)|r>0为有理数,z∈R},满足第二可数公理。在分离性上,左闭拓扑空间E既是正则空间,又是正规空间,从而是T2空间、T1空间、T0空间,但是是非连通的。右闭拓扑空间G结构和左闭拓扑空间E相同。无限拓扑空间F是T0空间,不是T1空间。但是,无限拓扑空间F是连通的。     

L-fuzzy相对T1与相对T2分离性

定义了L-fuzzy拓扑空间中的相对T1与相对T2分离性,讨论了相对T1与相对T2分离性的一系列性质,证明了相对T1与相对T2分离性是遗传的、传递的（弱）同胚不变的,并且具有可乘性,并对相对T1与T1分离性,相对T2与T2分离性作了比较.     

L-fuzzy点式度量空间与一种T_2分离性

在Lfuzzy 拓扑空间中引入了一种T2 分离性.这种T2 分离性有许多好的性质,如对子空间可遗传、在积运算下保持、是好的推广等.特别地,Lfuzzy 点式度量空间是T2 空间.T2 性蕴涵T1性且T1 正则性蕴涵T2 性.此外,这种T2 性质可由网的收敛与O收敛来刻画.     

F-拓扑空间的分离公理

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

关于L-拓扑空间中两种新的相对Hausdorff分离性

定义了L-拓扑空间的相对Kubiak-T2分离性与相对T2分离性.分别给出了相对Kubiak-T2分离性与相对分离性的等价刻划.研究了相对Kubiak-T2分离性与相对T2分离性的性质,包括遗传性,可乘性与L-好的推广.最后对相对Kubiak-T2分离性与相对T2分离性进行了比较.     

连续闭映射与拓扑空间的分离性

讨论了连续闭映射对拓扑空间的分离性：T0、T1、T2、正则、正规、全正规是否保持或逆保持的问题。     

拓扑空间的次分离性

旨在研究T4拓扑空间的一般化.为此定义了拓扑空间的次T2、次正则、次正规、遗传次正规等次分离性,详细地讨论了它们之间以及它们与已有分离性之间的联系,并且研究了这些次分离性的遗传性、可乘性以及与Wallman紧化和非标准紧化的联系.