《离散数学》第五章1-2节_第1页
《离散数学》第五章1-2节_第2页
《离散数学》第五章1-2节_第3页
《离散数学》第五章1-2节_第4页
《离散数学》第五章1-2节_第5页
已阅读5页,还剩26页未读 继续免费阅读

下载本文档

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

文档简介

代数系统——由集合和该集合中的一个或多个n元运算所组成的系统,称为代数系统。

代数系统是一种数学结构,它由集合、关系、运算、定义、公理、定理和算法组成。

第三篇代数系统1整理ppt第五章代数结构代数系统的运算与性质半群、群与子群阿贝尔群和循环群陪集与拉格朗日定理同态与同构环与域2整理ppt5-1代数系统的引入举例实数R上的一元运算:f(a)=1/a,f(a)=-a二元运算:f(a,b)=a+b……例(1)数的加法是实数集R上的二元运算(2)设S是一个集合,集合的并、交是ρ(S)上的二元运算定义5-1.1对于集合A,一个从An到B的映射,称为A上的n元运算。如果B

A,则称该n元运算是封闭的。3整理ppt*1元硬币5角硬币1元硬币5角硬币可口可乐桔子汁桔子汁牛奶例

4整理ppt在后面的学习中,主要是讨论一个集合上的二元运算。要确定一个二元运算,就是确定任意两个元素的运算结果。当A是有限集时,A上的运算可用一个表来表示:设A={a1,a2,…,an},。是A上的运算,则下表称为运算“。”的运算表a1a2…ai…。a1a2……aj……an

a11a12…………………………aij………………其中,aij=ai。aj5整理ppt例如<I,+>,<ρ(S),∪,∩,~>,<R,+,-,*,/>定义5-1.2一个非空集合A连同若干个定义在该集合上的运算f1,f2,…,fn所组成的系统就称为一个代数系统,记作<A,f1,f2,…,fn>。6整理ppt一、二元运算的基本性质定义5-2.1设*是定义在集合A上的二元运算,如果对于任意的x,y∈A,都有x*y∈A,则称二元运算*在A上是封闭的。例考察下列运算是否是指定集合上封闭的二元运算?(1)整数集合Z上的加、减、乘、除。(2)自然数集合N上的加、减、乘、除。(3)非零实数集R*上的加、减、乘、除。(4)n阶实矩阵上的加、乘。(5)集合S的幂集上的∪、∩、-、

。5-2运算及其性质7整理ppt注意:通常用。,*,.,…等符号表示二元运算,称为算符。例1设A={x|x=2n,n∈N},加法运算,乘法运算是否封闭?8整理ppt考察下列运算在指定集合上是否符合交换律?(1)实数集合上的加、减、乘、除。(2)n阶实矩阵上的加、乘。(3)集合S的幂集上的∪、∩、-、

。定义5-2.2设*是定义在集合A上的二元运算,如果对于任意的x,y∈A,都有x*y=y*x,则称二元运算*是可交换的。例2设Q是有理数集合,△是Q上的二元运算,对于任意的a,b∈Q,a△b=a+b-a·b,问运算△是否可交换。解:∵a△b=a+b-a·b=b+a-b·a=b△a,∴△是可交换的。9整理ppt定义5-2.3设*是定义在集合A上的二元运算,如果对于任意的x,y∈A,都有(x*y)*z=x*(y*z),则称二元运算*是可结合的。考察下列运算在指定集合上是否符合结合律?(1)N、Z、Q、R、C集合上的加、乘。(2)n阶实矩阵上的加、乘。(3)集合S的幂集上的∪、∩、

。10整理ppt例3设A是一个非空集合,☆是A上的二元运算,对于任意a,b∈A,有a☆b=b,证明☆是可结合的。证明:对于任意的a,b,c∈A(a☆b)☆c=b☆c=c而a☆(b☆c)=a☆c=c所以(a☆b)☆c=a☆(b☆c)运算特点?11整理ppt定义5-2.4设Δ、*是二元运算,对于任意的x,y,z∈A,都有x*(yΔz)=(x*y)Δ(x*z)(yΔz)*x=(y*x)Δ(z*x)则称*对于Δ是可分配的。如:(1)N、Z、Q、R、C集合上的乘法对加法。(2)n阶实矩阵上的乘法对加法。(3)集合上的∪、∩互相可分配。x*(y+z),(y+z)*x12整理ppt例4设集合A={α,β},在A上定义两个二元运算*和△,运算△对于*可分配吗?运算*对于△呢?解:△对*运算:α△(α*β)与(α△α)*(α△β)α△(β*α),β△(α*β)与(β△α)*(β△β)β△(β*α),*对△运算:β*(α△β),(β*α)△(β*β)*αβαβαββα△αβαβαααβ

