《离散数学课件》6等价关系.ppt

*/55 例 A={1,2,3,4,5,6,7,8} R={(x,y) │x,y ?A, x≡y(mod 3)} A/R={[1]R, [2]R, [3]R} ={ {1,4,7}, {2,5,8}, {3,6} } A关于恒等关系和全域关系的商集为： A/IA = { {1},{2}, … ,{8}} A/EA = { {1, 2, … ,8} } */55 集合的划分 α?B 定义3 设A为非空集合, 若A的子集族π(π?P(A)) 满足下面条件： (1) ??π (2) ?x?y (x,y∈π∧x≠y→x∩y=?) (3) ∪π=A  则称π是A的一个划分, 称π中的元素为A的划分块. */55 例1 设A＝{a, b, c, d}, 给定π1,π2,π3,π4,π5,π6如下： π1= { {a, b, c}, {d} }， π2= { {a, b}, {c}, {d} } π3= { {a}, {a, b, c, d} }, π4= { {a, b}, {c} } π5= { ?,{a, b}, {c, d} }, π6= { {a, {a}}, {b, c, d} } 则π1和π2 是A的划分, 其他都不是 A 的划分. (1) ??π (2) ?x?y (x,y∈π∧x≠y→x∩y=?)(3) ∪π=A */55 集合的划分——等价关系 若给定集合A上的一个划分π， 可以在A上定义一个二元关系R， 使得R成为A上的一个等价关系，且有 A/R ＝π */55 解: R={(a,a), (b,b), (c,c), (b,c),(c,b),(d,d)} 求其等价类 [a]={a}, [b]=[c]={b,c}, [d]={d} 商集A/R={[a],[b],[c]} ={{a},{b,c},{d}} 例：考虑集合A={a,b,c,d}的一个划分: {{a}, {b,c}, {d}} 求该划分所对应的等价关系. 例：给出A＝{1,2,3}上所有的等价关系 * π1 对应等价关系 R1 ={2,3,3,2}∪IA π2 对应等价关系 R2={1,3,3,1}∪IAπ3 对应等价关系 R3={1,2,2,1}∪IA π4 对应于全域关系 EA，π5 对应于恒等关系 IA 实例 * 例3 设 A={1, 2, 3, 4}，在 A?A上定义二元关系R： x,y,u,v?R ? x+y = u+v， 求 R 导出的划分. 解 A?A={1,1, 1,2, 1,3, 1,4, 2,1, 2,2, 2,3,2,4, 3,1, 3,2, 3,3, 3,4, 4,1, 4,2, 4,3, 4,4} 根据 x,y 的 x + y = 2,3,4,5,6,7,8 将A?A划分成7个等价类： (A?A)/R={ {1,1}, {1,2,2,1}, {1,3, 2,2, 3,1}, {1,4, 2,3, 3,2, 4,1}, {2,4, 3,3, 4,2}, {3,4, 4,3}, {4,4} } * 等价关系 等价类 定义 性质 商集、集合的划分 等价关系和划分的对应 * 从例中可以看出[1]R＝[2]R，说明同一个等价类可以选取不同的代表元。 从例中可以看出[1]R＝[2]R，说明同一个等价类可以选取不同的代表元。 从例中可以看出[1]R＝[2]R，说明同一个等价类可以选取不同的代表元。 性质 自反性、反自反性 对称性、反对称性 传递性 闭包 自反闭包r(R) 对称闭包s(R) 传递闭包t(R) * */49 特 点 */55 7.5.1 等价关系与等价类 7.5.2 商集合 7.5.3 集合的划分 7.5 等价关系和集合的划分 */55 例 试画出关系图 A={1,2,3,4,5,6,7,8} R={(x,y) │x,y ?A, x≡y(mod 3)} 其中x≡y(m