离散数学文档第三章.docVIP

第三章　　集合论 集合论是现代数学的基础，是数学不可或缺的基本描述工具。可以这样讲，现代数学与离散数学的“大厦”是建立在集合论的基础之上的。 集合论的研究起源于对数学的基础研究：对数学的对象、性质及其发生、发展的一般规律进行的科学研究。德国数学家康托尔从1874年始，发表了一系列集合论方面的著作，从而创立了集合论。 在自然科学中，除了研究处于孤立的个体之外，更重要的是将一些相关的个体放在一起进行研究，这就直观地产生了引入集合这一概念的要求。随着计算机时代的到来，集合的元素已由传统的“数集”和“点集”拓展成包含文字、符号、图形、图表和声音等多媒体信息，构成了各种数据类型的集合。从而集合论在编译原理、开关理论、信息检索、形式语言等各个领域得到了广泛的应用。 3.1 集合 一个集合是作为整体识别的、确定的、互相区别的一些事物的全体。严格地讲，这只是一种描述，不能算是集合的定义。类似于几何中的点、线、面等概念，在朴素集合论中，集合也是一种不加定义而直接引入的最基本的原始概念(一给出定义就要引入悖论)。而集合论中的其他概念，则都是从它出发给予了严格的定义。构成集合的每个事物称为这个集合的元素或成员。集合一般用大写字母表示，元素用小写字母表示。但这也不是绝对的，因为一个集合可以是另外一个集合的元素。 ［例3.1.1］　英文字母的集合，C语言的基本字符集，全体实数，计算机内存单元集合。 ［例