5.1 二元运算与其性质(清华--修改).docVIP

  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 二元运算与其性质(清华--修改)

第五章 代数系统的一般性质 第四章讨论了集合及集合中元素之间的关系,本章讨论集合中元素之间的运算性质。 5.1 二元运算及其性质 通俗地讲,集合及集合上的运算称为代数系统。 利用集合和映射(函数)的概念定义运算。 定义1. 设为集合,称映射 为集合上的一元运算,称映射 为集合上的二元运算。 上二元运算的特点: ⑴ 中任两个元素都可运算,结果唯一; ⑵ 对该运算封闭。 例 1 (1) , 则为上的二元运算。 , 由于 则不是上的二元运算, (2) , 是上的二元运算。但 , 不是上的二元运算。 (3) 非零实数集,乘法、除法是上的二元运算,但减法不是。 (4) 则矩阵加法、乘法是上的二元运算。 (5) 为集合,合成运算为上的二元运算。 (6) 为集合,则为上的二元运算。 类似地可定义上的元运算。 定义2. 设为集合,为正整数,则函数 称为上的元运算。 时为一元运算,如 ,. , 都是一元运算。 时为二元运算,如 , , 都是二元运算。 下面只讨论一元和二元运算。 通常用等表示运算,称为算符。 当为上的一元运算时,对进行运算,记作 。 当为上的二元运算时,对进行运算,记作. 是有限集时,通常用运算表表示上的运算。 一元运算 二元运算 例2. ,布尔加法,布尔乘法的运算表为 布尔加法 0 1 0 1 1 1 1 布尔乘法 0 1 0 1 0 0 0 1 记为模加法,为模乘法。 例3.为上的二元运算,运算表为 模2加法 0 1 0 1 0 1 1 0 模2乘法 0 1 0 1 0 0 0 1 例4. 的运算表; 模3加法 0 1 2 0 1 2 1 2 2 0 2 0 1 模3乘法 0 1 2 0 1 2 0 0 1 2 0 2 1 例5.设,求上的补运算~及差运算﹨的运算表。 解: ~ ﹨ 二元运算的主要性质 ⒈ 交换律,结合律,幂等律。 定义3 设为集合上的二元运算。 ⑴ 如果对任意,都有 则称满足交换律。 ⑵ 如果对任意的,都有 则称满足结合律。 ⑶ 如果对任意的,都有 则称满足幂等律。称为幂等元。 例6 设,对任意的,定义 则其运算表为 由于,故交换律不成立。 设是中的任意三个元素,由于 故满足结合律。由,得满足幂等律。 例7 设为整数集合,对任意,定义 则 交换律成立,但 结合律不成立。由于 幂等律不成立。由 得0为幂等元。 若运算满足结合律,可定义幂次 。 则有 为正整数。 ⒉ 分配律,吸收律 定义4 ⑴ 设和是集合上的两个二元运算,对任意的,有 则称对满足分配律。 (和的地位不同) ⑵ 对任意的,有 则称和满足吸收律。 (和的地位相同) 例8 为实数集, + 分别为上的普通乘法和加法,则乘法对加法满足分配律,但加法对乘法不满足分配律。由于 所以 和 + 不满足吸收律。 例9 和为上的二元运算,对是可分配的,对也是可分配的,由于对任意的 所以和满足吸收律。 二元运算的一些特殊元素 特殊元素有三种,即单位元,零元及可逆元。 定义5 设为集合上的二元运算,如果存在,使得对任意的,都有 则称为集合关于的左单位元。 如果存在,使得对任意的,都有 则称为集合关于的右单位元。 如果存在,使得对任意的,都有

文档评论(0)

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

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

版权声明书
用户编号:8000054077000003

1亿VIP精品文档

相关文档