第3章 9等价关系及相容关系.pptVIP

*计算机科学与技术学院 * 3.9.1 集合的划分与覆盖 （1）  ( 2 ) ，当i≠j时 则满足（1）称S是集合A的一个覆盖， 每一个 称为这个覆盖的一个分块。 定义3.9.1 设有非空集合A，S={A1,A2,…,Am}，其中 ，且 （i=1，2，…，m），若 满足（1） （2）称S是集合A的一个划分， 每一个 称为这个划分的一个分块。 显然，A的划分是A的覆盖，但A的覆盖未必是个划分。 例 1 设A={2，3，4，8，9，10，15}  定义A的如下子集： 则　根据题意 {2，4，8，10} {3，9，15} {10，15} 是A的一个覆盖， 可成为A的一个划分。 例2 设A={a，b，c，d，e，f}，指出下列哪些是A的划分（在相应括号内填入“1”），哪些是A的覆盖（在相应括号内填入“2”），哪些既不是划分，也不是覆盖（在相应括号内填入“0”） S1={ {a，b } ，{c，d } ，{a ，e，f } } （ ）　 S2={ {c，e } ，{c，d，f } ，{b } } （ ） S3={ {a ，b ， c，d } ，{e, f } } （ ） S4={ {a ,c，e } ，{b，c } } （ ） 2 0 1,2 0 S5={ {a}, {b}, {c}, {d}, {e}, {f }, } （ ） S6={ {a ,b ，c，d, e，f } } （ ） 1,2 1,2 说明:(1)若S是A的划分,则S也一定是A的覆盖. (2) 任意给定集合A的划分或覆盖不是唯一的. (3) 给定了集合A的划分或覆盖,则A便唯一确定. (4) 覆盖中各子集可重叠,划分则不然. (5) 以非空集A为元素的集合S={A}称为A的最小划分. (6) 称为A的最大划分. 例3 n个元素的集合A，有多少种不同的方法划分成为两块？ 解 A有 个不同的子集，且这 个不同的子集中，两两互补，除 和U互补，但不能构成A的划分外，其余的每对集合均构成将A分成两块的一个划分，因此A有 种方法分成两块。 1. 等价关系的定义 定义3.9.2 集合A上的关系ρ，如果它是自反的，对称的，且可传递的，则称ρ是A上的等价关系。 例如 数的相等关系是任何数集上的等价关系。 又例如 一群人的集合中姓氏相同的关系也是等价关系。 但父子关系不是等价关系，因为它不可传递。 3.9.2 等价关系与等价类 设ρ是集合A上的等价关系，若元素aρb ，则称a与b等价，或称b与a等价。 例4 设A是任意非空集合，则A上的恒等关系IA和全域 关系UA均是A上的等价关系。 例5 作出一元集，二元集，三元集上的等价关系。 例6 设A={1,2,3,4,5,6,7,8,9,10},R为A上的关系，且 称为A上的模3同余关系。 1（mod3）=1 4（mod3）=1 7（mod3）=1 10（mod3）=1 2（mod3）=2 5（mod3）=2 8（mod3）=2 3（mod3）=0 6（mod3）=0 9（mod3）=0 R={ 1,1,1,4,1,7,1,10, 4,1,4,4,4,7,4,10, 7,1,7,4,7,7,7,10, 10,1,10,4,10,7,10,10, 2,2,2,5,2,8, 3,3,3,6,3,9, 5,2,5,5,5,8, 6,3,6,6,6,9, 8,2,8,5,8,8, 9,3,9,6,9,9, } 为等价关系。 有性质 2. 等价类 定义3.9.3 设ρ是集合A上的等价关系，则 A 中等价于元素 a 的所有元素组成的集合称为 a 生成的等价类，用 表示，即 a称为等价类 的代表元素。(不唯一) 记 称为1的等价类。 同一个等价类中元素均相互等价。不同等价类中的元素互不等价。且aRb