离散数学 ch2.二元关系(5、6、7节).pptVIP

2-5 次序关系 次序关系也是常遇到的重要关系，例如： 数值的≤、＜、≥、＞关系； 集合的?、?关系； 图书馆的图书按书名的字母次序排序； 词典中的字(词)的排序； 计算机中文件按文件名排序； 程序按语句次序执行；……. 本节讨论几种次序关系。 一. 偏序关系(partial order relation) 定义1：R是A上的关系，如果它是自反、反对称和传递的，则称R 是A上的偏序关系。并称(A,R)是偏序集。 例如数值的“≤”或“≥”关系和集合的“?”都是偏序关系。 因为数值的“≤”是熟知的偏序关系，所以用符号“≤” 表示任意偏序关系。 但要注意!!“≤”不一定是“小于或等于”的含义;不是 指数值的大小而是指偏序中元素位置的先后。 例1 : A={1,2,4,6}, 设≤是A中的整除关系。显然“≤”是自反、反对称和传递的，即它是个偏序。 实数集R上的“＜”关系不是偏序关系。2A上的真包含关系“ ”也不是偏序关系。 二.全序(线序、链) 1.定义：(A,≤）是偏序集，如果对任何x,y∈A，如果x与y都是可比较的（即都有x≤y，或y≤x）则称≤是全序关系(线序、链)。 例2 . B={1,2,4,8}, “ ≤”表示整除关系， 则“≤” 是全序关系，有向图： 例3.正整数集N上的小于或等于关系“≤”也是N上的一个全序；而N上的整除关系就仅是一个偏序而不是全序; 。 【注意】：(1）全序的含义：Ａ中每两个元素均能比较大小，即任何两个元素都能排序；而偏序则是部分有序。 （2）二者的关系：全序一定是偏序但偏序不一定是全序。 （3）偏序关系的有向图，不能直观地反映出元素之间的次序，所以下面介绍另外一种图---Hasse图。通过这个图，就能够清晰地反映出元素间的层次。下面介绍Hasse图。 三.偏序集的哈斯图(Hasse图 ) （A,≤）是偏序集，x,y∈Ａ 2.偏序集Hasse图的画法： 令（A,≤）是偏序集， (1).有限集A上偏序关系“≤”的次序图具有#A个结点， 用“ 。”表示A中元素。 (2).如果x≤y,且x≠y，则结点y要画在结点x的上方。 (3). 如果x≤y,且在集A中不存在任何z∈A,使得z介于x与y之间，则 x与y之间用一条直线连接。 (4). 一般先从最下层结点(全是射出的边与之相连)，逐层向上画，直到最上层结点(全是射入的边与之相连)。(采用抓两头，带中间的方法 ) 【注意】：实数全体，平面点集是无法用Ｈａｓｓｅ图表示的。一般来说，对有限集用Ｈａｓｓｅ图比较好，对可列集只能示意一下，对不可列无限集是没法表示的，因为任二个数之间一定还有别的数。 如例1 A={1,2,4,6}, ≤表示整除关系，则≤是个偏序。 例2 .B={1,2,4,8},≤表示整除关系，则≤是全序关系， 它们的有向关系图如下： 它们的Ｈasse图分别如下： 见右图，是全序，它的Ｈasse图是一条直线，所以 全序也叫线序，或链。是从它的Hasse图得名。 　 练习： C={1,2,3,6,12,24,36}, D={1,2,3,5,6,10,15,30} ≤ 是C、D上整除关系：(Ｃ,≤）, （Ｄ,≤）的Hasse图， 以及A={a,b,c} （P(A),?）的Hasse图： 四.偏序集中的重要元素 在格和布尔代数中，要用到下面一些术语。 设（X,≤）是偏序集，Y是X的非空子集。 一.极小元与极大元 设集合X上有一个偏序关系≤且设Y是 X的子集，则 (1）如果存在一个元素y∈Y且在Y中找不到元素y’有y’ ≠y且y ≤ y’ 则称y是Y的极小元 .） （在Y中没有比y更小的元素了，y就是极小元） （2）如果存在一个元素y∈Y且在Y中找不到元素y’有 y’ ≠y且 y’ ≤ y ，则称y是Y的极大元 . (在Y中没有比y更大的元素了，y就是极大元) 举例给定（C,≤） 的Hasse图如图所示： 从Hasse图找极小(大)元： 子集中处在最下(上)层 的元素是极小(大)元。 二.最小元与最大元 （1）如果存在一个元素y∈Y对每一个y’∈Y 均有y ≤ y’ 则称y是Y的最小元 (最小元y是Y中元素，该元素比Y中所有元素都小) （1）如果存在一个元素y∈Y对每一个y’∈Y 均有y’ ≤ y 则称y是Y的最大元 (最大元y是Y中元素，该元素比Y中所有元素都大) 举例，给定（C,≤）的Hasse图如图所示： 从Hasse图找最小(大)元：子集中如果只有唯一的极 小(大)元，则这个 极小(大)元，就是 最小(大)元。否则 就没有最小(大)元。 下面介绍最小(大)元的唯一定理