第五章 扩域 - -伊犁师范学院数学学院
映射的扩张与提升

x1
证明:由
T
→
x2
A
f
→
B
r
→
A,若 f
∘ x1
=f
∘ x2,可得
→
x1 = 1A x1 = ( r ∘ f ) ∘ x1 = r ∘ ( f ∘ x1) = r ∘ ( f ∘ x2) = ( r ∘ f ) ∘ x2 = 1A x2 = x2. 命题得证 .
注 3 若将 T 取为单点集,则可得集合论中单射的相应定义,故上述定理得到了单的一个推广的情形,
称 f 是一个单态射 .
由定理 1 和定理 2 易得下面结论成立:
推论 1 设 s 是 f 的一个截面,则 s 是单的,f 是满的 .
命题 1 若映射 f:A → B,g:B → C 都有收缩,则它们的复合 g ∘ f:A → C 也有收缩 .
证明:设 r1 是 f 的收缩,即 r1 ∘ f = 1A; r2 是 g 的收缩,即 r2 ∘ g = 1B. 令 r = r1 ∘ r2,则
43(1):135-166. [6] MACLANE S. Categories for the working mathematician[M]. Springer-Verlag,1971. [7] 陈志杰 . 代数基础[M]. 上海:华东师范大学出版社,2001.
【责任编辑:张建国】
The Extension and Lifting of Mappings
以视为求解映射 h 分解为因子 g 与因子 f 的过程 . 由于映射的复合没有交换律的成立,所以求解因子 g 与因
子 f 是不同的 . 特别地,收缩问题和截面问题变成了单位映射分解为因子的求解过程 .
现在,在范畴论的视角下,探讨上述概念的性质 .
范畴余完备性的一个充要条件

范畴余完备性的一个充要条件
董锴;汤建钢
【期刊名称】《伊犁师范学院学报(自然科学版)》
【年(卷),期】2015(9)4
【摘要】在一般范畴中研究余极限与余等值子和余积之间的关系,给出一个范畴余完备性的充要条件。
%In this paper, we discussed the relationship between the existence of the colimit and the existence of the coproduct and the coequalizer in the category, we proved the sufficient and necessary condition about cocom⁃pleteness of a category.
【总页数】3页(P14-16)
【作者】董锴;汤建钢
【作者单位】伊犁师范学院数学与统计学院,新疆伊宁 835000;伊犁师范学院数学与统计学院,新疆伊宁 835000
【正文语种】中文
【中图分类】O189
【相关文献】
1.双Quantale模范畴的余完备性 [J], 周异辉
2.关于范畴完备与余完备的充要条件 [J], 苏小霞;汤建钢
3.完全分配格范畴的完备性与余完备性 [J], 徐晓泉
4.Yoneda完备度量空间范畴的完备性和余完备性 [J], 陈金鑫
5.内积空间就范直交系完备性的一个充要条件 [J], 李家齐
因版权原因,仅展示原文概要,查看原文内容请购买。
伊犁师范学院数学系专业介绍

数学系
专业名称:数学与应用数学学制四年,授予理学学士学位。
主干课程:数学分析、几何学、代数学、物理学、概率论与数理统计、微分方程、函数论、离散数学、数学史、数值方法和计算机技术、数学模型、数学实验、教育学与心理学基础、数学教学论、中学数学教材教法、现代数学教育技术等。
就业方向:在高等、中初等学校从事教学、科研工作;在机关、部队、企事业单位从事管理、会计电算化等方面的工作。
专业名称:统计学学制四年,授予理学学士学位。
主干课程:统计学原理、概率论与数理统计、时间序列分析、应用回归分析、多元统计分析、现代经济学、管理信息系统、经济情报学、网络信息资源的搜集和利用、网络统计学、网络经济学、网络调查与民意测验、信息甄别、数据挖掘、网络数据库系统、网络与通讯、高级语言程序设计(VC、JAVA等)、统计软件的应用与开发、国民经济统计学等。
就业方向:在工商企业、事业单位、科研单位、广告公司、咨询公司从事网络信息的收集、处理、分析和咨询工作;从事网络数据库的建设和发布网络统计信息;从事统计工作;从事信息系统的管理和维护工作;从事相应的管理工作。
或在科研、教育部门从事研究和教学工作的高级专门人才。
二元模糊关系范畴的对称幺半范畴性

