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