离散数学第讲代数_第1页
离散数学第讲代数_第2页
离散数学第讲代数_第3页
离散数学第讲代数_第4页
离散数学第讲代数_第5页
已阅读5页,还剩26页未读 继续免费阅读

下载本文档

版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领

文档简介

离散数学第讲代数第1页,课件共31页,创作于2023年2月数学是科学之王。——高斯数学支配着宇宙。——毕达哥拉斯自然界的书是用数学的语言写成的。——伽利略数学是一切知识中的最高形式。——柏拉图数学是打开科学大门的钥匙。——培根一门科学,只有当它成功地运用数学时,才能达到真正完善的地步。——马克思一个国家只有数学蓬勃的发展,才能展现它国力的强大。数学的发展和至善和国家繁荣昌盛密切相关。——拿破仑数学第2页,课件共31页,创作于2023年2月研究离散量的结构及其相互关系的数学学科,是现代数学的一个重要分支在计算机科学与技术领域有着广泛的应用,是计算机必不可少的先行课程、核心课程数字电子计算机是一个离散结构,它只能处理离散化的数量关系。因此,无论计算机科学本身,还是与计算机科学密切相关的现代科学研究领域,都面临着如何对离散结构建立相应的数学模型;又如何将已用连续数量关系建立起来的数学模型离散化,从而可由计算机加以处理。离散数学第3页,课件共31页,创作于2023年2月教材:

方世昌编著

西安电子科技大学出版社

2009.8第4页,课件共31页,创作于2023年2月1.《离散数学》左孝凌、李为鑑、刘永才编著上海科技文献出版社参考书第5页,课件共31页,创作于2023年2月2.《离散数学》--理论•分析•题解,左孝凌等著上海科技文献出版社第6页,课件共31页,创作于2023年2月3.《离散数学习题集》数理逻辑与集合论分册耿素云北京大学出版社第7页,课件共31页,创作于2023年2月第8页,课件共31页,创作于2023年2月离散数学课程的学习特点及方法特点:强调:逻辑性、抽象性;注重:概念、方法与应用方法:1.该课程概念名词多,定义多,公式多,要求记忆准确。2.认真/仔细做好课堂笔记。3.完成大量习题。第9页,课件共31页,创作于2023年2月离散数学课程的学习目标培养抽象推理、逻辑思维和归纳构造等能力,提高利用数学方法解决问题的技能,为进一步学习奠定计算机数学的基础。通过离散数学的学习,不但可以掌握处理离散结构的描述工具和方法,为后续课程的学习创造条件,而且可以提高抽象思维和严格的逻辑推理能力,为将来参与创新性的研究和开发工作打下坚实的基础。第10页,课件共31页,创作于2023年2月离散数学(二)四、代数系统离散数学教学内容

一、数理逻辑

集合

二、关系

函数

三、图论

离散数学(一)第11页,课件共31页,创作于2023年2月考核方式总成绩构成:平时成绩占15%期末成绩占85%平时成绩构成:课堂练习+课后作业+考勤第12页,课件共31页,创作于2023年2月第六章代数代数系统:

集合和定义在集合上的若干运算所组成的系统。用抽象方法研究各种代数系统性质的理论学科叫“近世代数”或“抽象代数”。

“抽象方法”是指(1)不关注组成代数系统的具体集合是什么,也不关注集合上的运算如何定义(2)研究抽象的数学结构,研究抽象数学结构的一般性质线性代数:<Mn(R),+,•>命题代数:<X,﹁,∧,∨>集合代数:<ρ(A),∩,∪,—>第13页,课件共31页,创作于2023年2月计算机安全,网络安全,密码学的基础程序设计学中的形式语义学基础刻画抽象数据结构关系数据库理论研究可计算性与计算复杂性差错控制编码理论都需要代数知识特别地,半群在形式语言和自动机理论中有着重要的应用,有限域理论是差错控制编码理论的数学基础,在通讯中发挥了重要作用。而电子线路设计、电子计算机硬件设计和通讯系统设计更是离不开布尔代数。第六章代数第14页,课件共31页,创作于2023年2月代数的概念和方法是研究计算机科学和工程的重要数学工具。众所周知,在各种数学问题及许多实际问题的研究中都离不开数学模型,要构造一个现象或过程的数学模型,就需要某种数学结构,而代数结构就是最常用的数学结构之一。因此,我们有必要掌握代数系统的重要概念和基本方法。第六章代数第15页,课件共31页,创作于2023年2月第一讲代数结构代数的构成与分类11子代数2主要内容:代数定义,么元和零元重点:

