离散数学第二章分析.ppt

2 若 ，则 ； ， 则 ， 即为若 中 ,则 中 若 中 ，则 中 。这说明 是 的转置矩阵。 根据 的关系矩阵。 于是 （3）因为 ，所以 对任意 ，只要 属于 、 、 、中任何一个关系，则 ， 于是 于是 2. 利用关系图求 的闭包 例8 对例7中的关系 ，利用关系图求其闭包。 ρ的关系图 r ρ 的关系图 t ρ 的关系图 S ρ 的关系图 练习2-4 1. 从下列各题给出的备选答案中选出正确的答案，并将其代号填入题后面的括号内。 1 设A 0,1,2,3 ，A上的关系ρ 0,0 , 0,2 , 1,1 , 1,3 , 2,2 , 2,0 , 3,1 ，则ρ是 自反的 B. 对称的 C. 反对称的 D. 可传递的 B （2 设ρ是整数集I上的关系，定义为当且仅当 时 ， ，则ρ是 自反的 B. 对称的 C. 反对称的 D. 可传递的 A、B 2. 下图给出了 1,2,3 上三个关系的关系图，试对每一个图所表示的关系的性质作出判别，并将选中的性质的代号填入相应的括号内。 若 A. 自反的 B. 对称的 C. 反对称的 D. 可传递 E. 反自反 则 是（ ） 则 是（ ） 则 是（ ） A﹑B A E 3. 设 ，A上的关系 对下列求出的闭包判断正确与否，分别将“Y”或“N”填入后面的括号。 （ ） （ ） （ ） N Y N 2.5 等价关系 一、等价关系的定义 1. 等价关系 定义2-13 集合A上的关系ρ，如果它是自反的，对称的，且可传递的，则称ρ是A上的等价关系。 例如 数的相等关系是任何数集上的等价关系。 又例如 一群人的集合中姓氏相同的关系也是等价关系。 但朋友关系不是等价关系，因为它不可传递。 例1 设A是任意集合，则A上的恒等关系和普遍关系UA均是A上的等价关系。 例2 设 ，A上的关系 ρ是A上的等价关系。 2. 元素a与b等价 设ρ是集合A上的等价关系，若元素aρb ，则称a与b等价，或称b与a等价。 3. 等价类 定义2-14 设ρ是集合A上的等价关系，则 A 中等价于元素 a 的所有元素组成的集合称为 a 生成的等价类，用 表示，即 例如 对于例2中的ρ来说 1. 对任意 , 二、等价类的性质 因为对于任意的a∈A,有aρa，所以 。 2. 对任意的a,b∈A 若 aρb ，则 。 由ρ的对称性有xρa ， 证明 若 ，则aρx ， 又由ρ的传递性有xρb ，因此 故 。 类似地可以证明 由上得 3. 对任意a,b∈A，若 ，则 证明（用反证法） 假设 , 则A中至少有一元素 因此 且 ， 即xρa，且xρb, 于是由aρx,xρb，得aρb， 故 与 相矛盾。 一般地，若 是一由 到 的关系， 是由 到 的关系，…， 是一由 到 的关系，则不加括号的表达式 ， 唯一地表示一由 到 的关系，在计算这一关系时，可以运用结合律将其中任意两个相邻的关系先结合。 特别,当 ， 时，复合关系 简记作 ，它也是集 A 上的一个关系。 3. 求复合关系的几种方法 （1）根据复合关系的定义求复合关系 例6中求复合关系采用的就是这种方法。 又例如 下面的关系图给出了从集合A到B的关系 和从B到C的关系 （2）运用关系矩阵的运算求复合关系 布尔运算 其加法和乘法运算定义如下 , , 例如 ? 关系矩阵的乘积 对两个关系矩阵求其乘积时，其运算法则与一般矩阵的乘法是相同的，但其中的加法运算和乘法运算应改为布尔加和布尔乘。 则 例7 设 和 是两个关系矩阵 复合关系的关系矩阵 定理2-3 设A、B、C均是有限集， 是一由A到B的关系, 是一由B到C的关系，它们的关系矩阵分别为 和 ，则复合关系 的关系矩阵 例8 设有集合 ， ， A到B的关系 B到C的关系 则 2 3 4 1 2 3 1 2 3 与例7比较得 例9 设 ，A上的关系 试求 和 。 解 作出的关系矩阵 a b c d 因此 根据定理2-3 又 ，所以 因此 （3）利用关系图求复合关系 设 是有限集A上的关系，则复合关系 也是A上的关系，由复合关系的定义，对于任意的 ，当且仅当 存在，使得 ， 时，有 。 反映在关系图上，这意味着，当且仅当在 的关系图中有某一结点 存在，使得有边由 指