学位论文 > 优秀研究生学位论文题录展示
连续Quantale与双Quantale模范畴
作 者: 梁少辉
导 师: 赵彬
学 校: 陕西师范大学
专 业: 基础数学
关键词: 连续Quantale 理想 双Quantale模 范畴 极限 逆极限
分类号: O154.1
类 型: 硕士论文
年 份: 2007年
下 载: 35次
引 用: 0次
阅 读: 论文下载
内容摘要
自从C.J.Mulvey于1986年提出Quantale概念以来,Quantale理论受到了数学家和逻辑学家的关注。对它的研究涉及到非交换C~*-代数,环的理想理论,逻辑和计算机科学等诸多领域。Quantale自身具有丰富的序结构和代数结构,与此相关的拓扑结构以及范畴结构也有丰富的研究内容。本文对连续Quantale、双Quantale模及双Quantale模范畴的若干性质作了较为细致而深入的研究。本文的主要内容如下:第一章预备知识.本章给出了将要用到的Quantale理论和范畴理论的基本概念和结果。第二章连续Quantale的若干性质。首先给出了半连续Quantale和连续Quantale的定义,在此基础上对正则Quantale、半连续Quantale和连续Quantale三者之间的关系进行了比较,得到了在一定条件下半连续Quantale是连续Quantale,讨论了连续Quantale的一些相关性质,得到了一族连续Quantale的积仍然是连续Quantale。其次,给出了连续Quantale上理想的概念,讨论了连续Quantale的理想的一些性质。最后,讨论了连续Quantale范畴的性质,证明此范畴是点化的、连通的,而且还探讨了连续Quantale范畴中的投射、乘积。第三章双Quantale模的性质。首先给出了双Quantale模的概念,在此基础上讨论了双Quantale模的若干性质。其次,探讨了双Quantale模的子模与理想之间的一些关系。由一个理想可以确定出一个双Quantale模的子模。最后给出了双Quantale模中的同余和核映射的定义,研究了双Quantale模中的同余和核映射的一些性质。得到了任意双Quantale模的满同态像都同构于某一双Quantale模核映射的像,证明了双Quantale模上所有的同余构成的完备格与所有的核映射构成的完备格是同构的。第四章双Quantale模范畴。首先证明了双Quantale模范畴是点化范畴,讨论了双Quantale模范畴中的等子、余等子、乘积和集体拉回,得到了双Quantale模范畴中等子、余等子、乘积和集体拉回的具体结构。证明了双Quantale模范畴是连通的。还证明了双Quantale模范畴中的每一个投射都是收缩,双Quantale模范畴有核、余核。其次,给出了双Quantale模范畴极限的具体结构。最后,研究了双Quantale模范畴中的逆系统的相关性质,得到了逆系统的逆极限结构,引入了两个逆系统之间映射的定义,由此导出了双Quantale模范畴中的两个逆系统的极限之间的极限映射。
|
全文目录
摘要 3-5 Abstract 5-8 前言 8-10 第一章 预备知识 10-18 §1.1 Quantale的基本概念 10-11 §1.2 范畴论中的相关概念和结论 11-18 第二章 连续Quantale的若干性质 18-26 §2.1 连续Quantale的概念 18-20 §2.2 连续Quantale中的理想 20-23 §2.3 连续Quantale范畴的性质 23-26 第三章 双Quantale模的性质 26-36 §3.1 双Quantale模的基本性质 26-30 §3.2 双Quantale模中的同余及核映射 30-36 第四章 双Quantale模范畴 36-50 §4.1 双Quantale模范畴中的等子、交、乘积和集体拉回 36-45 §4.2 双Quantale模范畴的极限 45-47 §4.3 双Quantale模范畴中的逆系统及其逆极限 47-50 总结 50-51 参考文献 51-54 致谢 54-55 攻读硕士学位期间的研究成果 55
|
相似论文
- 构式语法观照下的高中英语双及物结构教学研究,G633.41
- 范畴理论在高中英语阅读教学中的应用研究,G633.41
- 一类非自治波动方程一致吸引子存在性的研究,O175
- 时间压力对演绎推理影响的研究,B841
- 师生共同体视野下的幸福教育,G456
- 卢卡奇《关于社会存在本体论》中的劳动范畴,B515
- 孟子人性思想与我国现代理想人格的塑造,B222
- 现代汉语因果范畴研究,H146
- 范畴化理论在大学英语词汇教学中的应用研究,H319
- 幼儿心目中的理想教师形象研究,G612
- 成长电影中理想与现实的冲突对中国学校教育改革的启示,G521
- 90后大学生理想信念教育研究,G641
- 论田汉前期话剧的浪漫主义基本特征,I207.3
- 量子包络代数在范畴o中的表示,O152.5
- 两总体协方差矩阵成比例的检验,O212.1
- 塞尔达巴塞罗那新城规划思想及其系统研究,TU984
- 输电塔塔架极限载荷及动力学分析,TM753
- 论塑造理想人格的认识论途径和手段,B82-063
- 中小学生心目中的理想教师,G635.1
- 论刘醒龙小说中的人文关怀,I207.42
- IN/OUT和里、外的对比研究,H030
中图分类: > 数理科学和化学 > 数学 > 代数、数论、组合理论 > 范畴论、同调代数 > 范畴论
© 2012 www.xueweilunwen.com
|