原创力文档- 1、本文档共19页，可阅读全部内容。
- 2、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。
- 3、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
- 5、该文档为VIP文档，如果想要下载，成为VIP会员后，下载免费。
- 6、成为VIP后，下载本文档将扣除1次下载权益。下载后，不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后，您将拥有八大权益，权益包括：VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传，每下载1次， 网站将根据用户上传文档的质量评分、类型等，对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
第二部分集合论
集合是数学中最基本的概念，又是数学各分支、自然科学及社会科学各领域
的最普遍采用的描述工具。集合论是离散数学的重要组成部分，是现代数学中占
有独特地位的一个分支。
集合论是现代数学中重要的基础理论。它是德国数学家康托（GeogCantor，
1845～1918）于1874年创立的，1876～1883年康托一系列有关集合论的文章，对
任意元的集合进行了深入的探讨，提出了关于基数、序数和良序集等理论，奠定
了集合论深厚的基础。19世纪90年代后逐渐为数学家们采用，成为分析数学、代
数和几何的有力工具。随着集合论的发展，以及它与数学哲学密切联系所作的讨
论，在1900年前后出现了各种悖论，第一个悖论是布拉利-福尔蒂的最大序数悖论。
1901年罗素发现了著名的罗素悖论。1932年康托也发表了关于最大基数的悖论，
使集合的发展一度陷入僵滞的局面。1904～1908年，策墨罗（Zermelo）列出了第
一个集合论的公理系统，它的公理，使数学哲学中产生的一些矛盾基本上得到了
统一，在此基础上以后就逐渐形成了公理化集合论和抽象集合论，使该学科成为
在数学中发展最为迅速的一个分支。这个集合论的现代公理系统，经过弗兰克尔
的加工，称为策墨罗－弗兰克尔集合论（ZF）。另外一个系统是冯·诺伊曼－伯奈
斯－哥德尔集合论。公理集合论中有一个猜想是连续统假设（CH）。哥德尔证明了
连续统假设与策墨罗－弗兰克尔集合论的相容性，科恩证明了连续统假设与策墨
罗-弗兰克尔集合论的独立性。现在把策墨罗－弗兰克尔集合论与选择公理一起
称为ZFC系统。
集合的概念和方法已经渗透到代数、拓扑和分析等许多数学分支以及物理学
和质点力学等一些自然科学领域，为这些学科提供了奠基的方法，改变了这些学
科的面貌。几乎可以说，如果没有集合论的观点，很难对现代数学获得一个深刻
的理解。所以集合论的创立不仅对数学基础的研究有重要意义，而且对现代数学
的发展也有深远的影响。集合论已经成为不可缺少的数学工具和表达语言。对于
计算机科学工作者来说，集合论也是必备的基础知识，它在开关理论、形式语言、
有限状态机、编译原理、数据库原理等领域中有着广泛的应用。
本篇介绍集合论的基础知识，主要内容包括集合的基本运算、序偶、关系、
函数、基数等。各章节主要知识点关联如图2.0.0所示。
88
互异性集合
无序性集合性质集合运算运算规律
确定性
学数散离
幂集集合关系关系元素计数容斥原理
有序化
笛卡儿积序偶二元关系表示方法关系矩阵
关系性质
闭包运算闭包关系图
等价式
偏序关系元系二关殊特
哈斯图合取范式相容关系范式
等价关系
复合函数
商集范式
文档评论（0）