离散数学第三版_第1页
离散数学第三版_第2页
离散数学第三版_第3页
离散数学第三版_第4页
离散数学第三版_第5页
已阅读5页,还剩41页未读 继续免费阅读

下载本文档

版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领

文档简介

1、1,第1章数学语言与证明方法,2,第1章数学语言与证明方法,1.1常用的数学符号1.2集合及其运算1.3证明方法概述1.4递归定义,3,1.2集合及其运算,集合及其表示法包含(子集)与相等空集与全集集合运算(,-,)基本集合恒等式包含与相等的证明方法,4,集合的概念,朴素集合论(康托,G.Cantor),罗素(Russell)悖论集合是数学中最基本的概念,没有严格的定义理解成某些个体组成的整体,常用A,B,C等表示元素:集合中的个体xA(x属于A):x是A的元素xA(x不属于A):x不是A的元素无穷集:元素个数无限的集合有穷集(有限集):元素个数有限的集合.|A|:A中元素个数k元集:k个元素

2、的集合,k0,5,集合的表示法,列举法如A=a,b,c,d,N=0,1,2,描述法x|P(x)如N=x|x是自然数说明:(1)集合中的元素各不相同.如,1,2,3=1,1,2,3(2)集合中的元素没有次序.如,1,2,3=3,1,2=1,3,1,2,2(3)有时两种方法都适用,可根据需要选用.常用集合自然数集N,整数集Z,正整数集Z+,有理数集Q,非零有理数集Q*,实数集R,非零实数集R*,复数集C,区间a,b,(a,b)等,6,包含与相等,包含(子集)ABx(xAxB)不包含ABx(xAxB)相等A=BABBA不相等ABABBA真包含(真子集)ABABAB例如,A=1,2,3,B=x|xR|

3、x|1,C=x|xRx2=1,D=-1,1,CB,CB,CA,AB,BA,C=D性质(1)AA(2)ABBCAC,7,空集与全集,空集:不含任何元素的集合例如,x|x20 xR=定理1.1空集是任何集合的子集证用归谬法.假设不然,则存在集合A,使得A,即存在x,x且xA,矛盾.推论空集是惟一的.证假设存在1和2,则12且12,因此1=2全集E:限定所讨论的集合都是E的子集.相对性,8,幂集,幂集P(A):A的所有子集组成的集合,即P(A)=x|xA例如,设A=a,b,cA的0元子集:A的1元子集:a,b,cA的2元子集:a,b,a,c,b,cA的3元子集:a,b,cP(A)=,a,b,c,a,

4、b.a,c,b,c,a,b,c,定理1.2如果|A|=n,则|P(A)|=2n证,9,集合运算,并AB=x|xAxB交AB=x|xAxB相对补AB=x|xAxB对称差AB=(AB)(BA)=(AB)(AB)绝对补A=EA=x|xA例如设E=0,1,9,A=0,1,2,3,B=1,3,5,7,9,则AB=0,1,2,3,5,7,9,AB=1,3,AB=0,2,AB=0,2,5,7,9,A=4,5,6,7,8,9,B=0,2,4,6,8说明:1.只使用圆括号2.运算顺序:优先级别为(1)括号,(2)和幂集,(3)其他.同级别的按从左到右运算,10,实例,例1设E=x|x是北京某大学学生,A,B,C

5、,D是E的子集,A=x|x是北京人,B=x|x是走读生,C=x|x是数学系学生,D=x|x是喜欢听音乐的学生.试描述下列各集合中学生的特征:,(AD)C=,AB=,(A-B)D=,DB=,x|x是北京人或喜欢听音乐,但不是数学系学生,x|x是外地走读生,x|x是北京住校生,并且喜欢听音乐,x|x是不喜欢听音乐的住校生,11,文氏图表示,12,集合运算(续),并和交运算可以推广到有穷个集合上A1A2An=x|xA1xA2xAnA1A2An=x|xA1xA2xAn并和交运算还可以推广到可数无穷个集合上A1A2=x|i(i=1,2,)xAiA1A2=x|i(i=1,2,)xAi,13,实例,例2设A

6、i=0,1/i),Bi=(0,i),i=1,2,则,0,1),0,1),0,1/n),0,(0,n),(0,+),(0,1),(0,1),14,基本集合恒等式,1.幂等律AA=A,AA=A2.交换律AB=BA,AB=BA3.结合律(AB)C=A(BC)(AB)C=A(BC)4.分配律A(BC)=(AB)(AC)A(BC)=(AB)(AC)5.德摩根律绝对形式(BC)=BC,(BC)=BC相对形式A(BC)=(AB)(AC)A(BC)=(AB)(AC),15,基本集合恒等式(续),6.吸收律A(AB)=A,A(AB)=A7.零律AE=E,A=8.同一律A=A,AE=A9.排中律AA=E10.矛盾

