离散数学第三章集合论.pptVIP

PART 01 PART 02 PART 03 集合的概念及其表示 集合的运算及恒等式 有穷集的计数和包含排斥原理 主要内容 3.3 有穷集的计数和包含排斥原理 使用文氏图可以很方便的解决有穷集的计数问题。首先根据已知条件把对应的文氏图画出来。一般来说，每一条性质决定一个集合，有多少条性质，就有多少个集合。如果没有特殊的说明，任何两个集合都画成相交的，然后将已知的元素个数填入该集合的区域内。通常从 个集合的交集填起，根据计算的结果将数字逐步填入所有的空白区域。如果交集的数字是未知的，可以设为 ，之后再根据题目中的条件，列出一次方程或方程组，就可以求得所需要的结果。 * 3.3 有穷集的计数和包含排斥原理 例3.9 对24名会外语的科技人员进行掌握外语情况的调查，统计结果如下：会英、日、德和法语的人分别为13，5，10和9人，其中同时会英语和日语的有2人，会英、德和法语中任两种语言的都是4人。已知会日语的人既不懂法语也不懂德语，分别求只会一种语言（英、德、法、日）的人数和会三种语言的人数。 解：令A，B，C，D分别表示会英、德、法、日语的人的集合。根据题意画出文氏图如图3.4所示。设同时会三种语言的有 人，只会英、法或德语一种语言的分别为 ， 和 人。将 x 和 ， ， 填入图中相应的区域，然后依次填入其他区域的人数。根据已知条件列出方程组如下： 解得 * 3.3 有穷集的计数和包含排斥原理 * 包含排斥原理 3.3 有穷集的计数和包含排斥原理 * 包含排斥原理 * 第三章 集合论 离散数学 陈志奎主编 人民邮电出版社 集合论的创立与康托尔的遭遇 19世纪末期，数学界出现了一件引人注目的事情。一位名叫格奥尔格·康托尔（G.Cantor， 1845－1918）的德国数学家提出一种令人费解的古怪理论----集合论。它的内容是如此与常识格格不入，以致于一出世就引起了一场轩然大波。 集合论的创立与康托尔的遭遇 自从17世纪牛顿和莱布尼茨创立微积分理论体系之后，在近一二百年时间里，微积分理论一直缺乏一个严格的逻辑基础。 出于这一目的，康托尔用集合的观点重新考察各种数量关系，特别是无穷数量关系。 在无穷的世界里，整体的所有元素和部分的所有元素之间可以是一 一对应的。另外，无穷集合并不都是相等的，比如所有实数和所有有理数之间就不是一一对应的。因而，无穷集合是有大小的。集合论用“基数”这个概念来表示无穷集合间的区别。 集合论的创立与康托尔的遭遇 康托尔的研究成果发表之后，遭到了德国数学家克隆尼克的激烈攻击。 “上帝创造了自然数，其余的一切才是人做的工作” 集合论的创立与康托尔的遭遇 法国数学家彭加勒说：“我个人，而且还不只我一人，认为重要之点在于，切勿引进一些不能用有限个文字去完全定义好的东西”。他把集合论当作一个有趣的“病理学的情形”来谈，并且预测说：“后一代将把（Cantor）集合论当作一种疾病，而人们已经从中恢复过来了”。 德国数学家魏尔认为，康托尔关于基数的等级观点是雾上之雾。 菲利克斯．克莱因也不赞成集合论的思想。 数学家H．A．施瓦兹原来是康托尔的好友，但他由于反对集合论而同康托尔断交 公理化集合论的建立 在1900年第二次国际数学大会上，著名数学家庞加莱就曾兴高采烈地宣布“……数学已被算术化了。今天，我们可以说绝对的严格已经达到了。” 然而这种自得的情绪并没能持续多久。不久，集合论有漏洞的消息迅速传遍了数学界。这就是1902年罗素得出的罗素悖论。 公理化集合论的建立 罗素构造了一个所有不属于自身（即不包含自身作为元素）的集合R。现在问R是否属于R？ 如果R属于R，则R满足R的定义，因此R不应属于自身，即R不属于R；另一方面，如果R不属于R，则R不满足R的定义，因此R应属于自身，即R属于R。这样，不论何种情况都存在着矛盾。 公理化集合论的建立 1908年，策梅罗提出公理化集合论，后经改进形成无矛盾的集合论公理系统，简称ZF公理系统。这就是集合论发展的第二个阶段：公理化集合论。 在1908年以前由康托尔创立的集合论被称为朴素集合论。 PART 01 PART 02 PART 03 集合的概念及其表示 集合的运算及恒等式 有穷集的计数和包含排斥原理 主要内容 3.1 集合的概念及其表示 集合是一个不能精确定义的基本概念。一般地说，把具有共同性质的一些事物汇集成一个整体，就叫做集合。而这些事物就是这个集合的元素。例如，全体中国人是一个集合，每个中国人都是这个集合的元素；全体自然数是一个集合，每个自然数都是这个集合的元素；图书馆的藏书是一个集合，每本书都是这个集合的元素；全国的高校也形成一个集合，每所高校都是这个集合的元素。