离散数学--集合论.ppt

第一篇 预备知识 引进离散数学中的一些基本工具，包括集合、排列与组合、容斥原理与鸽笼原理、离散概率以及递归关系等。 尽管有些概念也许读者已经熟悉，但首先还是从集合、子集以及它们的运算开始论述。接着简单介绍计数问题的几种计数工具，包括排列与组合、容斥原理与鸽笼原理、离散概率以及递归关系等。 这些背景知识正是我们对数学结构开始进行探索所需要的。 教学目标 通过学习集合、排列与组合、容斥原理与鸽笼原理、离散概率以及递归关系等预备知识，使学生掌握学习本书其他各篇所必备的理论基础。 第1章 集合论 集合论是现代数学的基础，几乎与现代数学的各个分支都有着密切联系，并且渗透到所有科技领域，是不可缺少的数学工具和表达语言。 集合论的起源可以追溯到16世纪末期，为了追寻微积分的坚实基础，开始时，人们仅进行了有关数集的研究。1976～1983年，康托尔(Georg Cantor)发表了一系列有关集合论研究的文章，奠定了集合论的深厚基础，以后策墨罗(Zermelo)在1904～1908年列出了第一个集合论的公理系统，并逐步形成公理化集合论。 集合论 我们这里学习集合论，更是因为计算机科学及其应用的研究也和集合论有着极其密切的关系。集合不仅可以表示数、而且还可以象数一样进行运算，更可以用于非数值信息的表示和处理，如数据的增加、删除、排序以及数据间关系的描述；有些很难用传统的数值计算来处理，但可以用集合运算来处理。因此，集合论在程序语言、数据结构、编译原理、数据库与知识库、形式语言和人工智能等领域都得到了广泛的应用，并且还得到了发展。 本章对集合论本身及其公理化系统不作深入探讨，主要是介绍集合、子集的基本概念及相关性质；集合间的各种运算和它们满足的运算性质；有限集、无限集以及粗糙集的基本概念。 1.0 内容提要 1.1 本章学习要求 1.2 集合 一、集合的概念 二、集合的记法 通常用带(不带)标号的大写字母A、B、C、...、A1、 B1 、C1 、...、X、Y、Z、...表示集合； 通常用带（不带）标号的小写字母a、b、c、...、a1、 b1 、c1 、...、x、y、z、...表示元素。 固定的符号 1.2.1 集合的表示方法 集合是由它包含的元素完全确定的，为了表示一个集合，通常有： 枚举法 隐式法（叙述法） 归纳法 递归指定 文氏图 1、枚举法（显示法） －－列出集合中全部元素或部分元素的方法叫枚举法 枚举法的优缺点 是一种显式表示法 优点：具有透明性 缺点：在表示具有某种特性的集合或集合中元素过多时受到了一定的局限，而且，从计算机的角度看，显式法是一种“静态”表示法，如果一下子将这么多的“数据”输入到计算机中去，那将占据大量的“内存”。 2、隐式法（叙述法） 通过刻画集合中元素所具备的某种特性来表示集合的方法称为叙述法（隐式法） 一般表示方法：A＝{x|P(x)} 适用场景： 一个集合含有很多或无穷多个元素； 一个集合的元素之间有容易刻画的共同特征 其突出优点是原则上不要求列出集合中全部元素，而只要给出该集合中元素的特性。 例1.2.2 A = {x|x是“discrete mathematics”中的所有字母}； Z = {x|x是一个整数}； S = {x|x是整数，并且x2＋1 = 0}； Q+ = {x|x是一个正有理数}。 3、归纳法 归纳法是通过归纳定义集合，主要由三部分组成： 第一部分：基础。指出某些最基本的元素属于某集合； 第二部分：归纳。指出由基本元素造出新元素的方法； 第三部分：极小性。指出该集合的界限。 例1.2.3 集合A按如下方式定义： （1）0和1都是A中的元素； （2）如果a, b是A中的元素，则ab, ba也是A中的元素； （3）有限次使用(1)、(2)后所得到的字符串都是A中的元素。 试指出其定义方式。并举出集合A中的3个元素 4、递归指定集合 通过计算规则定义集合中的元素 5、文氏图解法 文氏图解法是一种利用平面上点的集合作成的对集合的图解。一般用平面上的圆形或方形表示一个集合。 1.2.2 集合与元素的关系 元素与集合之间的“属于关系”是“明确”的。 对某个集合A和元素a来说， a属于集合A，记为a?A 或者 a不属于集合A，记为a?A 两者必居其一且仅居其一。 罗素悖论 例 在一个很僻静的孤岛上，住着一些人家，岛上只有一位理发师，该理发师专给那些并且只给那些不自己理发的人理发。那么，谁给这位理发师理发？ 1.2.3 集合与集合的关系 1、互异性－集合中的元素都是不同的，凡是相同的 元素，均视为同一个元素； {1,1,2}={1,2} 2、确定性－能够明确加以