第二部分离散讲解.ppt

引言  集合是数学中最为基本的概念，又是数学各分支、自然科学及社会科学各领域的最普遍采用的描述工具。集合论是离散数学的重要组成部分，是现代数学中占有独特地位的一个分支。它的起源可追溯到16世纪末,主要是对数集进行卓有成效的研究,但集合论实际发展是在19世纪70年代。 德国数学家 G.康托尔被公认为集合论的奠基人。 根据排中律,要么Ｓ∈Ｓ,要么Ｓ ?Ｓ。 如果Ｓ∈Ｓ,则由Ｓ定义可知,Ｓ不属于自身,即 Ｓ? Ｓ,这是自相矛盾的; 如果Ｓ? Ｓ,即不属于自身,则由Ｓ的定义可知, Ｓ∈Ｓ,这也是自相矛盾的。 罗素悖论有一个形象的例子,即理发师刮胡子的问题。 罗素悖论激发了许多数学家、哲学家为克服这些矛盾而建立了各种公理化集合论体系。其中尤以1908年E.策梅罗所发表的一组公理，后经A.弗兰克尔的加工， 后人称之为策梅罗-弗兰克尔的集合论公理系统（ZF）最为流行。 另外一种较为流行的公理系统是冯*诺伊曼-伯奈斯-哥德尔集合论（NBG）。 20世纪60年代大量的研究结果推成出新。美国数学家L.A.Zadeh提出了Fuzzy理论,20世纪80年代波兰数学家Z.Pawlak发表了Rough理论,这两种理论区别于以往的集合论,是一种新的模糊集理论,受到了学术界的重视,也取得了喜人的成果。 集合论在计算机科学、人工智能领域、逻辑学及语言学等方面都有着重要的应用。对于从事计算机科学的工作者来说，集合论是不可缺少的理论知识。 本部分主要介绍朴素集合论的主要内容，其中包括集合代数（第六章）、二元关系（第七章）、函数（第八章）、集合的基数（第九章）等。 第六章 集 合 代 数 6.1 集合的基本概念 一、集合的表示 1、 集合是不能精确定义的基本概念。直观地说，把一些事物汇集到一起组成一个整体就叫集合，而这些事物就是这个集合的元素或成员。 2、表示一个集合的方法有两种：列元素法和谓词表示法。 二、集合与元素的关系 注意:元素的确定性和不重复性. 三、集合之间的关系 1、包含关系 2、相等关系 3、隶属关系 隶属关系和包含关系都是两个集合之间的关系，对于某些集合可以同时成立这两种关系。 例如 ： A＝{a，{a}} 和{a} 既有{a} ∈A，又有{a} ? A。前者把它们看成是不同层次上的两个集合，后者把它们看成是同一层次上的两个集合，都是正确的。 课本所采用的体系中规定集合的元素都是集合. 且规定A ? A 四、空集、全集、幂集 五、集合文图表示 6.2 集合的运算 一．集合的基本运算 1、集合的交： A ∩B 2、集合的并: A ∪B 3、集合的差(相对补）： A－B（= A ∩~B） 4、集合的补：~ A （= E －A，E为全集） 5、集合的对称差： A ⊕B A ⊕B=（ A－B ） ∪ （ B － A） = （A ∪B） － （ A ∩B） 交、并运算可推广到可列多个集合。 二．有限集的计数问题 例 ：对24名会外语的科技人员进行掌握外语情况的调查。其统计结果如下：会英、日、德和法语的人分别为13，5，10和9人，其中同时会英语和日语的有2人，会英、德和法语中任两种语言的都是4人。已知会日语的人既不懂法语也不懂德语。分别求只会一种语言(英、德、法、日)的人数和会三种语言的人数。 解 ：令A，B，C，D分别表示会英、法、德、日语的人的集合。根据题意画出文氏图如图6.3所示。设同时会三种语言的有x人，只会英、法或德语一种语言的分别为y1，y2和y3人。将x 和y1 ， y2 ， y3 填入图中相应的区域，然后依次填入其它区域的人数，如下图：  根据已知条件列出方程组如下：   解得：x＝1，y1＝4，y2＝2，y3＝3。 答：只会英语的有4人，只会法语的有2人，只会德 语的人有3人， 只会日语的人有3人，同时会三种语言的人有1人。 包含排斥原理： 设S为有穷集合，P1 , P2 , …, Pm是m个性质.S中的任何元素 x 或者具有性质Pi ,或者不具有性质Pi(i=1,2, …,m)两种情况必居其一.令Ai表示S中具有性质Pi 的元素构成的子集(i=1,2, …,m),则S中不具有性质P1 , P2 , …, Pm的元素个数为: 推论:S中至少具有一条性质的元素个数为: 例 P.96 例 6.3(用包含排斥原理计算) 三．