离散件4-6-集合与关系.pptVIP

除模 n同余关系是等价关系外，常见的 还有命题公式集上的等价“?” 、 集合之间的相等“=”、以及图的节点集上的“连通”等一些等价关系。 二、等价类 1。 定义：设R是集合A上的等价关系，a ? A，令 [a]R={x ? x ? A ? (a, x) ?R}， 称[a]R是关系R中以a为代表元的等价类。 在R明确时 [a]R 可简记为[a]。 凡 [a]中元素都可作代表元，因而一个等价类可能有若干不同的表示。 例如：对于例2中的MOD3，[2]=[5]=[8]= {2，5，8}， [3]=[6]={3，6}， [4]={4}。 2。等价类的性质： 设集合 A 上关系 R 的等价类分别为 [ a1 ]，[ a2 ]，[ a3 ]，...，则 ① 对任意 [ ai ]和 [ aj ], 要么 [ ai ] = [ aj ], 要么 [ai] ? [ aj ] = ?。 ② [ a1 ] ? [ a2 ] ? [ a3 ] ? … = A。 证明要点： ②是明显的。 至于 ①，如果存在 b?[ ai ] ? [ aj ]，则 (ai, b) ? R, ( b, aj ) ? R, 由传递性得 ( ai, aj ) ? R, 因而 [ ai ] = [ aj ]。 三、集合的分划与等价关系 1。定义：设 S1，S2，S3，… 是集合 S 的子集， 如果满足 ① 对任意 Si 和 Sj, 要么 Si =Sj, 要么 Si ? Sj = ?。 ② S1 ? S2 ? S3 ? … = S 。 就称 A = { S1，S2，S3，...}是集合 S 的一个分划。 例 4：设 S = { a，b，c，d，e，f }，则 A = { {a, b}, {c, d, e }, { f } } 是集 S 的一个分划。B = { { a, c, d, f }, { b, e } }是另一个分划。 2。定理：集合 S上的任意一个等价关系 R 都产生 S 上的一个分划。 证明要点： 由等价关系 R 的全体等价类就能 构成 S 的一个分划。 例 5：在前面例中，MOD3的等价类 [2]= {2，5，8}，[3]={3，6}，[4]={4} 就构成集合A={2，3，4，5，6，8} 的一个分划 { [2]，[3]，[4] }。 3。定理： 集合 S 上的任意一个分划都产生 S 上的一个等价关系。 证明要点： 设 A = { S1，S2，S3，...}是集合 S 的一个分划，构造二元关系 R = S1 ?S1 ? S2 ?S2 ? S3 ?S3 ? ... 由于每个Si ? Si 都是全关系，且各Si 之间无公共元素，因而R是等价关系。 例 6： 设 S = { a，b，c，d，e，f }，A={ {a, b}, {c, d, e}, {f} }是集合 S 的一个分划。则可导出等价关系 R = {a, b}?{a, b} ? {c, d, e}?{c, d, e} ? {f}?{f} = { (a, a), (a, b), (b, a), (b, b), (c, c), (c, d), (c, e), (d, c), (d, d), (d, e), (e, c), (e, d), (e, e), (f, f) }。 作业: 习题 5.5 1、 2、4、7 （吴子华） or 习题4.5 1、 2、4、7 （冯伟森） 偏序关系 一、定义：设 R是非空集 A上的二元关系，如果 R 满足自反、反对称和传递性时，称 R是 A上的偏序关系。 例1：正整数集合 Z+ 上的整除关系是偏序关系。 证明：首先?a ? Z+ ，a | a，即整除关系是自反的。 其次，如果 a | b且 b| a，即 b= ka，a = t b， 由此tk=1，于是 b= a，所以整除关系是反对称的。 最后，如果 a | b且 b | c，即 b = ka，c = tb，由此 c = kta， 所以整除关系又是传递的。 综上，集合 Z+ 上的整除关系是偏序关系。 例 2： 设 A = { 2，3，4，6，8，9 }，定义二元关系 DIV = { (a, b) ? a，b ? A