二元模糊关系范畴的对称幺半范畴性
周鑫;刘淼
【期刊名称】《云南大学学报(自然科学版)》
【年(卷),期】2024(46)2
【摘要】结合模糊关系范畴的概念给出了二元模糊关系范畴L_(b)Rel的概念.首先,讨论了范畴L_(b)Rel的积和余积的结构.其次,定义了张量积函子■,得到了L_(b)Rel 是对称幺半范畴.进而,给出了范畴L_(b)Rel中的幺半群和余幺半群结构.最后,以二元模糊关系范畴L_(b)Rel作为纽带,构造了一个从模糊集范畴LSet到模糊关系范畴RelLL的忠实函子.
【总页数】9页(P219-227)
【作者】周鑫;刘淼
【作者单位】伊犁师范大学数学与统计学院;伊犁师范大学应用数学研究所
【正文语种】中文
【中图分类】O159
【相关文献】
1.半环的半模范畴与加性regular范畴
2.(L)集合范畴中的(L)幺半群模
3.Ω-群范畴是幺半范畴
4.Ω-集范畴是幺半范畴
5.范畴与其内蕴幺半群范畴的乘积之间的关系
因版权原因,仅展示原文概要,查看原文内容请购买。
加强我院学科建设的探索和实践

加强我院学科建设的探索和实践
张晋鲁;冯利
【期刊名称】《伊犁师范学院学报(自然科学版)》
【年(卷),期】2009(000)002
【摘要】随着伊犁师范学院办学层次的不断提升,学科建设更要快速发展,结合物理与电子信息学院近年来学科建设的实践,就如何做好这一工作提出自己的建议.【总页数】3页(P64-66)
【作者】张晋鲁;冯利
【作者单位】伊犁师范学院,物理与电子信息学院,新疆,伊宁,835000;伊犁师范学院,物理与电子信息学院,新疆,伊宁,835000
【正文语种】中文
【中图分类】G642.0
【相关文献】
1.坚持科学发展观加强我院学科建设的几点想法 [J], 李树材
2.教学型高校加强学科建设工作的探索和实践 [J], 杨路
3.关于加强我院中蒙医学科建设的几点思考 [J], 赵清树
4.加强学科建设推动科研工作——我院科研工作回顾与展望 [J], 潍坊学院科研处
5.加强人才培养工作对我院重点学科建设的影响及成效 [J], 潘利民;滕金亮;王宽垒;黄先涛;靖超;吕利雅;尚小领;邹玉安
因版权原因,仅展示原文概要,查看原文内容请购买。
卷积等价分布簇的推广及其分布卷积的封闭性

1 引言与介绍
些分布簇不但是概率论中分布理论中的核心问题之一,而且在风险理论、排队系统等领域有着重要 的应用 .对 于卷积 等价 分布 簇 的研 究 ,可 以参 见文 献[ 1 】 【 2 】 【 3 ] .本文给 出卷积 等价 分布簇 的一种扩 张 并研 究 它们 性 质 ,发现 新 的分布 簇也 具有 一些 良好 的性质 ,如 具有卷 积 的封 闭性 等性 质. 若 无 特别 声 明 ,本文 所有 的极 限均 指 当 x 十 ∞, x∈R时 的极 限 ,所 有 的分布 函数 ( 简 称分 布 )均 指定
( i ) ( 1 , ) < O 0 ; ( i i ) 当 - - ) O 0 时, F { n + l } / F { n ) P : ( i i i ) 当1 " / o o 时 , F * F { n ) ~ 2 ( y ) F { n ) .
根据 定义D和E,我 们直接 得到 引理 1 . 1 :
定义 D 称分 布 F 属 于卷 积等 价分 布簇 ( ) ,丫 0,如果 满足 以下条 件 :
( i ) ( 丫 ) < 0 0 ; ( i i ) F ∈ 三 ( ) ; ( i i i ) 对 任 意 固 定 的 J , ∈ R , 当 o 。 时,
易知,L ( 0 ) =L且 s ( o ) =S . 记口 ( ) ≈b ( x ) ,如果
摘
要: 给 出卷积等价分布簇 ( ) 的一种扩张, 并研究它们的性质, 发现新簇也具有卷积的
封 闭性 等性 质 .
关键词 :分布卷积 ;卷积等价分布簇;扩张 ;卷积的封闭性 中图分 类 号 :T N 9 1 1 . 6 文献 标识码 :A 文 章编号 : 1 6 7 3 - - 9 9 9 X( 2 0 1 3 )0 4 —O o 0 1 —_ I ) 6
完备度量空间中Banach原理的进一步推广

