特殊Cartan型李超代数的Borel子代数

本文研究了特征零的代数闭域上秩为4的有限维特殊Cartan型李超代数S的结构.利用正则元的划分,确定出S关于典范环面的所有正根系,从而得到了S的所有Borel子代数;对于每一个正根系,通过给出其单根系,得到了任何两个Borel子代数的连接关系;最后确定了每一个Borel子代数的极大可解性.本文所得结果可用于进一步研究Cartan型单李超代数的结构与表示.     

三角试题的优化解法与技巧

通过对三角习题的结构进行分析,在解题时考虑选择适当的方法,则可使复杂问题转化为简单问题,收到事半功倍的效果.下面简要分类介绍解题常用的优化方法及技巧,供读者参考.1.代数替换在三角函数问题中,若sinα±cosα与sinαcosα同时在一个函数式中出现,此时可设t=sinα＋cosα,把原问题转化为以t为变量的二次函数,这样用代数方法处理就可以避开讨论三角式的麻烦.例1设a为正常数,     

剩余格上的L滤子

剩余格为模糊逻辑和模糊推理提供了一种良好的代数结构,滤子是剩余格中一个十分重要的概念,它在基于剩余格的模糊逻辑代数语义的研究中,扮演着一个关键的角色。本文基于Pavelka所提出的广义MP规则和真值提升规则,研究基于这两种推理规则的演绎系统的代数化问题。引入L滤子的概念,讨论这些滤子之间的关系,并给出它们的一些代数刻画。     

模糊软格和模糊软理想

把模糊软集理论运用到格上,引入了模糊软格的概念,进一步提出格的模糊软子格、模糊软理想以及模糊软格的模糊软理想等,并通过α-水平截集给出了模糊软格和模糊软理想的等价刻画,最后研究了它们的一些基本性质。     

MTL-代数的演绎系统和余零化子及其相互关系

首先,在MTL-代数中给出了演绎系统的定义;其次,提出了MTL-代数余零化子的概念,并研究了它们的一些基本性质;最后,讨论了MTL-代数中余零化子与演绎系统的关系,证明了MTL-代数的演绎系统A的余零化子A⊥是素的演绎系统的充要条件:A是线性的且A≠{1}。     

基于区间值模糊剩余蕴含算子的广义区间值模糊粗糙集模型

把粗糙集理论和区间值模糊集理论结合起来,利用粗糙集理论的构造性方法,提出了一种广义区间值模糊粗糙集理论模型。首先,利用区间值模糊剩余蕴含算子和它的对偶算子,定义了一种广义上下区间值模糊粗糙集近似算子。然后,利用该蕴含算子的性质,讨论了该模型上下近似算子的一系列性质。最后,确立了一些特殊的区间值模糊关系和区间值模糊粗糙集近似算子的联系。     

(∈,∈∨_q)-区间值模糊子格

将区间值模糊集的概念和运算应用于子格概念的研究,引入(∈,∈∨q)-区间值模糊子格的概念并考察它们的基本性质。给出了格L上区间值模糊集成为L的(∈,∈∨q)-区间值模糊子格的若干等价条件;讨论(∈,∈∨q)-区间值模糊子格与子格及(∈,∈∨q)-模糊子格间的相互关系;获得了(∈,∈∨q)-区间值模糊子格的像与原像成为(∈,∈∨q)-区间值模糊子格的条件。     

Fuzzy度量空间上Lipschitz型自映射的公共不动点

在Fuzzy度量空间上建立了一个Lipschitz型自映射的公共不动点定理。作为应用,得到Fuzzy度量空间上Bose型和Kannan-Reich型自映射的公共不动点定理,从而统一并推广了Bose与KannanReich在度量空间上的有关结论。     

模糊DCPO范畴的一个笛卡尔闭的满子范畴

引入了有界完备模糊dcpo的概念,研究了有界完备模糊dcpo的基本性质。证明了当赋值格L是Frame时,以模糊Scott连续映射为态射的有界完备模糊dcpo范畴BC-FDCPO是以模糊Scott连续映射为态射的模糊dcpo范畴FDCPO的笛卡尔闭子范畴。同时还给出了模糊完备交半格、强模糊完备交半格的定义,并研究了它们与有界完备模糊dcpo之间的关系。     

Fuzzy蕴涵代数的素模糊MP滤子

本文的目的是对Fuzzy蕴涵代数(简称FI代数)中的模糊MP滤子理论作进踊步深入研究。首先,引入素模糊MP滤子的概念并研究其性质,建立并证明了并半格FI代数的素模糊MP滤子定理;其次,在FI代数的素模糊MP滤子全体之集PFFMP(X)上构造了一个拓扑T,证明了拓扑空间(PFFMP(X),T)是T0空间。