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， 又因为