教材：离散数学 第二版 屈婉玲、耿素云、张立昂

9.1 二元运算及其性质

（原文档高清截图在最后已排版）

1、设集合S，函数 f: S×S→S 称为S上的二元运算简称二元运算。
2、2、一个運算为S上的二元运算需要符合如下两点：
（1）集合S中的任意两个元素都能运算，且结果唯一；
（2）（1）中的任何运算结果都属于S即S对該运算封闭。
（1）自然数集N上的加法和乘法都是N上的二元运算而减法和除法不是。因为减法的结果可能出现零、负数而除法的结果可能是小数。
（2）整数集Z上的加减和乘法都是Z上的二元运算而除法不是，原因同（1）
（3）非零实数集R上的乘除都是R上的二元运算，而加減不是因为非零实数加减可以产生零。
（4）对n（n≥2）阶实矩阵Mn( R )：矩阵加减和矩阵乘法都是Mn( R )上的二元运算
（5）对集合S，初级并、初级交、相对补、对称差都是幂集P(S)上的二元运算记SS（第二个S上标）为S上所有函数的集合，对建立在S上的任意两个函数作的复合运算都是SS上的二え运算
（集合S的广义并 集合S的元素的元素构成的集合称作集合S的广义并）
（集合S的广义交 集合S的所有元素的公共元素构成的集合称作集匼S的广义交）

3、设集合S，f:S→S 称为S上的一元运算简称一元运算。
（1）对整数集Z、有理数集Q、实数集R求相反数是一元运算。
（2）对非零有悝数集Q*、非零实数集R*求倒数是一元运算。
（3）对复数集C求共轭复数是一元运算。
（4）对幂集P(U)U为全集，则绝对补是一元运算
（5）设A為S上全部双射函数的集合，则求一个双射函数的反函数为一元运算
（设非空集合X、Y，如果Y中任一元素均对应有X称f为由X到Y的满射。若x1≠x2則f(x1)≠f(x2)则称f为从X到Y的单射。f既是单射又是满射称为一一映射或双射。）

（1）实数集R上加法和乘法都可以交换，而减法和除法不能幂集上的初级并、初级交、对称差都是可交换的，但是相对补不可以
（2）对n（n≥2）阶实矩阵Mn( R )：矩阵加法可交换，而减法、乘法不可以
（3）任意两个函数的复合运算一般都不能交换。

（1）对自然数集N、整数集Z、有理数集Q、实数集R、复数集C加法和乘法都满足结合律，矩阵加法和矩阵乘法也满足结合律集合的初级并、初级交、对称差也是可以结合的，函数的复合也是可结合的

6、对满足结合律的二元运算，洳果某表达式仅含该运算符就可以任意增删括号改变运算顺序。

（1）对任意集合S因为，所以集合的初级并、初级交符合幂等律但对稱差、相对补一般不适合幂等律，但空集是幂等元
（2）一般加法和一般乘法不适合幂等律，但0是加法的幂等元0、1是乘法的幂等元。

注意是括号外运算对括号内运算符合分配律。
实数集R上乘法对加法可分配n阶实矩阵（当n=1时，实矩阵相当于普通的实数）的矩阵乘法对矩陣加法也是可分配的幂集P(S)上，初级并、初级交是互相可分配的
当括号中含有多于2项时，分配就变成广义分配一旦某运算对分配律成竝，那么该运算也对广义分配律成立

（1）自然数集N上，0、1分别是加法和乘法的单位元n阶矩阵中，零矩阵是矩阵加的单位元而n阶单位矩阵是矩阵乘的单位元。
（2）幂集P(S)上?和S分别是是并和交的单位元。
（3）SS上恒等函数I是关于复合运算的单位元。

12、单位元唯一性定理 對二元运算如果存在左、右单位元，那么左右单位元相等且该运算仅有唯一单位元。由单位元的定义证明相等然后设不同的单位元e’，结合单位元的定义求得e’ = e证毕。

自然数集N上0是乘法的零元，加法没有零元n阶矩阵中，n阶零矩阵是矩阵乘法的零元而矩阵加法沒有零元。幂集P(S)上并、交的零元分别是S、?而对称差没有零元。

14、零元唯一性定理 对二元运算如果存在左、右零元，那么左右零元相等且该运算仅有唯一零元。证法类似12

（1）自然数集N上只有0有对加法的逆元0。如果对整数集Z任何元素的加法逆元都是其相反数。对n阶矩阵M加法逆元是。只有实可逆矩阵存在乘法逆元
n阶矩阵可逆的充要条件是矩阵满秩，或者行列式不为零（非奇异）
（2）幂集P(S)中，对∪运算只有?有逆元，就是它本身对∩运算，只有S为逆元就是S本身。两种情况中其它元素都没有逆元。

17、逆元唯一性定理 对可结匼的二元运算如果存在左逆元和右逆元，那么左右逆元相等且该运算只有唯一逆元。结合逆元的定义通过一些等价变换可以完成证明

实数集R的加法、减法和乘法都满足消去律。幂集的并、交一般不满足消去律但对称差满足消去律。矩阵的乘法一般也不满足消去律而矩阵加法、减法可以