离散数学—2精编.docVIP

  1. 1、本文档共12页,可阅读全部内容。
  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文档。上传文档
查看更多
 PAGE 12 第二章 代数系统 §2.1代数系统的基本概念 一、运算 1.运算的定义 定义 设是非空集合,称映射 为集合上的一元运算,称映射 为集合上的二元运算。通常用等表示运算,称为运算符。 当为上的一元运算时,对进行运算,记作 , 当为上的二元运算时,对进行运算,记作. 类似地可定义上的元运算,下面只讨论一元和二元运算。 上二元运算的特点: ⑴ 中任两个元素都可运算,结果唯一; ⑵ 对该运算封闭,即。例如:整数集合上的除法对不封闭,因此不是上的二元运算。 当是有限集时,通常用运算表表示上的运算。 一元运算    二元运算    例 设,布尔加法,布尔乘法的运算表为 布尔加法 0 10 1 1 1 1 布尔乘法 0 10 1 0 0 0 1例 设,记为模加法,为模乘法。 ,, ,, 如:为上的二元运算,运算表为 模2加法 0 10 1 0 1 1 0模2乘法 0 10 1 0 0 0 1 的运算表; 0 1 20 1 2 1 2 2 0 2 0 1 0 1 20 1 2 0 0 1 2 0 2 1 2. 运算律 (1)交换律 设为集合上的二元运算,如果对任意,都有 则称满足交换律,或称在上是可交换的。 (2)结合律 设为集合上的二元运算,如果对任意的,都有 则称满足结合律,或称在上是可结合的。 注:若上的二元运算满足结合律,则对,有 当时,可定义幂次 (个) 且有 ,, 为正整数。 (3)幂等律 设为集合上的二元运算,如果对任意的,都有 则称满足幂等律。称为幂等元。 (4)分配律 设和是集合上的两个二元运算,对任意的,有 则称对满足分配律,或称对是可分配的。 注:分配律要指明哪个运算对哪个运算满足分配律。 (5)吸收律 设和是集合上的两个二元运算,对任意的,有 则称和满足吸收律。 3.特殊元素 (1)单位元 定义 设为集合上的二元运算,如果存在,使得对任意的,都有 则称为集合关于的单位元。 对任意集合来说,关于运算的单位元不一定存在。 定理 若单位元存在,则一定唯一。 (2)零元 定义 设为集合上的二元运算,如果存在,使得对任意的,有 则称为集合关于的零元。 对任意集合的来说,关于运算的零元不一定存在。 定理 若零元存在,则一定唯一。 (3)可逆元 定义 设为集合上的二元运算,且有单位元,如果对,存在,使得 则称是关于的可逆元,称为关于的逆元。当的逆元唯一时,记作。 事实上,与互为逆元。 注:①集合中的元素未必都有逆元,如:实数集上的乘法运算,0不可逆。 ②设为集合上的二元运算且满足结合律,则有 ⑴ 是可逆元,则的逆元是唯一的。 ⑵ 是可逆元,则也可逆,且。 ⑶ 若、均为可逆元,则也可逆,且。 例 实数集上的加法、乘法均为二元运算 关于加法:单位元是0,无零元,任一元素均可逆,; 关于乘法:单位元是1,零元是0,任意非零元有逆元,。 例 设为非空集合,幂集上的“”、“”均为二元运算 关于:单位元是(因,),零元是(因,) 关于:单位元是(因,,零元为(因,) 例 设是有理数集合,运算,对任意,有 求的单位元和每个可逆元的逆元。 解 (1)设为单位元,则对任意,有 所以 解得 ;即对任意,有 所以 为单位元。 (2)对任意,令 得方程组 ①时,方程组有唯一解 ,即对任意,存在唯一的,有 所以 ②时,方程组无解,因此不可逆。 二、代数系统、子代数与积代数 定义 集合与上

您可能关注的文档

文档评论(0)

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

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

1亿VIP精品文档

相关文档