离散数学 第三章 集合与关系.ppt

第3章 集合与关系 第二篇 集合论 集合论是现代数学的基础，几乎与现代数学的各个分支都有着密切联系，并且渗透到所有科技领域，是不可缺少的数学工具和表达语言。 集合论的起源可以追溯到16世纪末期，为了追寻微积分的坚实基础，开始时，人们仅进行了有关数集的研究。1976～1983年，康托尔(Georg Cantor)发表了一系列有关集合论研究的文章，奠定了集合论的深厚基础。集合论在程序语言、数据结构、编译原理、数据库与知识库、形式语言和人工智能等领域都得到了广泛的应用，并且还得到了发展。 第二篇 集合论 主要包括如下内容： 集合论初步 二元关系 函数 实数集合与集合的基数 第三章 集合与关系 本章的主要内容 3-1 集合的概念和表示法 3-2 结合的运算 3-3 包含排斥原理* 3-4 序偶和笛卡尔积 3-5 关系和表示 3-6 关系的性质（重点） 3-7 复合关系和逆关系 3-8 关系的闭包（重点） 3-9 集合的划分和覆盖 3-10 等价关系与等价类（重点） 3-11 相容关系 3-12 序关系 1-2节的内容提要 1-2节学习要求 3-1 集合 一、集合的概念 集合（SET）： 即是由具有共同性质的一些客体（事物）聚集成的整体。 讨论： (1) 不同的确定的有共同性质的客体之全体。 (2)客体：泛指一切，可以是具体的、抽象的。 元素(element，成员)： 即是集合中的每个事物，称之为元素。 二、集合的记法 通常用带(不带)标号的大写字母A、B、C、...、A1、 B1 、C1 、...、X、Y、Z、...表示集合； 通常用带（不带）标号的小写字母a、b、c、...、a1、 b1 、c1 、...、x、y、z、...表示元素。 固定的符号 三、集合与元素的关系 元素与集合之间的关系只可能是下面两种情况中的一种。（对某个集合A和元素a来说） a属于集合A，记为a?A 或者 a不属于集合A，记为a?A 四、集合的表示方法 集合是由它包含的元素完全确定的，为了表示一个集合，通常有： 枚举法（列举法） 谓词表示法（隐式法、叙述法） 1、枚举法（显式表示法） 把集合的元素（全部或部分）列于花括号之内的方法叫枚举法。 2、谓词表示法（隐式法、叙述法） 通过谓词描述集合中元素的属性，称为谓词表示法（叙述法、隐式法） 一般表示方法：A＝{x|P(x)} 若个体域内客体a使得P(a)为真，则a∈A，否则a?A。 例如： 大于10的整数： S={x| x∈I∧x10)} 命题的真假值组成的集合：S={F,T}={x|x=F∨x=T} 适用场景： 一个集合含有很多或无穷多个元素； 一个集合的元素之间有容易刻画的共同特征。 其突出优点是原则上不要求列出集合中全部元素，而只要给出该集合中元素的特性。 说明 (1)集合中的元素间次序是无关紧要的，但是必须是可以区分的。 (2)对集合中的元素无任何限制。 (3)集合中的元素可以是集合。 如 S={a,{1,2},p,{q}} (4)对一个集合来说，任一事物或者是它的元素或者不是它的元素，二者必居其一而不可兼而有之。 同一个集合可以用不同的表示方法：例 方程x2-1=0的所有实数解的集合A； 谓词法： A={x|x?R∧x2-1=0} 或 A={x|x是实数且x2-1=0} 列举法： A={1，-1} 五、集合与集合的关系 集合中的元素都是不同的，凡是相同的元素，均视为同一个元素； {1,1,2}={1,2} 一旦给定了集合A，对于任意元素a，可以准确地判定a是否在A中，这是明确的。 集合中的元素是没有顺序的。 {2,1}={1,2} （一）包含关系 定义： A包含在B内，A包含于B，B包含A 设A，B是任意两个集合， 若A的每个元素都是B的元素，则称A是B的子集(Subset)，也称A包含在B内，B包含A， 记作B?A 或A?B， 若A不被B所包含，则记作A B 。 例 设A = {BASIC, PASCAL, ADA}， B = {ADA, BASIC, PASCAL}， 请判断A和B之间的包含关系。 解： 根据集合间包含关系的定义知， B?A且A?B。 （二）相等关系 定义 A＝B当且仅当A与B具有相同的元素，否则，A?B。 即集合A, B中的元素完全相同，我们称这样的两个集合相等。 {1,2,4}={1,4,2} ≠{1,{2,4}} 定理3-1.1 设A和B是任意两个集合，A=B?A?B且B?A 。 集合相等的谓词表示： A=B?(?