离散数学代数.pptx

离散数学代数离散数学代数全文共99页，当前为第1页。

2二元运算及其性质定义(P222定义15.1)设A为集合，函数f：A×A→A称为A上的二元运算。例 f:N×N→N，f(x,y)＝x+y f:N×N→N，f(x,y)＝x–y定义(定义15.2)设A为集合，函数f：An→A称为A上的n元运算。 离散数学代数全文共99页，当前为第2页。

3二元运算的运算表an?an…an?a2an?a1an……………a2?an…a2?a2a2?a1a2a1?an…a1?a2a1?a1a1an…a2a1?二元运算的表示离散数学代数全文共99页，当前为第3页。

4例设S={1,2}，给出P(S)上的运算?和~的运算表，其中全集为S。?的运算表?{1}{2}{1,2}{1,2}{1}?{1,2}{2}{2}{2}{1,2}?{1}{1}{1,2}{2}{1}??{1,2}{2}{1}??~的运算表?{1,2}{1}{2}{2}{1}{1,2}?~aiai例离散数学代数全文共99页，当前为第4页。

5例设S={1,2,3,4}，定义S上的二元运算?如下：

x?y＝(xy)mod5，?x,y∈S 求运算?的运算表。例?123411234224133314244321离散数学代数全文共99页，当前为第5页。

6定义设?为S上的二元运算，如果对于任意的x,y∈S都有x?y=y?x，则称运算?在S上满足交换律。定义设?为S上的二元运算，如果对于任意的x,y,z∈S都有(x?y)?z=x?(y?z)，则称运算?在S上满足结合律。(P223定义15.3)二元运算的性质离散数学代数全文共99页，当前为第6页。

7定义设?为S上的二元运算，如果对于任意的x∈S有x?x=x，则称运算?在S上满足幂等律。如果S中的某些x满足x?x=x，则称x为运算?的幂等元。(P223定义15.3)二元运算的性质离散数学代数全文共99页，当前为第7页。

8例题集合运算交换律结合律幂等律Z,Q,R普通加法+普通乘法?Mn(R)矩阵加法+矩阵乘法?P(B)并∪交∩相对补?对称差?AA函数复合?离散数学代数全文共99页，当前为第8页。

9例题集合运算交换律结合律幂等律Z,Q,R普通加法+普通乘法?有有有有无无Mn(R)矩阵加法+矩阵乘法?有无有有无无P(B)并∪交∩对称差?有有有有有有有有无AA函数复合?无有无离散数学代数全文共99页，当前为第9页。

10定义设?和?为S上两个二元运算，如果对于任意的x,y,z∈S，有 x?(y?z)＝(x?y)?(x?z) （左分配律）

(y?z)?x＝(y?x)?(z?x) （右分配律）则称运算?对运算?满足分配律。 P224 定义15.5定义设?和?为S上两个可交换的二元运算，如果对于任意的x,y∈S，都有 x?(x?y)＝x

x?(x?y)＝x则称运算?和?满足吸收律。二元运算的性质离散数学代数全文共99页，当前为第10页。

11集合运算分配律吸收律Z,Q,R普通加法+与乘法??对+可分配+对?不分配无Mn(R)矩阵加法+与乘法??对+可分配+对?不分配无P(B)并∪与交∩?∪对∩可分配∩对∪可分配有交∩与对称差?∩对?可分配无例题离散数学代数全文共99页，当前为第11页。

12定义设?为S上的二元运算，如果存在元素el（或er）?S，使得对任意x∈S都有 el?x=x(或x?er=x) 则称el(或er)是S中关于?运算的一个左单位元(或右单位元)。 (P224-225定义15.6)若e∈S关于?运算既是左单位元又是右单位元，则称e为S上关于?运算的单位元。单位元也叫做幺元。二元运算中的特异元素—单位元离散数学代数全文共99页，当前为第12页。

13二元运算中的特异元素—零元定义设?为S上的二元运算，如果存在元素θl（或θr）∈S，使得对任意x∈S都有 θl?x=θl(或x?θr=θr)，则称θl(或θr)是S上关于?运算的左零元(或右零元)。若θ∈S关于?运算既是左零元又是右零元，则称θ为S上关于运算?的零元。 P225定义15.6离散数学代数全文共99页，当前为第13页。

14二元运算中的特异元素—逆元定义设?为S上的二元运算，e?S为?运算的单位元，对于x∈S，如果存在yl（或yr）∈S使得 yl?x＝e（或x?yr＝e）则称yl（或yr）是x的左逆元（或右逆元）。若y∈S既是x的左逆元又是x的右逆元，则称y为x的逆元。如果x的逆元存在，则称x是可逆的。