幺元、零元和逆元难点:重点和难点:幺元、零元和逆元3第16页,课件共31页,创作于2023年2月一、代数的构成与分类代数的构成:

运算的定义:函数f:Sm→S称为集合S上的m元运算,m∈N叫运算的元数(或阶)。

m=1,一元运算,S→S,R→R,

f(x)=|x|+1;

m=2,二元运算,S2→S,R2→R,f(<x,y>)=x+y;一般地,n元运算,Sn→S。

代数系统的定义:1.一个非空集合A(代数的载体);2.定义的若干在A上封闭的运算f1,f2,…,fm;3.代数常数。代数系统常用一个n重组<A,,,…,>来表示,其中A称为代数结构的载体,,,…为各种运算。有时为了强调S有某些元素地位特殊,也可将它们列入n重组的末尾,即<A,,,…,k1,…,km>。第17页,课件共31页,创作于2023年2月代数的分类:1.要有相同的构成成分

2.服从一组相同的称为公理的性质

运算的个数相同常数的个数相同对应运算元数(阶)相同例:考虑具有<I,+,·,-,0,1>形式构成成分和下述公理的代数类(这里“-”是一元运算)。

(1)a+b=b+a

(2)a·b=b·a

(3)(a+b)+c=a+(b+c)

(4)(a·b)·c=a·(b·c)

(5)a·(b+c)=a·b+a·c

(6)a+(-a)=0

(7)a+0=a

(8)a·1=a那么<Q,+,·,-,0,1>和<R,+,·,-,0,1>是同类代数,但<ρ(S),∪,∩,¯,Ø,S>是不同类的,因为公理(6)对这个代数不成立

(这里“-”表示集合的绝对补)。第18页,课件共31页,创作于2023年2月二、子代数封闭性定义:设◦与∆是S上的二元与一元运算,S′⊆S,若对任意a,b∈S′,蕴含着a◦b∈S′,称S′关于运算◦是封闭的;若对任意a∈S′,蕴含着∆a∈S′,称S′关于运算∆是封闭的。子代数的定义:设A=<S,◦,△,k>是一代数,如果

(1)S′⊆S

(2)S′对S上的运算◦和△封闭

(3)k∈S′那么A′=<S′,◦,△,k>是A的子代数。

例如:(1)<I,+,0>是<R,+,0>的子代数;

(2)<{0,2},+4,0>是<{0,1,2,3},+4,0>的一个子代数。第19页,课件共31页,创作于2023年2月三、幺元、零元么元定义:设*是S上的二元运算,(1)若存在el∈S,对所有x∈S,都有el*

x=x,则称el是关于运算*的左么元(LeftIdentityElement),或称左单位元(LeftUnitElement)。(2)若存在元素er∈S,对所有x∈S,都有x*

er=x,则称er是关于运算*的右么元(RightIdentityElement),或称右单位元(RightUnitElement)。(3)若存在e∈S,它既是左么元也是右么元,则称e是关于运算*的一个么元(IdentityElement),或称单位元(UnitElement),即对所有x∈S,都有x*

e

=e

*

x=x,则e是关于运算*的么元。第20页,课件共31页,创作于2023年2月三、幺元、零元么元示例:例2代数A=<{a,b,c},*>如下表所示:

可以看出,代数A左么元为b,没有右么元。例3<R,×>中么元为1;<R,+>中么元为0。

*abcaabbbabccaba第21页,课件共31页,创作于2023年2月三、幺元、零元零元定义:设*是S上的二元运算,

(1)若存在θl∈S,对所有x∈S,都有θl*x=θl,则称θl是为关于运算*的左零元(LeftZeroElement)。

(2)若存在θr∈S,对所有x∈S,都有x*θr=θr,则称θr是关于运算*的右零元(RightZeroElement)。(3)若存在θ∈S,它既是左零元也是右零元,则称θ是关于运算*的零元,即对任意x∈S,都有θ*x=x*θ=θ,则θ是关于运算*的零元(ZeroElement)。*abcaabbbabccaba在例2中代数A=<{a,b,c},*>的右零元为a,b;没有左零元。第22页,课件共31页,创作于2023年2月三、幺元、零元例4:(1)<I,×>么元:1,零元:0;

