【摘 要】
:
Quantale是由C.J.Mulvey在1986年研究非交换的C*-algebra时首先引入的,其目的在于给量子力学提供新的数学模型.由于它在环的理想理论,非交换的C*-algebra线性逻辑和理论计算机科学中有广泛的应用,受到了数学和理论计算机科学领域的许多学者的密切关注,在这过去的二十几年中,Quantale理论的研究和应用得到了较大的发展.由于Quantale中的理想是研究Quantale
论文部分内容阅读
Quantale是由C.J.Mulvey在1986年研究非交换的C*-algebra时首先引入的,其目的在于给量子力学提供新的数学模型.由于它在环的理想理论,非交换的C*-algebra线性逻辑和理论计算机科学中有广泛的应用,受到了数学和理论计算机科学领域的许多学者的密切关注,在这过去的二十几年中,Quantale理论的研究和应用得到了较大的发展.由于Quantale中的理想是研究Quantale理论的一个重要工具,本文用粗糙集理论的研究方法对Quantale的理想作了进一步研究.正交模格和Quantale虽然具有一些相同的性质,且是研究量子力学的两个重要的代数系统,但它们却是不同的代数系统.1991年Roman和Rumbus构造了一个对象类包含有Quantale的新范畴-Quantic格范畴,并且还指出对任意的正交模格L.令a&b(?)(a∨b⊥)∧b,则L关于这一运算构成Quantic格.对Quantic格的理想进行研究,不仅为了解Quantic格的结构奠定了基础,而且也丰富和发展了Quantale理论和正交模格理论的内容.本文主要包括四个部分:第一章预备知识.给出了本文将要用到的Quantale理论和模糊集理论中的基本概念和结论.第二章Quantale的上粗理想.首先,利用粗糙集的理论方法,给出了Quantale的上近似和下近似的定义,讨论了它们的若干性质.其次,给出了Quantale的上粗子Quantale上粗理想和上粗拟理想的概念,讨论了它们的性质以及它们之间的关系.证明了理想一定是上粗理想;满足上近似集和下近似集相等的上粗理想是理想;上粗(左,右)理想是上粗拟理想;满足左(右)吸收律的上粗拟理想是上粗左(右)理想.最后,讨论了Quantale同态与Quantale的上粗理想的联系,证明了Quantale的上粗子Quantale和上粗(左,右)理想在Quantale满同态下的原象仍是上粗子Quantale和上粗(左,右)理想.第三章Quantic格中的模糊理想.首先,给出了Quantic格的一些基本性质.其次,引入了Quantic格上的理想和理想余闭包算子的概念,讨论了它们的性质和它们之间的关系,并证明了在Quantic格中,一个子集是理想当且仅当它是某个理想余闭包算子的像.最后,给出了Quantic格上的模糊理想和模糊子Quantic格的定义,对Quantic格上的模糊理想的相关性质进行了研究.第四章Quantic格中的素模糊理想与模糊同余关系.首先,给出了Quantic格中的素模糊理想的定义,对它的基本性质进行了讨论,得到了Quantic格中的素模糊理想的刻画.其次,给出了Quantic格中的弱素模糊理想的定义,讨论了素模糊理想与弱素模糊理想的关系,并利用截集和模糊点刻画了Quantic格的弱素模糊理想.最后,给出了Quantic格中的模糊同余关系的定义,讨论了它的若干性质.
其他文献
近年来,算子空间或算子代数上保持某种特征或运算不变的线性和非线性映射的刻画问题一直备受关注.国内外诸多学者在这一研究领域已取得了一系列结果.如保持算子乘积投影性的线性和非线性满射的特征.Jordan积作为算子空间和算子代数中的一类特殊的算子积,刻画保持Jordan积的映射的结构特征成为一个有趣的问题,如保持算子Jordan零积的可加映射,保持Jordan积的谱的可加映射等等.本文主要研究Mn上保持
建筑工程施工专业是中职院校设置的专业之一,在专业教学中运用BIM技术具有积极促进作用,可以让学生直观的感受课程的内容,提升教学效率。为了提升中职建筑施工教学课程的教学效果,本文对中职建筑施工教学课程中BIM技术的应用进行研究,文中先分析了BIM技术原理和特点以及中职建筑施工教学课程中BIM技术的应用优势,之后分析了专业课程特点和学生情况以及教学中的问题,并提出了应用策略,
小波分析是当前应用数学和工程学中一门迅猛发展的新兴交叉学科,是基于经典Fourier分析而创建的应用十分广泛的理论.由于小波的应用价值巨大,其构造方法一直是众多学者研究的核心内容之一.人们发现在频域中构造小波集就是一种构造小波的新方法,进而对小波构造的研究转向了对构造各类小波集的研究.从最简单的一维Shannon小波集出发,逐渐转向高维情况研究,人们得到了Shannon小波集的推广形式——矩阵伸缩
棉花作为主要的纺织工业原料,具有重要的经济价值。但是棉花植株易受病虫害的危害,影响产量和品质,造成经济损失。蚜虫是危害棉花的重要害虫之一,近年来随着水肥条件的改善和农业生态环境的变化,棉花受蚜虫的危害日趋加重。长期以来,棉蚜的防治主要依靠化学农药,由于化学农药的大量使用,导致蚜虫天敌杀伤严重,环境污染加剧。因此,培育具有高效抗虫特性的优质棉花一直是育种学家追求的目标之一。随着分子生物学及重组DNA
随着科学的发展和实验技术的日趋完善,对于生物膜系统的研究已经扩展到生命科学以外的医学、生物物理学和生物化学等很多学科领域,并逐渐成为各个领域热门而且前沿的课题。研究发现很多生命活动都与生物膜系统的结构和功能有着紧密的联系。生物膜的体外模拟技术是研究生物膜系统的理化特性的简单且有效的方法之一。本文以两种生物膜的脂质分子:二棕榈酸磷脂酰胆碱(1,2-dipalmitoyl-sn-glycero-3-p
战略性矿产资源是事关中华民族永续发展、实现社会主义现代化强国目标的重大战略问题,也是新时期维护我国产业安全、提升我国综合国力和产业竞争力的基础和关键。从目前国际矿业市场基本运行情况来看,我国是铁矿石、铜、铝等矿种国际市场最大买家,也是稀土、锡、石墨等优势矿种最大卖家。当前我国形成的超大规模市场优势已经达到能够足以影响、甚至改变国际供需的程度,这是当前国际矿业市场的一个新因素、
自从改革开放以来,我国与其他国家之间的贸易往来越来越频繁,这就进一步应用了英语这门语言,对英语专业人才的需求量以及要求也有所提升。在大学英语教学中,教师不仅要注重学生的英语考试成绩,也需要对学生的口语表达能力进行提升,让学生在英语交流中能够准确表达自己的想法。如果学生能够讲一口流利的英语,不仅能够提升个人魅力,对学生日后就业也具有很大的帮助,对学生的全面发展具有深远的影响。所以,在大学英语教学中,
从信号处理的角度来看,傅里叶变换表征信息时能够清晰地揭示出信号的频域特征,但缺陷是不能反映时域上的局部信息,为了克服傅里叶变换的这种局限性,人们对其进行了推广,提出了很多种能够表征时域和频域的信号分析方法,例如加窗傅里叶变换、Gabor变换和小波变换等,其中小波变换是众多方法中影响最为深远的一种信号处理方法.由于小波变换具有时频局部化和多分辨率特性,能够探测正常信号中的瞬态,并展示其频率成分,所以
数理逻辑是研究形式推理的数学学科,有了数理逻辑,我们就可以研究如何从已知前提推出所需的结论。目前,数理逻辑已经广泛的应用于人工智能等一些相关领域,形成了现代计算机科学的理论基础。然而,数理逻辑重视的是形式推理和严格论证,计算数学却追求的是数值计算,它允许近似求解。可以说数理逻辑与数值计算相差甚远,之间好像并没有什么直接的联系。为了将数理逻辑和计算数学建立联系,王国俊教授将概率方法引入数理逻辑,建立
气孔是植物叶片与外界进行气体交换的主要通道,气孔运动受各种环境因素和内源因子包括植物激素乙烯和重要信号分子过氧化氢(H2O2)的调节。研究发现铜胺氧化酶(CuAO)催化产生的H2O2参与脱落酸(ABA)诱导的气孔关闭,乙烯诱导气孔关闭依赖于NADPH(还原型烟酰胺腺嘌呤二核苷酸磷酸)氧化酶催化产生的H2O2。然而时至今日,CuAO催化产生的H2O2是否参与乙烯诱导的气孔关闭还未见报道。本文以蚕豆为