第七章关系(第4.ppt

第七章关系（第4 * 4.6 等价关系和划分 设R是非空集合A上的二元关系，如果R是自反的、对称的和传递的，则称R为A上的等价关系。若x,y∈R，则称x与y等价。 分类是计算机的重要处理之一, 分类的依据正是事物之间的关系。引进等价关系就是为了对集合中的元素进行分类。 4.6 等价关系和划分 设R是非空集合A上的二元关系，如果R是自反的、对称的和传递的，则称R为A上的等价关系。若x,y∈R，则称x与y等价。 例：设A={1,2,3} 且R={1, 1,1, 2, 2, 1, 2, 2, 3, 3}是A上的等价关系吗？ 4.6 等价关系和划分 设R是非空集合A上的二元关系，如果R是自反的、对称的和传递的，则称R为A上的等价关系。若x,y∈R，则称x与y等价。 例：设有整数集合I,R是I上的一个二元关系，m是某个正整数，若R = {a, b| a, b?I, 且(a-b)/m?I}, 则称R是模m等价关系，也叫同余关系。 设R为集合A上的等价关系。对a∈A，令A中所有与a 等价的元素构成的集合记为[a]R，即形式化为[a]R=｛x|x∈A∧xRa｝。称[a]R为a的关于R所生成的等价类，简称a的等价类。a称为[a]R的代表元素。 思考：整数集上模m同余关系中等价类的个数？ 4.6 等价关系和划分 设R为集合A上的等价关系。对a∈A，令A中所有与a 等价的元素构成的集合记为[a]R，即