第四章二元关系和函数.pptVIP

4.5等价关系和偏序关系一.等价关系1.等价关系定义:设R为非空集合A上的关系,如果R是自反的,对称的和传递的,则R为A上的等价关系.对?x,y∈A,若x,y∈R,则记作x～y例4.11A={1,2,…,8},R={x,y|x,y∈A∧x≡y(mod3)}其中x≡y(mod3)是x-y可以被3整除.解:R1={1,1,4,4,7,7,1,4,4,1,1,7,7,1,4,7,7,4}R2={2,2,5,5,8,8,2,5,5,2,2,8,8,2,5,8,8,5}R3={3,3,6,6,3,6,6,3}R=R1∪R2∪R3第29页，共52页，星期日，2025年，2月5日2.等价类定义:设R是非空集合A上的等价关系,对?x∈A,令[x]R={y|y∈A∧xRy}则称[x]R为x关于R的等价类,简称为x的等价类,简记为[x].例如:例4.11有[1]=[4]=[7]={1,4,7}[2]=[5]=[8]={2,5,8}[3]=[6]={3,6}定理(等价类的性质):设R是非空集合A上的等价关系,对?x,y∈A,则有(1)[x]≠φ,且[x]?A(2)若xRy,则[x]=[y](3)若xRy,则[x]∩[y]=φ(4)∪[X]=A例如:例4.11{1,4,7}∪{2,5,8}∪{3,6}={1,2,…,8}第30页，共52页，星期日，2025年，2月5日3.商集定义:设R为非空集合A上的等价关系,以R的不交的等价类为元素的集合叫做A在R下的商集,记作A/R.即A/R={[x]R|x∈A}如:例4.11中,A在R下的商集为A/R={{1,4,7},{2,5,8},{3,6}}4.划分定义:设A是非空集合,如果存在一个A的子集族π(π?P(A))满足以下条件(1)φπ(2)π中任意两个元素不交,(3)π中所有元素的并集等于A,则称π为A的一个划分,且称π中的元素为划分块.第31页，共52页，星期日，2025年，2月5日例4.14考虑集合A={a,b,c,d}的下列子集族(1){{a},{b,c},{d}}(2){{a,b,c,d}}(3){{a,b},{c},{a,d}}(4){φ,{a,b},{c,d}}(5){{a},{b,c}}则有(1)(2)都是A的划分,(3)(4)(5)不是A的划分.注)所有等价类的集合,即商集A/R,就是A的一个划分,称为由R所诱导的划分.第32页，共52页，星期日，2025年，2月5日例4.15设A={1,2,3},求出A上所有的等价关系解:A的所有划分π1={{1,2,3}}π2={{1},{2,3}}π3={{2},{1,3}}π4={{3},{1,2}}π5={{1},{2},{3}}对应划分πi的等价关系为Ri(i=1,2,3,4,5);IA={1,1,2,2,3,3}R1=IA∪{1,2,2,1,1,3,3,1,2,3,3,2}R2=IA∪{2,3,3,2}R3=IA∪{1,3,3,1}R4=IA∪{1,2,2,1}R5=IA第33页，共52页，星期日，2025年，2月5日二.偏序关系1.偏序关系:设R为非空集合A上的关系,如果R是自反的,反对称的和传递的,则称R为A上的偏序关系,简称偏序,记作≤例如:任何集合A上的恒等关系,集合的幂集P(A)上的包含关系,实数集上的小于等于关系,正整数集上的整除关系,都是偏序关系.例:集合A={1,2,3}上的大于等于关系,是A的偏序关系即≤={3,3,3,2,3,1,2,2,2,1,1,1}所以有3≤2.2≤2.3≤1表示3,2,2,2,3,1属于偏序≤;第34页，共52页，星期日，2025年，2月5日2.偏序集一个集合A与A上的偏序关系R一起叫做偏序集;记作A,R.例如:Z,R≤其中R≤表示通常数小于等于关系,P(A),R?其中R?表示集合的包含关系都是偏序集.3.可比与盖住设A,≤为偏序集,?x,y∈A,如果x≤y或y≤x成立,则称x与y是可比的.如果x＜y(即x≤y∧x≠y),且不存在z∈A,使xzy,