离散3.8重点.ppt

离散数学(Discrete Mathematics) 计算机科学与工程系 Tianjin University of Technology Department of Computer Science Engineering 魏雪丽 *计算机科学与工程系 * 第三章 集合与关系 （Sets and Relations) 3.6 关系的闭包运算(Closure Operations) 3.7 集合的划分与覆盖(Partition Cover of Sets) 3.8 等价关系(Equivalent Relations) 3.9 相容关系(Compatibility　Relations) 3.10 序关系(Ordered Relations) 3.1 集合及其运算(Sets Operations with sets) 3.2 序偶与笛卡尔积(Ordered Pairs Cartesian Product) 3.3 关系 (Relations) 3.4 关系的性质(The Propeties of Relations) 3.5 复合关系与逆关系(Compound Relations Inverse Relations) 3.8 等价关系与等价类(Equivalence Relations Equivalence classes ) 3.8.1等价关系的定义(The Definition of Equivalence Relation ) 3.8.2等价类的性质(The Properties of Equivalence class ) 3.8.3等价关系与划分(Equivalence Relations Partitions) 第三章 集合与关系(Sets Relations) 3.8.1等价关系的定义(The Definition of Equivalence Relation ) 1. 等价关系 定义3.8.1集合A上的关系ρ，如果它是自反的，对称的，且可传递的，则称ρ是A上的等价关系。 例如 数的相等关系是任何数集上的等价关系。 又例如 一群人的集合中姓氏相同的关系也是等价关系。 但父子关系不是等价关系，因为它不可传递。 例1 设A是任意集合，则A上的恒等关系和全域关系UA均是A上的等价关系。 例2 设 ，A上的关系 ρ是A上的等价关系。 例3 设m为大于等于2的正整数，整数集Z上的同余关系 则ρ是集合Z上的等价关系，称为Z上的模m同余关系。有时写成 或 2. 元素a与b等价 设ρ是集合A上的等价关系，若元素aρb ，则称a与b等价，或称b与a等价。 3. 等价类 定义3.8.2 设ρ是集合A上的等价关系，则 A 中等价于元素 a 的所有元素组成的集合称为 a 生成的等价类，用 表示，即 a称为等价类 的代表元素。 显然有 例4 对于例2中的ρ来说 例5 整数集Z关于模3同余关系ρ的等价类共有三个： 而 恰好为 Z 的一个划分。 1. 对任意 , 3.8.2等价类的性质(The Properties of Equivalence class ) 因为对于任意的a∈A,有aρa，所以 。 2. 对任意的a,b∈A 有 aρb 当且仅当 。 由ρ的对称性有xρa ， 证明 “ ” 若 ，则aρx ， 又由aρb 及ρ的传递性有xρb ，因此 故 。 类似地可以证明 由上得 3.8.2等价类的性质(The Properties of Equivalence class ) 2. 对任意的a,b∈A 有 aρb 当且仅当 。 证明(续) “ ” 由 ，知 因此有aρb. 与 相矛盾。 3. 对任意a,b∈A，若 ，则 . 证明（用反证法） 假设 , 则A中至少有一元素 因此 且 ， 即xρa，且xρb, 于是由aρx,xρb，得aρb， 故 例6 设A={a,b,c,d}，A上的关系 ρ是A上的等价关系 同一个等价类中元素均相互等价。不同等价类中的元素互不等价。 3.8.3等价关系与划分(Equivalence Relations