离散数学等价偏序函数.pptVIP

第八节 习题课 以下基本运算要熟练 A?B, dom R, ranR, fldR, R?1, R?S , Rn , r( R), s( R), t( R) 求等价类和商集A/R 给定A的划分?，求出?所对应的等价关系 求偏序集中的极大元、极小元、最大元、最小元、上界、下界、上确界、下确界 掌握基本的证明方法 证明涉及关系运算的集合等式 证明关系的性质、证明关系是等价关系或偏序关系 * 第六节 等价关系与划分 主要内容 等价关系的定义与实例 等价类及其性质 商集与集合的划分 等价关系与划分的一一对应 一、等价关系的定义与实例 定义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 模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} 即A中所有和x有R关系的元素的集合。 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的所有划分, 从左到右