- 1、本文档共28页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
上的二元运算.ppt
*/73 */73 第三部分 代数结构 第七章 代数系统 7.1:代数运算的概念 定义7.1:设A是集合,函数 称为集合A上的n元代数运算,整数n称为运算的阶(Order)。 当n=1时,f:A→A称为集合A的一元运算; 当n=2时,f:A×A→A称为集合A中的二元运算。 (1)一般,二元运算用算符 等符号,用中缀方式表示: (2) ,即运算结果是A中的元素,称为运算的封闭性; (3)运算是函数,每一个自变元只有唯一的一个像。 7.1 代数运算的概念 例7-1: (4)当A是有穷集合时,运算可以用运算表给出。 7.2 代数运算的性质 定义7.2:设 均为集合S上二元运算, 7.2 代数运算的性质 例7-2:(1)Z上的加,减,乘法是二元运算,且加法,乘法:结合律,交换律,乘法对加法,减法满足分配律,反之不满足; (2)A的幂集P(A)上的二元运算:∪,∩满足交换律,结合律,吸收律,幂等律,且彼此之间满足分配律; (3)设A={a,b},A上的运算“*”和“ο”满足如下运算表: * a b a a b b b a ο a b a a a b a b 7.2 代数运算的性质 解:由运算表知:i),*,ο是可交换的; ii), *,ο是可结合的; iii), ο对*是可分配的; iv),*对ο不可分配; v), *,ο满足吸收律。 7.2 代数运算的性质 定义7.3:设*为集合S中的二元运算,如果存在 且对任意的元素 均有 则称元素 为S中关于运算*的右幺元(左幺元) 或右单位元(左单位元)。 定理7.1:设*是集合S中的二元运算,且 分别是对于*的右幺元和左幺元,则 ,对任意元素 ,称元素e为关于运算*的幺元(Identity Elements)且唯一。 证: 7.2 代数运算的性质 (1)对于可交换的二元运算来说,左幺元都为右幺元,右幺元也为左幺元,即为幺元; (2)幺元必须强调是针对某一个运算而言的。 例7-3:(1)R中的加法“+”运算:0是幺元; (2)R中的乘法“×”运算:1是幺元; (3)全集E的子集的并“∪”运算: 是幺元; (4)全集E的子集的交“∩”运算:E是幺元; (5)命题集合中,析取“∨”运算:矛盾式是幺元; (6)命题集合中,合取“∧”运算:重言式是幺元; (7) 7.2 代数运算的性质 定义7.4:设*是S中的二元运算,如果存在 且对任意元素 均有 称元素 是S中关于运算*的右零元(左零元)。 定理7.2:设*是S中的二元运算且 分别是对*的右零元和左零元,则 ,使对任意元素 ,称元素 是S中关于运算* 的零元(zero)且唯一。 证: 7.2 代数运算的性质 例7-4:(1)R中的加法“+”运算:无零元; (2)R中的乘法“×”运算:0是零元; (3)全集E的子集的并“∪”运算:E是零元; (4)全集E的子集的交“∩”运算: 是零元; (5)命题集合中,析取“∨”运算:重言式是零元; (6)命题集合中,合取“∧”运算:矛盾式是零元; (7)S={a,b,c},S上的*运算的运算表如下: * a b c a a b c b b b c c c b b 则b是右零元,a是幺元。 7.2 代数运算的性质 定义7.5:设*是集合S中的二元运算,且S中对于*有e为幺元,x,y为S中元素,若x*y=e,那么称x为y的左逆元,y为x的右逆元,若x对于*运算既有左逆元又有右逆元,则称x是左,右可逆的,若x左右均可逆,则称x可逆。 显然,对于二元运算*,若*可交换,则任何左(右)可逆的元素均可逆。 定理7.3:设*是集合S中的一个可结合的二元运算,且S中对于*有e为幺元,若 是可逆的,则其左,右逆元相等,记为: ,称为元素x对运算*的逆元(Inverse elements)且是唯一的。(x的逆元通常记为 ,但当运算为“加法运算”时,x的逆元可记为-x)。 7.2 代数运算的性质 证:设 分别是x对*运算的右逆元和左逆元,故 有, ,由于*可结合,于是: 假设 均是x的逆元,则 7.2 代数运算的性质 定理7.4:设*是集合S中的一个可结合的二元运算,且e为S中对于*的幺元,x有逆元 ,则 证: (1) ;(2)并非每个元素均可逆。 例7-5:(1)N上的:“×”运算,只有1有逆元,“+”运算,只有0有逆元,总之,任何代数结构其幺元恒有逆元,为其自身; (2)Z上,
文档评论(0)