次序关系集合和关系离散数学.pptVIP

次序关系 第1页 次序关系也是常遇到的重要关系,例如: a数值的≤、、≥、关系 集合的、c关系 图书馆的图书按书名的字母次序排序; 词典中的字(词)的排序; 计算机中文件按文件名排序; 程序按语句次序执行;… 本节讨论几种次序关系。 第2页 自反 等价关系 对称 元」性 系质传递 天 反对称 相容关系 反自反 偏序关系 重 斯元素 第3页 偏序关系 partial order relation) 1定义3-121 R是A上自反、反对称和传递的关系,则称R是 A上的偏序关系。并称AR是偏序集 因为数集上的是熟知的,且是偏序关系,所以用 符号“”表示任意偏序关系。 na,bER,表示为a≤h,读作“a小于等于b”。意 即在偏序关系中a排在b的前面。 a要注意!“”不一定是“小于或等于”的含义。 常见偏序关系 小于等于关系、大于等于关系、集合的包含关系、 恒等关系、空集上的空关系。 n全域关系呢?? 例312 A={146,是A中的整除关系,证明其是偏序关系。 证明: R={1,1,2,,4,6,·D 6 n自反 IA={1,1,2,3,3,44 ⅠAcR C.0 反对称 aRC={1,1,2,4,4,6,6,2,,4,1,6,1, 4,2,6,2} nRC∩R={1,1,2,4,4,66} 传递 nR2=RR={1,1,1,2,1,4,16,,2,2,4, 26,4,4,6,6}R a所以,R是偏序关系。 第5页 2x与y是可比较的 A是偏序集,xy∈A,若要么xsy,要么ysx, 则称x与y是可比较的 a例3121中 1与2,1与4,1与6,2与4,2与6是可比较的, n而4与6是不可比较的。 c.0 第6页 二、全序线序、链) 定义3-12.2:A→是偏序集,任何xy∈A,如果 x与都是可比较的,则称是全序关系线序、链 例3-122:B={12,48}≤表示整除关系, 如右图 分析得到是全序关系。 全序关系一定是偏序关系,但是偏序不一定是全序。 偏序关系的有向图,不能直观地反映出元素之间的次 序,所以下面介绍另外一种图-Hase图。通过这 个图,就能够清晰地反映出元素间的层次。 三、偏序集哈斯图(Hase图) (1)用矩阵表示偏序关系,不能明显看出二元关系的 特征。 (2用简化的关系图表示较合适。 简化的关系图: n(1)自反性:每个结点都有自回路,可省去自回路。 ■(2)反对称性:两个结点间只可能有一个箭头方向, 所以将箭头默认为从下→上,可省略箭头。 (3传递性:由于有ab,bCER,则ac∈R, 故只画a,b,b,C对应的边,省略边a,C。 第8页 偏序集哈斯图(Hase图)的画法 n令A是偏序集,xyz∈A 作图规则: (1)用“°”表示A中元素。 (2)若xy,且xy,则将结点y画在结点x的上 方 n(3若xy,x且没有不同于xy的x,使得 x,z,则在xy之间连一直线。 n方法:分层法 般先从最下层结点(全是序偶的第一元素(射 出的边,逐层向上画,直到最上层结点全是序 偶的第二元素(射入的边)。 第9页 例3-121和3-122 CK 0 n它们的Hase图分别如下:8 右图是全序,它的 6 Hase图是一条直 2线,所以全序也叫 线序,或链。 哈斯图的意义在于:元素之间从下向上有线相连,则这 两个元素存在着偏序关系;反之则不存在偏序关系。 第10页