模糊超格和EQ-代数中相关问题的研究

发布时间：2017-09-06 08:45

  本文关键词：模糊超格和EQ-代数中相关问题的研究

  更多相关文章： 模糊超格 Galois伴随 强模糊超格 EQ-代数 L-模糊滤子

【摘要】：摘要超代数系统理论和模糊类型理论均具有计算机科学与纯粹数学的双重研究背景,其中超代数理论在纯粹数学和应用数学的许多方面都有着重要的应用,而模糊类型理论最初是以剩余格作为真值代数结构而发展成的一类高阶模糊逻辑.本文一方面结合这两种理论的研究方法对模糊超格做进-步的研究,从而丰富了超格理论的内容.另一方面,利用模糊数学、格论与范畴论的思想方法,研究了EQ-代数中的L-模糊滤子及EQ-代数范畴.本文主要内容安排如下：第一章预备知识.介绍了本文所用到的模糊超格理论、EQ-代数理论和范畴论的相关概念和结论.第二章模糊超格.研究了模糊超格的性质,进一步地研究了模糊超格上的模糊超同余及模糊超格之间同态的性质,证明了一个模糊超格的全体模糊子超格所组成的集合是一个完备格且两个模糊超格的乘积还是模糊超格,得到了全体超格及其弱同态所构成的范畴和全体模糊超格及其弱同态所构成的范畴之间的一个Galois伴随.最后,引入了强模糊超格的概念,得到了强模糊超格的一个等价刻画,并给出了一种由模糊超格得到一个强模糊超格的方法.第三章EQ-代数.首先,在EQ-代数中引入了L-模糊滤子的概念,得到了L-模糊滤子的一个等价刻画,证明了全体L-模糊滤子之集是序完备的EQ-代数.其次,研究了L-模糊滤子与EQ-同态和EQ-同余的关系,得到了EQ-代数中的基’本同态定理.最后,给出了EQ-代数范畴中等子和余等子的结构,证明了EQ-代数范畴中有乘积和拉回,且EQ-代数范畴是完备的.
【关键词】：模糊超格 Galois伴随 强模糊超格 EQ-代数 L-模糊滤子
【学位授予单位】：陕西师范大学
【学位级别】：硕士
【学位授予年份】：2015
【分类号】：O153.1
【目录】：

• 摘要3-4
• Abstract4-6
• 前言6-8
• 第一章 预备知识8-16
• §1.1 模糊超格中的相关概念和结论8-9
• §1.2 EQ-代数中的相关概念和结论9-11
• §1.3 范畴论中的相关概念和结论11-16
• 第二章 模糊超格16-28
• §2.1 模糊超格及其同态、同余的性质16-21
• §2.2 模糊超格与超格的范畴关系21-23
• §2.3 强模糊超格23-28
• 第三章 EQ-代数28-42
• §3.1 EQ-代数中的L模糊滤子28-31
• §3.2 EQ同态与EQ-同余31-35
• §3.3 EQ-代数范畴的性质35-42
• 总结42-44
• 参考文献44-48
• 致谢48-50
• 攻读硕士学位期间的研究成果50

【参考文献】

中国硕士学位论文全文数据库 前1条

1 刘妮;连续Domain的基数函数与若干Domain范畴的笛卡尔闭性[D];陕西师范大学;2002年

，

本文编号：802102