离散数学集合的基本概念和运算.ppt
《离散数学集合的基本概念和运算.ppt》由会员分享,可在线阅读,更多相关《离散数学集合的基本概念和运算.ppt(40页珍藏版)》请在三一办公上搜索。
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(x)为真的 x 构成 常用数集 N,Z,Q,R,C 分别表示自然数、整数、有理数、实数和复数集合,注意 0 是自然数.,6,集合
2、与元素,元素与集合的关系:隶属关系 属于,不属于 实例 A=x|xRx2-1=0,A=-1,1 1A,2A注意:对于任何集合 A 和元素 x(可以是集合),xA和 xA 两者成立其一,且仅成立其一.,7,隶属关系的层次结构,例 3.1A=a,b,c,d,d b,cAbAdAdAdA,8,集合之间的关系,包含(子集)A B x(xA xB)不包含 A B x(xA xB)相等 A=B A B B A 不相等 A B 真包含 A B A B A B 不真包含 A B 思考:和 的定义 注意 和 是不同层次的问题,9,空集与全集,空集 不含任何元素的集合实例 x|x2+1=0 xR 就是空集定理 空
3、集是任何集合的子集 A x(xxA)T 推论 空集是惟一的.证 假设存在1和2,则12 且12,因此1=2全集 E 相对性 在给定问题中,全集包含任何集合,即A(AE),10,幂集,定义 P(A)=x|xA 实例 P()=,P()=,P(1,2,3)=,1,2,3,1,2,3计数 如果|A|=n,则|P(A)|=2n,11,3.2 集合的基本运算,集合基本运算的定义 文氏图(John Venn)例题集合运算的算律集合包含或恒等式的证明,12,集合基本运算的定义,并 AB=x|xA xB 交 AB=x|xA xB 相对补 AB=x|xA xB 对称差 AB=(AB)(BA)=(AB)(AB)绝对
4、补 A=EA,13,文氏图表示,14,关于运算的说明,运算顺序:和幂集优先,其他由括号确定并和交运算可以推广到有穷个集合上,即 A1A2An=x|xA1xA2xAn A1A2An=x|xA1xA2xAn某些重要结果 ABA AB AB=(后面证明)AB=AB=A,15,只有一、二年级的学生才爱好体育运动,F:一年级大学生的集合 S:二年级大学生的集合 R:计算机系学生的集合 M:数学系学生的集合 T:选修离散数学的学生的集合 L:爱好文学学生的集合 P:爱好体育运动学生的集合,T(MR)S,RS T,(MF)T=,MLP,PFS,S(MR)P,除去数学和计算机系二年级学生外都不选修离散数学,例
5、1,所有计算机系二年级学生都选修离散数学,数学系一年级的学生都没有选修离散数学,数学系学生或爱好文学或爱好体育运动,16,例2,=S2,=S5,=S1,S2,S4,=S3,S5,与 S1,.,S5 都不等,17,集合运算的算律,吸收律的前提:、可交换,18,集合运算的算律(续),19,集合包含或相等的证明方法,证明 XY命题演算法包含传递法等价条件法反证法并交运算法,证明 X=Y命题演算法等式代入法反证法运算法,以上的 X,Y 代表集合公式,20,任取 x,xX xY,命题演算法证 XY,例3 证明AB P(A)P(B)任取x xP(A)xA xB xP(B)任取x xA xA xP(A)xP
6、(B)xB xB,21,包含传递法证 XY,找到集合T 满足 XT 且 TY,从而有XY例4 AB AB证 AB A A AB 所以 AB AB,22,利用包含的等价条件证 XY,例5 ACBC ABC 证 AC AC=C BC BC=C(AB)C=A(BC)=AC=C(AB)C=C ABC 命题得证,23,反证法证 XY,欲证XY,假设命题不成立,必存在 x 使得 xX 且 xY.然后推出矛盾.例6 证明 AC BC ABC证 假设 AB C 不成立,则 x(xABxC)因此 xA 或 xB,且 xC 若 xA,则与 AC 矛盾;若 xB,则与 BC 矛盾.,24,利用已知包含式并交运算,例
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 离散数学 集合 基本概念 运算
链接地址:https://www.31ppt.com/p-6595675.html