离 散 数 学 - 华中师范大学.ppt

第2篇 集合论 第三章 集合的基本概念和运算 第四章 关系 第五章 函数 第三章 集合论 3.1 集合的基本概念 3.2 集合的基本运算 3.3 集合中元素的计数 3.4 笛卡尔乘积 集合论简介 康托(Georg Cantor，1845-1918)是集合论的创始人，为数学引入了集合和无限两个新事物。 集合论是数学中许多分支的基础，是整个大厦的基础，是许多计算机科学理论不可或缺的工具。从历史上来看，1900年之前的数学几乎没有集合论的容身之地。当时的学术论文，文摘杂志上，集合论都被作为哲学的一部分。 本章将讨论集合的基本概念，表示法；粗略地介绍集合的公理化系统；集合的划分与覆盖；集合的运算及运算性质。 集合不仅可以用来表示数及其运算，更可以用于非数值信息的表示和处理，如数据的删除、排序、插入、数据间的关系描述。 集合论是数学中许多分支的基础，是整个大厦的基础，是许多计算机科学理论不可或缺的工具。 本章将讨论集合的基本概念，表示法；集合的运算及运算性质。 3.1 集合的基本概念 康托关于集合的描述：集合是一些确定的、不同的事物的总体，这些事物人们可以意识到，并且能判断一个给定的事物是否属于这个总体。 集合是由某些相互区别的事物汇集在一起组成的整体。 例3.1.1 以下都是一些集合的例子(1) 所有偶数构成一个集合。(2) 所有在20世纪80年代出生的人构成一个集合。(3) 亚洲的国家的全体构成一个集合。(4) 方程x2-1=0的全体实数解集合。(5) 26个英文字母的集合。(6) 计算机内存的全体单元的集合 集合通常用大写英文字母表示。 元素通常用小写字母表示。 a是集合A的元素，记作a?A，否则记为a?A。 一个集合的元素有如下特点：(1) 互异性；(2) 无序性；(3) 确定性 表示一个集合的常用方法有2种： 列举法：把一个集合中的所有或者部分元素列举在花括号当中，元素之间用逗号隔开，如：{0, 1, …, 100} 描述法（谓词表示法）：用一个谓词公式P(x)表示x具有性质P，用{x|P(x)}表示所有具有性质P的事物组成的集合 {x| |x-2| ≤1, x是实数}, {x|x是自然数, x≤100} {x|x5+x4+x3+x+1=0} 例3.1.2 A={a,{b,c},d,{d}}，请表示出该集合元素间的关系 集合间的关系：=, ?, ?, ≠。 定义3.1.1 设A, B是两个集合，如果B的每个元素都是A的元素，则称B是A的一个子集，记作B?A，读作‘B包含于A’或‘B是A的子集’.  B?A ? (?x)(x?B→x?A) 定义3.1.2 设A、B为集合，如果A?B且B?A 则称A与B相等，即A=B  A=B ? A?B∧B?A 如果A与B不相等，记做A≠B.  由定义可知，两个集合相等的充分必要条件是它们具有相同的元素. 定义3.1.3 若B是A的子集，且A中至少有一个元素不在B中，则称B是A的真子集，记作B?A，读作‘A真包含B’或 ‘B被真包含在A中’.  B?A ? B?A∧B≠A 定义3.1.4 不含任何元素的集合叫做空集，记做?. ?={x|P(x)∧﹁P(x)} ?={x|x≠x} 定理3.1.1 空集是一切集合的子集 推论 ?是唯一的。 注意：{?}≠?，因为{?}并不是空集，它包括一个元素?，但是??{?}，且??{?}。这里可以看到，集合{?}是以一个集合作为其元素的，实际上，集合的元素可以是任何事物，包括集合。再如{a, {a}}，{?, {?}}都是包含集合作为元素的集合的例子。 由定义可知，对任意集合A，都有??A。称?和A为A的平凡子集。 只要A不是空集，就有??A. 对任何集合S，都有S?S 等价定义 A=B?(?x)(x?A?x?B)?(A?B∧B?A) A?B?(?x)﹁(x?A?x?B) A?B?(?x)(x?A→x?B) A?B?(A?B∧A?B) 定理 A?A,  (A?B∧B?A)?A=B (A?B∧B?C)?A?C 含有n个元素的集合简称为n元集，它的含有m个(m≤n)元素的子集称为它的m元子集。 例3.1.4 A={a,b,c}，求A的全部子集 一般地，对n元集合A，它的m(0≤m≤n)元子集有 个，不同的子集总数有 定义3.1.5 设A为集合，把