A上的关系关系的表示法关系表达式、关系矩阵、关系图.pptVIP

定义设R为集合A上的等价关系，对任何x∈A, 集合 ={y|y∈A, xRy}称为元素x关于R的等价类。 定理：设R是非空集合A上的等价关系，对任意的x,y∈A，以下结论成立： 1、 是非空的，因为x∈ 2、若xRy，则 ＝ 3、若xRy,则 ∩ ＝f 4、∪ ＝A 二、等价类 例：设I是整数集合，R是模3 同余的关系，即 R={x,y|x∈I,y∈I,x≡ y(mod3)} 确定I 的元素所产生的等价类。 解 R是I上的等价关系，由I的元素所产生的等价类是 [0]R={···,-6,-3,0,3,6···} [1]R={···,-5,-2,1,4,7···} [2]R={···,-4,-1,2,5,8···} [0]R=[3]R=[-3]R= ··· [1]R=[4]R=[-2]R= ··· [2]R=[5]R=[-1]R= ··· 且有： 定义 集合A上的等价关系R，以R的不交的等价类为元素的集合叫做A在R下的商集。记作A/R  即： A/R＝ { | x∈A}  如：非空集合A上的全域关系EA是A上的等价关系， A/EA＝{ A } 非空集合A上的恒等关系IA是A上的等价关系，A/IA={ {x} | x∈A }。