电子文档交易市场
安卓APP | ios版本
电子文档交易市场
安卓APP | ios版本

离散数学-集合及其运算

46页
  • 卖家[上传人]:n****
  • 文档编号:88914449
  • 上传时间:2019-05-13
  • 文档格式:PDF
  • 文档大小:843.41KB
  • / 46 举报 版权申诉 马上下载
  • 文本预览
  • 下载提示
  • 常见问题
    • 1、离散数学(一)离散数学(一) 上海上海大学大学谢谢 江江 离散数学(第3版) 屈婉玲 耿素云 张立昂 编著 清华大学出版社出版 第第1章章 数学语言与证明方法数学语言与证明方法 3 第第1章章 数学语言与证明方法数学语言与证明方法 1.1 常用的数学符号常用的数学符号 1.2 集合及其运算集合及其运算 1.3 证明方法概述证明方法概述 4 1.2 集合及其运算集合及其运算 集合及其表示法集合及其表示法 包含包含(子集子集)与相等与相等 空集与全集空集与全集 集合运算集合运算( , , - , , ) 基本集合恒等式基本集合恒等式 包含与相等的证明方法包含与相等的证明方法 5 集合的概念集合的概念 朴素集合论朴素集合论(康托康托, G.Cantor), 集合集合是数学中最基本的概念是数学中最基本的概念,没有严格的定义没有严格的定义 满足某条性质的个体放在一起组成集合满足某条性质的个体放在一起组成集合 元素元素:集合中的个体集合中的个体 隐含的矛盾:隐含的矛盾:罗素罗素(Russell)悖论悖论 1901年提出;年提出; 第三次数学危机第三次数学危机 公理集合论体系公理集合论体系:属于数理

      2、逻辑范畴. 透过建立一阶逻辑的严谨重整,使用明确的公理列表,透过建立一阶逻辑的严谨重整,使用明确的公理列表, 以解决朴素集合论中的悖论以解决朴素集合论中的悖论 1.2.1 集合及其表示法集合及其表示法 6 集合的集合的记法记法 集合:集合: 常用大写英文字母常用大写英文字母A,B,C等表示等表示 元素:元素:小写英文字母小写英文字母 x, y, z, 元素与集合的关系:元素与集合的关系: x A(x属于属于A): x是是A的元素的元素 x A(x不不属于属于A): x不不是是A的元素的元素 无穷集无穷集: 元素个数无限的集合元素个数无限的集合 有穷集有穷集(有限集有限集):元素个数有限的集合元素个数有限的集合. |A|:A中元素个数中元素个数 k元集元集:k个元素的集合个元素的集合, k 0 1.2.1 集合及其表示法集合及其表示法 7 集合的表示法集合的表示法 列举法:列举法:列出集合中的全体元素列出集合中的全体元素 , 如如 A= a, b, c, d , N=0,1,2, 描述法(元素性质法)描述法(元素性质法) x | P(x) 具有性质具有性质P 的的x的全体的全体 如如N=

      3、 x | x是自然数是自然数 说明说明: (1) 集合中的元素各不相同集合中的元素各不相同. 如如, 1,2,3=1,1,2,3 (2) 集合中的元素没有次序集合中的元素没有次序. 如如, 1,2,3=3,1,2=1,3,1,2,2 (3) 有时两种方法都适用有时两种方法都适用, 可根据需要选用可根据需要选用. 1.2.1 集合及其表示法集合及其表示法 8 常用集合的表示法常用集合的表示法 自然数集自然数集N, N = x | x是自然数 = 0,1,2, 整数集整数集Z, Z = x | x是整数 = , 2, 1, 0, 1, 2, 正整数集正整数集Z+, Z+= x | xZ x 0 = 1, 2, 3, 有理数集有理数集Q, Q = x | x是有理数 非零有理数集非零有理数集Q*, Q*= x | xQ x 0 实数集实数集R, R = x | x是实数 非零实数集非零实数集R*, R*= x | xR x 0 复数集复数集C, C = x | x是复数 区间区间a,b, a, b = x | x R a x b 区间区间(a,b), (a, b) = x | x R a A

      4、=B 33 例例3(续续) (2) A (B C)=(A B) (A C) (分配分配律律) 证证 xx A (B C) x A或或(x B且且 x C) (x A或或x B)且且(x A或或x C) x (A B) (A C) 得证得证 A (B C) (A B) (A C). 类似可证类似可证 (A B) (A C) A (B C). (3) A E=E (E为全集,为全集,零律零律) 证证 根据并的定义根据并的定义, 有有E A E. 根据全集的定义根据全集的定义, 又有又有A E E. 1.2.4 基本集合恒等式及其应用基本集合恒等式及其应用 34 例例3(续续) (4) A E=A (E为全集,为全集,同一同一律律) 证证 根据交的定义根据交的定义, 有有A E A. 又又, x x A, 根据全集根据全集E的定义的定义, x E, 从而从而 x A且且x E, x A E 得证得证 A A E. 所以所以 A E=A 1.2.4 基本集合恒等式及其应用基本集合恒等式及其应用 35 例例3(续续) (5) A A= (矛盾律)(矛盾律) 证证 x,x AA (交运算的定义)(

      5、交运算的定义) (绝对补的定义)(绝对补的定义) F (逻辑演算的矛盾律)(逻辑演算的矛盾律) ( 是假命题)是假命题) 由上可知,由上可知, = 1.2.4 基本集合恒等式及其应用基本集合恒等式及其应用 36 例例3(续续) (6) A-B=A B (补交转换律)(补交转换律) 证证 x,x A-B (相对补的定义)(相对补的定义) (绝对补的定义)(绝对补的定义) (A(A ) ( 交运算的定义)交运算的定义) 由上可知,由上可知, = 1.2.4 基本集合恒等式及其应用基本集合恒等式及其应用 补补交转换律是非常重要的运算律交转换律是非常重要的运算律. . 因为交运算有交因为交运算有交 换律、结合律、分配律等,而补运算没有这些运算律,换律、结合律、分配律等,而补运算没有这些运算律, 一旦使用了补交转换律,就将补运算转换成交运算,就一旦使用了补交转换律,就将补运算转换成交运算,就 可以用上这些运算律了可以用上这些运算律了. . 37 实例实例 例例4 证明证明 A (A B)=A (吸收律)吸收律) 证证 方法一:用定义证明方法一:用定义证明 , ( ( ) (并、交运算的定义)(并

      6、、交运算的定义) (逻辑演算的吸收律)(逻辑演算的吸收律) 由上可知,由上可知,A (A B)= A 1.2.4 基本集合恒等式及其应用基本集合恒等式及其应用 38 实例实例 例例4(续)(续) 证明证明 A (A B)=A (吸收律)吸收律) 证证 方法二:利用例方法二:利用例3证明的证明的4条等式证明条等式证明 A (A B) = (A E) (A B) (同一律同一律) = A (E B) (分配律分配律) = A (B E) (交换律交换律) = A E (零律零律) = A (同一律同一律) 1.2.4 基本集合恒等式及其应用基本集合恒等式及其应用 39 实例实例 例例5 用方法二证明用方法二证明德摩根律相对形式中的一个公式:德摩根律相对形式中的一个公式: = ( ) ( ) 证证 = ( )(补交转换律)(补交转换律) = ( )(德摩根律的绝对形式)(德摩根律的绝对形式) = ( ) ( ) (幂等律)(幂等律) = ( ) ( ) (交换律,结合律)(交换律,结合律) = ( ) ( )(补交转换律)(补交转换律) 1.2.4 基本集合恒等式及其应用基本集合恒等式及其应

      7、用 40 实例实例 例例6 证明证明 (A-B)-C=(A-C)-(B-C) 证证(A-C)-(B-C) = (A C) (B C) (补交转换律补交转换律) = (A C) (B C) (德摩根律德摩根律) = (A C) (B C) (双重否定律双重否定律) = (A C B) (A C C) (分配律分配律) = (A C B) (A ) (矛盾律矛盾律) = A C B (零律零律,同一律同一律) = (A B) C (交换律交换律,结合律结合律) = (A B) C (补交转换律补交转换律) 1.2.4 基本集合恒等式及其应用基本集合恒等式及其应用 41 实例实例 例例7 证明证明 (A B) (A C)= (B C) A 证证(A B) (A C) =(A B) - (A C) (A C) - (A B) =(A B) A C) (A C) A B) = (B A C) (C A B) =(B C) (C B) A =(B-C) (C-B) A = (B C) - A 1.2.4 基本集合恒等式及其应用基本集合恒等式及其应用 42 实例实例 例例8 设设A,B为任意集合为任意集合, 证明证明: 若若A B, 则则P(A) P(B) 证证 x x P(A) x A x B(已知已知A B) x P(B) 1.2.4 基本集合恒等式及其应用基本集合恒等式及其应用 43 实例实例 例例9 证明证明 A B=(A B)-(A B) 证证A B=(A-B)(B B- -A A) ) (定义)(定义) = =(A B) (B A) (补交转换律)(补交转换律) =(A B) B) (A B) A) ( 对对 分配律分配律) =(A B) (B B) (A A) (B A) ( 对对 分配律分配律) =(A B) (A B) (同一律)(同一律) =(A B) (A B) (德摩根律)(德摩根律) =(A B)-(A B) (补交转换律)(补交转换律) 1.2.4 基本集合恒等式及其应用基本集合恒等式及其应用 44 1.3 证明方法概述(自学)证明方法概述(自学) 直接证明法直接证明法 间接证明法间

      《离散数学-集合及其运算》由会员n****分享,可在线阅读,更多相关《离散数学-集合及其运算》请在金锄头文库上搜索。

      点击阅读更多内容
    最新标签
    发车时刻表 长途客运 入党志愿书填写模板精品 庆祝建党101周年多体裁诗歌朗诵素材汇编10篇唯一微庆祝 智能家居系统本科论文 心得感悟 雁楠中学 20230513224122 2022 公安主题党日 部编版四年级第三单元综合性学习课件 机关事务中心2022年全面依法治区工作总结及来年工作安排 入党积极分子自我推荐 世界水日ppt 关于构建更高水平的全民健身公共服务体系的意见 空气单元分析 哈里德课件 2022年乡村振兴驻村工作计划 空气教材分析 五年级下册科学教材分析 退役军人事务局季度工作总结 集装箱房合同 2021年财务报表 2022年继续教育公需课 2022年公需课 2022年日历每月一张 名词性从句在写作中的应用 局域网技术与局域网组建 施工网格 薪资体系 运维实施方案 硫酸安全技术 柔韧训练 既有居住建筑节能改造技术规程 建筑工地疫情防控 大型工程技术风险 磷酸二氢钾 2022年小学三年级语文下册教学总结例文 少儿美术-小花 2022年环保倡议书模板六篇 2022年监理辞职报告精选 2022年畅想未来记叙文精品 企业信息化建设与管理课程实验指导书范本 草房子读后感-第1篇 小数乘整数教学PPT课件人教版五年级数学上册 2022年教师个人工作计划范本-工作计划 国学小名士经典诵读电视大赛观后感诵读经典传承美德 医疗质量管理制度 2 2022年小学体育教师学期工作总结 2022年家长会心得体会集合15篇
    关于金锄头网 - 版权申诉 - 免责声明 - 诚邀英才 - 联系我们
    手机版 | 川公网安备 51140202000112号 | 经营许可证(蜀ICP备13022795号)
    ©2008-2016 by Sichuan Goldhoe Inc. All Rights Reserved.