(2)S非空有限集,代数<ρ(S),∪,∩,¯,Ø

,S>

么元零元对∪:ØS

对∩:SØ*abcaabbbabccaba例2的代数中:

右零元:a,b;左零元:无;右么元:无;左么元:b可以看出:左(右)零元不一定存在;左(右)零元存在时也不一定唯一;左零元与右零元可能同时存在。第23页,课件共31页,创作于2023年2月三、幺元、零元定理1:设*是定义在集合A上的二元运算,且A中关于运算*的左么元为el,右么元为er,则el=er=e,且A中的么元是唯一的。证明:因为el和er分别为左么元和右么元,所以el=el*er=er=e。设另有一么元e′,则e′=e′*e=e,所以么元唯一。定理2:设*是定义在集合A上的二元运算,且A中关于运算*的左零元为θl,右零元为θr,则θl=θr=θ,且A中的零元是唯一的。定理3:设<A,*>是一个代数系统,且集合A中元素的个数大于1.如果该代数系统中存在么元e和零元θ,则θ≠e。证明:用反证法,假如么元e

=零元,那么对于任意xA,必有x=e*x=θ*x=θ=e。于是,A中所有元素都是相同的,这与A中含有多个元素相矛盾。第24页,课件共31页,创作于2023年2月四、逆元逆元定义:设*是A上的二元运算,e是A中关于*的么元,

(1)若对元素a∈A,存在b∈A,使b*a=e,则称b是a的左逆元;

(2)若对元素a∈A,存在b∈A,使a*b=e,则称b是a的右逆元;

(3)若对元素a∈A,存在b∈A,使a*b=b*a=e,则称b是a的逆元,记为a-1。

例如<I,+>中么元为0,x的逆元为-x。

一般来说,一个元素的左逆元不一定等于该元素的右逆元;一个元素可以有左逆元而无右逆元,甚至一个元素的左(右)逆元还可以不唯一。第25页,课件共31页,创作于2023年2月四、逆元例6(1):<N,+>么元为0,仅0有逆元;

<R,·>么元为1,仅零元0无逆元,其它元素x均有逆元。例6(2):设Nk是前k个自然数的集,这里k>0,Nk={0,1,2,…,k-1},定义模k加法+k如下:对每一x、y∈Nk,

么元为0;Nk的每一元素有逆元,0的逆元是0,每一非0元素x的逆元是k-x。例6(3):设Nk是前k个自然数的集,这里k≥2,定义模k乘法×k如下:x×ky=z,这里z∈Nk,且对某一n,xy-z=nk,即

1是么元,元素x∈Nk在Nk中有逆元仅当x和k互质。第26页,课件共31页,创作于2023年2月四、逆元1是么元,逆元是它本身0,2无逆元,3的逆元为30无逆元,1的逆元为1,2的逆元为3,3的逆元为2,4的逆元为4第27页,课件共31页,创作于2023年2月四、逆元定理4:对于可结合运算,如果一个元素x有左逆元l和右逆元r,那么l=r=x-1(即逆元是唯一的)。证明

:设e对运算*是么元,于是l*x=x*r=e根据运算*的可结合性,得到l=l*e=l*(x*r)=(l*x)*r=e*r=r

设x有两个逆元a,b,那么a=a*e=a*(x*b)=(a*x)*b=e*b=b

所以逆元是唯一的。

可约性定义:设*是S上的二元运算,a∈S,如果对于每一x、y∈S有(a*x=a*y)∨(x*a=y*a)(x=y),则称a是可约的或可消去的。第28页,课件共31页,创作于2023年2月四、逆元定理5:若代数<S,>中运算满足结合律,且a∈S有逆元,那么a必定是可约的。证明

:设a的逆元为a-1,对∀x、y∈S,

(1)当ax=ay时可得a-1(ax)=a-1(ay),即(a-1a)x=(a-1a)y,可推得x=y。

(2)当xa=ya时可得(xa)a-1=(ya)a-1,即x(aa-1)=y(aa-1),也可推得x=y。因此,a是可约的。

Note:上述定理的逆不成立。例如<I,·>中,∀a

温馨提示

  • 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

评论

0/150

提交评论