离散件4--集合和关系.ppt

除模 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}。 瓢沪犹治哮伏闸劲磕铜惕鞘掠俭塞姆毅焙炔靡赘劲故润综迂廉朱丘敲订宇离散件4-6-集合和关系离散件4-6-集合和关系 2。等价类的性质： 设集合 A 上关系 R 的等价类分别为 [ a1 ]，[ a2 ]，[ a3 ]，...，则 ① 对任意 [ ai ]和 [ aj ], 要么 [ ai ] = [ aj ], 要么 [ai] ? [ aj ] = ?。 ② [ a1 ] ? [ a2 ] ? [ a3 ] ? … = A。 证明要点： ②是明显的。 至于 ①，如果存在 b?[ ai ] ? [ aj ]，则 (ai, b) ? R, ( b,