6等价关系(离散数学).pptVIP

*/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的划分,