【摘 要】
：
Quantale模的概念是由Abramsky和Vickers在1993年提出,其背景在于给运算语义学,指称语义学,公理语义学等提供新的数学模型Quantale模可被看作有限观测性质的代数,加之其具有丰富的序结构,代数结构和拓扑结构,这些使得它成为诸多数学家和逻辑学家关注的热点.在短短的二十年中,有关Quantale模理论的大量新的观点及应用相继给出.核映射与余核映射,理想与同余是研究Quantal
论文部分内容阅读
Quantale模的概念是由Abramsky和Vickers在1993年提出,其背景在于给运算语义学,指称语义学,公理语义学等提供新的数学模型Quantale模可被看作有限观测性质的代数,加之其具有丰富的序结构,代数结构和拓扑结构,这些使得它成为诸多数学家和逻辑学家关注的热点.在短短的二十年中,有关Quantale模理论的大量新的观点及应用相继给出.核映射与余核映射,理想与同余是研究Quantale模理论的重要工具,本文一方面对Quantale模中核映射与余核映射、理想与同余的若干性质,及其关系作了细致而深入地研究,从而丰富了Quantale模理论内容.另一方面,从范畴论角度讨论了对合左Q-模范畴的一些性质.本文主要内容安排如下：第一章预备知识.本章给出了本文将要用到的Quantale理论、范畴理论中的基本概念和结论.第二章Quantale模核映射与余核映射.本章首先研究了左Q-模余核映射的相关性质,给出了左Q-模上一个映射是余核映射的等式刻画.其次讨论了Dual双模,Girard双模与对合左Q-模的关系,并分别给出了它们的一些性质及其等价刻画.最后证明了任意双Q-模都可嵌入到Girard双模,并且当Quantale是对合Quantale时,任意左Q-模都可嵌入到对合左Q-模中,证明了Girard双模与对合左Q-模上的核映射与余核映射都是一一对应关系.第三章Quantale模中的理想与同余.本章给出了Quantale模M中的heterogeneous理想与heterogeneous同余的定义,证明了此理想构成的集合Idl（M）与同余构成的集合Cong（M）都是完备格.当完备格中理想与同余固定时,构造了最小与最大的Quantale模理想和同余.引入了同余的核和由理想生成的同余的概念,证明了Idl（M）与Cong（M）构成Galois伴随.第四章对合左Q-模范畴.本章首先讨论了此范畴的乘积和等子,并给出了它们的具体结构,证明了对合左Q-模范畴没有零对象.其次给出了对合左Q-模范畴的极限结构,同时得到此范畴是完备范畴且具有拉回等性质.最后给出了对合左Q-模范畴中逆系统的逆极限的定义,引入了两个逆系统之间映射的定义,并导出了对合左Q-模范畴中两个逆系统的逆极限之间的极限映射.
其他文献
算子谱理论的研究一直是算子理论中的一个重要课题和热门分支.近几十年来,随着这一理论的迅速发展,人们注意到了算子理论,尤其是算子谱理论不仅在现代科学技术、量子力学、近代物理学中有重要应用,而且在现代数学、非线性科学、计算数学等学科中有着直接的应用（例如：微分方程的特征问题、反散射理论、信号分析、遍历理论等）.线性算子摄动理论与物理学、工程学、量子力学等学科有着密切的联系,例如物理学和工程学中求振动的
以不同比例的PDMS（聚二甲基硅氧烷）/PPG（聚丙二醇）为混合软段,采用两步法合成了一系列硅氧烷基聚氨酯弹性体（SiPU）。通过FTIR（傅里叶变换红外）、接触角分析、耐酸碱介质试验、耐湿热老化试验、DMA（动态力学分析）和TGA（热重分析）,研究了所制SiPU的结构、力学性能、表面性能、耐酸碱介质性能、耐湿热老化性能及热性能。结果表明:PDMS的含量明显影响SiPU的形态和性能:随PDMS的含
对角占优矩阵在数值计算、控制论、电力系统理论、经济数学及弹性力学等众多领域有着重要的实用价值.我们知道,在理论讨论和实际工作中常要估计矩阵逆的无穷范数或谱半径,例如一些迭代法的收敛性问题和估计矩阵的某些数值特征时等等.经过国内外许多学者的不懈努力,对于一些特殊的对角占优矩阵已经获得了一些重要结果.本文的第三章和第四章就是在已有结果的基础上,补充了两类尚未解决的对角占优矩阵逆的无穷范数（或谱半径）上
本文所研究的问题涉及两类生物动力学模型,一类Leslie型的捕食-食饵模型和一类具有非单调发生率的SIR传染病模型.主要运用非线性分析和非线性偏微分方程的知识,特别是抛物型方程和对应椭圆型方程的理论方法,讨论了模型解的共存态、正性、有界性和稳定性.本文通过分歧理论,能量积分方法等研究了带有齐次Neumann边界条件的捕食-食饵模型通过Hurwitz-Rouche判别法、上下解方法和比较原理研究了带
优化问题是一个古老的问题,具有很强的实用背景,且广泛出现于科学研究、工艺改造、经济管理和工程技术等领域.经典优化方法如牛顿梯度法、共轭梯度法和Power法等,具有较好的收敛性能,但仅适合于光滑问题.然而实际中许多问题是非光滑的.不同于传统的优化算法,智能优化算法如遗传算法、蚁群算法和微粒群算法等,在解决优化问题时,由于不需要函数的光滑性,因而具有更强的实用性,可以解决一些复杂的优化问题.本文研究了
正规算子的谱理论能够使人深刻地了解其内部结构,在算子理论中一项重要的课题就是推广正规算子的理论.局部谱理论就是其中一个重要的推广而单值扩张性质在研究局部谱理论中又有着重要作用.线性算子摄动理论与量子力学、工程学等学科有着密切的联系,特别是与量子力学中特征值分布有关的Weyl型定理的摄动,己发展成算子理论中一个重要分支.本文研究的主要内容是渐近纠缠算子单值扩张性质的等价性,上三角算子矩阵单值扩张性质
小波变换是小波分析研究的主要内容,也是时频分析的一个有力工具,解决了Fourier变换不能解决的许多困难问题,它包括连续小波变换和离散小波变换。从而小波变换被誉为“数学显微镜”。现在已成为国内外学者研究的热点问题,同时在去噪、边缘检测、图像处理中表现出巨大的潜能。本文在传统的积分小波变换的定义中加上了规范化因子,得到了新的定义,并研究了其性质,同时基于规范窗口Fourier变换Twwinf的强反演
这篇论文主要研究了两类数学模型,一类是综合国力模型,一类是Holling-Tanner捕食食饵模型.对于这两类模型的研究,可以借助于种群动力学系统的研究方法,对这两类动力系统的解进行分析.种群动力系统是描述种群与种群、种群与环境之间相互竞争,相互作用的动力学关系的数学模型.关于此类模型的研究,引起国内外学者的广泛的关注,并且已经取得了许多有价值的成果.本文运用反应扩散方程,非线性分析的知识,尤其是
小波分析是近几十年来出现的一个新的数学分支,自诞生之日起,它一直是数学领域和其他领域的学者研究和关注的热点.小波框架理论是小波分析的主要内容之一,是研究小波分析的一个重要工具,在小波分析的发展中起到了非常重要的作用.近年来,人们在框架理论方面获得了许多的成果,在一维空间中,人们的研究范围由紧支撑正交小波的构造到半正交小波、双正交小波的构造以及Riesz小波、框架小波的构造,在高维空间中研究范围由二
Quantale是由C.J.Mulvey于1986年研究非交换的C*-algebra时引入的,其背景是给量子力学提供新的数学模型.在短短的二十几年中,Quantale理论受到了数学家和逻辑学家的密切关注,有关Quantale理论的大量新的观点及应用相继被给出.本文一方面对经典的Quantale理论展开继续研究,引入了伪连续余Quantale,同时对伪连续余Quantale的性质、理想、范畴做了细致