离散数学课件-第4章.ppt
《离散数学课件-第4章.ppt》由会员分享,可在线阅读,更多相关《离散数学课件-第4章.ppt(87页珍藏版)》请在三一办公上搜索。
1、1,离散数学Discrete Mathematics,汪荣贵 教授合肥工业大学软件学院专用课件2010.03,学习内容,4.1集合的基本知识4.2 序偶与笛卡尔积4.3 关系及其性质4.4 n元关系及其应用4.5 关系的闭包4.6 等价关系4.7 偏序,偏序,一、偏序 定义1:集合S上的关系R,如果它是自反的、反对称的 和传递的,就称为偏序。集合S与偏序R一起叫做偏序集,记作(S,R).例如数值的、关系和集合的都是偏序关系。,【example 1】证明“大于或等于”关系()是整数集合上的偏序。solution:因为对所有整数a,有a a,是自反的。如果a b且b a,那么a=b,因此是反对称的
2、。最后,因为a b和b c,所以是传递的。从而是整数集合上的偏序且(Z,)是偏序集。,【example 2】整除关系“|”是正整数集合上的偏序,因为由前几节所述,它是自反的、反对称的和传递的。我们看到(Z+,|)是偏序集(Z+表示正整数集合)。,【example 3】证明包含关系是集合S的幂集上的偏序。Solution:因为只要A是S的子集,就有A A,是自反的。因为A B和B A推出A=B,因此它是反对称的。最后,因为A B和B C推出A B,是传递的。因此,是P(S)上的偏序,且(P(S),)是偏序集。,在任意一个偏序集中记号a b表示(a,b)R.使用这个记号 是由于“小于或等于”关系是
3、偏序关系的范例。注意:符号 表示任意偏序关系,并不仅仅是“小于或等于”关系。记号ab表示a b但ab.如果ab,我们说“a小于b”或“b大于a”。当a与b是偏序集(S,)的元素时,不一定有a b 或b c。例如,在(P(Z),)中,1,2与1,3没有关系,反之亦然,因为没有一个集合被另一个集合包含。类似地在(Z,|)中,2与3没关系,3与2也没关系。由此得到定义2.,定义2:偏序集(S,)的元素a和b叫做可比的,如果a b 或 b a。当a和b是S的元素并且既没有a b,也没 有b a,则称a与b是不可比的。【example 4】在偏序集(Z+,)中,整数3和9是可比的吗?5和7是可比的吗?整
4、数3和9是可比的,因为3|9.整数5和7是不可比的,因为5不能整除7,并且7也不能整除5.,用形容词“部分的(偏的)”描述偏序是由于一些对元素可能是不可比的。当集合中的每对元素都可比时,这个关系叫做全序。定义3:如果(S,)是偏序集,且S的每对元素都是可比的,则S叫做全序集或线序集,且 叫做全序或线序。一个全序集也叫做链。,【example 5】偏序集(Z,)是全序集,因为只要a和b是整数,就有a b或b a。【example 6】偏序集(Z+,|)不是全序集,因为它包含着不可比的元素,例如5和7.,定义4:对于偏序集(S,),如果是全序,并且S的每 个非空子集都有一个最小元素,就称它为良序集
5、。For example,N是自然数集合,I是整数集合,是小于等于关系,就是良序集。而不是良序集。,定理 所有良序集,一定是全序集。Proof:设为良序集,任取x,y A,则x,y A,它有最小元素。该最小元素或是x,或是y。于是有x y或 y x,所以是全序集。,定理 有限的全序集,一定是良序集。Proof:设A=a1,a2,,an,是全序集。假设它不是良序,必存在非空子集BA,B中无最小元素,因B是有限集,必存在x,y B,使得x与y之间不满足关系,与是全序矛盾。是良序集。,【example 7】正整数的有序对的集合Z+Z+与构成良序集,对于(a1,a2)和(b1,b2),如果a1b1,或
6、如果a1=b1且a2 b2(字典顺序),则(a1,a2)(b1,b2).,在前几章的学习中我们现实了怎样使用良序归纳原则证明关于一个良序集的结果。现在我们叙述并证明这个证明技术是有效的。定理1 良序归纳原理 设S是一个良序集,如果下述条件成立:基础步:P(x0)对S的最小元素为真,且 归纳步:对一切y S,如果P(x)对所有的xy为真,则P(y)为 真。那么P(x)对所有的x S为真。,proof:假若P(x)不对所有的x S为真。那么存在一个元素y S使得P(y)为假。于是集合A=x S|P(x)为假是非空的。因为S是良序的,集合A有最小元素a.易知a不等于x0,因为从基础步知道P(x0)为
7、真。根据a是选自A的最小元素,我们知道对所有的x S(xa)都有P(x)为真。由归纳步这就可以退出P(a)为真。这个矛盾就证明了P(x)必须对所有x S 为真。,二、字典顺序字典顺序是以字母表中的字母顺序为基础的。这是从一个集合上的偏序构造一个集合上的串的序的特殊情况。我们将说明这种构造在任一个偏序集上是怎么做的。,首先,我们将说明怎样在两个偏序集(A1,1)和(A2,2)的笛卡尔积上构造一个偏序。在A1A2上的字典顺序定义如下:如果第一个对的第一个元素(在A1中)小于第二个对的第一个元素,或者第一个元素相等,但是第一个对的第二个元素(在A2中)小于第二个对的第二个元素,那么第一个对小于第二个
8、对。换句话说,(a1,a2)小于(b1,b2),即(a1,a2)(b1,b2)或者a11b1,或者a1=b1且a22b2.把相等加到A1A2上的序就得到偏序。,【example 8】确定在偏序集(ZZ,)中是否有(3,5)(4,8),(3,8)(4,5)和(4,9)(4,11)?这里的 是从Z上通常的关系构造的字典顺序。Solution:因为34,故而(3,5)(4,8),且(3,8)(4,5)。因为(4,9)与(4,11)的第一元素相同,但911,我们有(4,9)(4,11)。下图明显地显示了Z+Z+中比(3,4)小的有序对的集合。,可以在n个偏序集(A1,1),(A2,2),(An,n)的
9、笛卡尔积上定义字典顺序。如下定义A1A2An上的偏序:如果a10 是的a1=b1,ai=bi,且ai+1i+1 bi+1,那么(a1,a2,an)(b1,b2,bn)换句话说,如果在两个n元组不同元素出现的第一位置上等一个n元组的元素小于第二个n元组的元素,那么第一个n元组小于第二个n元组。,【example 9】注意(1,2,3,5)(1,2,4,3),因为这些4元组的前两位相同,但是第一个4元组的第三位3小于第二个4元组的第三位4(这里的4元组上的字典顺序是整数集合上的通常的“小于或等于”关系导出的字典顺序)。,我们现在可以定义串上的字典顺序。考虑偏序集S上的串a1a2an和b1b2bn,
10、假定这些串不相等。设t是m,n中较小的数。定义字典顺序如下:a1a2an小于b1b2bn,当且仅当(a1a2at)(b1b2bt)或者(a1a2at)=(b1b2bt)并且mn 其中这个不等式中的表示St中的字典顺序。换句话说,为确定两个不同串的序,较长的串被切到较短的串的长度t,即t=min(m,n)然后使用St上的字典顺序比较每个船的前t为组成的t元组,如果对应于第一个串的t元组小于第二个串的t元组,或者这两个t元组相等,但是第二个串更长,那么第一个串小于第二个串。,【example 10】考虑小写英语字母串构成的集合。使用在字母表中的字母序,可以构成在串的集合上的字典顺序。如果两个串第一
11、次出现不同字母时,第一个串的字母先于第二个字母,或者如果第一个串和第二个串在所有的位都相同,但是第二个串有更多的字母,那么,第一个串小于第二个串。这种排序和字典使用的排序相同。例如 discreet discrete因为这两个串在第7位首次出现字母,并且 e t.discreet discreetness因为这两个串前8个字母相同,但是第二个串更长。此外 discrete discretion,在有穷偏序集的有向图中有许多可以不必显示出来,因为他们是必须存在的。例如,考虑在集合1,2,3,4上的偏序(a,b)|a b的有向图,参见图a。因为这个关系是偏序,它是自反的并且有向图在所有的顶点都有环
12、,因此,我们不必显示这些环,因为它们是必须出现的。在图b中没有显示这些环。由于一个偏序是传递的,我们不必显示那些由于传递性而必须出现的边。例如,在图c中没有显示边(1,3),(1,4)和(2,4),因为它们是必须出现的。如果假设所有的边的方向是向上的,我们不必显示边的方向;图c没有显示方向。,三、哈塞图(Hasse 图),我们可以使用下面的过程表示一个有穷集上的偏序。从这个关系的有向图开始:(1)自反性:每个顶点都有自回路,省去。(2)反对称性:两个顶点间只可能有一个箭头从左 右,或从下上的方向从小到大安置顶点,可省略箭头。(3)传递性:由于有(a,b),(b,c)R 则(a,c)R故只画(a
13、,b),(b,c)对应的边,省略边(a,c)。,完成以上步骤就得到一个包含着足够表示偏序信息的图,这个图叫作哈塞图,哈塞图(Hasse 图)定义:设是上的一个偏序关系,如果a b,则将画在 下面,且不,使ac,c b,则,间用直线连 接。并符合简化的关系图的绘制,称这样得到关系图为 哈塞图(Hasse图)。,29,2023/9/14,【example 11】画出表示1,2,3,4,6,8,12上的偏序(a,b)|a 整除b的哈塞图。Solution:由这个偏序的有向图开始,如下图a所示。移走所有的环,如下图b所示,然后删去所有由传递性导出的边。这些边是(1,4),(1,6),(1,8),(1,
14、12),(2,8),(3,12).排列所有的边使得方向向上,并且删除所有的箭头得到哈塞图。结果如图c所示。,【example 12】画出幂集P(S)上的偏序(A,B)|A B的哈塞 图,其中S=a,b,c.Solution:关于这个偏序的哈塞图是由相关的有向图得到的,先删除所有的环和所有的由传递性产生的边,即(,a,b),(,a,c),(,b,c),(,a,b,c),(a,a,b,c),(b,a,b,c)和(c,a,b,c).最后,使所有的边方向向上并删除箭头。得到哈塞图如下所示。,【example】:,1(,),2(,)|,3(s1,s2)s1s2,s1,s2p(B)求R1,R2,R3 所表
15、示关系的哈塞图。,具有极值性质的偏序集元素有许多重要应用。偏序集的一个元素叫做极大的,当它不小于这个偏序集的任何其他元素。即a在偏序集(S,)中是极大的,当不存在bS使得ab.类似地,偏序集的一个元素叫做极小的,如果它不大于这个偏序集的任何其他元素。即a在偏序集(S,)中是极小的,如果不存在bS使得ba。使用哈塞图很容易是识别极大元素和极小元素。它们是图中的“顶”元素与“底”元素。,四、极大元素与极小元素,定义极大元与极小元:设(S,)是偏序集,若S,且在S中找不到一个元素b(ba),使ab(ba),则称a为A中的极大元素(极小元素)。y是B的极小元素 y(y B x(x B x y x y)
16、y是B的极大元素 y(y B x(x B x y y x),【example】(N,|)是偏序集,A=2,3,4,5,6,7,8,9则 中极大元素:,极小元素:,注:极大元,极小元并不要求唯一,且同一元素,可以既是极大元,又是极小元,如,。极大元,极小元必须是子集中的元素。,【example 13】偏序集(2,4,5,10,12,20,25,|)的哪些元素时极大的,哪些是极小的?Solution:右图关于这个偏序集的哈塞图显示了极大元素是12,20和25,极小元素时2和5。,通过这个例子可以看出,一个偏序集可以有多于一个的极大元素和多于一个的极小元素。,在偏序集中存在一个元素大于每个其他的元素
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 离散数学 课件

链接地址:https://www.31ppt.com/p-6010512.html