《离散数学第四章等价关系和偏序关系PPT讲稿.ppt》由会员分享,可在线阅读,更多相关《离散数学第四章等价关系和偏序关系PPT讲稿.ppt(25页珍藏版)》请在taowenge.com淘文阁网|工程机械CAD图纸|机械工程制图|CAD装配图下载|SolidWorks_CaTia_CAD_UG_PROE_设计图分享下载上搜索。
1、1第1页,共25页,编辑于2022年,星期日等价关系的定义与实例等价关系的定义与实例定义定义设设R 为非空集合上的关系为非空集合上的关系.如果如果R 是自反的、对是自反的、对称的和传递的称的和传递的,则称则称R 为为A 上的上的等价关系等价关系.设设R 是一个是一个等价关系等价关系,若若R,称称x 等价于等价于y,记做记做xy.实例实例设设A=1,2,8,如下定义如下定义A上的关系上的关系R:R=|x,yAxy(mod3)其中其中xy(mod3)叫做叫做x 与与y 模模3相等相等,即即x 除以除以3的余数的余数与与y 除以除以3的余数相等的余数相等.2第2页,共25页,编辑于2022年,星期日
2、等价关系的验证等价关系的验证验证模验证模3相等关系相等关系R 为为A上的等价关系上的等价关系,因为因为 xA,有有x x(mod3)x,yA,若若x y(mod3),则有则有y x(mod3)x,y,zA,若若x y(mod3),y z(mod3),则有则有xz(mod3)自反性、对称性、传递性得到验证自反性、对称性、传递性得到验证3第3页,共25页,编辑于2022年,星期日A上模上模3等价关系的关系图等价关系的关系图设设A=1,2,8,R=|x,yAxy(mod3)4第4页,共25页,编辑于2022年,星期日等价类等价类定义定义设设R为非空集合为非空集合A上的等价关系上的等价关系,xA,令,
3、令xR=y|yAxRy 称称xR 为为x 关于关于R 的的等价类等价类,简称为简称为x 的等价类的等价类,简简记为记为x.实例实例A=1,2,8上模上模3等价关系的等价类:等价关系的等价类:1=4=7=1,4,72=5=8=2,5,83=6=3,65第5页,共25页,编辑于2022年,星期日等价类的性质等价类的性质 定理定理1设设R是非空集合是非空集合A上的等价关系上的等价关系,则则(1)xA,x是是A的非空子集的非空子集.(2)x,yA,如果如果x R y,则则x=y.(3)x,yA,如果如果x y,则则x与与y不交不交.(4)x|xA=A,即所有等价类的并集就即所有等价类的并集就是是A.6
4、第6页,共25页,编辑于2022年,星期日实例实例A=1,2,8上模上模3等价关系的等价类:等价关系的等价类:1=4=7=1,4,7,2=5=8=2,5,8,3=6=3,6以上以上3类两两不交,类两两不交,1,4,7 2,5,8 3,6=1,2,87第7页,共25页,编辑于2022年,星期日商集商集定义定义设设R为非空集合为非空集合A上的等价关系上的等价关系,以以R的所有等价类的所有等价类作为元素的集合称为作为元素的集合称为A关于关于R的的商集商集,记做记做A/R,A/R=xR|xA 实例实例A=1,2,8,A关于模关于模3等价关系等价关系R的商集为的商集为A/R=1,4,7,2,5,8,3,
5、6 A关于恒等关系和全域关系的商集为:关于恒等关系和全域关系的商集为:A/IA=1,2,8A/EA=1,2,88第8页,共25页,编辑于2022年,星期日集合的划分集合的划分定义定义设设A为非空集合为非空集合,若若A的子集族的子集族(P(A)满足满足下面条件:下面条件:(1)(2)x y(x,yxyxy=)(3)=A 则称则称是是A的一个的一个划分划分,称称中的元素为中的元素为A的的划分块划分块.9第9页,共25页,编辑于2022年,星期日例题例题例例1设设Aa,b,c,d,给定给定1,2,3,4,5,6如下:如下:1=a,b,c,d,2=a,b,c,d3=a,a,b,c,d,4=a,b,c5
6、=,a,b,c,d,6=a,a,b,c,d则则1和和2是是A的划分的划分,其他都不是其他都不是A 的划分的划分.为什么?为什么?10第10页,共25页,编辑于2022年,星期日等价关系与划分的一一对应等价关系与划分的一一对应商集商集A/R 就是就是A 的一个划分的一个划分不同的商集对应于不同的划分不同的商集对应于不同的划分任给任给A 的一个划分的一个划分,如下定义如下定义A 上的关系上的关系R:R=|x,yAx 与与y 在在的同一划分块中的同一划分块中则则R 为为A上的等价关系上的等价关系,且该等价关系确定的商集就是且该等价关系确定的商集就是.例例2给给出出A1,2,3上所有的等价关系上所有的
7、等价关系求解思路:先做出求解思路:先做出A的所有划分的所有划分,然后根据划分写然后根据划分写出出对应对应的等价关系的等价关系.11第11页,共25页,编辑于2022年,星期日等价关系与划分之间的对应等价关系与划分之间的对应1,2和和3分别对应等价关系分别对应等价关系R1,R2和和R3.R1=,IA,R2=,IAR3=,IA4对应于全域关系对应于全域关系EA,5对应于恒等关系对应于恒等关系IA12第12页,共25页,编辑于2022年,星期日实例实例例例3设设A=1,2,3,4,在,在A A上定义二元关系上定义二元关系R:,R x+y=u+v,求求R 导出的划分导出的划分.解解A A=,13第13
8、页,共25页,编辑于2022年,星期日实例(续)实例(续)根据根据的的x+y=2,3,4,5,6,7,8将将A A划分成划分成7个个等价类:等价类:(A A)/R=,14第14页,共25页,编辑于2022年,星期日偏序关系偏序关系定义定义非空集合非空集合A上的自反、反对称和传递的关系,称上的自反、反对称和传递的关系,称为为A上的上的偏序关系偏序关系,记作,记作.设设 为偏序关系为偏序关系,如果如果,则记作则记作x y,读作读作x“小于或等于小于或等于”y.实例实例集合集合A上的恒等关系上的恒等关系IA 是是A上的偏序关系上的偏序关系.小于或等于关系小于或等于关系,整除关系和包含关系也是相应集整
9、除关系和包含关系也是相应集合上的偏序关系合上的偏序关系.15第15页,共25页,编辑于2022年,星期日相关概念相关概念x与与y 可比可比:设:设R为非空集合为非空集合A上的偏序关系上的偏序关系,x,y A,x与与y可比可比x y y x.结论:任取两个元素结论:任取两个元素x和和y,可能有下述情况:可能有下述情况:x y(或或y x),xy,x与与y不是可比的不是可比的.全序关系全序关系:R为非空集合为非空集合A上的偏序上的偏序,x,y A,x与与y 都是可比的,都是可比的,则称则称R 为为全序全序(或(或线序线序)实例:数集上的小于或等于关系是全序关系实例:数集上的小于或等于关系是全序关系
10、整除关系不是正整数集合上的全序关系整除关系不是正整数集合上的全序关系16第16页,共25页,编辑于2022年,星期日覆盖覆盖:设:设R为非空集合为非空集合A上的偏序关系上的偏序关系,x,yA,如果如果x y且不存在且不存在z A 使得使得x z y,则称则称y 覆盖覆盖x.实例:实例:1,2,4,6集合上的整除关系集合上的整除关系,2覆盖覆盖1,4和和6覆盖覆盖2.4不覆盖不覆盖1.相关概念(续)相关概念(续)17第17页,共25页,编辑于2022年,星期日偏序集与哈斯图偏序集与哈斯图定义定义集合集合A和和A上的偏序关系上的偏序关系 一起叫做一起叫做偏序集偏序集,记作记作.实例:整数集和小于等
11、于关系构成偏序集实例:整数集和小于等于关系构成偏序集,幂集,幂集P(A)和包含关系构成偏序集和包含关系构成偏序集.哈斯图哈斯图:利用偏序自反、反对称、传递性简化的关系图:利用偏序自反、反对称、传递性简化的关系图特点:每个结点没有环,两个连通的结点之间的序关系通过特点:每个结点没有环,两个连通的结点之间的序关系通过结点位置的高低表示,位置低的元素的顺序在前,具有覆盖结点位置的高低表示,位置低的元素的顺序在前,具有覆盖关系的两个结点之间连边关系的两个结点之间连边18第18页,共25页,编辑于2022年,星期日哈斯图实例哈斯图实例例例419第19页,共25页,编辑于2022年,星期日A=a,b,c,
12、d,e,f,g,hR=,IA哈斯图实例(续)哈斯图实例(续)例例5已知偏序集已知偏序集的哈斯图如右图所示的哈斯图如右图所示,试求出集合试求出集合A和关系和关系R的表达式的表达式.20第20页,共25页,编辑于2022年,星期日偏序集的特定元素偏序集的特定元素定义定义设设为偏序集为偏序集,B A,yB.(1)若若 x(xBy x)成立成立,则称则称y 为为B 的的最小元最小元.(2)若若 x(xBx y)成立成立,则称则称y 为为B 的的最大元最大元.(3)若若x(xBx y)成立成立,则称则称y 为为B的的极小元极小元.(4)若若x(xBy x)成立成立,则称则称y 为为B的的极大元极大元.2
13、1第21页,共25页,编辑于2022年,星期日特殊元素的性质特殊元素的性质n 对于有穷集,极小元和极大元必存在,可能存在对于有穷集,极小元和极大元必存在,可能存在 多个多个.n 最小元和最大元不一定存在,如果存在一定惟一最小元和最大元不一定存在,如果存在一定惟一.n 最小元一定是极小元;最大元一定是极大元最小元一定是极小元;最大元一定是极大元.n 孤立结点既是极小元,也是极大元孤立结点既是极小元,也是极大元.22第22页,共25页,编辑于2022年,星期日定义定义设设为偏序集为偏序集,B A,y A.(1)若若 x(xBx y)成立成立,则称则称y 为为B的的上界上界.(2)若若 x(xBy
14、x)成立成立,则称则称y 为为B的的下界下界.(3)令令Cy|y为为B的上界的上界,则称则称C的最小元为的最小元为B的的最小最小上界上界或或上确界上确界.(4)令令Dy|y为为B的下界的下界,则称则称D的最大元为的最大元为B的的最大最大下界下界或或下确界下确界.偏序集的特定元素偏序集的特定元素(续续)23第23页,共25页,编辑于2022年,星期日n下界、上界、下确界、上确界不一定存在下界、上界、下确界、上确界不一定存在n下界、上界存在不一定惟一下界、上界存在不一定惟一n下确界、上确界如果存在,则惟一下确界、上确界如果存在,则惟一n集合的最小元就是它的下确界,最大元就是它的上集合的最小元就是它的下确界,最大元就是它的上确界;反之不对确界;反之不对.特殊元素的性质特殊元素的性质24第24页,共25页,编辑于2022年,星期日实例实例例例6设偏序集设偏序集如下图所示,求如下图所示,求A 的极小元、最小元、的极小元、最小元、极大元、最大元极大元、最大元.设设Bb,c,d,求求B 的下界、上界、下的下界、上界、下确界、上确界确界、上确界.极小元:极小元:a,b,c,g;极大元:极大元:a,f,h;没有最小元与最大元没有最小元与最大元.B的下界和最大下界都的下界和最大下界都不存在不存在,上界有上界有d 和和f,最小上界为最小上界为d.25第25页,共25页,编辑于2022年,星期日