离散数学第九章代数系统PPT讲稿.ppt
《离散数学第九章代数系统PPT讲稿.ppt》由会员分享,可在线阅读,更多相关《离散数学第九章代数系统PPT讲稿.ppt(44页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、离散数学第九章代数系统离散数学第九章代数系统1第1页,共44页,编辑于2022年,星期日第九章第九章 代数系统代数系统主要内容主要内容二元运算及其性质二元运算及其性质一元和二元运算定义及其实例一元和二元运算定义及其实例二元运算的性质二元运算的性质代数系统代数系统代数系统定义及其实例代数系统定义及其实例子代数子代数积代数积代数代数系统的同态与同构代数系统的同态与同构2第2页,共44页,编辑于2022年,星期日9.1二元运算及其性质二元运算及其性质定义定义9.1设设S为集合,函数为集合,函数f:S SS 称为称为S上的上的二元运算二元运算,简,简称为二元运算称为二元运算S中任何两个元素都可以进行运
2、算,且运算的结果惟一中任何两个元素都可以进行运算,且运算的结果惟一S中任何两个元素的运算结果都属于中任何两个元素的运算结果都属于S,即,即S对该运算封闭对该运算封闭例例1(1)自然数集合自然数集合N上的加法和乘法是上的加法和乘法是N上的二元运算,但上的二元运算,但减法和除法不是减法和除法不是(2)整数集合整数集合Z上的加法、减法和乘法都是上的加法、减法和乘法都是Z上的二元运算,上的二元运算,而除法不是而除法不是(3)非零实数集非零实数集R*上的乘法和除法都是上的乘法和除法都是R*上的二元运算,而上的二元运算,而加法和减法不是加法和减法不是3第3页,共44页,编辑于2022年,星期日实例实例(4
3、)设设Mn(R)表示所有表示所有n 阶阶(n2)实矩阵的集合,即实矩阵的集合,即则矩阵加法和乘法都是则矩阵加法和乘法都是Mn(R)上的二元运算上的二元运算.(5)S为任意集合,则为任意集合,则、为为P(S)上二元运算上二元运算.(6)SS为为S上的所有函数的集合,则合成运算上的所有函数的集合,则合成运算 为为SS上二元运算上二元运算.4第4页,共44页,编辑于2022年,星期日一元运算的定义与实例一元运算的定义与实例定义定义9.2设设S为集合,函数为集合,函数f:SS 称为称为S上的上的一元运算一元运算,简,简称一元运算称一元运算.例例2(1)求相反数是整数集合求相反数是整数集合Z,有理数集合
4、有理数集合Q和实数集合和实数集合R上上的一元运算的一元运算(2)求倒数是非零有理数集合求倒数是非零有理数集合Q*,非零实数集合非零实数集合R*上一元运算上一元运算(3)求共轭复数是复数集合求共轭复数是复数集合C上的一元运算上的一元运算(4)在幂集在幂集P(S)上规定全集为上规定全集为S,则求绝对补运算,则求绝对补运算是是P(S)上的上的一元运算一元运算.(5)设设S为集合,令为集合,令A为为S上所有双射函数的集合,上所有双射函数的集合,A SS,求一,求一个双射函数的反函数为个双射函数的反函数为A上的一元运算上的一元运算.(6)在在n(n2)阶实矩阵的集合阶实矩阵的集合Mn(R)上,求转置矩阵
5、是上,求转置矩阵是Mn(R)上上的一元运算的一元运算.5第5页,共44页,编辑于2022年,星期日二元与一元运算的表示二元与一元运算的表示1算符算符可以用可以用,等符号表示二元或一元运算,称为算符等符号表示二元或一元运算,称为算符.对二元运算对二元运算,如果,如果x 与与y 运算得到运算得到z,记做,记做xy=z对一元运算对一元运算,x的运算结果记作的运算结果记作 x.2表示二元或一元运算的方法表示二元或一元运算的方法:解析公式和运算表解析公式和运算表公式表示公式表示例例设设R为实数集合,如下定义为实数集合,如下定义R上的二元运算上的二元运算:x,yR,x y=x.那么那么3 4=3,0.5(
6、3)=0.56第6页,共44页,编辑于2022年,星期日运算表:表示有穷集上的一元和二元运算运算表:表示有穷集上的一元和二元运算 运算表运算表 二元运算的运算表二元运算的运算表一元运算的运算表一元运算的运算表7第7页,共44页,编辑于2022年,星期日 例例3 设设S=P(a,b),S上的上的 和和 运算运算的运算表如下的运算表如下 运算表的实例运算表的实例8第8页,共44页,编辑于2022年,星期日二元运算的性质二元运算的性质定义定义9.3设设为为S上的二元运算上的二元运算,(1)若对任意若对任意x,yS 有有xy=yx,则称运算在则称运算在S上满足上满足交换律交换律.(2)若对任意若对任意
7、x,y,zS有有(xy)z=x(yz),则称运算在则称运算在S上满足上满足结结合律合律.(3)若对任意若对任意xS 有有xx=x,则称运算在则称运算在S上满足上满足幂等律幂等律.定义定义9.4设设和和 为为S上两个不同的二元运算上两个不同的二元运算,(1)若对任意若对任意x,y,zS有有(x y)z=(xz)(yz),z(x y)=(zx)(zy),则称则称运算对运算对 运算满足运算满足分配律分配律.(2)若若 和和 都可交换都可交换,且对任意且对任意x,yS有有x(x y)=x,x(xy)=x,则称则称和和 运算满足运算满足吸收律吸收律.9第9页,共44页,编辑于2022年,星期日实例实例Z
8、,Q,R分别为整数、有理数、实数集;分别为整数、有理数、实数集;Mn(R)为为n阶实阶实矩阵集合矩阵集合,n 2;P(B)为幂集;为幂集;AA为从为从A到到A的函数集,的函数集,|A|2集合运算交换律结合律幂等律Z,Q,R普通加法+普通乘法有有有有无无Mn(R)矩阵加法+矩阵乘法有无有有无无P(B)并交相对补对称差有有无有有有无有有有无无AA函数复合无有无10第10页,共44页,编辑于2022年,星期日 集合 运算分配律吸收律Z,Q,R普通加法+与乘法对+可分配+对不分配无Mn(R)矩阵加法+与乘法对+可分配+对不分配无P(B)并与交对可分配对可分配有交与对称差 对可分配无实例实例Z,Q,R分
9、别为整数、有理数、实数集;分别为整数、有理数、实数集;Mn(R)为为n阶实阶实矩阵集合矩阵集合,n 2;P(B)为幂集;为幂集;AA为从为从A到到A的函数集,的函数集,|A|211第11页,共44页,编辑于2022年,星期日特异元素:单位元、零元特异元素:单位元、零元定义定义9.5设设为为S上的二元运算上的二元运算,(1)如果存在如果存在el(或或er)S,使得对任意,使得对任意xS 都有都有 elx=x(或或xer=x),则称则称el(或或er)是是S中关于中关于运算的运算的左左(或或右右)单位元单位元.若若eS关于关于运算既是左单位元又是右单位元,则称运算既是左单位元又是右单位元,则称e为
10、为S上上关于关于运算的运算的单位元单位元.单位元也叫做单位元也叫做幺元幺元.(2)如果存在如果存在 l(或或 r)S,使得对任意,使得对任意xS 都有都有 l x=l(或或x r=r),则称则称 l(或或 r)是是S 中关于中关于运算的运算的左左(或或右右)零元零元.若若 S 关于关于运算既是左零元又是右零元,则称运算既是左零元又是右零元,则称 为为S上关上关于运算于运算的的零元零元.12第12页,共44页,编辑于2022年,星期日可逆元素和逆元可逆元素和逆元(3)设设为为S上的二元运算上的二元运算,令令e为为S中关于运算中关于运算 的单位元的单位元.对于对于xS,如果存在,如果存在yl(或或
11、yr)S使得使得 ylx=e(或(或xyr=e)则称则称yl(或或yr)是是x的的左逆元左逆元(或(或右逆元右逆元).关于关于运算,若运算,若yS 既是既是x 的左逆元又是的左逆元又是x 的右逆元,则称的右逆元,则称y为为x的的逆元逆元.如果如果x 的逆元存在,就称的逆元存在,就称x 是是可逆的可逆的.13第13页,共44页,编辑于2022年,星期日实例实例集合运算单位元零元逆元Z,Q,R普通加法+普通乘法01无0 x逆元xx逆元x1(x1给定集合)Mn(R)矩阵加法+矩阵乘法n阶全0矩阵n阶单位矩阵无n阶全0矩阵X逆元XX的逆元X1(X可逆)P(B)并交对称差BB无的逆元为B的逆元为BX的逆
12、元为X14第14页,共44页,编辑于2022年,星期日惟一性定理惟一性定理定理定理9.1设设为为S上的二元运算,上的二元运算,el和和er分别为分别为S中关于运算的中关于运算的左和右单位元,则左和右单位元,则el=er=e为为S上关于上关于运算的惟一的单位元运算的惟一的单位元.证:证:el=eler(er为右单位元为右单位元)eler=er(el为左单位元为左单位元)所以所以el=er,将这个单位元记作将这个单位元记作e.假设假设e 也是也是S 中的单位元,则有中的单位元,则有e=ee =e.惟一性得证惟一性得证.类似地可以证明关于零元的惟一性定理类似地可以证明关于零元的惟一性定理.注意:注意
13、:当当|S|2,单位元与零元是不同的;,单位元与零元是不同的;当当|S|=1时,这个元素既是单位元也是零元时,这个元素既是单位元也是零元.15第15页,共44页,编辑于2022年,星期日定理定理9.2设设为为S上可结合的二元运算上可结合的二元运算,e为该运算的单位元为该运算的单位元,对于对于xS 如果存在左逆元如果存在左逆元yl 和右逆元和右逆元yr,则有则有yl=yr=y,且且y是是x 的惟一的逆元的惟一的逆元.证:由证:由ylx=e和和xyr=e得得 yl=yle=yl(xyr)=(ylx)yr=eyr=yr令令yl=yr=y,则则y 是是x 的逆元的逆元.假若假若yS 也是也是x 的逆元
14、的逆元,则则 y=y e=y(xy)=(y x)y=ey=y所以所以y 是是x 惟一的逆元惟一的逆元.说明:对于可结合的二元运算,可逆元素说明:对于可结合的二元运算,可逆元素x 只有惟一的逆只有惟一的逆元,记作元,记作x 1惟一性定理惟一性定理16第16页,共44页,编辑于2022年,星期日9.2代数系统代数系统定义定义9.6非空集合非空集合S和和S上上k个一元或二元运算个一元或二元运算f1,f2,fk组成组成的系统称为的系统称为代数系统代数系统,简称代数,记做简称代数,记做.实例:实例:(1),是代数系统,是代数系统,+和和分别表示普通分别表示普通加法和乘法加法和乘法.(2)是代数系统,和是
15、代数系统,和分别表示分别表示n 阶阶(n2)实矩实矩阵的加法和乘法阵的加法和乘法.(3)是代数系统,是代数系统,Zn0,1,n-1,和和 分别表示分别表示模模n的加法和乘法,对于的加法和乘法,对于x,yZn,x y=(xy)modn,x y=(xy)modn(4)是代数系统,是代数系统,和和 为并和交,为并和交,为绝对补为绝对补17第17页,共44页,编辑于2022年,星期日代数系统的成分与表示代数系统的成分与表示构成代数系统的成分:构成代数系统的成分:集合(也叫载体,规定了参与运算的元素)集合(也叫载体,规定了参与运算的元素)运算(这里只讨论有限个二元和一元运算)运算(这里只讨论有限个二元和
16、一元运算)代数常数(通常是与运算相关的特异元素:如单位元等)代数常数(通常是与运算相关的特异元素:如单位元等)研究代数系统时,如果把运算具有的特异元素也作为系统研究代数系统时,如果把运算具有的特异元素也作为系统的性质之一,那么这些特异元素可以作为系统的成分,叫做的性质之一,那么这些特异元素可以作为系统的成分,叫做代数常数代数常数.例如:代数系统例如:代数系统:集合:集合Z,运算运算+,代数常数代数常数0代数系统代数系统:集合:集合P(S),运算运算和和,无代数常数,无代数常数18第18页,共44页,编辑于2022年,星期日代数系统的表示代数系统的表示(1)列出所有的成分:集合、运算、代数常数(
17、如果存在)列出所有的成分:集合、运算、代数常数(如果存在)如如,(2)列出集合和运算,在规定系统性质时不涉及具有单位元列出集合和运算,在规定系统性质时不涉及具有单位元的性质(无代数常数)的性质(无代数常数)如如,(3)用集合名称简单标记代数系统用集合名称简单标记代数系统在前面已经对代数系统作了说明的前提下使用在前面已经对代数系统作了说明的前提下使用如代数系统如代数系统Z,P(B)19第19页,共44页,编辑于2022年,星期日同类型与同种代数系统同类型与同种代数系统定义定义9.7(1)如果两个代数系统中运算的个数相同,对应运算的元数相如果两个代数系统中运算的个数相同,对应运算的元数相同,且代数
18、常数的个数也相同,则称它们是同,且代数常数的个数也相同,则称它们是同类型的同类型的代数代数系统系统.(2)如果两个同类型的代数系统规定的运算性质也相同,则称如果两个同类型的代数系统规定的运算性质也相同,则称为为同种的同种的代数系统代数系统.例如例如V1=,V2=V1,V2是同类型的代数系统,它们都含有是同类型的代数系统,它们都含有2个二元运算个二元运算,2个个代数常数代数常数.20第20页,共44页,编辑于2022年,星期日V1V2+可交换、可结合 可交换、可结合+满足消去律 满足消去律 对+可分配+对 不可分配+与 没有吸收律可交换、可结合可交换、可结合不满足消去律 不满足消去律对可分配对可
19、分配与满足吸收律运算性质比较运算性质比较V1=,V2=所以所以,V1,V2是同类型的代数系统是同类型的代数系统,但不是同种的代数系统但不是同种的代数系统.21第21页,共44页,编辑于2022年,星期日子代数系统子代数系统定义定义9.8设设V=是代数系统,是代数系统,B是是S的非空子的非空子集,如果集,如果B对对f1,f2,fk都是封闭的,且都是封闭的,且B和和S含有相同的代含有相同的代数常数,则称数常数,则称是是V的的子代数系统子代数系统,简称子代,简称子代数数.有时将子代数系统简记为有时将子代数系统简记为B.实例实例N是是的子代数,的子代数,N也是也是的子代数的子代数N 0是是的子代数,但
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 离散数学 第九 代数 系统 PPT 讲稿
限制150内