余Quantale与对偶Quantale范畴

来源 :陕西师范大学 | 被引量 : 1次 | 上传用户:tansb87
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
Quantale概念是由C.J.Mulvey于1986年在研究非交换的C<*>-algebra的谱时引入的,其背景是给量子力学提供新的模型.对它的研究涉及到非交换的C<*>-algebra,环的理想理论,逻辑和计算机科学等诸多领域. Quantale可以看作是Frame的一般化,加之其丰富的序结构,代数结构和拓扑结构,因此其自身的内在结构也有极其丰富的内容.本文研究了Quantale中的Pre-余核映射的相关性质,对余Quantale以及对偶Quantalle的范畴的极限和逆极限作了较为细致而深入地研究.主要内容如下: 第一章预备知识.本章给出了将要用到的Quantale理论和范畴理论的基本概念和结果. 第二章余Quantale的若干性质.本章首先研究了余Quantale的理想,给出了由余Quantale中任意子集合生成的(左,右)理想的具体结构,进一步研究了(左,右)理想与映射的关系,从而给出了(左,右)理想余核的概念,得到了一个映射是理想余核的充要条件;接着对余Quantale的态射进行了研究,讨论了余Quantale,子余Quantale和余核映射之间的关系.证明了余Quantale中的特殊元在态射的左伴随下保持不变的性质,同时得到了余Quantale上的一个开映射是余Quantale态射的充要条件.最后讨论了幂等余Quantale的一些性质,同时对幂等左侧余Quantale进行了较为详细的研究. 第三章 Pre-余核映射以及理想与同余的关系.本章首先给出了Quantale上的Pre-余核映射的概念,并且研究了相关性质.其次,给出了Quantale意义下理想与同余的关系,并且得到了在Quantale中同余与理想一一对应的关系. 第四章对偶Quantale范畴.本章研究了对偶Quantale范畴中的始对象,终对象等特殊对象,证明了此范畴不是点化范畴.给出了对偶Quantale范畴等子的结构,证明了对偶Quantale范畴有乘积,并且构造出了此范畴中的极限结构,最后给出了对偶Quantale范畴中逆系统的定义,得到了逆系统的逆极限结构.
其他文献
1997年,王国俊教授基于蕴涵算子R提出了修正的Kleene系统W,W,W,又于1998年引入了广义重言式的概念,对修正的Kleene系统的广义重言式类进行了深刻而细致的讨论,建立了广义重言式理
Knick公司已推出其传感器管理软件的高级版本——Memo Suite Advanced,用于管理旗下的Memosens传感器。该版软件一次最多可校准十个传感器,界面直观、易于操作,让用户能够轻
周知,粗略大偏差是指随机变量部分和的尾概率对数的渐近性,它在排队论、风险理论等方面都有重要且广泛的应用.在开始的研究中人们总将对象视作独立同分布的随机变量,而在实际情况
本文针对由离散时间马尔科夫链产生的线性代数系统和一般线性代数系统的数值求解问题,深入研究其迭代、加速和预处理等求解方法,并将这些新方法应用到网页排序问题求解中。  
设R是含幺Noether交换环,X Spec R是饱和素理想集合,I R是理想,M是强可表示线性紧R模.本文证明Cograde(I,M)=inf{i|Cos(Tor(R/I,M)) X)等于I中任意关于X的极大M滤余正则序列的长度,
数学、物理、力学等学科和工程技术中许多问题的解决最终都归结为解一个或一些大型稀疏矩阵的线性方程组,而对这种方程组一般采用迭代法求解。研究迭代法的关键是迭代格式的收
算子代数理论产生于20世纪30年代,随着这一理论的迅速发展,现在这一理论已成为现代数学中的一个热门分支。它与量子力学,非交换几何,线性系统,控制理论,数论以及其他一些重要数学分
谱方法的主要优点是高精度.然而,该优点往往被真解的奇异性破坏,例如微分方程的主项系数退化。此外微分方程不同阶导数的系数退化情况也可能完全不同·为了解决此类问题。郭本瑜
众所周知,d维布朗运动当且仅当d≤2时是区域常返的;d维迷向α阶稳定Lévy过程当且仅当d≤α时也是区域常返的,其中α∈(0,2].1984年,M.Fukushima与N.Kono分别解决了d≠4和d=4情形的两
本文考虑下列非线性特征值问题: 本文用变分方法统一研究问题(P)-(P)的特征值问题.主要结果如下: 定理A.3 如果λ为问题(P)-(P)的第一特征值,则λ具有简单性且其对应的特征