完备度量空间中Banach原理的进一步推广
董建;唐金芳
【期刊名称】《宜宾学院学报》
【年(卷),期】2015(15)12
【摘要】In complete metric spaces, a further extension of the Banach contraction principle was got. The result weakens the condition, strengthens the result and simplifies the proof process of Jleli et al.%在完备度量空间中,将Banach压缩原理进行了进一步推广,所得结果削弱了Jleli等人设定的条件,增强了其所得的结论,同时简化了其证明过程.
【总页数】3页(P61-63)
【作者】董建;唐金芳
【作者单位】宜宾学院数学学院,四川宜宾644007;宜宾学院数学学院,四川宜宾644007
【正文语种】中文
【中图分类】O177.5
【相关文献】
1.对称原理的进一步推广 [J], 宋占奎
2.对称原理的进一步推广及研讨 [J], 宋占奎
3.Banach火柴问题的进一步推广 [J], 仲红秀;姜薇
4.BANACH不动点原理在隐函数存在定理中的应用 [J], 吴智华
5.关于Banach代数中伪Drazin逆的进一步结果 [J], 邹红林;陈建龙
因版权原因,仅展示原文概要,查看原文内容请购买。
【抽象代数】08-域的扩张

【抽象代数】08-域的扩张1. 素域和单扩域1.1 素域 域是⼀种⽐较“完整”的结构,它的限制条件⽐较多,结构⾃然也就不是很多样。
现在我们来初步研究⼀下域的结构,研究的⽅法当然是从⼩域向⼤域扩展,若F是E的⼦域,E也叫F的扩域或扩张。
扩张当然要从最简单的域开始,我们⽐较熟悉的简单域有哪些?最简单的⽆穷域是有理数域,它是最⼩的数域,任何数域都包含有理数域;最简单的有限域是整数在素数p下的剩余类域Z_p。
这两种域都不再有真⼦域,我们把没有真⼦域的域称为素域,⼀般记作\triangle。
那么除了这两种熟知的素域外,还有别的素域吗?每个域都含有单位元e,由e⽣成的域就是所有的素域,⽽它⼜是某个⽣成环的商域,故我们可以从e的⽣成环Z'=\{ne\}讨论起。
当\text{char}\triangle=\infty时,Z'与整数环Z同构,从⽽它们的商域同构,即\triangle\cong\Bbb{Q}。
当\text{char}\triangle=p时,前⾯已经讨论过,这样的环Z'都同构于同余环Z_p,进⽽有\triangle\cong Z_p。
这样看来,同构意义的下的素域只有\Bbb{Q}和Z_p,⽽且任何域都包含且仅包含⼀个素域。
1.2 单扩域 有了最简单的域,接下来就开始对域进⾏扩张,并需要研究新添加元素的性质,以及扩域的结构特点。
在F的扩域E中取⼦集S,F中添加S后⽣成的扩域记作F(S),要注意这个定义总是以扩域E的存在为前提的。
我们来讨论这种扩域累加起来有什么性质,考察F(S_1)(S_2),由定义知它是包含F,S_1,S_2的域,⽽F(S_1\cup S_2)是包含F,S_1\cup S_2的最⼩域,故有F(S_1\cup S_2)\subseteq F(S_1)(S_2)。
同样也可以推到F(S_1)(S_2)\subseteq F(S_1\cup S_2),这样就得到了公式(1)。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
第五章 扩域● 课时安排 约2课时● 教学内容 (《近世代数基础》 (1978年修订本) 张和瑞 著 154151-p )在这一章里我们要对于域做一些进一步的讨论。
我们不准备证明一些复杂的结构定理,而主要是对单扩域、代数扩域、多项式的分裂域、有限域和可离扩域做一些讨论。
§ 扩域、素域我们先说明一下,研究域所用的方法。
定义 一个域E 叫做一个域F 的扩域(扩张),假如F 是E 的子域。
我们知道,实数域是在它的子域有理数域上建立起来的,而复数域是在它的子域实数域上建立起来的。
研究域的方法就是:从一个给定的域F 出发,来研究它的扩域。
这就有如何选择域F 的问题。
我们有以下的事实。
定理1 令E 是一个域。
若E 的特征是∞,那么E 含有一个与有理数域同构的子域;若E 的特征是素数p ,那么E 含有一个与)(p R 同构的子域,这里R 是整数环,(p )是由p 生成的主理想。
证明:域E 包含一个单位元e 。
因此E 也包含所有ne (n 是整数)。
令R '是所有ne 作成的集合。
那么φ: ne n −→−显然是整数环R 到R '的一个同态满射。
情形1 E 的特征是∞。
这时φ是一个同构映射:R R '≅但E 包含R '的商域F '。
由Ⅲ,10,定理4,F '与R 的商域,也就是有理数域同构。
情形2 E 的特征是素数p 。
这时/R µR '≅此处µ是φ的核。
但p pe −→−=0 所以p ∈µ,因而µ)(p ⊃。
由Ⅳ,3,引理2,)(p 是一个最大理想。
另一方面01≠−→−e 所以R ≠μ,而µ=)(p ,因而/R (p )R '≅有理数域和/R (p )显然都不含真子域。
定义 一个域叫做素域,假如它不含真子域。
由定理1知道:一个素域或是与有理数域同构,或是与/R (p )同构。
因此定理1的另一形式是定理2 令E 是一个域。
若E 的特征是∞,那么E 含有一个与有理数域同构的素域;若E 的特征是素数p ,那么E 包含一个与)(p R 同构的素域。
由定理2,一个任意域都是一个素域的扩域,我们就掌握了所有的域。
但事实上研究素域的扩域并不比研究一个任意域的扩域来得容易。
因此我们研究域的普通方法是:设法决定一个任意域F 的所有扩域E 。
现在我们极粗略地描述一下一个扩域的结构。
令E 是F 的一个扩域。
我们从E 里取出一个子集S 来。
我们用F (S )表示含F 和S 的E 的最小子域,把它叫做添加集合S 于F 所得的扩域。
F (S )的存在容易看出。
因为,E 的确有含F 和S 的子域,例如E 本身,一切这样的子域的交集显然是含F 和S 的E 的最小子域。
更具体的说,F (S )刚好包含E 的一切可以写成(1)),,,(),,,(212211n n a a a f a a a f 形式的元。
这里n a a a ,,,21 是S 中的任意有限个元素,而1f 和2f (0≠)是F 上的这些α的多项式。
这是因为:F (S )既然是含有F 和S 的一个域,它必然含有一切可以写成形式(1)的元;另一方面,一切可以写成形式(1)的元已经作成一个含有F 和S 的域。
适当选择S ,我们可以使E =F (S )。
例如S=E ,就可以作到这一点。
实际上,为了作到这一点,常常只须取E 的一个真子集S 。
若S 是一个有限集:S={n a a a ,,,21 },那么我们也把F (S )记作F (n a a a ,,,21 )叫做添加元素n a a a ,,,21 于F 所得的子域。
为了便于讨E 是域F 的一个扩域,而1S 和2S 是E 的两个子集。
那么F (1S )(2S )= F (21S S )=F (2S )(1S )证明: F (1S )(2S )是一个包含F 、1S 和2S 的E 的子域,而F (21S S )是包含F 和21S S 的E 的最小子域。
因此(2) F (1S )(2S )⊃F (21S S )另一方面F (21S S )是一个包含F 、1S 和2S ,因而是一个包含F (1S )和2S 的E 的子域。
但F (1S )(2S )是包含F (1S )和2S 的E 的最小子域,因此(3) F (1S )(2S )⊂F (21S S )有(2)和(3),得F (1S )(2S )= F (21S S )同样可以得到F (2S )(1S )= F (21S S )证完根据定理3,我们可以添加一个有限集归结为陆续添加单个元素,例如F (n a a a ,,,21 )= F )())((21n a a a定义 添加一个元素α于域F 所得的扩域F (α)叫F 的单扩域(扩张)。
单扩域是最简单的扩域。
我们在下一节将先讨论这种扩域结构。
● 教学重点 扩域与素域的定义。
● 教学难点 定理1的证明。
● 教学要求 使学生掌握扩域与素域的定义,利用扩域和素域的定义以及定理1,2,3能证明相关的命题。
● 布置作业 154p 习题。
● 教学辅导 利用参考书,给学生辅导相关的内容。
§ 单扩域● 课时安排 约2学时。
● 教学内容 (《近世代数基础》 (1978年修订本) 张和瑞 著 160154-p )假设E 是F 的扩域,而α是E 的一个元。
要讨论单扩域F (α)的结构,我们把E 的元分成两类。
定义 α叫做域F 的一个代数元,假如存在F 的不都等于零的元n a a a ,,10,使得010=+++n n a a a αα假如这样的n a a a ,,10不存在,α就叫做F 上的一个超越元。
若α是F 的一个代数元,F (α)就叫做F 的一个单代数扩域;若α是F 的一个超越元,F (α)就叫做F 的一个单超越扩域。
单扩域的结构通过以下定理可以掌握。
定理1 若α是F 的一个超越元,那么F (α)≅ F[x ]的商域这里F[x ]是F 上的一个未定元x 的多项式环。
若α是F 的一个代数元,那么F (α)≅ F[x ]/))((x p这里)(x p 是F[x ]的一个唯一确定的、最高系数为1的不可约多项式,并且0)(=αp 。
证明 F (α)包含F 上的α的多项式环{}∑∈=F a a F k k k ,][αα一切我们知道,∑∑−→−k k k k a x a α是F 上的未定元x 的多项式环F[x ]到][αF 的同态满射。
现在我们分两个情形来看。
情形1 α是F 的一个超越元。
这时以上的映射是同构映射:F[α]≅ F[x ]由Ⅲ,10,定理4,F[α]的商域≅ F[x ]的商域由Ⅲ,10,定理3,我们可以知道,(1) F[α]的商域⊂ F[α]另一方面,F[α]的商域包含F 也包含α,因此,由F (α)的定义(2) F (α)⊂ F[α]的商域由(1)和(2)得F (α)=F[α]的商域因而F (α)≅ F[x ]的商域情形2 α是F 的一个代数元。
这时F[α]≅ F[x ]/μ这里μ是上述同态满射的核。
由Ⅳ,4,定理3和定理1,F[x ]是一个主理想, 所以μ=))((x pF[x ]的一个主理想的两个生成元能够互相整除,因而它们只能差一个单位因子, 而F[x ]的单位就是F 的非零元。
所以令)(x p 的最高系数是1,)(x p 就是唯一确定的。
由μ的定义的:0)(=αp ;由此得)(x p 不是F 的非零元。
但α是F 上的代数元,所以)(x p 也不是零多项式。
因此, )(x p 的次数≥1。
我们就说,)(x p 是F[x ]的一个不可约多项式。
不然的话,将有的次数的次数和)()()(),()()(x p x h x g x h x g x p <=从而 )()()(αααh g p ==0但)()(ααh g 和都是域F (α)的元,而域没有零因子,所以由上式可以得到)(αg =0 或 )(αh =0这就是说,μ∈)(x g 或 μ∈)(x h ,即)(x p |)(x g 或 )(x p |)(x h这是一个矛盾。
这样,)(x p 是一个不可约的多项式,因而))((x p 是 F[x ]的一个最大理想,而F[x ]/))((x p 是一个域。
这样,F[α]是一个域。
但F[α]包含F 也包含α,并且F[α]⊂ F (α),所以F[α]=F (α)≅ F[x ]/))((x p证完以上定理把单扩域归结到我们已经知道的域。
当α是域F 上代数元时,我们可以把F (α)描述得更清楚一点。
定理2 令α是域F 上的一个代数元,并且F (α)≅F[x ]/))((x p那么F (α)的每一个元都可以唯一的表成∑-=10n i i i a α )(F a i ∈ 的形式,这里n 是)(x p 的次数。
要把这样的两个多项式)(αf 和)(αg 想加,只需把相当的系数想加;)(αf 与)(αg 的乘积等于)(αr ,这里)(x r 是用)(x p 除)(x f )(x g 所得的余式。
证明 由于F (α)= F[α],所以F (α)的一个任意元β可以写成β=∑=)()(i i b h αα )(F b i ∈的形式。
但)()()()(x r x p x q x h +=其中)(x r =∑-=10n i i i x a )(F a i ∈因而,由于0)(=αp ,有 β =∑-===10)()(n i i i a r h ααα这种表示法是唯一的。
因为:假如 )()(21ααβr r ==,)(1x r 和)(2x r 的次数<n那么0)()()(21==-αααk r r)(|)(x k x p由于)(x k 的次数<n ,得)(x k =0,)(1x r =)(2x r由以上的证明可以看出,定理的后一部分成立。
证完我们已经看到,多项式)(x p 对于一个代数扩域重要性。
)(x p 显然是理想μ里的一个次数最低的多项式。
定义 F[x ]中满足条件0)(=αp 的次数最低的多项式011)(a x a x x p n n n +++=--叫做元α的在F 上的极小多项式。
n 叫做α的在F 上的次数。
以上的讨论是在域F 有扩域E 的前提下进行的。
现在我们问,若是只给了一个域F ,是不是有F 的单扩域存在存在F 的单超越扩域容易看出。
我们知道,F 上的一个未定元x 的多项式环F[x ]和F[x ]的商域都是存在的。
F[x ]的商域显然是包含F 和x 的最小域,而按照未定元的定义,x 是F 上的一个超越元。
因此F[x ]的商域就是F 的一个单超越扩域。
由定理1,F 的任何单超越扩域都是同构的。
现在我们证明定理3 对于任一给定域F 以及F 的一元多项式环F[x ]的给定不可约的多项式011)(a x a x x p n n n +++=--总存在F 的单代数扩域F (α),其中α在F 上的极小多项式是)(x p 。