离散数学课件：3-9 等价关系与等价类.ppt

九、等价关系与等价类 等价关系：若集合A上的二元关系R是： (1)自反的， (2)对称的， (3)传递的， 则称R是A上的等价关系。若aRb，则称a等价于b. (一) 等价关系的定义 例3.9.1 判断以下整数集(Z)上的关系是否是等价关系. 关系 自反 对称 传递 等价关系 空关系 全域关系 相等关系 同余关系 整除关系 “”关系 ”? ”关系 Y N Y Y Y Y Y Y Y Y Y Y Y N Y Y N N Y N Y N Y Y Y N N N 九、等价关系与等价类 例3.9.2 判断以下关系是否是等价关系. (5)在一群人的集合上年龄相等的关系； (2)同一平面上三角形之间的全等关系； (3) 同一平面上三角形之间的相似关系； (4) 直线间的平行关系； (6)在一群人的集合上的朋友关系. ? ? ? 不自反 不一定，可能不传递 (1)命题演算中“?”关系； ? 九、等价关系与等价类 证： (1)因为a-a=k· 0, (2) 若a, b?R, 即a ? b(mod k), 例3.9.3 设Z 为整数集，k为正整数，令 R={x,y| x,y?Z ? x ? y(mod k)}, 称R为模k同余关系，并称x与y模k相等. 证明R是等价关系. 任取a, b, c?Z， 所以 a, a ?R ； 可令a-b=kt(t为整数)， 所以b ? a(mod k),即b, a?R. 则b-a=-kt， (3) 若a, b?R, b, c?R,即a ? b(mod k), b ? c(mod k), 可令a-b=kt, b-c=ks(其中t, s为整数)， 那么a-c= (a-b)+(b-c) =k(t+s). 所以a ? c(mod k),即a, c?R. 综上，R是等价关系. 九、等价关系与等价类 等价类：设R是非空集合A上的等价关系，?a?A，令 [a]R={x∣x?A?aRx} 称[a]R为a关于R的等价类，简称为a的等价类，简记为[a]. a称为等价类[a]R的代表元素. 例3.9.4 设集合A={1,2,3,?,10}，R是模3同余关系，求由R 所产生的等价类. [3]R= [1]R= [5]R= [8]R 证： [6]R=[9]R ={3,6,9}. = [7]R = [10]R ={1,4,7,10} [4]R [2]R= = {2, 5, 8} (二) 等价类 九、等价关系与等价类 等价类的性质 性质一：设R是非空集合A上的等价关系,?a, b?A, 有 aRb?[a]R=[b]R. (1) 若aRb, 证： 任取c ?[a]R ,则 c ?[a]R ? aRc ? cRa ? cRb ? bRc ? c ?[b]R 故 [a]R ? [b]R . 同理可证[b]R ? [a]R . 所以[a]R = [b]R . (2) 反之，若[a]R=[b]R, a ?[a]R ? a ?[b]R ? bRa ? aRb. 九、等价关系与等价类 则由R是自反的可得 等价类的性质 性质二：设R是非空集合A上的等价关系,?a?A, 有 [a]R是非空的. ?a?A,因R是自反的，故a?[a]R， 证： 所以[a]R非空. 性质三：设R是非空集合A上的等价关系,有 (1)?a?A, a?[a]R, 证： (2)由[a]R的定义可得[a]R?A， 从而 故 九、等价关系与等价类 性质四：设R是非空集合A上的等价关系,?a, b?A, 有 或者[a]R=[b]R，或者[a]R∩[b]R=?. 等价类的性质 ?a, b?A，假设[a]R∩[b]R ?? , 证： 则?c?[a]R∩[b]R， 从而aRc, bRc. 因R是传递的， 所以，由性质一知：[a]R=[b]R. 故aRb. 因R是对称的 ， 故cRb. 九、等价关系与等价类 (三) 商集 商集： 设R为非空集合A上的等价关系，其等价类集合 {[a]R∣a?A} 称为A关于R的商集(quotient set)，记为A/R. A/R = 例3.9.5 设集合A={1,2,3,?,10}，R是模3同余关系，求A关于R的商集. { [1]R ,[2]R ,[3]R} 解： 九、等价关系与等价类 由a与a在同一分块中，得a, a? R ， (四) 等价关系与划分 定理一 非空集合A上的任一等价关系R诱导了A的一个划分A/R. 证： 略（由等价类的性质二、三、四可得）. 设S={A1, A2, …, Ak}，定义关系R为 R={x, y|x, y在同一分块中} 现