离散数学高等教育出版社配套屈婉玲耿.ppt
《离散数学高等教育出版社配套屈婉玲耿.ppt》由会员分享,可在线阅读,更多相关《离散数学高等教育出版社配套屈婉玲耿.ppt(40页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、离散数学高等教育出版社配套屈婉玲耿 Still waters run deep.流静水深流静水深,人静心深人静心深 Where there is life,there is hope。有生命必有希望。有生命必有希望6.1 集合的基本概念集合的基本概念1.集合定义集合定义 集合没有精确的数学定义集合没有精确的数学定义 理解:由离散个体构成的整体称为理解:由离散个体构成的整体称为集合集合,称这些个体为集,称这些个体为集 合的合的元素元素 常见的数集:常见的数集:N,Z,Q,R,C 等分别表示自然数、整数、有等分别表示自然数、整数、有 理数、实数、复数集合理数、实数、复数集合2.集合表示法集合表示法
2、 枚举法枚举法-通过列出全体元素来表示集合通过列出全体元素来表示集合 谓词表示法谓词表示法-通过谓词概括集合元素的性质通过谓词概括集合元素的性质 实例:实例:枚举法枚举法 自然数集合自然数集合 N=0,1,2,3,谓词法谓词法 S=x|x是实数,是实数,x2 1=0 2元素与集合元素与集合1.集合的元素具有的性质集合的元素具有的性质 无序性:元素列出的顺序无关无序性:元素列出的顺序无关 相异性:集合的每个元素只计相异性:集合的每个元素只计 数一次数一次 确定性:对任何元素和集合都确定性:对任何元素和集合都 能确定这个元素是否能确定这个元素是否 为该集合的元素为该集合的元素 任意性:集合的元素也
3、可以是任意性:集合的元素也可以是 集合集合2元素与集合的关系元素与集合的关系 隶属关系:隶属关系:或者或者 3集合的树型层次结构集合的树型层次结构d A,a A3集合与集合集合与集合集合与集合之间的关系:集合与集合之间的关系:,=,定义定义6.1 A B x(x A x B)定义定义6.2 A=B A B B A定义定义6.3 A B A B A B A B x(x A x B)思考:思考:和和 的定义的定义 注意注意 和和 是不同层次的问题是不同层次的问题4空集、全集和幂集空集、全集和幂集1定义定义6.4 空集空集 :不含有任何元素的集合:不含有任何元素的集合 实例:实例:x|x R x2+
4、1=0 定理定理6.1 空集是任何集合的子集。空集是任何集合的子集。证证 对于任意集合对于任意集合A,A x(xx A)T(恒真命题恒真命题)推论推论 是惟一的是惟一的3.定义定义6.6 全集全集 E:包含了所有集合的集合:包含了所有集合的集合 全集具有相对性:与问题有关,不存在绝对的全集全集具有相对性:与问题有关,不存在绝对的全集2.定义定义6.5 幂集幂集:P(A)=x|x A 实例:实例:P()=,P()=,计数:如果计数:如果|A|=n,则,则|P(A)|=2n.56.2 集合的运算集合的运算初级运算初级运算集合的基本运算有集合的基本运算有定义定义6.7 并并 A B=x|x A x
5、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 A 6文氏图文氏图集合运算的表示集合运算的表示ABABABABABA BA BABA BA7几点说明几点说明l并和交运算可以推广到有穷个集合上,即并和交运算可以推广到有穷个集合上,即A1 A2 An=x|x A1 x A2 x An A1 A2 An=x|x A1 x A2 x Anl A B A B=l A B=A B=A8广义运算广义运算1.集合的广义并与广义交集合的广义并与广义交 定义定义6.10 广义并广义并 A=
6、x|z(z A x z)广义交广义交 A=x|z(z A x z)实例实例 1,1,2,1,2,3=1,2,3 1,1,2,1,2,3=1 a=a,a=a a=a,a=a9关于广义运算的说明关于广义运算的说明2.广义运算的性质广义运算的性质 (1)=,无意义无意义 (2)单元集单元集x的广义并和广义交都等于的广义并和广义交都等于x (3)广义运算减少集合的层次(括弧减少一层)广义运算减少集合的层次(括弧减少一层)(4)广义运算的计算:一般情况下可以转变成初级运算广义运算的计算:一般情况下可以转变成初级运算 A1,A2,An=A1 A2 An A1,A2,An=A1 A2 An 3.引入广义运算
7、的意义引入广义运算的意义 可以表示无数个集合的并、交运算,例如可以表示无数个集合的并、交运算,例如 x|x R=R 这里的这里的 R 代表实数集合代表实数集合.10运算的优先权规定运算的优先权规定1 类运算:初级运算类运算:初级运算,,优先顺序由括号确定优先顺序由括号确定2 类运算:广义运算和类运算:广义运算和 运算,运算,运算由右向左进行运算由右向左进行混合运算:混合运算:2 类运算优先于类运算优先于1 类运算类运算例例1 A=a,a,b,计算,计算A(AA).解:解:A(AA)=a,b(a,ba)=(a b)(a b)a)=(a b)(b a)=b11有穷集合元素的计数有穷集合元素的计数1
8、.文氏图法文氏图法2.包含排斥原理包含排斥原理定理定理6.2 设集合设集合S上定义了上定义了n条性质,其中具有第条性质,其中具有第 i 条性质的条性质的元素构成子集元素构成子集Ai,那么集合中不具有任何性质的元素数为那么集合中不具有任何性质的元素数为 推推论论 S中至少具有一条性中至少具有一条性质质的元素数的元素数为为12实例实例例例2 求求1到到1000之间(包含之间(包含1和和1000在内)既不能被在内)既不能被5和和6整整除,也不能被除,也不能被8整除的数有多少个?整除的数有多少个?解解 方法一:文氏图方法一:文氏图 定义以下集合:定义以下集合:S=x|x Z 1 x 1000 A=x|
9、x S x可被可被5整除整除 B=x|x S x可被可被6整除整除 C=x|x S x可被可被8整除整除 画出文氏图,然后填入相应的画出文氏图,然后填入相应的数字,解得数字,解得 N=1000(200+100+33+67)=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
10、/120 =8 =1000(200+166+125)+(33+25+41)8=600 146.3 集合恒等式集合恒等式集合算律集合算律1只涉及一个运算的算律:只涉及一个运算的算律:交换律交换律、结合律结合律、幂等律幂等律交换AB=BAAB=BAAB=BA结合(AB)C=A(BC)(AB)C=A(BC)(AB)C=A(BC)幂等AA=AAA=A15集合算律集合算律 2涉及两个不同运算的算律:涉及两个不同运算的算律:分配律、吸收律分配律、吸收律 与与分配A(BC)=(AB)(AC)A(BC)=(AB)(AC)A(BC)=(AB)(AC)吸收A(AB)=AA(AB)=A16集合算律集合算律3涉及补运
11、算的算律:涉及补运算的算律:DM律律,双重否定律双重否定律 D.M律A(BC)=(AB)(AC)A(BC)=(AB)(AC)(BC)=BC(BC)=BC双重否定A=A17集合算律集合算律4涉及全集和空集的算律:涉及全集和空集的算律:补元律补元律、零律零律、同一律同一律、否定律否定律E补元律AA=AA=E零律A=AE=E同一律A=AAE=A否定=EE=18集合证明题集合证明题证明方法:命题演算法、等式置换法证明方法:命题演算法、等式置换法命题演算证明法的书写规范命题演算证明法的书写规范(以下的以下的X和和Y代表集合公式代表集合公式)(1)证证X Y 任取任取x,x X x Y(2)证证X=Y 方
12、法一方法一 分别证明分别证明 X Y 和和 Y X 方法二方法二 任取任取x,x X x Y注意:在使用方法二的格式时,必须保证每步推理都是充注意:在使用方法二的格式时,必须保证每步推理都是充分必要的分必要的19集合等式的证明集合等式的证明方法一:命题演算法方法一:命题演算法例例3 证明证明A(A B)=A(吸收律)(吸收律)证证 任取任取x,x A(A B)x A x A B x A(x A x B)x A 因此得因此得 A(A B)=A.例例4 证明证明 A B=AB证证 任取任取x,x A B x A x B x A xB x AB 因此得因此得 A B=AB20等式代入法等式代入法方法
13、二:等式置换法方法二:等式置换法例例5 假设交换律、分配律、同一律、零律已经成立,证明吸假设交换律、分配律、同一律、零律已经成立,证明吸 收律收律.证证 A(A B)=(A E)(A B)(同一律)(同一律)=A(E B)(分配律)(分配律)=A(B E)(交换律)(交换律)=A E (零律)(零律)=A (同一律)(同一律)21包含等价条件的证明包含等价条件的证明例例6 证明证明A B AB=B A B=A A B=证明思路:证明思路:l确定问题中含有的命题:本题含有命题确定问题中含有的命题:本题含有命题,l确定命题间的关系(哪些命题是已知条件、哪些命题是要确定命题间的关系(哪些命题是已知条
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 离散数学 高等教育出版社 配套 屈婉玲耿
限制150内