第五单元 代数系统的一般性质.pptVIP

  1. 1、有哪些信誉好的足球投注网站(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
  2. 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  3. 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
  4. 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
  5. 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们
  6. 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
  7. 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
第五单元 代数系统的一般性质

第五章 代数系统 二元运算及其性质 代数系统及其子代数和积代数 代数系统的同态和同构 半群与群 环与域 格与布尔代数 5.1 二元运算及其性质 集合上的运算,其运算结果都是在原来的集合R中,具有这种特征的运算是封闭的,简称闭运算。 对于集合A,一个从An到B的映射,称为集合A上的一个n元运算。如果B?A,则称该n元运算是封闭的. 定义5.1 设S为集合,函数f:S×S→S称为S上的一个二元运算,简称为二元运算. f:N×N→N, f(x,y)=x+y 普通的减法不是自然数集合上的二元运算,因为两个自然数相减可能得负数,而负数不属于N.这时也称集合N对减法运算不封闭. 算 符 通常用?,*,?,…等符号表示二元运算, 称为算符. 设f:S×S→S是S上的二元运算,对任意的x,y∈S,如x与y的运算结果是z,即 f(x,y)=z, 可利用算符?简记为 x?y=z N元运算 定义5.2 设S为集合,n为正整数,则函数 称为S上的一个n元运算,简称为n元运算. 例如,求一个数的相反数是实数集R上的一元运算,求一个数的倒数是非零实数集R*上的一元运算,在幂集合P(S)上,如果规定全集为S,那么求集合的绝对补运算可以看作是P(S)上的一元运算.在空间直角坐标系中求某一点(x,y,z)的坐标在x轴上的投影可以看作是实数集R上的三元运算f(x,y,z)=x,因为参加运算的是有序的3个实数,而结果也是实数. 例5.2 设S={1,2},给出P(S)上的运算~和?的运算表,其中全集为S. 解 所求的运算表如表5.3、表5.4所示. 例5.3 设S={1,2,3,4},定义S上二元运算如下: x?y =(xy)mod 5, ?x,y?S 二元运算的性质 定义5.3 设?为S上的二元运算,如果对任意的x,y∈S都有 x?y=y?x 则称运算?在S上是可交换的,或者说.在S上适合交换律. 例如,实数集上的加法和乘法都是可交换的,但减法不可交换, 在幂集P(S)上的∪,∩,?都是可交换的,但相对补不是可交换的. 定义5,4 设?为S上的二元运算,如果对任意的x,y,z∈S都有 (x?y)?z=x?(y?z), 则称运算?在S上是可结合的,或者说.在S上适合结合律. 普通的加法和乘法在N,Z,Q,R上都是可结合的,∪,∩, ?在幂集P(S)上也是可结合的.矩阵加法和乘法在Mn(R)上是可结合的,其中矩阵加法还是可交换的,但矩阵乘法不是可交换的. 左幺元,右幺元,幺元 定义5.8 设?为S上的二元运算,如果存在元素el(或er)∈S使得对任何x∈S, 都有 el ? x=x(或x?er =x) 则称el(或er)是S中关于运算?的一个左幺元(或右幺元).若e∈S关于°既是左幺元, 又是右幺元,则称e为S上关于运算?的幺元. 谁是幺元? 自然数集合上的加法运算的幺元是谁? 自然数集合上的乘法运算的幺元是谁? 在Mn(R)上,矩阵加法的幺元是谁? 在Mn(R)上,矩阵乘法的幺元是谁? 在幂集P(S)上,∪运算的幺元是谁? 在幂集P(S)上,∩运算的幺元是谁? R*是非零实数集,任意的a,b?R*有a?b=a,运算?的幺元是谁? 左幺元,右幺元,幺元 定理5.1 设?为S上的二元运算, el,er分别为运算?的左幺元和右幺元,则有 el=er=e. 且e为S上关于运算?的唯一的幺元. 证明 el=el ? er, el ? er=er 所以, el=er 把el=er记作e.假设S中存在幺元e’,则有 e’=e ? e’=e 所以,e是S中关于运算?的唯一的幺元, 左零元,右零元,零元 定义5.9 设?为S上的二元运算,若存在元素?l (或?r)∈S使得对任意的x∈S有 ?l ?x= ?l (或x ? ?r= ?r) 则称?l (或?r )是S上关于运算?的左零元(或右零元)若 ?∈S关于运算?既是左零元,又是右零元,则称? 为S上关于运算?的零元. 自然数集N上普通乘法的零元是谁?普通加法零元是谁? Mn(R)上矩阵乘法的零元?矩阵加法零元? 在幂集P(S)上∪运算的零元是?∩运算的零元是? R*是

文档评论(0)

panguoxiang + 关注
实名认证
文档贡献者

该用户很懒,什么也没介绍

1亿VIP精品文档

相关文档