Q-代数和对合Q-代数中相关问题的研究

来源 :陕西师范大学 | 被引量 : 0次 | 上传用户:cyhacmacyh007
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
自从Mulvey于1986年提出Quantale概念以来,Quantale理论的研究受到了国内外许多学者的关注Solovyov在Quantale模的基础上提出了Quantale代数(简称Q-代数)的概念.对合Quantale作为一类重要的Quantale结构,近年来也得到了众多学者的关注.本文引入了Q-代数理想余核、对合Q-代数、模糊对合Quantale的概念,讨论了Q-代数核映射与理想余核的关系,研究了对合Q-代数上的同余关系,证明了模糊对合Quantale和对合L-代数是范畴同构的.本文的章节结构和具体内容安排如下:第1章:预备知识.给出了本文所要用到的Quantale理论、Q-代数、模糊Quantale以及范畴论中的相关概念和结论.第2章:Q-代数上的理想余核与预Girard Q-代数.为了进一步讨论Q-代数内部结构之间的关系,本章首先引入了Q-代数理想余核的概念,得到了Q-代数理想余核的等价刻画;其次给出了Dual Q-代数、Girard Q-代数、预DualQ-代数与预Girard Q-代数的概念,证明了任意Q-代数都可以嵌入到预Girard Q-代数;最后证明了在预Girard Q-代数上的核映射与理想余核是一一对应关系.第3章:对合Q-代数上的同余关系.引入了对合Q-代数及其上的核映射、余核映射、同余关系等概念,得到了对合Q-代数上的同余关系与核映射是一一对应的,研究了对合Q-代数同余与对合Q-代数同态之间的关系,最后给出了对合Q-代数乘积上的同余关系的一个重要性质.第4章:对合Q-代数与模糊对合Quantale给出了模糊对合Quantale的概念,讨论了模糊对合Quantale的范畴性质,证明了模糊对合Quantale范畴同构于对合L-代数范畴.
其他文献
学位
布尔代数作为经典逻辑系统的代数结构,在逻辑代数的研究中具有重要意义.伪布尔代数是布尔代数的一般化.本文进一步研究了伪布尔代数及其相关分配格的性质,通过对比几种分配格
利用油田回注水采油,提高了油田经济效益,但回注水是一种多污染物混合的污水,其质量直接影响地下水的生态环境状况,因此必须对油田回注水进行质量控制,特别是油田回注水油分在线检测技术是实现回注水质量控制的关键,传统的称重法、气相色谱法以及分光光度法都不能满足在线测量的需求,可应用于在线检测的散射法则易受油田回注水中悬浮物颗粒影响,针对此问题,本论文发展了一种基于紫外荧光检测技术的油田回注水油分在线检测方
在自然科学的实际问题解决中,很多都可以通过建立数学模型来研究.人们在大量研究中发现不少模型都可以归结为反应扩散方程,通过对相应反应扩散方程的研究,人们可以更加科学的
随着快速的城市化发展,中国的整体城镇化率已经超过了58%。在城市常住人口总量迅速增长和可利用土地资源逐渐减少的双重背景之下,城市的住宅区越来越向着高容积率发展。与此同时,其高密度、高容积率给人居微气候环境带来的影响也逐渐地显现出来。目前,风环境问题已成为在微气候环境中研究者关注的焦点。住宅区作为与人们居住及日常活动息息相关的场所,其风环境好坏更能直接体现人居环境的舒适与否。为了探究住宅区风环境的影
路径规划与调度控制是AGV设计的关键,一个完善的AGV系统,需要同时满足精准定位、快速响应并能及时处理各种突发问题等需求,并且为各AGV提供最合理的规划路径。本文针对AGV的关键技术问题进行研究,主要研究内容如下:首先,针对蚁群算法存在的不足进行优化,提出了一种信息素交替更新策略,同时在信息素更新过程中加入混沌因子,以实现提高算法逃逸能力的目的。并进行仿真实验,验证算法在复杂环境下,仍能快速规划出
条带开采是建筑物、水体、铁路下采煤的重要技术手段,但因其采出率较低,造成资源大量的浪费。矸石充填方法作为一种绿色采矿方法,能够有效地控制二次开采地表移动变形,同时解决了井下矸石不上井的难题。以山东某煤矿12采区条带开采面以及遗留煤柱为工程背景,采用现场实测、理论分析、数值模拟、正交试验、概率积分预计等方法对课题进行了研究。基于矿区条带开采的地表移动变形实测资料,分析条带开采地表移动值的一般特征,总
Dirac微分算子的逆谱问题起源于对广义量子学中自由电子变化规律的探究.随着数学物理、地球物理学、系统科学等交叉学科的发展,Dirac算子的逆谱问题已逐渐成为应用数学的一个
当前的生命科学研究正处在后基因组时代,通过信息技术手段对蛋白质进行分析研究是蛋白质组学的一个重要内容,尤其是从蛋白质相互作用网络中挖掘出有生物意义的蛋白质功能模块
膜泡形状及其相变的研究是软物质物理领域的一个重要课题。人们在很长一段时间内普遍认为闭合膜泡才是稳定的,直到1998年A. Saitoh等人通过向水溶液中类脂膜泡加入一定浓度的