离散数学等价关系和偏序关系.pptVIP

4.5 等价关系与偏序关系 等价关系的定义 等价类及其性质 商集与集合的划分 等价关系与划分的一一对应 相容关系 偏序关系 偏序集与哈斯图 偏序集中的特定元素 “商”和除法有关，比如把一块蛋糕平均分成四份，从 两种不同的角度看这件事： 从算术角度看：1用4除,每份1/4,这就是“商”,于是: 1=1/4+1/4+1/4+1/4 从集合角度看： 集合A用模3同余关系R划分，得到三个等价类，所以 A {{1,4,7},{2,5,８},{3,6}}={[1]R,[2]R,[3]R}----商集 思考： 设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} } 问哪些是A的划分, 哪些不是 A 的划分？ 四、 相容关系 定义： 设R是 A上的二元关系，如果满足： （1）R是自反的； （2） R是对称的。 则称R是A上的相容关系。 易知，等价