推理闭包空间的分离性

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

模糊子坡代数、模糊理想、模糊滤子及模糊同余关系的刻画

定义了坡代数（X,＋,＊）的模糊滤子的概念,给出了X上的模糊集A是（X,＋,＊）的模糊子坡代数（resp.,模糊理想,模糊滤子）的若干个等价刻画以及X×X上的模糊集E是（X,＋,＊）上的模糊同余关系的若干个等价刻画,另外还证明了模糊子坡代数范畴[0,1]-SInc是坡代数范畴Inc上的拓扑范畴。     

L-拓扑空间的R-强连通性

研究L-拓扑空间中的R-强连通性,运用类比、推广的方法,将一般拓扑空间中的R-强连通性引入到L-拓扑空间中.定义了L-拓扑空间中R-强连通集以及R-强连通L-拓扑空间的概念,证明了L-拓扑空间的R-强连通性具有任意可积性,以及R-强连通性的樊畿定理,得出了R-强连通性是拓扑不变性和L-好的推广等结论.扩展了一般拓扑学中的一些结果.     

L-预拓扑空间的局部连通性

在L-闭包空间的连通性基础上定义了L-预拓扑空间的局部连通性,并给出了局部连通的L-预拓扑空间的等价刻画,然后讨论了局部连通L-预拓扑空间的一些性质.最后证明了局部连通L-预拓扑空间与连续映射构成的范畴是一个弱拓扑范畴.     

L-子坡代数范畴及其性质

研究L-子坡代数范畴L-SInc的性质,首先给出了L-子坡代数范畴的定义,证明了其为坡代数范畴上的拓扑范畴,给出了其中等子和乘积的构造,证明了它有拉回.其次,定义了坡代数L-余塔的概念,以及由所有坡代数L-余塔构成的范畴IncCL,证明了在一定条件下,范畴L-SInc与范畴IncCL同构.     

预Hausdorff空间的一些简单性质

给出了预Hausdorff空间的定义,讨论了预Hausdorff空间和Hausdorff空间的关系,证明了预Hausdorff空间的分离性是可遗传的拓扑不变性质和任意可积的性质等结论.     

关于有限集上L-fuzzifying拟阵独立集系的基数

目的研究当L为菱形格时基数小于或等于3的有限集E上的L-fuzzifying拟阵独立集系之集与其上的由拟阵独立集系组成的L-cotower之集的基数。方法列举法(即通过列举E上的全部L-fuzzifying拟阵独立集系及期上的由拟阵独立集系组成的全部L-cotower,进而得到它们所构成集合的基数)。结果证明了|Ⅱ(E,2,L)|=|Ⅱct(E,L)|,其中Ⅱ(E,2,L)是E上的L-fuzzifying拟阵独立集系的全体,Ⅱct(E,L)是E上的由拟阵独立集系组成的L-cotower的体。结论所给出的等式|Ⅱ(E,2,L)|=|Ⅱct(E,L)|推广了分明拟阵中的结论。     

拓扑空间的次分离性

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

真理想族的上、下确界及其性质

 研究了非空集合上真理想族的上、下确界.在非标准扩大模型中,采用单子论的研究方法,提出了非空集合上真理想族上、下确界的定义,在此基础上研究了真理想族上、下确界存在的充要条件,并得到了真理想族在上、下确界存在的条件下的一些运算性质.     

L-预拓扑空间的局部连通性:可乘性与L-好的推广

主要证明了L-预拓扑空间的局部连通性相对乘积运算是可乘的且是L-好的推广。