4.5等价关系和偏序关系资料.ppt

第 4 章 二元关系 4.5 等价关系 和 偏序关系 一、等价关系 回顾：命题集上的等价关系R ={P,Q|P?Q或P ? Q是永真式}。 该关系是：自反的、对称的、传递的。 举例 同年龄关系、同性别关系、同寝室关系、但是朋友关系不是。朋友关系是自反、对称的，称为相容关系。 显然，等价关系是相容关系。 同一平面的三角形 的相似关系是等价关系，但是直线间的平行关系不是等价关系，因为不是自反的； 集合上的恒等关系和全域关系是等价关系； …… 例1 如图：R是A={1,2,3,4,5,6}上的关系。则R是自反、对称、传递的，所以是等价关系。 1～2 ～ 3 4 ～ 5 6 ～ 6 例2：整数上的模3同余关系R。 R={x,y|x mod 3=y mod 3 或 (x-y)mod 3 =0 或 x≡y mod 3} ={…… , 0,-6,0,-3,0,00,3,0,6, …… …… , 1,-5,1,-2,1,11,4,1,7,…… …… , 2,-4,2,-1,2,2,2,5,2,8,……} 续上例Z上的模3同余关系 1、自反性； ?x∈Z,x mod 3=x mod 3，从而x,x ∈R; 2、对称性；?x,y∈R, x mod 3=y mod 3， ∴ y mod 3=x mod 3，从而y,x ∈R; 3、传递性； ?x,y∈R ? x mod 3=y mod 3 y,z∈R? y mod 3=z mod 3 ∴ x mod 3=z mod 3，从而x,z ∈R。 续上例Z上的模3同余关系 ……～ -3 ～ 0 ～3 ～6 ～9 ～12 ～…… ……～-2 ～1 ～4 ～7 ～10 ～13 ～…… ……～-1 ～2 ～5 ～8 ～11 ～14 ～…… 即是：{3n}中的各元素相互等价， {3n+1}中的各元素相互等价， {3n+2}中的各元素相互等价。 两两中的元素不等价， 等价类[x]R 设R是A上的等价关系，x ∈A，由和x等价的元素组成的集合称为x关于R的等价类，记为[x]R,简称x的等价类，在不混淆的情况下记为[x]。 即是： [x]R＝{y|y∈A，x ～y} ＝{y|y∈A，x,y ∈R} 例2：整数上的模3同余关系R [0]R＝{……,-3,0,3,6,9,…… } ＝ [3]R ＝ [6]R ＝ …… ={3n | n∈Z}=3Z [1]R＝{……,-2,1,4,7,10,… } ＝ [4]R ＝ [7]R ＝ …… ={3n+1 | n∈Z}=3Z+1 [2]R＝{……,-1,2,5,8,11,…… } ＝ [5]R ＝ [8]R ＝ …… ={3n+2 | n∈Z}=3Z+2 等价类的性质 1、[x]R≠ ?，x ∈ [x]R 2、x ～y ?[x]=[y] 3、x,y ?R ?[x]∩[y]=? 4、等价类的并集是A（等价类的交集是? ） A在R下的商集 设R是非空集合A上的等价关系以 R的所有等价类作为元素的集合称为A在R下的商集，记为：A/R={[x]R | x∈R} 例2：整数上的模3同余关系R Z/R={[0],[1],[2]}={3Z,3Z+1,3Z+2} A={1,2,3,4}上的全域关系 显然，在全域关系EA中，任何元素间是等价的。 [x]EA={ y|y∈A，x,y ∈ EA}=A A/EA={A}={{1,2,3,4}} A={1,2,3,4,5,6}上的恒等关系 显然， [1]={1} [2]={2} [3]={3} [4]={4} [5]={5} [6]={6} [x]={x} A/IA={{x} | x∈A} 例如：复数C*集合上，(a+bi)R(c+di)当且仅当ad=bc。其中C*={x+yi | x0,y0} 1、自反性； 2、对称性； 3、传递性；任取： (a+bi)R(c+di) ∈R ? ad=bc (c+di) R (e+fi) ∈R ?cf=de 从而，adcf=bcde?af=be 从而(a+bi)R(e+fi) ∈R 因此，R是C*上的等价关系。 上例的修改： 复数C*集合上，(a+bi)R(c+di)当且仅当ad=bc。其中C*={x+yi | x0,y0}。 修改为：设集合A=R+×R+(R+是正实数)，A上关系R定义为(a,b)R(c,d)当且仅当ad=bc。 相似的例子为：设集合A=R+×R+(R+是正实数)，A上关系R定义为(a,b)R(c,d)当且仅当a-c=b-d。 设f : A?B是函数，R是A上的如下二元关系：R = {a, b | a, b?