离散数学等价偏序函数预案.ppt

第六节 等价关系与划分;一、等价关系的定义与实例 定义7.15 设R为非空集合上的关系. 如果R是自反的、对 称的和传递的, 则称R为A上的等价关系. 设R是一个等价 关系, 若x,y∈R, 称x等价于y, 记做x～y. 在我们日常生活和学习中，就有一些等价关系的例子， 如： （1）在一群人的集合上年龄相等的关系是等价关系， 而朋友关系不一定是等价关系，因为它可能不是传递的。 （2）命题公式间的逻辑等值关系是等价关系。 （3）集合上的恒等关系是等价关系。 （4）在同一平面上直线之间的平行关系，三角形之间的 相似关系都是等价关系。;实例 设A={1,2,…,8}, 如下定义A上的关系R： R={x,y| x,y∈A∧x ≡ y(mod 3)} 其中x ≡ y(mod 3)叫做x与y模3相等, 即x除以3的余数与y 除以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) ;图6;二、等价类及其性质 1．? 等价类 定义7.16 设R为非空集合A上的等价关系, ?x∈A，令  [x]R = {y | y∈A∧xRy} 称[x]R为x关于R的等价类, 简称为x的等价类, 简记为[x]或. A={1, 2, … , 8}上模3等价关系的等价类： [1] = [4] = [7] = {1, 4, 7} [2] = [5] = [8] = {2, 5, 8} [3] = [6] = {3, 6};2．等价类的性质  定理7.14 设R是非空集合A上的等价关系, 则（1）?x?A, [x]是A的非空子集.（2）?x,y?A, 如果xRy, 则 [x] = [y].（3）?x,y?A, 如果x y, 则 [x]与[y]不交.（4）∪{[x] | x?A}=A ;三、商集与集合的划分 1.?????? 定义7.17 设R为非空集合A上的等价关系, 以R的所有等价类作为 元素的集合称为A关于R的商集, 记做A/R,  A/R = {[x]R | x∈A} 实例 设A={1,2,…,8}，A关于模3等价关系R的商集为 A/R = {{1,4,7}, {2,5,8}, {3,6}}A关于恒等关系和全域关系的商集为： A/IA = {{1}, {2}, …, {8}} A/EA = {{1,2,…,8}} ;2．集合的划分 定义7.18 设A为非空集合, 若A的子集族π(π ? P(A)) 满足下面条件： （1）? ? π （2）?x?y(x,y?π∧x≠y→x∩y=?)（3）∪π = A 则称π是A的一个划分, 称π中的元素为A的划分块 ;例 设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的划分. ;四、商集与划分的对应关系 商集A/R就是A的一个划分, 不同的商集对应于不同 的划分. 任给A的一个划分π, 如下定义A上的关系R： R={x,y| x,y?A∧x与y在π的同一划分块中} 则R为A上的等价关系, 且该等价关系所确定的商集就 是π. A上的等价关系与A的划分是一一对应的. ;例 给出A＝{1,2,3}上所有的等价关系解 如下图, 先做出A的所有划分, 从左到右分别记作 π1,π2,π3,π4,π5.;这些划分与A上的等价关系之间的一一对应是： π4对应于全域关系EA, π5对应于恒等关系IA, π1,π2和π3分别对应于等价关系R1, R2和R3.? 其中 R1={2,3,3,2}∪IAR2={1,3,3,1}∪IAR3={1,2,2,1}∪IA ;附录：等价关系在计算机科学中的应用;第七节 偏序关系;一、偏序关系 1．定义7.19 偏序关系：非空集合A上的自反、反对称和传递的关系，记作?. 设?为偏序关系, 如果x, y∈?, 则记作x?y, 读作x“小于或等于”y. 2. 实例 集合A上的恒等关系IA是A上的偏序关系. 小于或等