书签 分享 收藏 举报 版权申诉 / 40
上传文档赚钱

类型离散数学高等教育出版社配套屈婉玲耿课件.ppt

  • 上传人(卖家):晟晟文业
  • 文档编号:5186184
  • 上传时间:2023-02-16
  • 格式:PPT
  • 页数:40
  • 大小:642KB
  • 【下载声明】
    1. 本站全部试题类文档,若标题没写含答案,则无答案;标题注明含答案的文档,主观题也可能无答案。请谨慎下单,一旦售出,不予退换。
    2. 本站全部PPT文档均不含视频和音频,PPT中出现的音频或视频标识(或文字)仅表示流程,实际无音频或视频文件。请谨慎下单,一旦售出,不予退换。
    3. 本页资料《离散数学高等教育出版社配套屈婉玲耿课件.ppt》由用户(晟晟文业)主动上传,其收益全归该用户。163文库仅提供信息存储空间,仅对该用户上传内容的表现方式做保护处理,对上传内容本身不做任何修改或编辑。 若此文所含内容侵犯了您的版权或隐私,请立即通知163文库(点击联系客服),我们立即给予删除!
    4. 请根据预览情况,自愿下载本文。本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
    5. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007及以上版本和PDF阅读器,压缩文件请下载最新的WinRAR软件解压。
    配套讲稿:

    如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。

    特殊限制:

    部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。

    关 键  词:
    离散数学 高等教育出版社 配套 屈婉玲耿 课件
    资源描述:

    1、离散数学高等教育出版社配套屈婉玲耿26.1 集合的基本概念集合的基本概念1.集合定义集合定义 集合没有精确的数学定义集合没有精确的数学定义 理解:由离散个体构成的整体称为理解:由离散个体构成的整体称为集合集合,称这些个体为集,称这些个体为集 合的合的元素元素 常见的数集:常见的数集:N,Z,Q,R,C 等分别表示自然数、整数、有等分别表示自然数、整数、有 理数、实数、复数集合理数、实数、复数集合2.集合表示法集合表示法 枚举法枚举法-通过列出全体元素来表示集合通过列出全体元素来表示集合 谓词表示法谓词表示法-通过谓词概括集合元素的性质通过谓词概括集合元素的性质 实例:实例:枚举法枚举法 自然数

    2、集合自然数集合 N=0,1,2,3,谓词法谓词法 S=x|x是实数,是实数,x2 1=0 5空集、全集和幂集空集、全集和幂集1定义定义6.4 空集空集 :不含有任何元素的集合:不含有任何元素的集合 实例:实例:x|x R x2+1=0 定理定理6.1 空集是任何集合的子集。空集是任何集合的子集。证证 对于任意集合对于任意集合A,A x(xx A)T(恒真命题恒真命题)推论推论 是惟一的是惟一的3.定义定义6.6 全集全集 E:包含了所有集合的集合:包含了所有集合的集合 全集具有相对性:与问题有关,不存在绝对的全集全集具有相对性:与问题有关,不存在绝对的全集2.定义定义6.5 幂集幂集:P(A)

    3、=x|x A 实例:实例:P()=,P()=,计数:如果计数:如果|A|=n,则,则|P(A)|=2n.66.2 集合的运算集合的运算初级运算初级运算集合的基本运算有集合的基本运算有定义定义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 A 7文氏图文氏图集合运算的表示集合运算的表示ABABABABABA BA BABA BA8几点说明几点说明l 并和交运算可以推广到有穷个集合上,即并和交运算可以推广到有穷个集合上,即A1 A2 A

    4、n=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=A9广义运算广义运算1.集合的广义并与广义交集合的广义并与广义交 定义定义6.10 广义并广义并 A=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=a10关于广义运算的说明关于广义运算的说明2.广义运算的性质广义运算的性质 (1)=,无意义无意义 (2)单元集单元集x的广义并和广义交都等于的广义并和广义交都等于x (3)广义运算减少集合的层次(括弧

    5、减少一层)广义运算减少集合的层次(括弧减少一层)(4)广义运算的计算:一般情况下可以转变成初级运算广义运算的计算:一般情况下可以转变成初级运算 A1,A2,An=A1 A2 An A1,A2,An=A1 A2 An 3.引入广义运算的意义引入广义运算的意义 可以表示无数个集合的并、交运算,例如可以表示无数个集合的并、交运算,例如 x|x R=R 这里的这里的 R 代表实数集合代表实数集合.11运算的优先权规定运算的优先权规定1 类运算:初级运算类运算:初级运算,,优先顺序由括号确定优先顺序由括号确定2 类运算:广义运算和类运算:广义运算和 运算,运算,运算由右向左进行运算由右向左进行混合运算:

    6、混合运算:2 类运算优先于类运算优先于1 类运算类运算例例1 A=a,a,b,计算,计算A(AA).解:解:A(AA)=a,b(a,ba)=(a b)(a b)a)=(a b)(b a)=b12有穷集合元素的计数有穷集合元素的计数1.文氏图法文氏图法2.包含排斥原理包含排斥原理定理定理6.2 设集合设集合S上定义了上定义了n条性质,其中具有第条性质,其中具有第 i 条性质的条性质的元素构成子集元素构成子集Ai,那么集合中不具有任何性质的元素数为那么集合中不具有任何性质的元素数为|.|)1(.|.|2111121nnnkjikjnjijiniinAAAAAAAAASAAAi 推论推论 S中至少具

    7、有一条性质的元素数为中至少具有一条性质的元素数为|)1(|21111121nmnkjikjinjijiniinAAAAAAAAAAAA 13实例实例例例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=

    8、1000(200+100+33+67)=60014实例实例方法二方法二|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|CBA 156.3 集合恒等式集合恒等式集合算律集合算律1只涉及一个运算的算律:只涉及一个运算的算

    9、律:交换律交换律、结合律结合律、幂等律幂等律 交换交换A B=B AA B=B AA B=B A结合结合(A B)C=A(B C)(A B)C=A(B C)(A B)C=A(B C)幂等幂等A A=AA A=A16集合算律集合算律 2涉及两个不同运算的算律:涉及两个不同运算的算律:分配律、吸收律分配律、吸收律 与与 与与 分配分配A(B C)=(A B)(A C)A(B C)=(A B)(A C)A(B C)=(A B)(A C)吸收吸收A(A B)=AA(A B)=A17集合算律集合算律3涉及补运算的算律:涉及补运算的算律:DM律律,双重否定律双重否定律 D.M律律A(B C)=(A B)(

    10、A C)A(B C)=(A B)(A C)(B C)=BC(B C)=BC双重否定双重否定A=A18集合算律集合算律4涉及全集和空集的算律:涉及全集和空集的算律:补元律补元律、零律零律、同一律同一律、否定律否定律E补元律补元律AA=AA=E零律零律A=A E=E同一律同一律A=AA E=A否定否定=E E=19集合证明题集合证明题证明方法:命题演算法、等式置换法证明方法:命题演算法、等式置换法命题演算证明法的书写规范命题演算证明法的书写规范(以下的以下的X和和Y代表集合公式代表集合公式)(1)证证X Y 任取任取x,x X x Y(2)证证X=Y 方法一方法一 分别证明分别证明 X Y 和和

    11、Y X 方法二方法二 任取任取x,x X x Y注意:在使用方法二的格式时,必须保证每步推理都是充注意:在使用方法二的格式时,必须保证每步推理都是充分必要的分必要的20集合等式的证明集合等式的证明方法一:命题演算法方法一:命题演算法例例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=AB21等式代入法等式代入法方法二:等式置换法方法二:等式置换法例例5 假设

    12、交换律、分配律、同一律、零律已经成立,证明吸假设交换律、分配律、同一律、零律已经成立,证明吸 收律收律.证证 A(A B)=(A E)(A B)(同一律)(同一律)=A(E B)(分配律)(分配律)=A(B E)(交换律)(交换律)=A E (零律)(零律)=A (同一律)(同一律)22包含等价条件的证明包含等价条件的证明例例6 证明证明A B AB=B A B=A A B=证明思路:证明思路:l 确定问题中含有的命题:本题含有命题确定问题中含有的命题:本题含有命题,l 确定命题间的关系(哪些命题是已知条件、哪些命题是要确定命题间的关系(哪些命题是已知条件、哪些命题是要证明的结论):本题中每个

    13、命题都可以作为已知条件,每证明的结论):本题中每个命题都可以作为已知条件,每个命题都是要证明的结论个命题都是要证明的结论l 确定证明顺序:确定证明顺序:,l 按照顺序依次完成每个证明(证明集合相等或者包含)按照顺序依次完成每个证明(证明集合相等或者包含)23证明证明证明证明A B A B=B A B=A A B=证证 显然显然B A B,下面证明,下面证明A B B.任取任取x,x A B x A x B x B x B x B 因此有因此有A B B.综合上述综合上述得证得证.A=A(A B)A=A B(由由知知A B=B,将,将A B用用B代代入入)24假设假设A B,即即 x A B,那

    14、么知道,那么知道x A且且x B.而而 x B x A B 从而与从而与A B=A矛盾矛盾.假设假设A B不成立,那么不成立,那么 x(x A x B)x A B A B与条件与条件矛盾矛盾.证明证明25第六章第六章 习题课习题课主要内容主要内容l 集合的两种表示法集合的两种表示法l 集合与元素之间的隶属关系、集合之间的包含关系的区集合与元素之间的隶属关系、集合之间的包含关系的区别与联系别与联系l 特殊集合:空集、全集、幂集特殊集合:空集、全集、幂集l 文氏图及有穷集合的计数文氏图及有穷集合的计数l 集合的集合的,等运算以及广义等运算以及广义,运算运算l 集合运算的算律及其应用集合运算的算律及

    15、其应用26基本要求基本要求l 熟练掌握集合的两种表示法熟练掌握集合的两种表示法l 能够判别元素是否属于给定的集合能够判别元素是否属于给定的集合l 能够判别两个集合之间是否存在包含、相等、真包含等关能够判别两个集合之间是否存在包含、相等、真包含等关系系l 熟练掌握集合的基本运算(普通运算和广义运算)熟练掌握集合的基本运算(普通运算和广义运算)l 掌握证明集合等式或者包含关系的基本方法掌握证明集合等式或者包含关系的基本方法27练习练习1 1判断下列命题是否为真判断下列命题是否为真(1)(2)(3)(4)(5)a,b a,b,c,a,b,c(6)a,b a,b,c,a,b(7)a,b a,b,a,b

    16、 (8)a,b a,b,a,b 解解 (1)、(3)、(4)、(5)、(6)、(7)为真,其余为假为真,其余为假.28方法分析方法分析(1)判断元素判断元素a与集合与集合A的隶属关系是否成立基本方法:的隶属关系是否成立基本方法:把把 a 作为整体检查它在作为整体检查它在A中是否出现,注意这里的中是否出现,注意这里的 a 可可 能是集合表达式能是集合表达式.(2)判断判断A B的四种方法的四种方法l 若若A,B是用枚举方式定义的,依次检查是用枚举方式定义的,依次检查A的每个元素是否的每个元素是否在在B中出现中出现.l 若若A,B是谓词法定义的,且是谓词法定义的,且A,B中元素性质分别为中元素性质

    17、分别为P和和Q,那么那么“若若P则则Q”意味意味 A B,“P当且仅当当且仅当Q”意味意味=l 通过集合运算判断通过集合运算判断A B,即,即A B=B,A B=A,A B=三个等式中有一个为真三个等式中有一个为真.l 通过文氏图判断集合的包含(注意这里是判断,而不是通过文氏图判断集合的包含(注意这里是判断,而不是证明证明29练习练习22设设 S1=1,2,8,9,S2=2,4,6,8 S3=1,3,5,7,9 S4=3,4,5 S5=3,5 确定在以下条件下确定在以下条件下X是否与是否与S1,S5中某个集合相等?如中某个集合相等?如果是,又与哪个集合相等?果是,又与哪个集合相等?(1)若)若

    18、 X S5=(2)若)若 X S4但但 X S2=(3)若)若 X S1且且 X S3 (4)若)若 X S3=(5)若)若 X S3 且且 X S130解答解答解解(1)和和S5不交的子集不含有不交的子集不含有3和和5,因此,因此 X=S2.(2)S4的子集只能是的子集只能是S4和和S5.由于与由于与S2不交,不能含有偶数,不交,不能含有偶数,因此因此 X=S5.(3)S1,S2,S3,S4和和S5都是都是S1的子集,不包含在的子集,不包含在S3的子集含有的子集含有 偶数,因此偶数,因此 X=S1,S2或或S4.(4)X S3=意味着意味着 X是是S3的子集,因此的子集,因此 X=S3或或

    19、S5.(5)由于由于S3是是S1的子集,因此这样的的子集,因此这样的X不存在不存在.31练习练习33.判断以下命题的真假,并说明理由判断以下命题的真假,并说明理由.(1)A B=A B=(2)A(B C)=(A B)(A C)(3)A A=A (4)如果)如果A B=B,则,则A=E.(5)A=x x,则,则 x A且且x A.32解题思路解题思路l 先将等式化简或恒等变形先将等式化简或恒等变形.l 查找集合运算的相关的算律,如果与算律相符,结果为真查找集合运算的相关的算律,如果与算律相符,结果为真.l 注意以下两个重要的充要条件注意以下两个重要的充要条件 A B=A A B=A B=A B

    20、A B=B A B=A 如果与条件相符,则命题为真如果与条件相符,则命题为真.l 如果不符合算律,也不符合上述条件,可以用文氏图表示如果不符合算律,也不符合上述条件,可以用文氏图表示集合,看看命题是否成立集合,看看命题是否成立.如果成立,再给出证明如果成立,再给出证明.l 试着举出反例,证明命题为假试着举出反例,证明命题为假.33解答解答解解(1)B=是是A B=A的充分条件,但不是必要条件的充分条件,但不是必要条件.当当B不空但不空但 是与是与A不交时也有不交时也有A B=A.(2)这是这是DM律,命题为真律,命题为真.(3)不符合算律,反例如下:不符合算律,反例如下:A=1,A A=,但是

    21、,但是A.(4)命题不为真命题不为真.A B=B的充分必要条件是的充分必要条件是 B A,不是,不是A=E.(5)命题为真,因为命题为真,因为 x 既是既是 A 的元素,也是的元素,也是 A 的子集的子集 34练习练习44证明证明 A B=A C A B=A C B=C解题思路解题思路l 分析命题:含有分析命题:含有3 3个命题:个命题:A B=A C,A B=A C,B=C l 证明要求证明要求 前提:命题前提:命题和和 结论:命题结论:命题 l 证明方法:证明方法:恒等式代入恒等式代入 反证法反证法 利用已知等式通过运算得到新的等式利用已知等式通过运算得到新的等式35解答解答方法一:恒等变

    22、形法方法一:恒等变形法 B=B(B A)=B(A B)=B(A C)=(B A)(B C)=(A C)(B C)=(A B)C =(A C)C=C 方法二:反证法方法二:反证法.假设假设 B C,则存在,则存在 x(x B且且x C),或存在或存在 x(x C且且x B).不妨设为前者不妨设为前者.若若x属于属于A,则,则x属于属于A B 但但x不属于不属于A C,与已知矛盾;,与已知矛盾;若若x不属于不属于A,则,则x属于属于A B但但x不属于不属于A C,也与已知矛盾,也与已知矛盾.36解答解答方法三:利用已知等式通过运算得到新的等式方法三:利用已知等式通过运算得到新的等式.由已知等式由已

    23、知等式和和可以得到可以得到 (A B)(A B)=(A C)(A C)即即 A B=A C 从而有从而有 A(A B)=A(A C)根据结合律得根据结合律得 (A A)B=(A A)C 由于由于A A=,化简上式得化简上式得B=C.37练习练习55设设A,B为集合,试确定下列各式成立的充分必要条件:为集合,试确定下列各式成立的充分必要条件:(1)A B=B(2)A B=B A(3)A B=A B(4)A B=A38分析分析解题思路解题思路:求解集合等式成立的充分必要条件可能用到集合的算律、不求解集合等式成立的充分必要条件可能用到集合的算律、不同集合之间的包含关系、以及文氏图等同集合之间的包含关

    24、系、以及文氏图等.具体求解过程说明具体求解过程说明如下:如下:(1)化简给定的集合等式化简给定的集合等式 (2)求解方法如下:求解方法如下:l利用已知的算律或者充分必要条件进行判断利用已知的算律或者充分必要条件进行判断l先求必要条件,然后验证充分性先求必要条件,然后验证充分性l利用文氏图的直观性找出相关的条件,再利用集合论利用文氏图的直观性找出相关的条件,再利用集合论的证明方法加以验证的证明方法加以验证 39解答解答解解(1)A B=B A=B=.求解过程如下:求解过程如下:由由A B=B得得 (AB)B=B B 化简得化简得B=.再将这个结果代入原来的等式得再将这个结果代入原来的等式得A=.

    25、从从而得到必要条件而得到必要条件A=B=.再验证充分性再验证充分性.如果如果A=B=成立,则成立,则A B=B也成立也成立.(2)A B=B A A=B.求解过程如下:求解过程如下:充分性是显然的,下面验证必要性充分性是显然的,下面验证必要性.由由A B=B A得得 (A B)A=(B A)A从而有从而有A=A B,即即A B.同理可证同理可证B A.40解答解答(3)A B=A B A=B.求解过程如下:求解过程如下:充分性是显然的,下面验证必要性充分性是显然的,下面验证必要性.由由A B=A B得得 A(A B)=A(A B)化简得化简得A=A B,从而有,从而有A B.类似可以证明类似可以证明B A.(4)A B=A B=.求解过程如下:求解过程如下:充分性是显然的,下面验证必要性充分性是显然的,下面验证必要性.由由A B=A得得 A(A B)=A A根据结合律有根据结合律有 (A A)B=A A即即 B=,就是就是B=.

    展开阅读全文
    提示  163文库所有资源均是用户自行上传分享,仅供网友学习交流,未经上传用户书面授权,请勿作他用。
    关于本文
    本文标题:离散数学高等教育出版社配套屈婉玲耿课件.ppt
    链接地址:https://www.163wenku.com/p-5186184.html

    Copyright@ 2017-2037 Www.163WenKu.Com  网站版权所有  |  资源地图   
    IPC备案号:蜀ICP备2021032737号  | 川公网安备 51099002000191号


    侵权投诉QQ:3464097650  资料上传QQ:3464097650
       


    【声明】本站为“文档C2C交易模式”,即用户上传的文档直接卖给(下载)用户,本站只是网络空间服务平台,本站所有原创文档下载所得归上传人所有,如您发现上传作品侵犯了您的版权,请立刻联系我们并提供证据,我们将在3个工作日内予以改正。

    163文库