r03关系d技术总结.ppt

不存在指的是B为无限集合时 * * 离 散 数 学 主讲 鱼亮 lyu@xidian.edu.cn 西安电子科技大学计算机学院 * 关系的概念及运算 关系的性质 关系的闭包运算 等价关系 序关系 关系 * 等价关系 设R为集合A上的等价关系，对任何a∈A，集合[a]R={x|x∈A, xRa}称为元素a关于R的等价类(equivalence class)。可以简记为[a]，称a为等价类[a]的代表元素。如果等价类个数有限，则R的不同等价类的个数称为R的秩；否则秩是无限的。 因为a∈[a]R，所以[a]R非空。 例：写出整数集合I上的模3同余关系的等价类。 [0]R=[3]R=[-3]R=... [1]R=[4]R=[-2]R=... [2]R=[5]R=[-1]R=... 该等价关系R的秩为3。 例：集合A上相等关系的秩等于？ A的元素个数。 * 定理2： 设R是非空集合A上的等价关系,aRb当且仅当[a]R=[b]R 证 ：1)充分性： 因为a∈[a]R 且 [a]R=[b]R, 即a∈[b]R, 所以aRb。 2)必要性： 对任意x∈[a]R, 有xRa， 又因为aRb,由传递性可知xRb，即x∈[b]R 所以[a]R ?[b]R ，同理可证[b]R ?[a]R 故[a]R=[b]R 。 等价关系 * 等价关系 设给定集合A上的等价关系R，其等价类集合{[a]R|a∈A}称作A关于R的商集(quotient set)，记为A/R。 例如，整数集合上同余模3关系R的商集为 I/R={[0]R,[1]R,[2]R}。 其中， [0]R∪ [1]R∪ [2]R=I，且任意两个等价类的交为空集，于是有下述定理： * 等价关系 定理3：设R是非空集合A上的等价关系，则有 (a) 任取 x∈A, [x]R? ?; (b) 任取x,y∈A，或者[x]R=[y]R, 或者[x]R∩[y]R= ?； (c) 证明: (a) 任取x∈A, 因为R是自反的，所以有xRx，即x∈[x]R ， 故 [x]R? ?; (b) 若[x]R∩[y]R≠ ? , 则存在某元素z, z∈[x]R和z∈[y]R 。 根据定理2, 得 [x]R = [z]R = [y]R 。 又因[x]R 和 [y]R 都非空, 所以[x]R∩[y]R=?和[x]R=[y]R不能兼得。 * 等价关系 定理3：设R是非空集合A上的等价关系，则有 (a) 任取 x∈A, [x]R? ?; (b) 任取x,y∈A，或者[x]R=[y]R, 或者[x]R∩[y]R= ?； (c) 证明: (c) A上的等价关系R可以诱导出A的划分,即A上关于R的商集A/R * 例. 设A={a,b,c,d,e}，R是A上的等价关系， R={a,a,a,b,b,a,b,b,c,c,d,d,d,e,e,d,e,e}， 求由R诱导的A上的划分π。 解： π= {{a,b},{c},{d,e}} 等价关系 * 定理4：设π是非空集合A的一个划分,则A上的二元关系: 是A上的等价关系。 证：(a) 对任意a∈A，因为a是在π的某块B中,所以aRa， 故R自反。 (b)如果aRb,那么有某块B∈π,使a∈B和b∈B， 所以bRa，故 R是对称的。 (c)如果aRb和bRc,那么存在B1∈π和B2∈π,使 a,b∈B1和b,c∈B2,即b∈B1∩B2,由划分的定义, 要么B1∩B2= ?,要么B1=B2,所以B1=B2。 因此,c∈B1,有aRc，故 R是传递的。 通过该定理可知A的划分也可诱导出A上的等价关系。 等价关系 * 等价关系 例：设A={a,b,c,d,e}，有一个划分S={{a,b},{c},{d,e}}，求由划 分S确定的A上的一个等价关系R。 解： R=({a,b}×{a,b})∪({c}×{c})∪({d,e}×{d,e}) ={a,a,a,b,b,a,b,b} ∪