第七章关系(第4.pptVIP

第七章关系（第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，即形式化为[a]R=｛x|x∈A∧xRa｝。称[a]R为a的关于R所生成的等价类，简称a的等价类。a称为[a]R的代表元素。 例1.设A={1, 2, 3, 4} ，则求A上等价关系R={1, 1, 1, 2, 2, 1, 2, 2, 3, 4, 4, 3, 3, 3, 4, 4}中的等价类？ 2.设X={1,2,3,4,5,6},R是X上的模2同余关系，等价类？ 4.6 等价关系和划分 设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上的等价关系，对等价类有下列性质: (1)对于任意元素a?A, 则有[a]R ? ?, 且[a]R ? A。 (2)若aRb, 则[a]R = [b]R。 (3)若aR’b, 则[a]R∩[b]R = ?。 (4) ∪{［a］|a∈A}=A(∪S表示集合S中的元素做并运算所构成的集合)。 A中每个元素所生成的等价类是非空的。 彼此等价的元素属于同一个等价类。 彼此不等价的元素是属于不同的等价类，且这些等价类之间无公共元素。 4.6 等价关系和划分 与等价类相关的事实： （1）对任何集合A,IA为等价关系，且有|A|个不同的等价类，每个等价类都是单元素集合。 （2）对任何集合A，A×A为等价关系，且只有一个等价类为 A（即每个元素的等价类全为A）。 （3）同一等价类可以有不同的表示元素， 或者说，不同的元素，可能有相同的等价类。 4.6 等价关系和划分 划分:当非空集合A的子集族π（π ? P(A)）满 足下列条件时，称为A的一个划分(partitions): （1） 对任意B∈π, B≠Φ。 （2） 对任意B∈π， B ? A。 （3） ∪π＝A。 （4） 对任意B,B′∈π，B≠B′时， B∩B′=Φ。 则称π中元素为划分的划分块。 4.6 等价关系和划分 设集合A = {a, b, c, d, e}，判断下面集合是否是划分：?1 = {{a}, {a, c}, {b, d, e}}， ?2 = {{a, e}, {c, d}, {b, c, d}}， ?3 = {{a}, {b, e}, {b, c, d}}， ?4 = {{a}, {b, c}, {b, d, e}}, ?5 = {{a,b},{c,d},{e}}, ?6 = {{a},{b},{c},{d},{e}} ?7 = {{a,b,c,d,e}} ?8 = {a,b,c,d,e} 4.6 等价关系和划分——举例 *