[]离散数学 第五章.pptVIP

引入 5.1 二元运算及其性质 5.1.1 二元运算的基本概念 定义5.1 设S为集合,函数f:S×S→S称为S上的一个二元运算,简称为二元运算. f:N×N→N, f(x,y)＝x＋y 例如: 普通的减法不是自然数集合上的二元运算,因为两个自然数相减可能得负数,而负数不属于N.这时也称集合N对减法运算不封闭. 例5.1 1)自然数集N上的乘法是N上的二元运算,但除法不是. 5.1 二元运算及其性质 5.1.1 二元运算的基本概念 算符: 通常用?,*,?,…等符号表示二元运算, 称为算符. 设f:S×S→S是S上的二元运算,对任意的x,y?S,如x与y的运算结果是z, 即f(x,y)＝z,可利用算符?简记为x?y=z 5.1 二元运算及其性质 N元运算 定义5.2 设S为集合,n为正整数,则函数 称为S上的一个n元运算, 简称为n元运算. 例: 求一个数的相反数是实数集R上的一元运算; 求一个数的倒数是非零实数集R*上的一元运算; 在幂集合P(S)上, 如果规定全集为S, 那么求集合的绝对补运算可以看作是P(S)上的一元运算; 在空间直角坐标系中求某一点(x,y,z)的坐标在x轴上的投影可以看作是实数集R上的三元运算, 因为f(x,y,z)=x, 参加运算的是3个有序实数, 结果也是实数. 5.1 二元运算及其性质 5.1 二元运算及其性质 5.1.1 二元运算的基本概念 例5.3 设S={1,2,3,4}, 定义S上二元运算如下： x?y =(xy)mod 5, ?x,y?S, 求?的运算表. 解: (xy)mod 5是xy除以5的余数, 得运算表如下: 5.1 二元运算及其性质 5.1.2 二元运算的性质 定义5.3 设?为S上的二元运算,如果对任意的x,y?S都有 x?y＝y?x, 则称运算?在S上是可交换的, 或者说. 在S上适合交换律. 例如, 实数集上的加法和乘法都是可交换的, 但减法不可交换, 在幂集P(S)上的∪,∩,?都是可交换的,但相对补不是可交换的. 例5.4 设Q是有理数集合,△是Q上的二元运算,对任意的a,b?Q, a△b=a+b－a×b, 问运算△是否可交换. 解: 因为 a△b=a+b－a×b= b+a－b×a=b△a 所以△在有理数上是可交换的 5.1 二元运算及其性质 5.1.2 二元运算的性质 定义5.4 设?为S上的二元运算, 如果对任意的x,y,z?S都有(x?y)?z＝x?(y?z), 则称运算?在S上是可结合的, 或者说, 在S上适合结合律. 例: 普通的加法和乘法在N,Z,Q,R上都是可结合的; ∪,∩, ?在幂集P(S)上也是可结合的; 矩阵加法和乘法在Mn(R)上是可结合的, 其中矩阵加法还是可交换的, 但矩阵乘法不是可交换的. 5.1 二元运算及其性质 5.1.2 二元运算的性质 例5.5 设A是一个非空集合, *是A上的二元运算, 如果对于任意的a,b∈A, 都有(a*b)＝b, 证明*是可结合运算. 证明: 因为对于任意的a,b,c∈A (a*b)*c= b*c=c a*(b*c)=a*c=c 所以(a*b)*c =a*(b*c), 即:*在A上是可结合的. 5.1.2 二元运算的性质 例5.6 设A={α,β}, 在A上定义两个二元运算*, △, 如下表所示. 问运算△对于*运算可分配吗？运算*对于运算△呢？ 5.1 二元运算及其性质 5.1.2 二元运算的性质 左幺元, 右幺元,幺元 定义5.8 设?为S上的二元运算, 如果存在元素el(或er)∈S使得对任何x∈S, 都有 el?x＝x(或x?er=x), 则称el(或er)是S中关于运算?的一个左幺元(或右幺元). 若e∈S关于?既是左幺元, 又是右幺元, 则称e为S上关于运算?的幺元. 5.1 二元运算及其性质 谁是幺元? 自然数集合上的加法运算的幺元是谁? 自然数集合上的乘法运算的幺元是谁? 在Mn(R)上的矩阵加法的幺元是谁? 在Mn(R)上的矩阵乘法的幺元是谁? 在幂集P(S)上的∪运算的幺元是谁? 在幂集P(S)上的∩运算的幺元是谁? R*是非零实数集, 任意的a,b?R*有a?b=a, 运算?的幺元是谁? 5.1 二元运算及其性质 左幺元,右幺元,幺元 定理5.1 设?为S上的二元运算, el,er分别为运算?的左幺元和右幺元, 则有el＝er＝e. 且e为S上关于运算?的唯一的幺元. 证明: el＝el ? er el ? er＝er