离散2-1-代数运算.pptVIP

-吴扬扬- * 离 散 数 学(2) 吴扬扬 华侨大学计算机学院 -吴扬扬- * 教学内容、教材与参考书 本学期内容： 代数系统: 离散结构的代数模型 图论: 离散结构的关系模型 教材： 《 离散数学 》(7-11章)刘玉珍等编，武汉大学出版社 参考资料： 《离散数学》(10-16章)屈婉玲等编著，高等教育出版社 《Discrete Mathematical Structures》 》(6-8章) Bernard Kolman, Fobert C. Busby and Sharon Ross 著 　 Prentice Hall出版社 -吴扬扬- * 主要内容： 代数运算 定义 性质 特殊元 -吴扬扬- * §7.1 代数运算与代数系统 1. 代数运算的定义 定义：设A为非空集合，n?I+,f:An→A称为A上的n元运算， n称为运算的阶。 * 深色 浅色 深色 浅色 深色 深色 深色 浅色 *：A2→A *是A上的二元运算。 封闭性 性质? 单位元? 零元? 例1：R上的加法+、乘法?运算是R上的二元运算。 例2：幂集?(U)上, 集合的补是一元运算，交、并是二元运算。 例3：字符串的连接运算是字符串集合上的二元运算。 Σ–字母集合，Σ*–由Σ中的字母构成的字符串集合， o–字符串的连接运算, o: (Σ*)2→Σ* 例4：设A={ 深色，浅色 } -吴扬扬- * 封闭性 设*是A上的n元运算，S?A且S??，如果?a1,…,an?S, 均有*(a1,…,an)?S,则称S关于运算*是封闭的。 定理7.1.1: 设*是A上的n元运算，C是?(A)的非空子集， 若?S?C, S关于*是封闭的，则∩C关于*也是封闭的。 证明：设a1,…,an?∩C， ∵ S关于运算*是封闭的, ∴ *(a1, …, an)?S, 又由S的任意性 ∴ *(a1, …, an)?∩C, 故∩C关于运算*也是封闭的。 §7.1 代数运算与代数系统 2. 代数运算的性质(1) 则?S?C, 有a1,…,an?S, -吴扬扬- * 设 *,o是集合A上的二元运算 交换律：?a,b?A, 有a*b=b*a 则称*是可交换的 结合律：?a,b,c?A, 有(a*b)*c=a*(b*c) 则称*是可结合的 常用an 表示a*a*…*a, 并称为a的n次幂，n为a的指数。 定理7.1.3 若*是集合A上的可结合的二元运算，则 ?a?A，?m, n?I, 有am*an=am+n; (am)n=amn 分配律：*对o既是左可分配，又是右可分配；则称*关于o是可分配的 *对o左可分配: ?a,b,c?A,有a*(boc)=(a*b)o(a*c) *对o右可分配：?a,b,c?A,有(aob)*c=(a*c)o(b*c). 例7.1.3 §7.1 代数运算与代数系统 2. 代数运算的性质(2) -吴扬扬- * 单位元（幺元） 定义：设*是A上的二元运算， ①若?el?A,使得?a?A,有el*a=a,则称el为关于*的左单位元. ②若?er?A,使得?a?A,有a*er=a,则称er为关于*的右单位元. ③若?e?A,使得?a?A,有e*a=a*e=a,则称e为关于*的单位元. 例1中： §7.1 代数运算与代数系统 3.与二元运算相关的特殊元(1) R关于+: 左单位元、右单位元、单位元均为0。 R关于?: 左单位元、右单位元、单位元均为1。 例2中: ?(U)关于?: 左单位元、右单位元、单位元均为?。 ?(U)关于?: 左单位元、右单位元、单位元均为U。 例3中:Σ*关于o: 左单位元、右单位元、单位元均为空串?。 例4中: A关于*: 左单位元、右单位元、单位元均为“浅色”. -吴扬扬- * 例5：N上定义*：?a, b?N, a*b=b N关于*的左单位元 右单位元 单位元 §7.1 代数运算与代数系统 3.与二元运算相关的特殊元(2) ：每个元素都是左单位元； ：无； ：无 定理7.1.4 设*是A上的二元运算，el和er分别是关于*的左右 单位元，则 el=er，且它是关于*的唯一单位元。 证明： el * er = er el= 令 e=er=el, 则e是关于*的单位元， 设e’也是关于*的单位元，则 e’=e*e’=e, 所以，e是关于*的唯一单位元 -吴扬扬- * R关于+: