版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
3.1集合的基本概念集合(Set)是不能精确定义的基本概念。
所谓集合,是指我们无意中或思想中将一些确定的、彼此完全不同的客体的总和而考虑为一个整体。这些客体叫做该集合的元素。(康托)
直观地说,把一些事物汇集到一起组成一个整体就叫集合,而这些事物就是这个集合的元素或成员。例如:方程x2-1=0的实数解集合;26个英文字母的集合;坐标平面上所有点的集合;…
…集合通常用大写的英文字母来标记。集合
没有精确的数学定义理解:一些离散个体组成的全体,组成集合的个体称为它的元素或成员集合的表示
列元素法
A={a,b,c,d};
谓词表示法
B={x|P(x)}
B由使得P(x)为真的
x
构成常用数集:
N,Z,Q,R,C
分别表示自然数、整数、有理数、实数和复数集合,
注意0是自然数.元素与集合的关系:隶属关系,属于,不属于
实例
A={x|xRx2-1=0},A={-1,1}
1
A,2A注意:对于任何集合A和元素x(可以是集合),
x
A和x
A两者成立其一,且仅成立其一.例A={a,{b,c},d,{{d}}}{b,c}
Ab
A{{d}}A{d}Ad
A
包含(子集)
A
B
x(x
A
x
B)
不包含A⊈B
x(x
A
x
B)
相等
A=B
A
B
B
A
不相等A
B
真包含
A
B
(A
B)
(A
B)
不真包含
A
B
思考:
和
的定义注意
和
是不同层次的问题空集
不含任何元素的集合实例{x|x2+1=0xR}就是空集全集E
具有相对性在给定问题中,全集包含任何集合,即
A
(A
E)定理空集是任何集合的子集
A
x(x
x
A)T
推论空集是惟一的.证假设存在1和2,则1
2且1
2,因此1=2
幂集
P(A)={x|x
A}实例P(
)={
},
P({
})={
,{
}}
P({1,{2,3}})={,{1},{{2,3}},{1,{2,3}}}计数如果|A|=n,则|P(A)|=2n
判断真假3.2集合的基本运算并
A
B={x|x
A
x
B}交
A
B={x|x
A
x
B}相对补
A
B={x|x
A
x
B}对称差
A
B=(A
B)
(B
A)
=(A
B)(A
B)
绝对补
A=E
A
文氏图表示注:1运算顺序:和幂集优先,其他由括号确定2并和交运算可以推广到有穷个集合上,即
A1
A2
…An={x|x
A1
x
A2
…
x
An}
A1
A2
…An={x|x
A1
x
A2
…
x
An}3某些重要结果
A
B
A;
A
B
A
B=
;A
B=
A
B=A
交换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=A
与
与
分配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)=A
D.M律A
(B
C)=(A
B)(A
C)A
(B
C)=(A
B)(A
C)
(B
C)=B
C
(B
C)=B
C双重否定
A=A
E补元律A
A=A
A=E零律A
=
A
E=E同一律A
=AA
E=A否定
=E
E=集合包含或相等的证明方法证明
X
Y命题演算法包含传递法等价条件法反证法并交运算法证明X=Y命题演算法等式代入法反证法运算法命题演算法证X
Y任取x,
x
X…x
Y
例
证明A
B
P(A)
P(B)
任取x
x
P(A)x
A
x
B
x
P(B)
任取x
x
A{x}A{x}P(A){x}P(B){x}B
x
B包含传递法证X
Y找到集合T满足X
T且T
Y,从而有X
Y例
A
B
A
B证
A
B
AA
A
B
所以
A
B
A
B
利用包含的等价条件证X
Y例5A
C
B
C
A
B
C
证A
C
A
C=C
B
C
B
C=C
(A
B)C=A(B
C)=A
C=C(A
B)C=C
A
B
C
命题得证反证法证X
Y欲证X
Y,假设命题不成立,必存在x使得
x
X且x
Y.然后推出矛盾.例
证明A
C
B
C
A
B
C证假设A
B
C不成立,则
x(x
A
B
x
C)
因此
x
A或
x
B,且x
C
若x
A,则与A
C矛盾;
若x
B,则与B
C矛盾.
利用已知包含式并交运算由已知包含式通过运算产生新的包含式
X
Y
X
Z
Y
Z,X
Z
Y
Z例
证明
A
C
B
C
A
C
B
C
A
B证
A
C
B
C,A
C
B
C
上式两边求并,得
(A
C)(A
C)(B
C)(B
C)
(A
C)(A
C)(B
C)(B
C)
A(C
C)
B(C
C)
A
E
B
E
A
B命题演算法证明X=Y任取x
,
x
X…x
Y
x
Y…x
X
或者
x
X…x
Y
例
证明A(A
B)=A
(吸收律)证任取x,
x
A(A
B)x
A
x
A
B
x
A(x
A
x
B)x
A
等式替换证明X=Y不断进行代入化简,最终得到两边相等例
证明A
(A
B)=A
(吸收律)证(假设交换律、分配律、同一律、零律成立)
A
(A
B)=(A
E)
(A
B)同一律
=A
(E
B)分配律
=A
(B
E)交换律
=A
E
零律
=A
同一律反证法证明X=Y假设X=Y不成立,则存在x使得x
X且x
Y,或者存在x使得x
Y且x
X,然后推出矛盾.例
证明以下等价条件
A
B
A
B=B
A
B=A
A
B=
(1)(2)(3)(4)证明顺序:
(1)(2),(2)(3),(3)(4),(4)(1)(1)(2)显然B
A
B,下面证明A
B
B.任取x,
x
A
B
x
A
x
B
x
B
x
B
x
B因此有A
B
B.综合上述(2)得证.(2)(3)
A=A
(A
B)
A=A
B
(将A
B用B代入)(3)(4)假设A
B
,即
x
A
B,那么x
A且x
B.而
x
B
x
A
B.从而与A
B=A矛盾.(4)(1)假设A
B不成立,那么
x(x
A
x
B)
x
A
B
A
B
与条件(4)矛盾.集合运算法证明X=Y由已知等式通过运算产生新的等式
X=Y
X
Z=Y
Z,X
Z=Y
Z,X-Z=Y-
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 经络疏通专项理疗规范
- 收银系统操作规范手册
- 老客户维系服务提升操作服务方案
- 火灾事故应急疏散演练实施方案
- 拖拉机农机具维护保养手册
- 艾灸疗程安全操作指引
- 植保无人机飞防作业规范
- 风电场谐波治理方案
- 高尿酸饮食干预手册
- 风电场测风塔布设方案
- T/TMAC 003-2017桥梁转体装置
- 2025年卫生健康委系统工作人员招聘考试笔试试题(含答案)
- 某桥梁工程专项施工方案
- 人教版高中生物必修1分子与细胞第2章第4节蛋白质是生命活动的主要承担者课件
- 《保安员培训》课件
- 酒店业网络安全管理制度
- 《长方体和正方体》题型讲解(课件)六年级上册数学
- 工业机器人虚拟仿真与离线编程(ABB)课件 第5章 工业机器人喷涂工作站仿真
- 2024年浙江省绍兴市特种设备检测院招聘11人历年高频难、易点(公共基础测验共200题含答案解析)模拟试卷
- 露天矿山施工组织设计方案
- 《室内装饰装配式施工》课件-装配式装修技术
评论
0/150
提交评论