4.5 离散数学.pptVIP

4.5 等价关系与偏序关系 等价关系的定义与实例 等价类及其性质 商集与集合的划分 等价关系与划分的一一对应 偏序关系 偏序集与哈斯图 偏序集中的特定元素 等价关系的定义与实例 等价关系的验证 验证模 3 相等关系 R 为 A上的等价关系, 因为 ?x∈A, 有x ≡ x(mod 3) ?x, y∈A, 若 x ≡ y(mod 3), 则有 y ≡ x(mod 3) ?x, y, z∈A, 若x ≡ y(mod 3), y ≡ z(mod 3), 则有 x≡z(mod 3) 自反性、对称性、传递性得到验证 A上模3等价关系的关系图 等价类 等价类的性质 实例 A={ 1, 2, … , 8 }上模 3 等价关系的等价类: [1]=[4]=[7]={1,4,7}， [2]=[5]=[8]={2,5,8}， [3]=[6]={3,6} 以上3 类两两不交， {1,4,7}?{2,5,8}?{3,6} = {1,2, … ,8} 商集 集合的划分 例题 例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}, {