Ir-开集及其应用

在L-模糊拓扑空间（L^X,δ）中,对L的素元r,引入了Ir-开集的概念,讨论它的基本性质,并用它刻画了LF连续映射;定义了一种层T2分离性,并用Ir-开集刻画了它的特征。     

L—层次拓扑空间的有限覆盖性质

在L—层次拓扑空间中,引入了有限Ir—覆盖性质,并讨论了它的特性.证明了它是闭遗传的,它是在Ir—序同态下保持不变的等性质.     

L*上的"Way-below"关系及其应用

研究了直觉模糊集的真值域L*上的"way-below"关系,利用L*上的"way-below"关系,构造了[0,1]-拓扑范畴[0,1]-Top与Coker意义下的直觉模糊拓扑范畴IFTop之间的一对伴随,并证明了[0,1]-Top可以嵌入IFTop作为余反射子范畴.     

L-FYS和LF-TOP上的函子及其性质

推广了联系L-FYS和LF-TOP的两对函子ω_r和l_r,ω_L和l_L且研究了它们的性质.     

L*上的"Way-below"关系及其应用

研究了直觉模糊集的真值域L*上的"way-below"关系,利用L*上的"way-below"关系,构造了[0,1]-拓扑范畴[0,1]-Top与Coker意义下的直觉模糊拓扑范畴IFTop之间的一对伴随,并证明了[0,1]-Top可以嵌入IFTop作为余反射子范畴.     

L-PC(CA)余反射嵌入L-SSC

构造了从概率L-收敛空间范畴到强满层的L-收敛空间范畴的一个嵌入函子,并证明了前者可以余反射嵌入后者.类似地,证明了当L=[0,1]时,收敛方式空间也可以余反射嵌入强满层的L-收敛空间.     

基于覆盖的粗糙隶属函数

粗糙隶属函数最初是基于等价类的,然后被推广到拓扑结构上.注意到无论是等价类还是拓扑都构成了论域上的一个覆盖.鉴于此,我们引入了基于覆盖的粗糙隶属函数的概念,研究了其性质,并给出了一个公理化的定义.     

基于自反二元关系的粒计算新模型

对任意自反的二元关系,定义了新的zoom-in算子,从而给出一种粒计算的新模型.通过zoom-in算子与zoom-out算子的不同复合,分别得到论域和粒化的论域上的近似算子,并对它们的性质做了细致的研究.     

层次闭包空间的范畴性质(Ⅰ)

构造了层次闭包算子空间范畴SCPS中的初始结构,证明了该范畴是拓扑的,定义并研究了层次闭包空间的子空间,乘积空间和余积空间.     

L-Top上的Ir-函子

对frame L中的素元r, 引入了范畴L-Top上的一具体函子Ir,证明了该函子为层Lowen 函子ωrL与ιrL的复合,给出了其若干应用,讨论了它与Rodabaugh的满层化函子GLk的关系。