[工学]代数系统.pptVIP

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

五、吸收律 定义5-2.5 设*,Δ是定义在集合A上的两个可交换二元运算,如果对于任意的x,y?A,都有 x*(xΔy)=x xΔ(x*y)=x 则称运算*和运算Δ满足吸收律。 例题5 设集合N为自然数全体,在N上定义两个二元运算*和★,对于任意x,y?N,有 x*y=max(x,y) x★y=min(x,y) 验证运算*和★的吸收律。 解 对于任意a,b?N a*(a★b)=max(a,min(a,b))=a a★(a*b)=min(a,max(a,b))=a 因此,*和★满足吸收律。 六、等幂律 定义5-2.6 设*是定义在集合A上的一个二元运算,如果对于任意的x?A,都有x*x=x,则称二元运算*在A上是等幂的。 例题6 设?(S)是集合S的幂集,在?(S)上定义的两个二元运算,集合的“并”运算∪和集合的“交”运算∩ ,验证是∪、∩等幂的。 解 对于任意的A??(S),有A∪A=A和A∩A=A,因此运算∪和∩都满足等幂律。 小结 运算及其性质 定义5-2.1~6 设?和?为集合A上的二元运算: 若?x?y(x,y?A→x?y?A) , 则称?在A上封闭。 若?x?y(x,y?A→x?y= y?x) , 则称?满足交换律。 若?x?y?z(x,y,z?A→x? (y? z) = (x?y) ?z), 则称 ? 满足结合律。 若?x?y?z(x,y,z?A→x?(y?z)=(x?y)? (x?z)) , 则称?对?满足分配律。 若?x?y(x,y?A→x?(x?y)=x ,x? (x?y)=x) , 则称?和?满足吸收律。 若?x (x?A→x?x=x) , 则称?满足等幂律。 七、幺元 定义5-2.7 设?为集合A上的二元运算: 若 ?el?x(el,x?A→el?x=x) ,则称el为A中的左幺元。 若 ?er?x(er,x?A→x?er=x) ,则称er为A中的右幺元。 若 ?e?x(e,x?A→e?x=x?e=x) ,则称e为A中的幺元。 见P-180页例题7。 例题7 设集合S={α,β,γ,δ},在S上定义的两个二元运算*和★ 如表5-2.2所示。试指出左幺元或右幺元。 * α β γ δ α β γ δ δ α β γ α β γ δ α β γ γ α β γ δ ★ α β γ δ α β γ δ α β δ γ β α γ δ γ δ α β δ δ β γ 解 由表5-2.2可知β,δ都是S中关于运算*的左幺元,而α是S中关于运算★的右幺元。 定理5-2.1 代数结构A,?有关于 ? 运算的幺元e,当且仅当它同时有关于 ? 运算的左幺元el和右幺元er 。并且其所含幺元是唯一的,即el= er= e 。 证明:先证左幺元el=右幺元er=e el= el ?er = er=e 再证幺元e是唯一的 设还有一个幺元e’ ?A,则 e’ = e’ ? e = e 八、零元 定义5-2.8 如果 ?l ?A,满足:对一切x?A,都有 ?l?x=?l 则称元素?l 为左零元。 如果?r ?A,满足:对一切x?A,都有 x??r=?r 则称元素?r 为右零元。 如果??A且对任意x?A,都有 x??=??x=? 则称元素?为代数结构A,? (关于 ? 运算) 的零元(zero)。 例题8 表5-2.3定义的二元运算 解 深色是S中关于运算*的零元,浅色是S中关于运算*的幺元。 例题8 设集合S={浅色,深色},定义在S上的一个二元运算*如表5-2.3所示。试指出零元和幺元。 * 浅色 深色 浅色 深色 浅色 深色 深色 深色 表5-2.3 定理5-2.2 代数结构A,?有关于 ? 运算的零元? ,当且仅当它同时有关于 ? 运算的左零元?l和右零元?r 。并且其所含零元是唯一的,即?l=?r=? 。 ? 证明:先证左零元?l=右零元?r

文档评论(0)

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

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

版权声明书
用户编号:6212135231000003

1亿VIP精品文档

相关文档