LF拓扑空间的强层T2分离性

在ＬＦ拓扑空间中引入了强层Ｔ２空间的概念，它不但是“Ｌ－好的推广”；而且具有遗传性；可乘性以及同胚不变等若干性质。     

L—fuzzy拓扑空间中T‘2分离性的若干性质

讨论了Ｌ－ｆｕｚｚｙ拓扑空间中Ｔ‘２分离性的若干性质,得出了几个结论,同时给出了它的几种紧性的关系。     

L-smooth拓扑空间的弱T2分离性

以L-smooth拓扑空间中的远域为工具,在L-smooth拓扑空间中引入弱T2分离公理,给出它的等价刻划及其与T2、T1-分离公理之间的关系.证明了弱T2分离性是L-smooth可遗传的、L-smooth可乘的、弱L-smooth同胚的.     

L—fuzzy拓扑空间中一种新的T1分离性

研究了Ｌ－ｆｕｚｚｙ拓扑空间的分离性问题，引入了一种新的Ｔ１分离性，给出了它的等价刻画，证明了这样的Ｔ１分离性有可乘性，Ｌ－好的推广，弱同胚不变性等性质，它和其它高阶分离性的关系是协调一致的。     

拓扑系统的分离性

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

ST1,ST2及强Hausdorff分离性与λ—截拓扑

在Ｌ－Ｆｕｚｚｙ拓扑空间研究中几种分离性是λ－截拓扑和λ－弱诱导空间的关系，直接证明ＳＴ１，ＳＴ２及强Ｈａｕｓｄｏｒｆｆ分离性与λ－可截性质，并得到，满层的λ－弱诱导空间是ＳＴ１空间，当且仅当λ－截拓扑空间是Ｔ１空间，当且仅当底空间是Ｔ１空间。     

双F-分离性(Ⅱ)

定义了Ti (i=0,1,2)分离性,给出了它们的一些特征刻画,讨论了它们的关系;通过定义局部基、双F pseudo闭集族、双F 连续、双F 开、子空间、双F 乘积拓扑空间等概念,进一步研究了它们的性质.     

ST1，ST2及强Hausdorf分离性与λ＿截拓扑

在Ｌ＿Ｆｕｚｚｙ拓扑空间研究中几种分离性是λ＿截拓扑和λ＿弱诱导空间的关系，直接证明ＳＴ１，ＳＴ２及强Ｈａｕｓｄｏｒｆ分离性与λ＿可截性质，并得到，满层的λ＿弱诱导空间（ＬＸ，δ）是ＳＴ１空间，当且仅当λ＿截拓扑空间（Ｘ，ιλ（δ））是Ｔ１空间，当且仅当底空间（Ｘ，［δ］）是Ｔ１空间；满层的λ＿弱诱导空间（ＬＸ，δ）是ＳＴ２空间，当且仅当它是强Ｈａｕｓｄｏｒｆ空间，当且仅当λ＿截空间（Ｘ，ιλ（δ））是Ｈａｕｓｄｏｒｆ空间，当且仅当底空间（Ｘ，［δ］）是Ｈａｕｓｄｏｒｆ空间     

I(L)型诱导空间的分离性

证明了(L^X,δ)是次T0，T0(T’0)，Tl(T'1)，T2，正则(T3)，正规(T4)，STl，ST2，ST3，ST4和完全正则(T3 1/2)空间当且仅当(I(L)X，ω(δ)是次T0，T0(T’0)，Tl(T’1)，T2，正则(T3)，正规(T4)，ST1，ST2，ST3，ST4和完全正则(T 3 1/2)空间。同时给出(I(L)^X，ω(δ))是包含式正则、正规空间蕴含(L^X，δ)是包含式正则、正规空间。     

超相等代数的强超推理系统

引入并研究了超相等代数的几类强超推理系统。首先,给出了强超推理系统的一些生成表示;其次,研究了2类重要的强超推理系统,即关联和正关联强超推理系统,得到了2类强超推理系统的等价刻画,并讨论了二者之间的关系。     

L-fuzzy拓扑空间中一种新的T1分离性

研究了Ｌ－ｆｕｚｚｙ拓扑空间的分离性问题．引入了一种新的Ｔ１分离性,给出了它的等价刻画,证明了这样的Ｔ１分离性有可乘性、Ｌ－好的推广、弱同胚不变性等性质,它和其它高阶分离性的关系是协调一致的     

Q-紧性与强T_2分离性

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

直觉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分离性的关系。     

L-fts中强Hausdorff分离性

直接使用的概念见[1],强Hausdorff简记为强H.本文得到如下刻画: 定理1(L~x,δ)为强H的x_λ,y_μ∈M~*(L~X),当xy时,P∈η(x_λ),Q∈η(y_μ)使Q≥x_((supp)(P))(p′的承集的特征函数). 定义1 设S={S_n,n∈D},T={t_n,n∈D}为二收敛的分子网,且n∈D,supp(S_n)=supp(t_n),则称S与T为同族的收敛网.     

图的[强]自同态摹群

进一步讨论诸如积图、临界图、字典序积等一些图的 [强 ]自同态摹群 ,并在一定的条件下完全确定了相应的摹群 ,发现临界图以及两个临界图的联图均为E A不可收缩图 ,证明了积图的自同态摹群与图的自同态摹群的积相等的一个充要条件 ,以及关于S A不可收缩图的一个充要条件 ,给出了图的字典序积的自同态摹群上的一个群同余     

拓扑空间中关于QEP(T,A,f)平衡解的存在性定理

在非紧的一般拓扑空间中证明了一个Fan-Browder型不动点定理;应用此不动点定理,在非紧的一般拓扑空间中证明了关于QEP(T,A,f)解的存在性定理;推广和改进了已有文献中的一些重要结论.     

不分明化拓扑空间中的拟R0分离公理的刻画

定义了不分明拓扑空间的拟R0分离公理。利用不分明拓扑空间的拟闭包、拟θ 闭包及拟内核对不分明拓扑空间的拟R0分离公理进行刻画。     

扩展(拓扑)剩余格与Rough集

以扩展剩余格的广义Rough 集为背景,引入拓扑扩展剩余格的概念,研究了它的滤子理论和扩展剩余格中的N-滤子和优拓扑剩余格的v-滤子,并由这些滤子构建了相应的商代数结构。