




版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
1、1,集合论,2,集合论部分,第3章 集合的基本概念和运算 第4章 二元关系和函数,3,第3章 集合的基本概念和运算,3.1 集合的基本概念 3.2 集合的基本运算 3.3 集合中元素的计数,4,3.1 集合的基本概念,集合的定义与表示 集合与元素 集合之间的关系 空集 全集 幂集,5,集合定义与表示,集合 没有精确的数学定义 理解:一些离散个体组成的整体 组成集合的个体称为它的元素 集合的表示(用大写的英文字母标记) 列元素法:列出集合的所有元素,元素之间用逗号隔 开,并用 括起来 ,A= a, b, c, d 谓词表示法:用谓词概括集合中元素的属性 B= x | P(x) , B 由使得 P
2、(x) 为真的全体x 构成 常用数集 N, Z, Q, R, C 分别表示自然数、整数、有理数、 实数和复数集合,注意 0 是自然数,6,集合与元素,元素与集合的关系:隶属关系 属于,不属于 实例 A= x | xRx2-1=0 , A=-1,1 1A, 2A 注意:1)对于任何集合 A 和元素 x (可以是集合), xA和 xA 两者成立其一,且仅成立其一. 2)集合中的元素是不相同的,并且没有次序关系 如: 3, 4, 5、 3, 4, 4, 5、 5 ,3, 3, 4 是同一个集合,7,隶属关系的层次结构,例 3.1 A= a, b,c, d, d b,cA bA dA dA dA,8,
3、集合之间的关系,包含(子集):设 A 、B是两个集合,如果 A中的每个元素都是B中的元素,则称 A 是B的子集,也称A被B包含,记作 A B . 符号化为 A B x (xA xB) 不包含 A B x (xA xB) 例如 A=0,1,2,B=0,1,C=1,2,则B A, C A,但B C 相等:设 A 、B是两个集合,如果 A B并且 B A ,则称A 与B相等,记作A = B 符号化为 A = B A B B A 不相等 A B 真包含 :设 A 、B是两个集合,如果 A B 并且A B,则称 A 是B是的真子集,记作A B 符号化为 A B A B A B 不真包含 A B 注意 和
4、 是不同层次的问题,9,空集与全集,空集 不含任何元素的集合 实例 x | x2+1=0 xR 就是空集 定理 空集是任何集合的子集 A x (xxA) T 推论 空集是惟一的. 证 假设存在1和2,则12 且12,因此1=2 例 (1) ;(2) ;(3) ;(4) 全集 E (或U)在一个具体的问题中,如果所涉及的集合都是某个集合的子集,则称这个集合为全集 相对性:在给定问题中,全集包含任何集合,即A (AE,10,n元集:含有n个元素的集合 m元子集:含有m个元素的子集(m小于等于n) 例 A=a, b, c ,求A的全部子集 解 将A的子集从小到大分类 0元子集: 1元子集: a,b,
5、 c 2元子集: a,b,b,c, a,c 3元子集: a, b, c 结论:对于n元集A,不同的子集总数有2n,11,幂集,定义 A的全体子集构成的集合 ,记作P(A) P(A) = x | xA 如果 |A| = n,则 |P(A)| = 2n P() = , P() = , P(, ) = , , P(1,2,3)= ,1,2,3,1,2,3,12,3.2 集合的基本运算,集合基本运算的定义 文氏图(John Venn) 例题 集合运算的算律 集合包含或恒等式的证明,13,集合基本运算的定义,并 AB = x | xA xB 交 AB = x | xA xB 相对补 AB = x | x
6、A xB 对称差 AB = (AB)(BA) = (AB)(AB) 绝对补 A = EA 例:E=0,1,2,3,4,A= 1,2,3 ,B= 1,4 ,C= 3 AB= 1,2,3,4= B A; AB = 1= B A AB = 2,3; BA = 4; CA = AB= 2,3 4= 2,3,4; AB =1,2,3,4- 1 = 2,3,4; A = 0,4; B= 0,2,3 AB = A B = 2,3,14,文氏图表示,15,关于运算的说明,运算顺序: 和幂集优先,其他由括号确定 并和交运算可以推广到有穷个集合上,即 A1A2An= x | xA1xA2xAn A1A2An= x
7、 | xA1xA2xAn 某些重要结果 ABA AB AB=(后面证明) AB= AB=A,16,只有一、二年级的学生才爱好体育运动,F:一年级大学生的集合 S:二年级大学生的集合 R:计算机系学生的集合 M:数学系学生的集合 T:选修离散数学的学生的集合 L:爱好文学学生的集合 P:爱好体育运动学生的集合,T(MR)S,RS T,MF)T,MLP,PFS,S(MR)P,除去数学和计算机系二年级学生外都不选修离散数学,例1,所有计算机系二年级学生都选修离散数学,数学系一年级的学生都没有选修离散数学,数学系学生或爱好文学或爱好体育运动,17,例2,S2,S5,S1, S2, S4,S3, S5,
8、与 S1, . , S5 都不等,18,集合运算的算律,吸收律的前提:、可交换,19,集合运算的算律(续,20,集合包含或相等的证明方法,证明 XY 命题演算法 包含传递法 等价条件法 反证法 并交运算法,证明 X=Y 命题演算法 等式代入法 反证法 运算法,以上的 X, Y 代表集合公式,21,任取 x , xX xY,1.命题演算法证 XY,例3 证明AB P(A)P(B) 任取x xP(A) xA xB xP(B) 任取x xA xA xP(A) xP(B) xB xB,22,2.包含传递法证 XY,找到集合T 满足 XT 且 TY,从而有XY 例4 AB AB 证 AB A A AB
9、所以 AB AB,23,3.利用包含的等价条件证 XY,例5 ACBC ABC 证 AC AC=C BC BC=C (AB)C=A(BC)=AC=C (AB)C=C ABC 命题得证,24,4.反证法证 XY,欲证XY, 假设命题不成立,必存在 x 使得 xX 且 xY. 然后推出矛盾. 例6 证明 AC BC ABC 证 假设 AB C 不成立, 则 x (xABxC) 因此 xA 或 xB,且 xC 若 xA, 则与 AC 矛盾; 若 xB, 则与 BC 矛盾,25,5.利用已知包含式并交运算,例7 证明 ACBC ACBC AB 证 ACBC, AC BC 上式两边求并,得 (AC)(A
10、C) (BC)(BC) (AC)(AC) (BC)(BC) A(CC) B(CC) AE BE A B,由已知包含式通过运算产生新的包含式 XY XZYZ, XZYZ,26,例8 证明 A(AB)=A (吸收律) 证 任取x, xA(AB) xA xAB xA (xA xB) xA,1.命题演算法证明X=Y,任取 x , xX xY xY xX 或者 xX xY,27,2.等式替换证明X=Y,例9 证明A(AB)=A (吸收律) 证 (假设交换律、分配律、同一律、零律成立) A(AB) =(AE)(AB) 同一律 =A(EB) 分配律 =A(BE) 交换律 =AE 零律 =A 同一律,不断进行
11、代入化简,最终得到两边相等,28,3.反证法证明X=Y,例10 证明以下等价条件 AB AB=B AB=A AB= (1) (2) (3) (4) 证明顺序: (1) (2), (2) (3), (3) (4), (4) (1,假设 X=Y 不成立,则存在 x 使得 xX且xY,或者存在 x 使得 xY且xX,然后推出矛盾,29,1) (2) 显然BAB,下面证明ABB. 任取x, xAB xAxB xBxB xB 因此有ABB. 综合上述(2)得证,2) (3) A=A(AB) A=AB (将AB用B代入,30,3) (4) 假设AB, 即xAB,那么xA且xB. 而 xB xAB. 从而与
12、AB=A矛盾,4) (1) 假设AB不成立,那么 x (xA xB) xAB AB 与条件(4)矛盾,31,4.集合运算法证明X=Y,例11 证明AC=BC AC=BC A=B 证 由 AC=BC 和 AC=BC 得到 (AC)-(AC)=(BC)-(BC) 从而有 AC=BC A=B(消去律) 因此 AC=BC (AC)C =(BC)C A(CC) =B(CC) A=B A=B,由已知等式通过运算产生新的等式 X=Y XZ=YZ, XZ=YZ,X-Z=Y-Z,32,集合的基数与有穷集合 包含排斥原理 有穷集的计数,3.3 集合中元素的计数,33,集合 A 的基数:集合A中的元素数,记作 ca
13、rdA 有穷集 A: cardA=|A|=n,n为自然数. 有穷集的实例: A= a,b,c, cardA=|A|=3; B= x | x2+1=0, xR, cardB=|B|=0 无穷集的实例: N, Z, Q, R, C 等,集合的基数与有穷集合,34,包含排斥原理,定理 设 S 为有穷集,P1, P2, , Pm 是 m 种性质, Ai 是 S 中具有性质 Pi 的元素构成的子集,i=1, 2, , m.则 S 中不具有性质 P1, P2, , Pm 的元素数为,35,证明,证 设 x不具有性质 P1, P2, , Pm , xAi , i = 1, 2, , m xAiAj , 1
14、i j m xA1A2Am , x 对右边计数贡献为 1 0 + 0 0 + + (1)m 0 = 1,证明要点:任何元素 x,如果不具有任何性质,则对等式右边计数贡献为,否则为,36,证明(续,设 x具有 n 条性质,1nm x 对 |S| 贡献为 1 x 对 贡献为 x 对 贡献为 . x 对 | A1A2Am| 贡献为 x 对右边计数贡献为,37,S中至少具有一条性质的元素数为,推论,38,解:S = x | xZ, 1 x 1000 , 如下定义 S 的 3 个子集 A, B, C: A= x | xS, 5 | x , B= x | xS, 6 | x , C= x | xS, 8 | x,例1 求1到1000之间(包含1和1000在内)既不能被 5 和6 整除,也不能被 8 整除的数有多少个,应用,39,对上述子集计数: |S|=1000, |A|= 1000/5 =200, |B|=1000/6=166, |C|= 1000/8 =125, |AB|= 1000/30 =33, |BC| = 1000/40 =25, |BC|= 1000/24 =41, |ABC| = 1000/120 =8,代入公式 N = 1000(200+166+125)+(33+25+41)8=600,例1(续,40,文氏图法,求1到1000之间(包
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 草牧场承包合同
- 地板集中采购合同范本
- 单位 灯具 供货合同范本
- 餐饮排水排污合同范本
- 运输管理信息系统
- 毕节项目可行性研究报告(范文参考)
- 问题处理分析流程
- 针灸科护理病例讨论
- 2023-2024学年江苏省西安交大苏州附属中学八年级上学期英语12月月考卷及答案
- 银行行业洞察报告
- 2025年全国普通话水平测试15套复习题库及答案
- 2024年天津医科大学眼科医院自主招聘考试真题
- 土木工程毕业论文-居民住宅楼的施工组织方案设计
- 2025年高速公路收费站(车辆通行费收费员)岗位职业技能资格知识考试题库与答案
- 组织内的有效沟通报联商
- 2025年肺心病的护理试题及答案
- T-CECRPA 011-2024 温室气体 产品碳足迹量化方法与要求 光伏组件
- 舞蹈室课程顾问工作合同5篇
- 计调业务2.2组团计调发团业务流程
- 2025年四板挂牌专项法律服务协议
- 拒绝间歇性努力不做45度青年-“拒绝躺平”主题班会-2024-2025学年初中主题班会课件
评论
0/150
提交评论