第六章-集合代数PPT课件_第1页
第六章-集合代数PPT课件_第2页
第六章-集合代数PPT课件_第3页
第六章-集合代数PPT课件_第4页
第六章-集合代数PPT课件_第5页
已阅读5页,还剩47页未读 继续免费阅读

下载本文档

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

文档简介

.,1,目录序言第一章集合第二章关系第三章函数第四章代数系统第五章格与布尔系统第六章图论,.,2,离散的数学结构DiscreteMathematicStructures,离散数学简介。内容:集合论、代数系统、布尔代数、图论、数理逻辑。离散数学具有抽象性、非线性、非寻绎性、构造性、结构性、整体性等结构性数学特点。方法和手段证明方法:包括(数学)归纳法、演绎法、反证法、归谬法、二难法、二分法、枚举法(穷举法)、相容排斥法等方法,特别着重于存在性、结构性、构造性方法,以及各部分内容自己所特有的方法。,.,3,第一章集合(set).集合理论中的一些基本概念个体与集合之间的关系集合的表示法集合与集合之间的关系幂集2.集合代数集合的基本运算集合的补运算集合的交运算和并运算集合的宏运算,.,4,第一章集合(set).集合理论中的一些基本概念1.凡具有某种特殊性质的对象的汇集称之为集。莫斯科大学的那汤松教授2.凡可供吾人思维的,不论它有形或无形,都叫做物。具有某种条件的物,称它们的全部谓之一集。复旦大学的陈建功教授3.集就是“乌合之众”。不考虑怎样“乌合”起来的,众可以具体,可以抽象。南开大学的杨宗磐教授任意性:组成集合的元素任意;构成的法则任意;什么都可以构成集合,不加任何限制。,.,5,4.集合是由总括某些个体成一个整体而成的。对于每个个体,只设其为可思考的对象,辨别它的异同。个体之间并不需要有任何关系。集合论之父G.Cantor(1845-1918)事实:(a)承认集合的存在性。即,接受集合概念;(b)承认集合是由一些个体(对象)组成的。这些个体称为该集合的成员或元素(member,element);(c)承认个体是可辩认的。即,一个个体要么是一个集合的成员,要么不是;二者必居其一,也只居其一。确定性:确定性是说集合确定;个体确定;集合与个体之间的关系确定。,.,6,集合的概念:1.个体(元素)2.个体的可辨认性3.集合(动词,汇到一块)通常用小写拉丁字母表示个体:a、b、c、d、通常用大写拉丁字母表示集合:A、B、C、D、有时还用德文花写字母表示集合:,关于个体的辨认有赖于各方面公认的知识。一.个体与集合之间的关系:个体与集合之间的关系称为属于关系。对于某个个体a和某个集合A而言,只有两种可能:,.,7,(1)a属于(belongto)A,记为aA(记号是希腊字i的第一个字母,意思是“是”。由意大利数学家G.Peano首先采用),同时称a是A的元素或A的成员。(2)a不属于A,记为aA或aA,称a不是A的元素或a不是A的成员。判断个体a属于A还是不属于A,必须使用个体的可辨认性。,.,8,二.集合的表示法(用花括号表示集合):(1)文字表示法:用文字表示集合的元素,两端加上花括号。比较粗放。比较适合在对集合中的元素了解甚少、不详,难以用精确的数学语言来刻划时使用。(2)元素列举法(罗列法):将集合中的元素逐一列出,两端加上花括号。比较适合集合中的元素有限(较少或有规律),无限(离散而有规律)的情况。(3)谓词表示法:x:P(x)或者xP(x)其中:P表示x所满足的性质(一元谓词)。比较适合在对集合中的元素性质了解甚详,且易于用精确的数学语言来刻划时使用。,.,9,外延(extension):集合x:P(x)称为性质谓词P(x)的外延;内涵(intension,connotation):性质谓词P(x)称为集合x:P(x)的内涵;采用谓词法定义集合,关键是要得出内涵P(x),并且显然有如下的:概括原理:集合x:P(x)恰由那些满足性质谓词P(x)的元素组成。即xx:P(x)(当且仅当)P(x)真。,.,10,悖论(paradox):所谓悖论是指这样一个所谓的命题P,由P真立即推出P假;由P假立即推出P真;即P真P假。理发师悖论:某偏远小山村仅有一位理发师。这位理发师规定:他只给那些不给自己刮脸的人刮脸。那么要问:这位理发师的脸由谁来刮?如果他给自己刮脸,那么,按他的规定,他不应该给自己刮脸;如果他不给自己刮脸,那么,按他的规定,他应该给自己刮脸;,.,11,罗素悖论(Russellparadox(1902):罗素1902年在集合论中也发现了如下的悖论。他构造了这样一个集合S=x:xx然后他提出问题:SS?如果SS,那么,按罗素给S的定义,则应有SS;如果SS,那么,按罗素给S的定义,则应有SS;罗素悖论的发现,几乎毁灭集合论,动摇数学的基础,倾危数学的大厦。直接引发了数学的第三次危机。,.,12,为了解决集合论中的悖论问题,人们产生了类型论和形式化公理化集合论(ZF和ZFC公理系统),以求排除集合论中的悖论。近年来,基于ZFC公理系统和一阶逻辑(谓词逻辑),人们提出了抽象的计算机程序设计语言_Z语言。在公理化集合论中,人们引进了类(class)的概念。本章所讲解的集合论是朴素(naive)集合论;所讨论的集合一般也不会产生悖论。,.,13,三.集合的名字:(1)大写的拉丁字母:例如A、B;(2)小写的希腊字母:例如、;(3)花写的徳文字母:例如,;不够用时可以加下标。同一个集合可以有几个名字。四.集合的相等(equality):外延性原理:两个集合相等,当且仅当,它们的成员完全相同。即A=Bx(xAxB);两个集合不相等,记为AB。,.,14,无序性:集合中的元素是无序的。因此,为了使用方便,可任意书写集合中元素的顺序。但一般情况下,通常采用字母序、字典序;有时,还需要强行命名一种序。(2)无重复性:集合中元素的重复是无意义的。包(bag):若允许元素重复称为包。集合的性质:任意性、确定性、无序性、无重复性。,.,15,五.空集(empty,null,voidset):记为空集是没有成员的集合。即x(x)(空集公理);所以=;空集是集合(作这点规定是运算封闭性的要求)。空集是唯一的。因为若有两个空集,则它们有完全相同的元素(都没有任何元素),所以它们相等,是同一集合。六.全集(universeofdiscourse):记为X全集是所要研究的问题所需的全部对象(元素)所构成的集合。全集给个体(研究的对象)划定适当的范围。,.,16,七.单元素集合(singletonset):只含一个元素的集合称为单元素集。例如a;张三;左边是空集;右边不是空集,而是单元素集合,有一个成员;这说明:差别在于级别。即,右边的集合级别高。单元素集合是构造复杂集合的原子。,.,17,八.子集(subset):对于两个集合A,B,若A中的每个元素x都是B的一个元素,则称A包含在B中(或者B包含A),记为AB。同时称A是B的子集(称B是A的超集(superset))。即ABx(xAxB)。真子集(propersubset):称A是B的真子集或者A真包含在B中(或者B真包含A),记为AB。即ABABAB。,.,18,子集的两种特殊情况(平凡子集):(1)空集(见下面定理2);(2)每个集合自己(见下面定理1的(1));九.集合与集合之间的关系:集合与集合之间的关系:(1)B包含A,ABx(xAxB);(2)A包含B,BAx(xBxA);(3)A等于B,A=Bx(xBxA)ABBA;(4)A与B互不包含,(AB)(BA)x(xAxB)y(yByA);,.,19,定理1.设A,B,C为任意三个集合。那么(1)自反性:AA(每个集合是它自己的子集);(2)反对称性:ABBAA=B;(3)传递性:ABBCAC;证明.(采用逻辑法)(1)x(xAxA)(同一律:pp)AA所以包含关系是自反的;(2)ABBAx(xAxB)x(xBxA)x(xAxB)(xBxA)(量词对的分配律:xA(x)xB(x)x(A(x)B(x)x(xAxB)A=B所以包含关系是反对称的;,.,20,(3)ABBCx(xAxB)x(xBxC)x(xAxB)(xBxC)(量词对的分配律:xA(x)xB(x)x(A(x)B(x)x(xAxC)(假言)三段论原则:(pq)(qr)pr)AC所以包含关系是传递的。,.,21,定理2.空集是任一集合的子集。即A。证明.(采用逻辑法)x(x)(空集的定义)x(x)x(xxA)(由析取构成式及联结词归约有:p(pq)(pq)A。,.,22,十.幂集(powerset):定义1.幂集一个集合A的所有子集构成的集合称为A的幂集。记为2A(或P(A),即2A=B:BA。A的两个平凡子集和A都属于A的幂集。即2A,A2A。例1.若A=1,2,3,则2A=,1,2,3,1,2,1,3,2,3,1,2,3。注:(1)包含关系两边必须是集合,并且这两个集合的级别(广义上)相同;(2)属于关系左边是元素(广义上),右边是集合,两边级别差一级。,.,23,定义2.基数一个有穷集合(有限集合元素个数有限的集合)A中元素的个数称为A的基数。记为|A|(或A,)。基数的性质:(1)齐性:|=0;(2)非负性:|A|0(对任何集合A);定理3.若A是有限集合,则有|2A|=2|A|。证明.由于集合A有限,故可设A=a1,a2,an,于是|A|=n。A的子集按其基数大小可分为0,1,2,n共n+1类。,.,24,A的所有k个元素的子集(基数为k的类)为从n个元素中取k个元素的组合数。另外,因A,故(按加法原理)2A=1+=但由于二项式定理(x+y)n=xkyn-k令x=y=1,则有2n=,从而,有|2A|=2n=2|A|。,.,25,定理4.若A,B是两个集合,那么,A=B2A=2B。证明.):一方面,AA(自反性)A2A(因为2A=B:BA)A2B(充分性条件:2A=2B)AB(因为2B=A:AB)另一方面,BB(自反性)B2B(因为2B=A:AB)B2A(充分性条件:2A=2B)BA(因为2A=B:BA)因此,由包含关系的反对称性,得到A=B。,.,26,2.集合代数集合的基本运算定义1.余(补或非)运算(absolute)complment)设X是全集,一元运算:2X2X对任何集合AX,使得A=x:xXxA(当全集明确时,A=x:xA)称为集合的余运算。称A是A关于X的余集。余运算有时也记为,或A或A。,.,27,定理1(1.3).余运算基本定理设X是全集,A,B是X的子集。则(1)(A)=A;反身律(对合律)(2)ABBA;换质位律(逆否律)(3)A=BA=B;(4)X=,=X。零壹律证明.(采用逻辑法)(1)对任何元素xX,x(A)xAxA所以(A)=A;,.,28,(4)对任何元素x,xXxXx所以X=;对任何元素x,xxxX(已证:X=)xX所以=X。,.,29,定义1.2.交运算、并运算(intersection,union)设X是全集。(1)二元运算:2X2X2X对任何集合A,BX,使得AB=x:xAxB称为集合的交运算。称AB为A与B的交集。英语读作cap(帽子)。若AB=,则称A与B互不相交(pairwise)disjoint)。(2)二元运算:2X2X2X对任何集合A,BX,使得AB=x:xAxB称为集合的并运算。称AB为A与B的并集。英语读作cup(酒杯)。,.,30,定理2.交、并、余运算的基本定理设X是全集,A,B,C是X的三个子集。则(1)AA=A,AA=A;幂等律(2)AA=,AA=X;互补律(2)AX=A,AX=X;零壹律(2”)A=,A=A;零壹律(3)AAB,BAB;上界ABA,ABB;下界(3)ACBCABC;上确界(3”)CACBCAB;下确界(4)A(AB)=A,A(AB)=A;吸收律(5)AB=BA,AB=BA;交换律(6)(AB)C=A(BC),结合律(AB)C=A(BC);(7)A(BC)=(AB)(AC),分配律A(BC)=(AB)(AC)。,.,31,证明.(3)(采用逻辑法)对任何元素xX,xABxAxBxCxC(已知条件:AC,BC)xC(幂等律:ppp)所以,ABC。,.,32,(7)先证:A(BC)(AB)(AC)(采用元素法)对任何元素xX,若xA(BC),则xA,且xBC。于是xA,且xB或者xC。若xB,则xA且xB,于是xAB;若xC,则xA且xC,于是xAC;综合xAB或者xAC,因此x(AB)(AC);所以,A(BC)(AB)(AC)。次证:(AB)(AC)A(BC)(采用包含法)由(3)有ABA,ABBBC(逐步放大法)。于是根据(3”)可得ABA(BC)同理可得ACA(BC)于是根据(3)可得(AB)(AC)A(BC)。最后,根据包含关系的反对称性,就得到A(BC)=(AB)(AC)。,.,33,定理3.deMorgan律(对偶律)设A,B为两个集合。则(1)(AB)=AB,(2)(AB)=AB。证明.只证(1)先证:(AB)AB(采用包含法)由定理2(3)有AAB,BAB于是由定理1(2)可得(AB)A,(AB)B再用定理2(3”),就有(AB)AB;次证:AB(AB)(采用逻辑法),.,34,对任何元素xX,xABxAxBxAxBxAB(否则xABxAxB,这与xAxB矛盾)x(AB)所以AB(AB)根据包含关系的反对称性,就得到(AB)=AB。定理4设A,B为两个集合。则下面三式等价。(1)AB;(2)AB=B;(3)AB=A。,.,35,证明.(采用循环论证法)(1)(2):(采用包含法)根据定理2(3),得到BAB;由已知条件AB,及自反性BB,根据定理2(3),得到ABB;最后,根据包含关系的反对称性,就得到AB=B。(2)(3):(采用变换法(公式法)AB=A(AB)(根据(2)条件AB=B)=A(根据定理2(4)吸收律)即AB=A。(3)(1):(采用:包含法)A=AB(根据(3)条件AB=A)B(根据定理2(3)ABB)即AB。,.,36,定义3.差运算(difference)设X是全集。二元运算:2X2X2X对任何集合A,BX,使得AB=x:xAxB称为集合的差运算。称AB为A和B的差集。差集也称为相对补(relativecomplement)。而余运算可看成绝对补。即A=XA。由差运算、交运算、余运算的定义知AB=AB,称差运算为宏运算。注:请问:交、并、余三个运算是线性无关的吗?根据反身律、deMorgan律,有AB=(AB);AB=(AB)。,.,37,定理5.差运算基本定理设X是全集,A,B,C是X的三个子集。则(1)ABA;(2)ABAB=;(3)AA=;(4)XA=A;AX=;(5)A=A;A=;(6)A(BC)=(AB)(AC);交对差的分配律(7)A(BC)=(AB)(AC);(8)A(BC)=(AB)(AC);相对补的deMorgan律(9)A(BC)=(AB)(AC)。相对补的deMorgan律,.,38,证明.(采用包含法和变换法(公式法)(1)AB=ABA(根据定理2(3)ABA);(2)AB=AB=(AB)B(由已知AB根据定理4(3)有AB=A)=A(BB)(结合律)=A(互补律BB=)=(零壹律);(7)A(BC)=A(BC)=A(BC)=A(BC)(deMorgan律,反身律)=(AB)(AC)(分配律)=(AB)(AC);,.,39,(6)A(BC)=A(BC)=(ABC)(零壹律,结合律)=(B)(ABC)(零壹律)=(BAA)(ABC)(互补律,结合律)=(ABA)(ABC)(交换律)=(AB)(AC)(分配律)=(AB)(AC)(deMorgan律)=(AB)(AC);,.,40,(8)A(BC)=A(BC)=A(BC)(deMorgan律)=(AA)(BC)(幂等律)=(AB)(C)(结合律,交换律)=(AB)(AC);(9)A(BC)=A(BC)=A(BC)(deMorgan律)=(AB)(C)(分配律)=(AB)(AC)。,.,41,定义4.对称差(环和)运算(symmetricdifference)设X是全集,二元运算:2X2X2X,对任何集合A,BX,使得AB=x:(xAxB)(xBxA)称为集合的对称差运算,称AB为A和B的对称差集。由环和运算和并、差运算的定义可知AB=(AB)(BA)由环和运算和交、并、余运算的定义可知AB=(AB)(BA)因此环和运算也是宏运算。,.,42,定理6.环和运算基本定理设X是全集,A,B,C是X的三个子集。则(1)AB=(AB)(AB)=(AB)(AB);(2)A=A;(空集是环和的幺元)AX=A;(3)AA=;(自己是自己(环和)的逆元)AA=X;(4)AB=AB;(5)(AB)=AB=AB;(6)AB=BA;(交换律)(7)A(BC)=(AB)C;(结合律)(8A(BC)=(AB)(AC);(交对环和的分配律)(9)AB=ACB=C。(消去律),.,43,证明.(采用变换法(公式法)只证(5),(7),(9)(5)(AB)=(AB)(AB)=(AB)(AB)(deMorgan律)=(AB)(AB)(deMorgan律,反身律)=(AB)A)(AB)B)(分配律)=(AA)(BA)(AB)(BB)(分配律,结合律)=(AA)(AB)(AB)(BB)(交换律)=(AB)(AB)(互补律)=(AB)(AB)(零壹律)AB=(AB)(AB)=(AB)(AB)(反身律)=(AB)(AB)(交换律)AB=(AB)(AB)=(AB)(AB)(反身律)所以(AB)=AB=AB=(AB)(AB);,.,44,(7)A(BC)=(A(BC)(A(BC)=(A(BC)(BC)(A(BC)(BC)(根据本定理的(5)=(ABC)(ABC)(ABC)(ABC)(分配律,结合律)(AB)C=(AB)C)(AB)C)=(AB)(AB)C)(AB)(AB)C)(根据本定理的(5)=(ABC)(ABC)(ABC)(ABC)(分配律,结合律)=(ABC)(ABC)(ABC)(ABC)(交换律,结合律)所以A(BC)=(AB)C;,.,45,(9)B=B(根据本定理的(2)=(AA)B(根据本定理的(3)=A(AB)(根据本定理的(7)结合律)=A(AC)(已知条件AB=AC)=(AA)B(根据本定理的(7)结合律)=C(根据本定理的(3)=C(根据本定理的(2)。,.,46,定义5.环积运算设X是全集,二元运算:2X2X2X对任何集合A,BX,使得AB=x:(xAxB)(xBxA)

温馨提示

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

评论

0/150

提交评论