离散数学(第4.1-4.3)知识.ppt

* 计算机科学与工程学院 * 关系的复合运算 定义4-3.2设R是一个从集合A到集合B的二元关 系，S是从集合B到集合C的二元关系(也可 简单地描述为R：A→B，S：B→C)，则R与 S的复合关系（合成关系）R?S是从A到C的关系， 并且： R?S＝{x,z|(x∈A)∧(z∈C)∧ (?y)((y∈B)∧(xRy)∧(ySz))} 运算“?”称为复合运算。 * 计算机科学与工程学院 * 复合关系的矩阵表示 R与S的复合关系（合成关系）R?S也可以用矩阵来表示。 设R，S都是集合A= {a1，a2，a3，...，an}上的二元关系，MR＝(rij)， MS＝(sij)， =(mij) 则 =MR*MS 这里的“*”运算类似矩阵乘法运算，但须将元素间的乘法改成逻辑与，将加法改成逻辑或，即 mij=(ri1∧s1j)∨(ri2∧s2j)∨…∨ (rin∧snj) * 计算机科学与工程学院 * §4.2 关系的性质 1.自反性与反自反性 定义4-1.3 设R是集合A上的二元关系， 对任意的x∈A,都满足x,x∈R，则称R是自反的，或称R具有自反性，即 R在A上是自反的?(?x)((x∈A)→(x,x∈R))=1 对任意的x∈A,都满足x,x?R，则称R是反自反的，或称R具有反自反性，即 R在A上是反自反的?(?x)((x∈A)→(x,x?R))=1 or (?x)((x∈A)→(x,x∈R))=0 * 计算机科学与工程学院 * §4.2 关系的性质 1.自反性与反自反性 定义4-1.3 设R是集合A上的二元关系， 对任意的x∈A,都满足x,x∈R，则称R是自反的，或称R具有自反性，即 R在A上是自反的?(?x)((x∈A)→(x,x∈R))=1 对任意的x∈A,都满足x,x?R，则称R是反自反的，或称R具有反自反性，即 R在A上是反自反的?(?x)((x∈A)→(x,x?R))=1 or (?x)((x∈A)→(x,x∈R))=0 * 计算机科学与工程学院 * 例8： 设A={a,b,c,d}， R={a,a,a,d,b,b,b,d,c,c,d,d}。 因为A中每个元素x，都有x,x∈R，所以R是自反的。 R的关系图 R的关系矩阵 * 计算机科学与工程学院 * 例8： 设A={a,b,c,d}， R={a,a,a,d,b,b,b,d,c,c,d,d}。 因为A中每个元素x，都有x,x∈R，所以R是自反的。 R的关系图 R的关系矩阵 * 计算机科学与工程学院 * 例8：(续1) S={a,b,a,d,b,c,b,d,c,a,d,c}。 S的关系图 S的关系矩阵 因为A中每个元素x，都有x,x?S，所以S是反自反的。 * 计算机科学与工程学院 * 例8：(续1) S={a,b,a,d,b,c,b,d,c,a,d,c}。 S的关系图 S的关系矩阵 因为A中每个元素x，都有x,x?S，所以S是反自反的。 * 计算机科学与工程学院 * 例8：(续2) T={a,a,a,b,a,c,b,d,c,a,c,c,d,c}。 因为A中有元素b，使b,b　T，所以T不是自反的；因为A中有元素a，使a,a∈T，所以T不是反自反的。 T的关系图 T的关系矩阵 * 计算机科学与工程学院 * 例8：(续2) T={a,a,a,b,a,c,b,d,c,a,c,c,d,c}。 因为A中有元素b，使b,b　T，所以T不是自反的；因为A中有元素a，使a,a∈T，所以T不是反自反的。 T的关系图 T的关系矩阵 * 计算机科学与工程学院 * 结论 任何不是自反的关系未必一定是反自反的关系，反之亦然。即存在既不是自反的也不是反自反的关系。 表现在关系图上：关系R是自反的，当且仅当其关系图中每个结点都有环；关系R是反自反的，当且仅当其关系图中每个结点都无环。 表现在关系矩阵上：关系R是自反的，当且仅当其关系矩阵的主对角线上全为1；关系R是反自反的当且仅当其关系矩阵的主对角线上全为0。 * 计算机科学与工程学院 * 结论 任何不是自反的关系未必一定是反自反的关系，反之亦然。即存在既不是自反的也不是反自反的关系。 表现在关系图上：关系R是自反的，当且仅当其关系图中每个结点都有环；关系R是反自反的，当且仅当其关系图中每个结点都无环。 表现在关系矩阵上：关系R是自反的，当且仅当其关系矩阵的主对角线上全为1；关系R是反自反的当且仅当其关系矩阵的主对角线上全为0。 * 计算机科学与工程学院 * 结论 任何不是自反的关系未必一定是反自反的关系，反之亦然。即存在既不是自反的也不是反自反的关系。 表现在关系图上：关系R是自反的，当且仅当其关系