关系的闭等价关系.pptVIP

* * * * * * * * * * * 商集即划分– 证明 不相等的等价类必然不相交。换句话说，有公共元素的任意两个等价类必然相等。 证明： 假设R(a)?R(b)??, 设c是一个公共元素。 根据等价类的定义，(a,c)?R, (b,c)?R 对任意x?R(a), (a,x)?R, 由R的传递性和对称性，可得(c,x)?R, 由此可知(b,x)?R, 即x?R(b), ?R(a)?R(b) 同理可得：R(b)?R(a)。因此: R(a)=R(b) 根据一个划分定义等价关系 A1 A6 A5 A4 A3 A2 A x y z 给定 A 上一个划分，可以如下定义A 上的等价关系 R : ?x,y?A, (x,y)?R 当且仅当: x,y 属于该划分中的同一块。 显然，关系 R 满足自反性、对称性、传递性。因此：R 是等价关系。 利用等价类解题： 证明： 从1,2,...,2000中任取1001个数，其中必有两个数x,y，满足x/y=2k。 (k为整数)。 想起鸽笼原理没？ 等价关系与划分：一个例子-解 建立1000个集合, 每个集合包括1至2000之间的一个奇数以及该奇数与2的k次幂的乘积, 但最大不超过2000。可以证明这1000个集合的集合是集合{1,2,3,..., 2000}上的一个划分。注意任意两个1到2000之间的正整数x,y在同一划分