第六章-集合代数课件

整理文档很辛苦,赏杯茶钱您下走!

免费阅读已结束,点击下载阅读编辑剩下 ...

阅读已结束,您可以下载文档离线阅读编辑

资源描述

1目录序言第一章集合第二章关系第三章函数第四章代数系统第五章格与布尔系统第六章图论2离散的数学结构DiscreteMathematicStructures离散数学简介。内容:集合论、代数系统、布尔代数、图论、数理逻辑。离散数学具有抽象性、非线性、非寻绎性、构造性、结构性、整体性等结构性数学特点。方法和手段证明方法:包括(数学)归纳法、演绎法、反证法、归谬法、二难法、二分法、枚举法(穷举法)、相容排斥法等方法,特别着重于存在性、结构性、构造性方法,以及各部分内容自己所特有的方法。3第一章集合(set)§1.集合理论中的一些基本概念个体与集合之间的关系集合的表示法集合与集合之间的关系幂集§2.集合代数集合的基本运算集合的补运算集合的交运算和并运算集合的宏运算4第一章集合(set)§1.集合理论中的一些基本概念1.凡具有某种特殊性质的对象的汇集称之为集。——莫斯科大学的那汤松教授2.凡可供吾人思维的,不论它有形或无形,都叫做物。具有某种条件的物,称它们的全部谓之一集。——复旦大学的陈建功教授3.集就是“乌合之众”。不考虑怎样“乌合”起来的,众可以具体,可以抽象。——南开大学的杨宗磐教授任意性:组成集合的元素任意;构成的法则任意;什么都可以构成集合,不加任何限制。54.集合是由总括某些个体成一个整体而成的。对于每个个体,只设其为可思考的对象,辨别它的异同。个体之间并不需要有任何关系。——集合论之父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,记为aA(记号是希腊字i的第一个字母,意思是“是”。由意大利数学家G.Peano首先采用),同时称a是A的元素或A的成员。(2)a不属于A,记为aA或aA,称a不是A的元素或a不是A的成员。判断个体a属于A还是不属于A,必须使用个体的可辨认性。AaAaAaAa8二.集合的表示法(用花括号{}表示集合):(1)文字表示法:用文字表示集合的元素,两端加上花括号。比较粗放。比较适合在对集合中的元素了解甚少、不详,难以用精确的数学语言来刻划时使用。(2)元素列举法(罗列法):将集合中的元素逐一列出,两端加上花括号。比较适合集合中的元素有限(较少或有规律),无限(离散而有规律)的情况。(3)谓词表示法:{x:P(x)}或者{x︱P(x)}其中:P表示x所满足的性质(一元谓词)。比较适合在对集合中的元素性质了解甚详,且易于用精确的数学语言来刻划时使用。9外延(extension):集合{x:P(x)}称为性质谓词P(x)的外延;内涵(intension,connotation):性质谓词P(x)称为集合{x:P(x)}的内涵;采用谓词法定义集合,关键是要得出内涵P(x),并且显然有如下的:概括原理:集合{x:P(x)}恰由那些满足性质谓词P(x)的元素组成。即x{x:P(x)}(当且仅当)P(x)真。10悖论(paradox):所谓悖论是指这样一个所谓的命题P,由P真立即推出P假;由P假立即推出P真;即P真P假。理发师悖论:某偏远小山村仅有一位理发师。这位理发师规定:他只给那些不给自己刮脸的人刮脸。那么要问:这位理发师的脸由谁来刮?如果他给自己刮脸,那么,按他的规定,他不应该给自己刮脸;如果他不给自己刮脸,那么,按他的规定,他应该给自己刮脸;11罗素悖论(Russellparadox(1902)):罗素1902年在集合论中也发现了如下的悖论。他构造了这样一个集合S={x:xx}然后他提出问题:SS?如果SS,那么,按罗素给S的定义,则应有SS;如果SS,那么,按罗素给S的定义,则应有SS;罗素悖论的发现,几乎毁灭集合论,动摇数学的基础,倾危数学的大厦。直接引发了数学的第三次危机。12为了解决集合论中的悖论问题,人们产生了类型论和形式化公理化集合论(ZF和ZFC公理系统),以求排除集合论中的悖论。近年来,基于ZFC公理系统和一阶逻辑(谓词逻辑),人们提出了抽象的计算机程序设计语言__Z语言。在公理化集合论中,人们引进了类(class)的概念。本章所讲解的集合论是‘朴素(naive)’集合论;所讨论的集合一般也不会产生悖论。)()()()(不能进行运算非集合固有类包含悖论的类可进行运算集合类不包含悖论的类类OK13三.集合的名字:(1)大写的拉丁字母:例如A、B;(2)小写的希腊字母:例如、;(3)花写的徳文字母:例如,;不够用时可以加下标。同一个集合可以有几个名字。四.集合的相等(equality):外延性原理:两个集合相等,当且仅当,它们的成员完全相同。即A=Bx(xAxB);两个集合不相等,记为AB。14(1)无序性:集合中的元素是无序的。因此,为了使用方便,可任意书写集合中元素的顺序。但一般情况下,通常采用字母序、字典序;有时,还需要强行命名一种序。(2)无重复性:集合中元素的重复是无意义的。包(bag):若允许元素重复称为包。集合的性质:任意性、确定性、无序性、无重复性。15五.空集(empty,null,voidset):记为空集是没有成员的集合。即x(x)(空集公理);所以={};空集是集合(作这点规定是运算封闭性的要求)。空集是唯一的。因为若有两个空集,则它们有完全相同的元素(都没有任何元素),所以它们相等,是同一集合。六.全集(universeofdiscourse):记为X全集是所要研究的问题所需的全部对象(元素)所构成的集合。全集给个体(研究的对象)划定适当的范围。16七.单元素集合(singletonset):只含一个元素的集合称为单元素集。例如{a};{张三};{}左边是空集;右边不是空集,而是单元素集合,有一个成员;这说明:差别在于级别。即,右边的集合级别高。单元素集合是构造复杂集合的‘原子’。17八.子集(subset):对于两个集合A,B,若A中的每个元素x都是B的一个元素,则称A包含在B中(或者B包含A),记为AB。同时称A是B的子集(称B是A的超集(superset))。即ABx(xAxB)。真子集(propersubset):称A是B的真子集或者A真包含在B中(或者B真包含A),记为AB。即ABABAB。ABX18子集的两种特殊情况(平凡子集):(1)空集(见下面定理2);(2)每个集合自己(见下面定理1的(1));九.集合与集合之间的关系:集合与集合之间的关系:(1)B包含A,ABx(xAxB);(2)A包含B,BAx(xBxA);(3)A等于B,A=Bx(xBxA)ABBA;(4)A与B互不包含,(AB)(BA)x(xAxB)y(yByA);19定理1.设A,B,C为任意三个集合。那么(1)自反性:AA(每个集合是它自己的子集);(2)反对称性:ABBAA=B;(3)传递性:ABBCAC;[证明].(采用逻辑法)(1)x(xAxA)(同一律:pp)AA所以包含关系是自反的;(2)ABBAx(xAxB)x(xBxA)x((xAxB)(xBxA))(量词对的分配律:xA(x)xB(x)x(A(x)B(x)))x(xAxB)A=B所以包含关系是反对称的;20(3)ABBCx(xAxB)x(xBxC)x((xAxB)(xBxC))(量词对的分配律:xA(x)xB(x)x(A(x)B(x)))x(xAxC)((假言)三段论原则:(pq)(qr)pr)AC所以包含关系是传递的。21定理2.空集是任一集合的子集。即A。[证明].(采用逻辑法)x(x)(空集的定义)x(x)x(xxA)(由析取构成式及联结词归约有:p(pq)(pq))A。22十.幂集(powerset):定义1.幂集一个集合A的所有子集构成的集合称为A的幂集。记为2A(或P(A)),即2A={B:BA}。A的两个平凡子集和A都属于A的幂集。即2A,A2A。例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类。A24A的所有k个元素的子集(基数为k的类)为从n个元素中取k个元素的组合数。另外,因A,故(按加法原理)|2A|=1+++…++…+=但由于二项式定理(x+y)n=xkyn-k令x=y=1,则有2n=,从而,有|2A|=2n=2|A|。knC1nC2nCnnCknC0nknkC0nknkC0nknkC25定理4.若A,B是两个集合,那么,A=B2A=2B。[证明].):一方面,AA(自反性)A2A(因为2A{B:BA})A2B(充分性条件:2A2B)AB(因为2B{A:AB})另一方面,BB(自反性)B2B(因为2B{A:AB})B2A(充分性条件:2A2B)BA(因为2A{B:BA})因此,由包含关系的反对称性,得到AB。26§2.集合代数集合的基本运算定义1.余(补或非)运算((absolute)complment)设X是全集,一元运算:2X2X对任何集合AX,使得A={x:xXxA}(当全集明确时,A={x:xA})称为集合的余运算。称A是A关于X的余集。余运算有时也记为,或A或A。AXAA27定理1(1.3).余运算基本定理设X是全集,A,B是X的子集。则(1)(A)=A;反身律(对合律)(2)ABBA;换质位律(逆否律)(3)A=BA=B;(4)X=,=X。零壹律[证明].(采用逻辑法)(1)对任何元素xX,x(A)xAxA所以(A)=A;28(4)对任何元素x,xXxXx所以X=;对任何元素x,xxxX(已证:X=)xX所以=X。29定义1.2.交运算、并运算(intersection,union)设X是全集。(1)二元运算∩:2X2X2X对任何集合A,BX,使得A∩B={x:xAxB}称为集合的交运算。称A∩B为A与B的交集。∩英语读作cap(帽子)。若A∩B=,则称A与B互不相交(pairwise)di

1 / 52
下载文档,编辑使用

©2015-2020 m.777doc.com 三七文档.

备案号:鲁ICP备2024069028号-1 客服联系 QQ:2149211541

×
保存成功