大连理工大学软件学院 离散数学 第三章 集合论-1st精品.pptVIP

一、相交运算 类推至多个集合的情况，集合的交运算仍满足结合律。 假设有n个集合A1,A2,…An，那么这些集合的交集可表示为： 二、联合运算（集合的并） 定义：由集合A和B的所有元素组成的集合称为A和B的并集，记作 A B 例如 设A={a,b,c}, B={c,d,f}, C={b,e} 那么 可以看出 二、集合的并 集合的并运算具有如下性质： 注意：假设有n个集合A1,A2,…An，那么这些集合的并集可表示为： 二、集合的并 二、集合的并 证明：对于任意的x，若 由x的任意性可知(a)成立。 同理可以证明(b)。 二、集合的并 二、集合的并 关于交集、并集的例子 老师讲完交集、并集的概念之后，提问学生：　　（1）设A={x│x是参加百米赛跑的同学}，B={x│x是参加跳高比赛的同学}，求A∩B．　　（2）设A={x│x是红星农场的汽车}，B={x│x是红星农场的拖拉机}，求A∪B． 一学生答道： （1）中A∩B={x│x是参加百米障碍赛的同学}．　（2）中A∪B={x│x是红星农场的联合收割机}． 作业 P45：1（1，3，5） 2（2，4） 3 4（4，5） 5 6（3） 7（3） 8 9（3） 10 第三章 集合论 回顾 6个逻辑联接词 最小完备运算集 命题变元、命题公式 永真式、永真蕴含 代入规则、替换规则 永真、永假、可满足 对偶 三个原理/定理 范式 基本和、基本积、极小项、极大项 析取、合取 主析取、主合取 命题的翻译 推理四规则 P规则 T规则 CP规则 F规则 回顾 个体、谓词、量词 全称量词、存在量词 自由变元、约束变元 谓词公式、谓词公式的解释 含量词的等价式和永真蕴含式 量词转化律、扩张及收缩律、量词分配律 谓词公式的翻译 推理规则 约束变元改名 自由变元代入 取代规则 量词的增删规则 全称特指（Universal Specification） 存在特指（Existential specification） 存在推广（existential generalization） 全称推广（universal generalization） 集合论的创立与康托尔的遭遇 19世纪末期，数学界出现了一件引人注目的事情。一位名叫康托尔（G.Cantor， 1845－1918）的德国数学家提出一种令人费解的古怪理论----集合论。它的内容是如此与常识格格不入，以致于一出世就引起了一场轩然大波。 自从17世 纪牛顿和莱布尼茨）创立微积分理论体系之后，在近一二百年时间里，微积分理论一直缺乏一个严格的逻辑基础。它的一些基本概念的表述，还有某些混乱和自相矛盾之处。从19世纪开始，柯西、魏尔斯特拉斯等人进行了微积分理论严格化的工作。他们建立了极限理论，并把极限理论的基础归结为实数理论。那么，实数理论的基础又该是什么呢？康托尔试图用集合论来作为实数理论，以至整个微积分理论体系的基础。 出于这一目的，康托尔用集合的观点重新考察各种数量关系，特别是无穷数量关系。 他发现，无穷集合有着有穷数量关系所不具备的性质。比如，在无穷集合领域，所有整数和所有偶数之间是一一对应的，所有有理数和所有整数之间是一一对应的，平面上所有的点和线段上所有的点是一一对应的，……概言之，在无穷的世界里，整体的所有元素和部分的所有元素之间可以是一一对应的。另外，无穷集合并不都是相等的，比如所有实数和所有有理数之间就不是一一对应的。因而，无穷集合是有大小的。集合论用“基数”这个概念来表示无穷集合间的区别。 那么，有没有一个最大的集合呢？康托尔通过研究，否定了这个想法。因为每个已知集合的所有子集所构成集合，其基数都大于已知集合的基数。既然没有最大的基数，当然也没有最大的集合。无穷世界里的这些性质， 初看起来，真是令人头晕目眩。 康托尔的研究成果发表之后，马上遭致当时一些赫赫有名的数学家的激烈攻击。德国数学家克隆尼克是这些人中言辞最激烈、攻击时间最长的一个。 克隆尼克比康托尔年长22岁。他主张，除非一种数学对象能够用有限步骤从自然数中构造出来，否则不能认为它在数学上是存在的。他有一句“名言”：“上帝创造了自然数，其余的一切才是人做的工作”。因此，他否认无理数的存在，也否认极限理论的意义。虽然康托尔是他的学生，但由于集合论的内容同他的主张大相径庭，所以克隆尼克简直到了不能容忍的程度。他认为，康托尔关于超限数的研究，是一种非常危险的数学疯病。克隆尼克的影响还使康托尔的学术论文一再延误发表日期。 除了克隆尼克之外，还有一些著名数学家也对集合论发表了反对意见。 法国数学家彭加勒说：“我个人，而且还不只我一人，认为重要之点