7、律AA=11.余补律=E,E=12.双重否定律A=A13.补交转换律A-B=AB,16,基本集合恒等式(续),14.关于对称差的恒等式(1)交换律AB=BA(2)结合律(AB)C=A(BC)(3)对的分配律A(BC)=(AB)(AC)(4)A=A,AE=A(5)AA=,AA=E,注意:对没有分配律,反例如下A=a,b,c,B=b,c,d,C=c,d,eA(BC)=a,b,cb,e=a,b,c,e(AB)(AC)=a,b,c,da,b,c,d,e=e,两者不等,17,基本集合恒等式(续),15.AAB,BAB.16.ABA,ABB.17.A-BA.18.AB=BABABAA-B=.19.AB=A

8、CA=B,即有消去律.,18,证明集合包含或相等,方法一.根据定义证明方法二.利用已知集合等式或包含式,通过集合演算证明例3证明:(1)AB=BA(交换律)证xxABxA或xB,自然有xB或xAxBA得证ABBA.同理可证BAAB.,19,例3(续),(2)A(BC)=(AB)(AC)(分配律)证xxA(BC)xA或(xB且xC(xA或xB)且(xA或xC)x(AB)(AC)得证A(BC)(AB)(AC).类似可证(AB)(AC)A(BC).(3)AE=E(零律)证根据并的定义,有EAE.根据全集的定义,又有AEE.,20,例3(续),(4)AE=A(同一律)证根据交的定义,有AEA.又,xx

9、A,根据全集E的定义,xE,从而xA且xE,xAE得证AAE.,21,实例,例4证明A(AB)=A(吸收律)证利用例3证明的4条等式证明A(AB)=(AE)(AB)(同一律)=A(EB)(分配律)=A(BE)(交换律)=AE(零律)=A(同一律)对其余的基本集合恒等式不再一一证明(请自行证明),今后把它们作为已知的集合等式使用.,22,实例,例5证明(A-B)-C=(A-C)-(B-C)证(A-C)-(B-C)=(AC)(BC)(补交转换律)=(AC)(BC)(德摩根律)=(AC)(BC)(双重否定律)=(ACB)(ACC)(分配律)=(ACB)(A)(矛盾律)=ACB(零律,同一律)=(AB

10、)C(交换律,结合律)=(AB)C(补交转换律),23,实例,例6证明(AB)(AC)=(BC)-A证(AB)(AC)=(AB)-(AC)(AC)-(AB)=(AB)AC)(AC)AB)=(BAC)(CAB)=(BC)(CB)A=(B-C)(C-B)A=(BC)-A,24,实例,例7设A,B为任意集合,证明:若AB,则P(A)P(B)证xxP(A)xAxB(已知AB)xP(B),25,实例,例8证明AB=AB-AB.证AB=(AB)(AB)=(AA)(AB)(BA)(BB)=(AB)(BA)=(AB)(AB)=AB-AB,26,1.3证明方法概述,直接证明法间接证明法归谬法(反证法)数学归纳法

11、穷举法构造证明法空证明法平凡证明法举反例命题为假的证明,27,待证明的命题的形式,形式1.若A,则BAB形式2.A当且仅当BAB形式3.证明BB都可归结为形式1,28,直接证明法,做法假设A为真,证明B为真.例1若n是奇数,则n2也是奇数.证假设n是奇数,则存在kN,n=2k+1.于是,n2=(2k+1)2=2(2k2+2k)+1得证n2是奇数.,29,间接证明法,做法证明“若B不成立,则A不成立,即BA”例2若n2是奇数,则n也是奇数.证用间接证明法.只要证:若n是偶数,则n2也是偶数.假设n是偶数,则存在kN,n=2k.于是,n2=(2k)2=2(2k2)得证n2是偶数.,30,归谬法(反

12、证法),做法设A成立,假设B不成立,推出矛盾.例3若A-B=A,则AB=证用归谬法,假设AB,则存在x,使得xABxA且xBxA-B且xB(A-B=A)(xA且xB)且xBxB且xB,矛盾,31,归谬法(续),例4证明是无理数证假设是有理数,存在正整数n,m,使得=m/n,不妨设m/n为既约分数.于是m=n,m2=2n2,m2是偶数,从而m是偶数.设m=2k,得(2k)2=2n2,n2=2k2,这又得到n也是偶数,与m/n为既约分数矛盾.间接证明法是归谬法的特殊形式:由B不成立推出A不成立,与前提A成立矛盾.,32,穷举法(分情况证明法),待证明的命题形式为A=A1A2AkB.做法证明A1B,

