半模范畴中的拉回图性质及其推广-基础数学专业论文.docxVIP

I I 摘 要 本论文在半模范畴中引入了拉回，n-拉回和推出的概念并研究了其相关性 质，全文分为三个部分: 在第一部分，首先在半模范畴中引入了拉回的概念，接着证明了半模范畴 中拉回的存在性和唯一性，并研究了在 P ????a1, a2 ???A1 ??A2 | f1?a1 ????f2 ?a2 ??的条件 下 ?f1, f2 ?的拉回 ?P, h1 , h2 ??与半模族 Ai ?i ??1, 2??之间可保留的性质，并得出了半模 范畴中逆向极限与拉回的关系． 在第二部分，在拉回的基础上又给出了 n-拉回的概念并且证明了其存在性 和唯一性，并讨论了在 P ????a , a ,..., a  ???A ??A  ??... ??A  | f ?a ????f ?a ?, i ? j，i, j ??1,2,n? 1 2 n 1 2 n i i j j 的条件下 ?f i ?的 n-拉回 ?P, hi , h j ???i, j ??1, 2,...n，i ? j ??之间的若干性质． 在第三部分，引入了推出及 n-推出的定义并研究了其性质，得到了一些 较好的结论． 关键词：拉回， n-拉回，推出， n-推出. II II ABSTRACT In this dissertation we introduce the concepts of the pullback、 n- pullback and pushout and the properties of it in the category of semimodules.The thesis falls into three parts. In the first section, we introduce the concept of the pullback,prove the existence and the uniqueness of the pullback,then discuss the retained properties between pullback and semimodule family Ai ?i ??1, 2??in the condition of P ????a1, a2 ???A1 ??A2 | f1?a1 ????f2 ?a2 ??. In the second section,we introduce the concept of the pullback,prove the existence and the uniqueness of the n- pullback;then discuss the retained properties between n- pullback and semimodule family in the condition of P ????a , a ,..., a ???A ??A  ??... ??A | f ?a ????f ?a ?, i ? j，i, j ??1,2,n? 1 2 n 1 2 n i i j j . In the last, we introduce the concept and properties of the pushout and n- pushout, so get some good conclusions. Key words: pullback ; n- pullback; pushout ; n- pushout III III 目 录 中文摘要 ? 英文摘要 ?? 目 录 ??? 第一章、预备知识 1 1.1 引 言 1 1.2 预备知识 3 第二章、半模范畴中的拉回图及其性质 5 2.1 拉回的定义及其存在性 5 2.2 拉回的相关性质 6 TOC \o 1-2 \h \z \u HYPERLINK \l _TOC_250002 第三章、半模范畴中的 n-拉回图及其性质 13 HYPERLINK \l _TOC_250001 3.1 n -拉回的定义及其存在性 13 HYPERLINK \l _TOC_250000 3.2 n -拉回的一些性质 14 第四章、半模范畴中的推出图及其性质 19 参考文献 24 附 录 26 后 记 27 半模范 半模范畴中的拉回图性质及其推广 I I 第一章 预 备 知 识 1.1 引 言 半环是最常见的一种代数结构，我们所接触的第一个数学结构――自然数 集――就是半环的一个最典型的例子.半环理论在分析学、拓扑学、非交换环论 等学科、图论、最优化理论、量子物理的数学模型理论及自动机理论中有着广泛 的应用，半环结构的研究大量引用和推广环论的思想与方法