[工学]6第六章 集合代数.ppt

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