13、A2B,AkB均为真例5证明:max(a,max(b,c)=max(max(a,b),c)证,33,构造性证明法,要证明存在具有某种性质的客体做法在A为真的条件下,构造出具有这种性质的客体例6对于每个正整数n,存在n个连续的正合数.证令x=(n+1)!则x+2,x+3,x+n+1是n个连续的正合数:i|x+i,i=2,3,n+1,34,非构造性证明,例7对于每个正整数n,存在大于n的素数.证令x等于所有小于等于n的素数的乘积加1,则x不能被所有小于等于n的素数整除.于是,x或者是素数,或者能被大于n的素数整除.因此,存在大于n的素数.,35,空证明法与平凡证明法,空证明法(前件假证明法)做法证

14、明A恒为假例如设nN,记P(n):若nl,则n21.试证明P(0)为真P(0):若01,则021.平凡证明法(后件真证明法)做法证明B恒为真,而不需要假设A为真.例如若ab,则a0b0.常在归纳证明的归纳基础中出现,36,归纳与猜想数学研究的方法,命题的提出例如,观察1=121+3=221+3+5=321+3+5+7=42,猜想:前n个奇数之和等于n2,即1+3+5+(2n-1)=n2,37,数学归纳法的步骤,命题形式:x(xNxn0),P(x)(1)归纳基础证P(n0)为真(2)归纳步骤x(xn0),假设P(x)为真,证P(x+1)为真.称“P(x)为真”为归纳假设例8证明:对所有n1,1+

15、3+5+(2n-1)=n2证归纳基础.当n=1时,1=12,结论成立.归纳步骤.假设对n1结论成立,则有1+3+5+(2n-1)+(2n+1)=n2+(2n+1)=(n+1)2得证当n+1时结论也成立.,38,数学归纳法的步骤(续),注意:归纳基础与归纳步骤两者缺一不可反例1命题n1,21+22+2n=2n+1假设n1,结论成立,则21+22+2n+2n+1=2n+1+2n+1=2n+2对n+1结论成立.,39,数学归纳法的步骤(续),反例2观察2n-1-1是否被n整除,40,反例2(续),由上表可能会提出下述命题命题设n3,n是素数的充分必要条件是2n-1-1被n整除.但此命题不真.561=

16、31117是合数,而2560-1能被561整除.,41,第二数学归纳法,归纳基础证明P(n0)为真归纳步骤x(xn0),假设P(n0),P(n0+1),P(x)为真,证P(x+1)为真.归纳假设y(n0yx),P(y)为真例9任何大于等于2的整数均可表成素数的乘积证归纳基础.对于2,结论显然成立.归纳步骤.假设对所有的k(2kn)结论成立,要证结论对n+1也成立.若n+1是素数,则结论成立;否则n+1=ab,2a,bn.由归纳假设,a,b均可表成素数的乘积,从而n+1也可表成素数的乘积.得证结论对n+1成立.,42,注释,归纳基础证P(n0),P(n0+1),P(n1)为真,n0n1.例10可

17、用4分和5分邮票组成n分邮资,n12.证归纳基础.12=34,13=24+5,14=25+4,15=35,得证对n=12,13,14,15时结论成立.归纳步骤.设n15,假设对12,13,n结论成立,由12n-3n和归纳假设,n-3分邮资可用4分和5分邮票组成,再加一张4分邮票即可得到n+1分邮资,得证结论对n+1也成立.,43,命题为假的证明举反例,例11证明下述命题不成立:若AB=AC,则B=C.证明反例:取A=a,b,B=a,b,c,C=a,b,d,有AB=AC=a,b但BC,故命题不成立.,44,1.4递归定义,递归定义(归纳定义)用自身定义自身称作例如,an可以递归定义如下:a0=1an=an-1a,n=1,2,例1.12菲波那契数列fn递归定义如下:f0=1,f1=1fn=fn-1+fn-2,n=2,3,f0=1,f1=1,f2=2,f3=3,f4=5,f5=8,f6=13,.,45,实例,例1.13

温馨提示

  • 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

评论

0/150

提交评论