13整理ppt定义5-2.5设Δ、*是可交换二元运算,对于任意的x,y∈A,都有x*(xΔy)=xxΔ(x*y)=x称*,Δ满足吸收律。如:集合上的∪和∩满足吸收律。即,任意集合A,B满足A∪(A∩B)=AA∩(A∪B)=A14整理ppt学习如登山,苦战能过关。例5N是自然数全体,x,y∈Nx*y=max(x,y)xΔy=min(x,y)验证*,△满足吸收律。解:a*(aΔb)=max(a,min(a,b))=aaΔ(a*b)=min(a,max(a,b))=a因此*,Δ满足吸收律。15整理ppt定义5-2.6设*是定义在集合A上的一个二元运算,如果对于任意的x∈A,都有x*x=x,则称运算*是等幂的。(若某些元素满足,称为等幂元)16整理ppt例6设ρ(S)是集合S的幂集,在ρ(S)上定义的两个二元运算“并”、“交”,验证是等幂的。若x是<S,*>中关于*的等幂元,对于任意正整数n,则xn=x。17整理ppt定义5-2.7给定〈S,*〉且el,er∈S,则el为关于*的左幺元:er为关于*的右幺元:既为左幺元又为右幺元,称e为关于*的幺元:二、幺元、零元、逆元18整理ppt如:(1)在N、Z、Q、R、C上,0是加法的幺元,1是乘法的幺元。(2)n阶0矩阵是矩阵加法的幺元,n阶单位矩阵是矩阵乘法的幺元。(3)在集合上,φ是∪运算的幺元,全集是∩运算的幺元。19整理ppt例7设集合S={α,β,γ,δ},在S上定义两个二元运算*和☆。试指出左幺元或右幺元。*αβγδαβγδ

δαβγ

αβγδαβγγ

αβγδ☆αβγδαβγδ

αβδγ

βαγδ

γδαβ

δδβγ20整理ppt定理5-2.1给定<S,*>且el,er分别是关于*的左右幺元,则el=er=e,且幺元e唯一。证明:el*er=elel*er=er

el=er=e

唯一性???21整理ppt定义5-2.8给定〈S,*〉且θl,θr,θ∈S,则θl为关于*的左零元:θr为关于*的右零元:e为关于*的零元:*浅色深色浅色深色浅色深色深色深色幺元?零元?例8设集合S={浅色,深色}定义在S上一个二元运算*如下表所示22整理ppt如:在N、Z、Q、R、C上,

0是乘法的零元,加法没有零元。(2)n阶0矩阵是矩阵乘法的零元,n阶矩阵的加法无零元。(3)在集合上,∪运算的零元是全集,∩运算的零元是φ23整理ppt证明:

θl=θl*θr=θr

∴θl=θr∵

θr是右零元∵

θl是左零元把θl=θr记作θ,则θ是S中的零元。假设θ`也是S中的零元,则

θ`=θ*θ`=θ

∵θ是零元∴θ是S中关于*运算的唯一的零元。定理5-2.2给定<S,*>且θl,θr分别是关于*的左右零元,则θl=θr=θ,且零元θ唯一。24整理ppt定理5-2.3设A是一个代数系统,且集合A中元素的个数大于1,如果该系统中存在幺元e和零元θ,则e≠θ证明:设e=θ;对任意x,则e*x=x;θ*x=θ;x=θ,即A中所有元素都是相同的。矛盾?25整理ppt定义5-2.9给定〈S,*〉且e,a∈S,e为幺元,则b为a的左逆元:b为a的右逆元:b为a的逆元:考虑:(1)整数集合Z上,加法逆元?(2)在集合上,∪运算、∩运算的逆元?先求幺元26整理ppt例9设集合S={α,β,γ,δ,ζ},定义S上的一个二元运算*如下表所示,试指出<S,*>中各元素的左、右逆元情况*αβγδζαβγδ

ζαβγδζβδαγδγαβαβδαγδγζδαγζ先找幺元27整理ppt一般来说,一个元素的左逆元不一定等于该元素的右逆元,而且,一个元素可以有左(右)逆元而没有右(左)逆元,甚至其数目也可以是不唯一的。若b是a的逆元,则a也是b的逆元,简称a与b互为逆元一个元素x的逆元记为x-1一个元素的左逆不一定等于右逆,并且不一定都存在,也不唯一28整理ppt例设A={1,2,3,4,5},的运算表为:1为幺元,2,4都是3的左逆元,3是5的左逆元所以3是2,4的右逆元,5是3的右逆元,但3不存在逆元12345231443332145132543221234512345

29整理ppt定理5-2.4给定<S,*>及幺元e∈S,如果*是可结合的并且一个元素x的左逆元和右逆元存在,则=,且每个元素的逆元唯一证明:=*e=*(x*)=(*x)*=e*

温馨提示

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

评论

0/150

提交评论