[工学]离散数学3集合.ppt

离 散 数 学 Discrete Mathematics 第二篇 集 合 理 论 朴素(经典)集合论: 1874年德国数学家康托(Cantor)创立了朴素集合论, 没作完全形式的刻划, 导致悖论(paradox)。 公理化集合论: 1908年另一个德国数学家蔡梅罗(Zermelo)建立了集合论的抽象公理系统。 从集合论出发, 数学家们推出了数学上许多重要的结果。 一百多年来, 集合论已成为数学中不可缺少的基本描述工具, 现代连续数学和离散数学的“大厦”就是建立在集合论的基础之上的。 集合论是研究集合的一般性质的数学分支，它研究集合不依赖于组成它的事物的特性的性质。 在现代数学中，每个对象（如数、函数等）本质上都是集合，都可以用某种集合来定义。数学的各个分支，本质上都是在研究这种或那种对象的集合的性质。集合论已成为全部现代数学的理论基础。 集合论的特点是研究对象的广泛性。它总结出由各种对象构成的集合的共同性质，并用统一的方法来处理。因此，集合论被广泛地应用于各种科学和技术领域。 随着计算机时代的开始, 集合的元素已由数学的“数集”和“点集”拓展成包含文字、符号、图形、图表和声音等多媒体multimedia的信息, 构成了各种数据类型的集合。 集合论的原理和方法已成为计算机科学的重要基础理论之一。 由于集合论的语言适合于描述和研究离散对象及其关系，所以也是计算机科学与工程的理论基础，在程序设计、关系数据库、排队论、开关理论，形式语言和自动机理论等学科领域中都有重要的应用。 本篇主要介绍：集合、二元关系和函数，以及集合的基数问题。 第三章 集 合 (Set) 在自然科学中, 除了研究处于孤立下的单个个体, 更经常是将一些相关的个体联合在一起进行研究。 §3.1 集 合 一、集合的概念 集合的含义： 一个集合是作为整体识别的、确定的、互相区别的一些事物的聚集(全体或总和等)。 严格地说这不能算是集合的定义, 这只是一种描述, 因为“聚集(全体或总和等)”是集合一词的同义反复。 正像几何学中的点、线、面等概念一样, 集合也是一种不加定义而可直接引入的最基本原始概念。 构成一个集合的每个事物, 称为这个集合中的元素(element)或成员(member)。 集合一般用大写英文字母表示, 集合中的元素用小写英文字母表示。但这不是绝对的, 因为一个集合可以作为另一个集合的元素。幂集 如果x是集合S的一个元素, 记作x?S, 读为x属于S; y不是集合S的元素, 记作y?S, 读为y不属于S。 “集合”、“元素”和“属于”是集合论的三个最基本概念, 它们是未加形式定义的原始概念, 仅如上作了直观的描述。集合论中的其它概念, 均可由这三个概念出发, 给予严格定义。 例 3.1.1 (1) 偶素数集合{2}, 称为单元集。 (2) 二进制的基数集合{0, 1}。 (3) 英文字母(大写和小写)的集合。 (4) C#语言的基本字符构成一个字符集。 (5) 计算机主存的全部存储单元集合。 (6) 全体实数的集合。 (7) 宇宙中的全部星球是一个集合。 二、集合的特性 集合论依赖于三大基本原理, 它们从根本上规定了集合概念的意义。 集合的元素一旦给定, 这一集合便完全确定, 这一事实被形式地叙述为外延性公理。 1. 外延 (extension) 公理--两个集合A和B相等的充分必要条件是它们有相同的元素。 外延公理刻划了集合的下列特性: A. 互异性: 一个集合的各元素是可以互相区分开的, 即每一元素只出现一次。 B. 无序性: 集合中元素排列次序无关紧要, 即集合表示形式的不唯一性。 例 3.1.2 {a, b, c} = {a, c, b} = {b, a, c} = {b, c, a} = {c, a, b} = {c, b, a}。 2. 概括 (comprehension) 公理 -- 构成一个集合应符合两个要求: I. 纯粹性: 凡该集合中的元素都具有某种性质 II. 完备性: 凡具有某种性质的元素都在该集合中 概括公理规定了集合描述法的理论依据和集合元素的确定性。 所谓一个集合是已知的, 就是对任一元素, 利用某种方法, 可以判断它是否是这个集合的成员, 而不是说这个集合的每一个成员都给 (写) 出来 这正如我们说已知一个数列, 并不是把这个数列的所有项都写出来一样, 而是给出了某规则, 只要说出数列的项数, 便可由此规则算出该项 罗素悖论的构造：令 A = {x | x?x} 则 A?A 当且仅当 A?A。 例 3.1.4 在一个住着一些人家的僻静孤岛上, 岛上只有一个理发师a, a给且只给岛上所有不能自