离散-9-1-等价关系.pptVIP

主要内容： §4.4 等价关系与划分 等价关系 定义 等价类 集合的划分 等价关系与集合划分的联系 §4.4 等价关系与集合的划分 1. 等价关系（1） 等价关系：设A是集合，R?A?A，若R是自反的、对称的和传递的， 则称R为A上的等价关系。 若aRb，则称a与b等价。 例1：设A={1,2,3,4,5,6,7,8},R?A?A,xRy iff 3|(x-y),则R是等价关系。 §4.4 等价关系与集合的划分 1. 等价关系（2） 等价类 定义：设R是A上的等价关系，对任意的a?A, 称[a]R={x|x?A?xRa}为a关于R的等价类，a为代表元， 不同等价类的个数为R的秩（若有限）， 以等价类为元素组成的集合{[a]R|a?A}称为A关于R的商集A/R. 例2中：[1]R={1，4，7}， 证明:(2) aRb iff [a]R=[b]R (3) [a]R=[b]R 或 [a]R∩[b]R =? 证明(2)：(必要性) 对?x?[a]R 有xRa, §4.4 等价关系与划分 2. 集合的划分 定义：设A??，???(A)，若?满足： (1) ???; (2) ?中任意两个不同元素不相交； (3) ??=A; 则称?是A的一个划分，称?中的元素为划分块，|?|称为?的秩。 例2：设A={ a,b,c,d },以下的?i哪些是A的划分？ ?1={{a,b}, {c,d}}, ?2={{a,b,c},{c,d}}, ?3={{a},{b},{c},{d}}, ?4={{a,b,c,d}} 上节课的例题1：A={1,2,3,4,5,6,7,8},R?A?A,xRy iff 3|(x-y), A/R={ {1,4,7},{2,5,8},{3,6} }是A的一个划分。 §4.4 等价关系与划分 3.等价关系与集合划分的联系(1) 定理4.4.2: 设R是非空集合A上的等价关系，则A/R是A的一个划分。 （由等价类的性质可推出,见P94） 定理4.4.3: 设R1,R2是非空集A上的等价关系,则R1=R2 iff A/R1=A/R2 。 §4.4 等价关系与划分 3.等价关系与集合划分的联系（2） §4.4 等价关系与划分 3.等价关系与集合划分的联系(3) 例3：求例2中划分?1和?3所确定的等价关系。 A={ a,b,c,d }, ?1={{a,b},{c,d}}, ?3={{a},{b},{c},{d}} 解：R1=({a,b}?{a,b})∪({c,d}?{c,d}) ={a,a,a,b,b,a,b,b}∪{c,c,c,d,d,c,d,d} ={a,a,a,b,b,a,b,b,c,c,c,d,d,c,d,d} R3=({a}?{a})∪({b}?{b})∪({c}?{c})∪({d}?{d}) ={a,a}∪{b,b}∪{c,c}∪{d,d} ={a,a,b,b,c,c,d,d} P96 例4.4.7 定理4.4.5 设集合A≠?,?是A的一个划分，R是A上的一个等价关系， 则 ?诱导R iff R诱导?。 * * 等价关系图的特点： 每个结点都有自环 双向边 分成几个不相连的部分 为什么有这些特点？ 1 2 3 4 5 6 7 8 1 2 3 4 5 6 7 8 等价类? [2]R={2，5，8}， A/R={[1]R，[2]R，[3]R}={ {1，4，7}，{2，5，8}，{3,6} } 性质(定理4.4.1): 设R是A上的等价关系，A??, a,b?A,则 (1) [a]R??; (2) aRb iff [a]R=[b]R (3) [a]R=[b]R 或 [a]R∩[b]R=? [3]R={3，6} ∵ aRb 且R传递， ∴ x?[b]R , ∴ xRb 故 [a]R?[b]R , 同理可证[b]R?[a]R 。 (充分性) 若[a]R=[b]R , ∵ a?[a]R , ∴ a?[b]R , 因此，aRb 。 根据(2)得：[a]R=[b]R . (3): 若[a]R∩[b]R?? 则有c?[a]R∩[b]R 即c?[a]R且c?[b]R ∴ 有cRa且cRb ∵ R对称， ∴ 又有 aRc 又∵ R传递 ∴ aRb 求等价关系 ∴ 必有[a]R2?A/R2 使[a]R2=[x]R1=[y]R1 ∴ x,y?[a]R2 ∴ xR2a且yR2a ∵ R2对称 ∴ aR2y 又∵ R2传递 ∴ xR2y 即x,y?R2 所以，R1?R2 同理可证 R2?R1 证明