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

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

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

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

直觉I 模糊拓扑空间的分离公理

在直觉I-模糊拓扑空间中给出了重T0,T0,T1,T2分离性的定义,研究了重T0,T0,T1分离性的等价刻画,并得到了重T0,T0,T1,T2分离性在子空间以及序同态下的保持性,最后研究了T0,T1,T2分离性在直觉不分明化拓扑空间与其生成的直觉I-模糊拓扑空间下的关系.     

推理闭包空间的分离性

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

L—fuzzy拓扑的λ—截拓扑(Ⅱ)

讨论了各种可数性和分离性与λ-截拓扑的关系.特别是,若(L~X,δ)是λ-弱诱导空间,则(L~X,δ)是Hausdorff空间或强Hausdorff空间,当且仅当λ-截拓扑空间(X,ι_λ(δ))是Hausdorff空间,因此对λ-弱诱导空间来说,Hausdorff分离性与强Hausdorff分离性是等价的;又若(L~X,δ)是满层的λ-弱诱导空间,则(L~X,δ)是ST_1的(ST_2的),当且仅当λ-截拓扑空间(X,ι_λ(δ))是T_1的(T_2的),于是对满层的λ-弱诱导空间来说,ST_2分离性与强Hausdorff分离性及Hausdorff分离性是等价的.     

T—型拓扑空间

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

形式背景的几种分离性

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

L-fuzzy拓扑空间中的相对T3分离性

定义了L-fuzzy拓扑空间中的相对T1分离性和相对正则(T3)分离性,讨论了相对T1分离性和相对正则(T3)分离性的一系列性质.证明了相对正则分离性和相对T3分离性是相对闭遗传的,弱同胚不变的,L-好的推广性质,给出了相对T3分离性不是相对遗传的一个反例.     

HR正则分离性及其性质

将Hutton Reilly正则分离性 (简称HR正则分离性 )推广到一般的L fuzzy拓扑空间中 ,给出了它的一些等价刻画 ,说明了HR正则分离性与包含式正规分离性及包含式完全正则分离性的协调性 .讨论了HR正则分离性的一系列性质 ,证明了HR正则分离性是可遗传的、拓扑不变的、好的推广性质 ,并且具有可乘性 .     

L拓扑空间的θ正则分离性

在L拓扑空间中利用θ闭包的概念,给出了θ正则分离性的刻画,证明了θ正则分离性具有拓扑不变性、遗传性、L好的推广和可乘性等性质.     

L-Fuzzy拓扑空间中的T21/3分离性

在LF拓扑空间中定义T_(2~(1/3)),ST_(2~(1/3))和层T_(2~(1/3))分离性,讨论与其他分离性的关系,论证了它们是L-好的推广,并研究了它们的一些性质.     

LF拓扑空间的分离性

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

仿sober与超sober拓扑空间

对拓扑空间的sober分离性细致分析后引入类似于sober性的另外两种分离性：仿sober和超sober分离性;讨论了诸分离性的相关性质和相互关系,证明了非T1的仿sober空间一定是连通的、可分的sober空间;还探讨了domain上Scott拓扑与仿sober、超sober分离性的关系,证明了仿（超）sober偏序集均为代数domain.     

纯正半群上的强同余(I)

证明了纯正半群上的所有强同余构成该半群同余格的完备子格,刻画了与强同余对应的核-迹同余对-正规迹、正规子半群(称为强同余对)及其相互关系,由此给出纯正半群上任一强同余的结构,并证明强同余格和强同余对的集合之间一一对应.     

Locale连通性（Ⅰ）

引进 Locale 连通性的合适定义,证明了一个拓扑空间 X 的开集格是连通 Locale 当且仅当 X 是连通空间,同时还给出了连通 Locale 的一些性质。     

拓扑系统范畴完备性与Tychonoff乘积定理

拓扑系统是目前最广泛的拓扑学研究对象,它以点集拓扑空间、Locale的空间化、模糊拓扑空间与拓扑分子格为特例,用它可研究计算机程序设计语言指称语义的Domain理论．本文旨在建立拓扑系统范畴的乘积结构与等子结构,表明拓扑系统范畴是完备范畴．讨论拓扑系统的紧性,得到了拓扑系统关于紧性的Tychonoff乘积定理．     

ℵ0-弱基及相关问题

证明在空间X中下列论述等价:(1)X有σ-离散的()0-弱基;(2)X有σ-局部有限的()0-弱基;(3)X是()0-弱第一可数的()空间,()0-弱基是开、闭遗传的,点可数()0-弱基是cs*-网.并讨论()0-弱基,sn-网,cs-网以及cs*-网的关系.     

拓扑系统的分离性

拓扑系统是目前最广泛的拓扑研究对象之一，它以点集拓扑空间，Locale的空间化，模糊拓扑空间与拓扑分子格为特例，它可以用来研究 计算机程序语言的指称语义的Domain理论。作者从拓扑学的角度研究了拓扑系统的分离性，得到了关于拓扑系统分离性刻画的几个定理。     

Q-紧性与强T_2分离性

在不分明拓扑学中,紧性是被普遍关心的问题,而且作了较为深入的研究,得到了一系列较好的结果,如文献[1—5],本文目的是在文献[6]中提出的拓扑分子格理论的框架下,首先是借助于完全分配格中元的成分概念把不分明拓扑空间中的Q-紧性概念推广到拓扑分子格中;其次是对于完全分配格中的不可比分子在拓扑分子格中引入了强T_2分离性概念。     

浅谈实数域上的拓扑空间

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