- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
离散数学第03讲的
第三讲 集 合;3.1 集合论基础;集合的元素一旦给定,这一集合便完全确立。这一事实被形式地叙述为外延公理。
外延公理:两集合A和B相等,当且仅当它们有相同的元素。
若A与B相等,记为A=B;否则,记为A?B。;外延公理可形式表为:
A=B?(?x)(x?A?x?B)
或者A=B?(?x)(x?A?x?B)?(?x)(x?B?x?A)
顺便指出,在应用外延公理证明集合A与B相等时,只需考察:
对于任意元素x,应有下式
x?A?x?B
成立即可。这就是说,证明两集合相等时可按此法行事。
;表示一个特定集合,基本上有两种方法:
一是枚举法,在可能时列出它的元素,元素之间用逗号分开,再用花括号括起。如
A={a,e,i,o,u} (1)
表明集合A是由字母a, e, I ,o和u为元素构成的。
;二是谓词法,用谓词公式来确定集合。即个体域中能使谓词公式为真的那些元素,确定了一个集合,因为这些元素都具有某种特殊性质。若P(x)含有一个自由变元的谓词公式,则{x|P(x)}定义了集合S,并可表为
S={x|P(x)}
由此可见,P(c)为真当且仅当c?S。从而有
x?S?P(x)为真
;应该指出的是:①集合并不决定于它的元素展示方法。集合的元素被重复或重新排列,集合并不改变,即{a, a ,e, i, o, u}= { a, u, e, o, i}。但有时对重复出现的元素都认为是集合的元素,这种集合称为多重集。即{a, a, e, i, o, u, u}?{a, e, i, o, u}。本书中集合在不特别指明时,都指前者,即①中的集合。;②集合的元素可以是具体事物,可以是抽象概念,也可以是集体,不是集合的元素称为本元。如,一本书,一支笔,集合{1,2,3}可以组成集合B={一本书,一支笔,{1,2,3}} 。特别地,以集合为元素的集合称为集合族或集合类如A={{1,2,3}, { 8,9,6}}。
③集合中元素之间可以有某种关联,也可以彼此毫无关系。;2. 子集、全集与空集
子集是描述一个集合与另一个集合之间的关系,其定义如下。
定义3.1.1 设A和B是任意两个集合,如果集合A的每个元素,都是集合B中的一个元素,则称A是B的子集,或称A被包含于B中,或者说B包含A,并记为A?B。
;本定义也可表成
A?B?(?x)(x?A?x?B)
这表明,要证明A?B,只需对任意元素x,有下式
x?A?x?B
成立即可。
此外,若集合B不包含集合A,记为A?B。;定义3.1.2 设A和B是两个集合,若A?B且A?B,则称A是B的真子集,记为A?B,也称B真包含A。该定义也可表为
A?B?(A?B?A?B);定义3.1.3 如果一个集合包含了所要讨论的每一个集合,则称该集合为全集,记为U或E。它可形式地表为
U={x|P(x)??P(x)}
其中P(x)为任何谓词公式。;显然,全集U即是第二章中的全总论域。于是,每个元素x都属于全集U,即命题(?x)(x?U)为真。由定义易知,对任意集合A,都有A?U。
在实际应用中,常常把某个适当大的集合看成全集U。;定义3.1.4 没有任何元素的集合,称为空集,记为?,它可形式地表为:
?={x|P(x)??P(x)}
其中P(x)为任何谓词公式。
由定义可知,对任何集合A,有??A。这是因为任意元素x,公式x???x?A总是为真。
;注意,?与{?}是不同的。{?}是以?为元素的集合,而?没有任何元素,能用?构成集合的无限序列:
(1)?,{?},{{?}},···
该序列除第一项外,每项均以前一项为元素的集合。
;(2)?,{?},{?,{?}},···
该序列除第一项外,每项均以前面各项为元素的集合。它即是冯·诺依曼在1924年使用空集?给出自然数的集合表示:
0:=?,1:={?},2:={ ?,{?}},···
定理3.1.1 空集是唯一的
定理3.1.2 (ⅰ)对任一集合A,有A?A。
(ⅱ)若A?B且B?C,则A?C。;3.集合的基数
表示集合中元素多少或度量集合大小的数,称作集合的基数或势。一个集合A的基数,记为|A|。
如果一个集合恰有m个不同的元素,且m是某个非负整数,称该集合是有限的或有穷的,否则称这个集合为无限的或无穷的。;常见的无穷集合有:
N={0,1,2,3,···},即自然数集合。
Z={···,-2,-1,0,1,2,3,···},即整数集合。
Z+={1,2,3,···},即正整数集合。
Q=有理数集合。
R=实数集合。
C=复数集合。;4.集合的幂集
一个集合的幂集是指该集合所有子集的集合,即是由这些子集所组成的集合族。
定义3.1.5 设A为一集合,A的幂集是一集合族,记为P(A),
P(A)={B|B?A}
您可能关注的文档
最近下载
- IPCWHMAA620D+CN中文版+2020线缆及线束组件的要求与验收.docx VIP
- 餐饮行业培训-中餐服务.ppt VIP
- 低温工作条件下立式平底圆筒形储罐 第二部分 储存最低温度达-165度的液化气的单容、双容和全容金属罐的设计和制造规范.doc VIP
- 政府机关物业服务投标方案399页.doc VIP
- 老年心血管疾病的综合管理题库答案-2025年华医网继续教育答案.docx VIP
- 全套课件-中国城市建设史.ppt
- 通用版小升初英语专项复习---用所给单词的适当形式填空(含答案).docx VIP
- 力学_舒幼生_第七章振动和波-公开课件(讲义).ppt VIP
- 政府机关单位物业服务投标方案【超级高端完整版】.doc VIP
- QC七大手法培训资料.pptx VIP
文档评论(0)