离散数学精品教学（武汉大学）第四章2 - 二元关系性质.pptVIP

2、集合 的一个等价关系。 的一个划分确定 上的一个划分 若定义同一块中的元素有关系 可以证明 称为划分 则这个划分的块就是等价关系的等价类， 划分就是商集。 分成若干划分块， 把 ， 上的一个等价关系， 是 诱导的等价关系， 商集： 如例5中的(4)的划分确定 等价关系 2、集合 的一个等价关系。 的一个划分确定 如下： 上的一个 3、 的一个划分。 上的一个等价关系可确定 若 即商集 诱导的划分。 的一个划分，称为由 ，就是 上的等价关系，则所有等价类的集合， 为 即 如例2中由 诱导的划分， 。 由以上可知，集合 集合 上的等价关系与 的划分是一一对应的。 例6、设 求出 ， 上的所有的等价关系。 解：只需列出 并找出由它们确定的等价关系。 上所有的划分， 例6、设 求出 解： 的等价关系为 上的所有的等价关系。 ， 的不同划分只有以上五种，设对应于划分 ，则有 例6、设 求出 解： 的等价关系为 上的所有的等价关系。 ， 的不同划分只有以上五种，设对应于划分 ，则有 则由此等价关系诱导的划分中 (1) 共有几个划分块？ (2) 求其中最大的块。 (3) 求其中最小的块。 例7、设 ： 上定义等价关系 ，在 解：依题意得： 差为0的: 差为1的： 差为2的： 即第一元素与第二元素之差相等的有序对互相 等价，将 中的元素按差划分。 差为 的： 差为 的： 解：(1) 共有5个划分块。 (2) 最大的划分块为： (3) 最小的划分块为： 和 作 业 P116：4.14, 4.16. 内容：关系的自反，对称，传递闭包。 重点：掌握关系的自反，对称，传递闭包 的概念及求法。 第四节 关系的闭包 一、闭包的定义。 (2) 1、定义：设 的自反闭包(对称闭包，传递闭包) 也是 上的关系， 是非空集合 上关系， 且满足： (1) 是自反的(对称的，传递的)， (3) 对 传递关系) 的自反关系(对称关系， 上的任何包含 。 ，都有 2、记号。 3、性质。 —— 的自反闭包， —— 的对称闭包， —— 的传递闭包。 是自反的 ， 是对称的 ， 是传递的 。 二、闭包的求法。 1、利用以下公式。 (1) ， (2) ， (3) 。 二、闭包的求法。 2、利用关系图。 (1) 的关系图：在没有环的结点上加上环， (2) 的关系图：把单向边改为双向边， (3) 以到达的终点 添加一条有向边，直到添加完毕。 ，分别找出可 的关系图：对每个结点 没有有向边，则 到 ，若 二、闭包的求法。 3、利用关系矩阵。 注意到以上公式，如 关系矩阵，即 其余为0的矩阵)，其中的“+”表示矩阵对应元素的 逻辑加。同样，可得 ( 转置)， ，转换成 表示主对角线为1， ( 的 为 。 [解法一] 例1、设 求 。 例1、设 求 。 (参考第二节例3) 例1、设 求 。 (参考第二节例3) 例1、设 求 。 例1、设 求 。 [解法二] 先画出 的关系图。 的关系图，再画出 [解法二] 例1、设 求 。 [解法二] 例1、设 求 。 [解法二] 例1、设 求 。 [解法三] 利用关系矩阵(略)。 例1、设 求 。 内容：等价关系，偏序关系。 重点：(1) 掌握等价关系和等价类的概念， (3) 掌握偏序关系的概念， (4) 偏序集哈斯图的画法。 (2) 之间的联系， 的划分 上的等价关系与集合 第五节 等价关系和偏序关系 一、等价关系。 1、等价关系的定义。 若 则称 满足自反，对称，传递， 上关系 上的等价关系。 为 若 。 ，记 (2) 三角形的全等关系，三角形的相似 关系是等价关系。 (3) 在一个班级里“年龄相等”的关系 是等价关系。 例1、(1) 集合 是等价关系。 上的恒等关系，全域关系 例2、 (其中 验证 称模3的同余关系)， 上的等价关系。 为 ， 也就是 证明：显然， 是等价关系。 满足自反，对称，传递，所以 例2、 的关系图如下： 其中 。 ， 推广 ：整数集 的同余关系是等价关系： 上模 事实上：(1) 故 是自反的。 ， ， ， (2) 若 则 是对称的。 ， ，故 ， ，即 推广 ：整数集 的同余关系是等价关系： 上模 事实上：(3) 若 即 因 所以 是传递的。 ， ，故 ， ， ， ， ， 由(1)，(2)，(3)， 是等价关系。 2、等价类。 (1) 定义：设 对 则称 简称 的等价类，记 的等价类， 关于 为 ，记 上的等价关系， 是非空集合 在例2中，有 (2) 性质。(证明略) 定理： ， 上的等价