第六章--集合代数-离散数学及其应用课件.ppt
《第六章--集合代数-离散数学及其应用课件.ppt》由会员分享,可在线阅读,更多相关《第六章--集合代数-离散数学及其应用课件.ppt(44页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、1主要内容主要内容l集合的基本概念集合的基本概念属于、包含属于、包含幂集、空集幂集、空集l集合的基本运算集合的基本运算并、交、补、差等并、交、补、差等l集合恒等式集合恒等式集合运算的算律、恒等式的证明方法集合运算的算律、恒等式的证明方法第二部分第二部分 集合论集合论第六章第六章 集合代数集合代数26.1集合的基本概念集合的基本概念1.集合定义集合定义集合没有精确的数学定义集合没有精确的数学定义理解:由离散个体构成的整体称为理解:由离散个体构成的整体称为集合集合,称这些个体为集,称这些个体为集合的合的元素元素常见的数集:常见的数集:N,Z,Q,R,C等分别表示自然数、整数、有等分别表示自然数、整
2、数、有理数、实数、复数集合理数、实数、复数集合2.集合表示法集合表示法枚举法枚举法-通过列出全体元素来表示集合通过列出全体元素来表示集合谓词表示法谓词表示法-通过谓词概括集合元素的性质通过谓词概括集合元素的性质实例:实例:枚举法枚举法自然数集合自然数集合N=0,1,2,3,谓词法谓词法S=x|x是实数,是实数,x2 1=03元素与集合元素与集合1.集合的元素具有的性质集合的元素具有的性质无序性:元素列出的顺序无关无序性:元素列出的顺序无关相异性:集合的每个元素只计相异性:集合的每个元素只计数一次数一次确定性:对任何元素和集合都确定性:对任何元素和集合都能确定这个元素是否能确定这个元素是否为该集
3、合的元素为该集合的元素任意性:集合的元素也可以是任意性:集合的元素也可以是集合集合2元素与集合的关系元素与集合的关系隶属关系:隶属关系:或者或者 3集合的树型层次结构集合的树型层次结构A=a,b,b,d d A,a A4集合与集合集合与集合集合与集合之间的关系:集合与集合之间的关系:,=,定义定义6.1 A B x(x A x B)定义定义6.2 A=BA B B A定义定义6.3 A BA B A B A B x(x A x B)思考:思考:和和 的定义的定义注意注意 和和 是不同层次的问题是不同层次的问题66.2 集合的运算集合的运算初级运算初级运算集合的基本运算有集合的基本运算有定义定义
4、6.7并并A B=x|x A x B交交A B=x|x A x B相对补相对补A B=x|x A x B定义定义6.8对称差对称差A B=(A B)(B A)定义定义6.9绝对补绝对补 A=E Al并和交运算可以推广到有穷个集合上,即并和交运算可以推广到有穷个集合上,即A1 A2 An=x|x A1 x A2 x AnA1 A2 An=x|x A1 x A2 x An7广义运算广义运算1.集合的广义并与广义交集合的广义并与广义交定义定义6.10广义并广义并 A=x|z(z A x z)定义定义6.11广义交广义交 A=x|z(z A x z)实例实例 1,1,2,1,2,3=1,2,3 1,1
5、,2,1,2,3=1 a=a,a=a a=a,a=a8关于广义运算的说明关于广义运算的说明2.广义运算的性质广义运算的性质(1)=,无意义无意义(2)单元集单元集x的广义并和广义交都等于的广义并和广义交都等于x(3)广义运算减少集合的层次(括弧减少一层)广义运算减少集合的层次(括弧减少一层)(4)广义运算的计算:一般情况下可以转变成初级运算广义运算的计算:一般情况下可以转变成初级运算 A1,A2,An=A1 A2 An A1,A2,An=A1 A2 An3.引入广义运算的意义引入广义运算的意义可以表示无数个集合的并、交运算,例如可以表示无数个集合的并、交运算,例如 x|x R=R这里的这里的R
6、代表实数集合代表实数集合.10文氏图文氏图ABABABABABA BA BABA BA6.3有穷集合元素的计数有穷集合元素的计数11方法一:文氏图方法一:文氏图例例2求求1到到1000之间(包含之间(包含1和和1000在内)既不能被在内)既不能被5和和6整整除,也不能被除,也不能被8整除的数有多少个?整除的数有多少个?解解 定义以下集合:定义以下集合:S=x|x Z 1 x 1000 A=x|x S x可被可被5整除整除 B=x|x S x可被可被6整除整除 C=x|x S x可被可被8整除整除 画出文氏图,填入相应数字,得画出文氏图,填入相应数字,得N=1000(200+100+33+67)
7、=60013实例实例方法二方法二|S|=1000|A|=1000/5=200,|B|=1000/6=166,|C|=1000/8=125|A B|=1000/lcm(5,6)=1000/33=33|A C|=1000/lcm(5,8)=1000/40=25|B C|=1000/lcm(6,8)=1000/24=41|A B C|=1000/lcm(5,6,8)=1000/120=8=1000(200+166+125)+(33+25+41)8=600欧拉函数(续)欧拉函数(续)与与60互素的正整数有互素的正整数有16个:个:1,7,11,13,17,19,23,29,31,37,41,43,47
8、,49,53,59.15实例:实例:错位排列计数错位排列计数例例4错位排列:错位排列:排列排列i1i2in,满足,满足ij j,j=1,2,n.错位排列数错位排列数S为为1,2,n排列的集合,排列的集合,Pi是是i 处在排列处在排列第第i 位的性质,位的性质,Ai是是S中具有性质中具有性质Pi的排列的集合,的排列的集合,i=1,2,n.|S|=n!,|Ai|=(n 1)!i=1,2,n|Ai Aj|=(n 2)!1 ij n|A1 A2 An|=0!=11618集合算律集合算律2涉及两个不同运算的算律:涉及两个不同运算的算律:分配律、吸收律分配律、吸收律 与与 与与 分配分配A(B C)=(A
9、 B)(A C)A(B C)=(A B)(A C)A(B C)=(A B)(A C)吸收吸收A(A B)=AA(A B)=A19集合算律集合算律3涉及补运算的算律:涉及补运算的算律:DM律律,双重否定律双重否定律 D.M律律A(B C)=(A B)(A C)A(B C)=(A B)(A C)(B C)=BC(B C)=BC双重否定双重否定A=A20集合算律集合算律4涉及全集和空集的算律:涉及全集和空集的算律:补元律补元律、零律零律、同一律同一律、否定律否定律E补元律、排中律补元律、排中律AA=AA=E零律零律A=A E=E同一律同一律A=AA E=A否定律否定律=E E=21集合证明题集合证明
10、题证明方法:命题演算法、等式置换法证明方法:命题演算法、等式置换法命题演算证明法的书写规范命题演算证明法的书写规范(以下的以下的X和和Y代表集合公式代表集合公式)(1)证证X Y任取任取x,x X x Y(2)证证X=Y方法一方法一分别证明分别证明X Y 和和Y X方法二方法二任取任取x,x X x Y注意:在使用方法二的格式时,必须保证每步推理都是充注意:在使用方法二的格式时,必须保证每步推理都是充分必要的分必要的22集合等式的证明集合等式的证明方法一:命题演算法方法一:命题演算法例例5证明证明A(A B)=A(吸收律)(吸收律)证证任取任取x,x A(A B)x A x A B x A(x
11、 A x B)x A因此得因此得A(A B)=A.例例6证明证明A B=AB证证任取任取x,x A Bx A x B x A xB x AB因此得因此得A B=AB24包含等价条件的证明包含等价条件的证明例例8证明证明A B AB=B A B=A A B=证明思路:证明思路:l确定问题中含有的命题:本题含有命题确定问题中含有的命题:本题含有命题,l确定命题间的关系(哪些命题是已知条件、哪些命题是要确定命题间的关系(哪些命题是已知条件、哪些命题是要证明的结论):本题中每个命题都可以作为已知条件,每证明的结论):本题中每个命题都可以作为已知条件,每个命题都是要证明的结论个命题都是要证明的结论l确定
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 第六 集合 代数 离散数学 及其 应用 课件
限制150内