《离散数学》教案培训课件.docVIP

《离散数学》教案 第一章 集合与关系 集合是数学中最基本的概念， 又是数学各分支、 自然科学及社会科学各领域的最普 遍采用的描述工具。 集合论是离散数学的重要组成部分， 是现代数学中占有独特地位的 一个分支。 G. Cantor( 康脱) 是作为数学分支的集合论的奠基人。 1870 年前后，他关于无穷序 列的研究导致集合论的系统发展。 1874 年他发表了关于实数集合不能与自然数集合建 立一一对应的有名的证明。 1878 年，他引进了两个集合具有相等的“势”的概念。然 而，朴素集合论中包含着悖论。第一个悖论是布拉利 - 福尔蒂的最大序数悖论。 1901 年 罗素发现了有名的罗素悖论。 1932 年康脱也发表了关于最大基数的悖论。集合论的现 代公理化开始于 1908 年策梅罗所发表的一组公理，经过弗兰克尔的加工，这个系统称 为策梅罗 - 弗兰克尔集合论（ ZF），其中包括 1904 年策梅罗引入的选择公理。另外一种 系统是冯· 诺伊曼 - 伯奈斯 - 哥德尔集合论。 公理集合论中一个有名的猜想是连续统假设 （CH）。哥德尔证明了连续统假设与策梅罗 - 弗兰克尔集合论的相容性， 科恩证明了连续 统假设与策梅罗 - 弗兰克尔集合论的独立性。 现在把策梅罗 - 弗兰克尔集合论与选择公理 一起称为 ZFC系统。 一、学习目的与要求 本章目的是介绍集合的基本概念，讲授集合运算的基本理论，关系的