第1章 集合、映射及运算.ppt

离散数学(Discrete Mathematics) 邓辉文编著 清华大学出版社 2006.10 ISBN 7-302-13711-0/TP·8265 Chapter 1 Sets, Mappings and Operations 集合是现代数学的最基本概念(?). 映射又称为函数, 它是现代数学的基本概念, 可以借助于集合下定义. 运算本质上是映射, 但其研究有其特殊性. 集合、映射、运算及关系(Chapter 2)是贯穿于本书的一条主线. 1.1 集合的有关概念 1. 1.1 集合 集合(用处?)已渗透到自然科学以及社会科学的各个研究领域, 在信息的表示及处理中,可以借助于集合去实现数据的删节、插入、排序以及描述数据间的关系. 在一定范围内, 集合(set)是其具有某种特定性质的对象汇集成的一个整体, 其中的每一个对象都称为该集合的元素(element). 这里所指范围是全集U(见图1-1).(避免悖论!) 在数学中常用{ }表示整体. 若x是集合A中元素,则记x?A, 否则x?A. 1.2 映射的有关概念 12.1 映射的定义 映射=函数,它也是现代数学中的基本概念,要求我们在各学科中都要会使用映射的观点. 函数在信息科学中得到了充分的应用,大家熟悉的C语言是一种函数型语言. Def 1-6 1.3 运算的定义及性质 运算是讨论对象之间有何联系的一种方法. 其实，我们已经接触过很多运算,如数之间的加法运算、多项式之间的乘法运算、矩阵的逆运算、向量的线性运算等.在讨论离散数据结构时也会经常遇到各种各样的运算，如在下节即将研究的集合间的运算. 虽然运算本质上是映射，但研究的侧重点不同，在运算中更注重于运算满足的一些运算性质，而根据这些性质可以对一些离散对象分门别类进行讨论. 因此，有必要先把运算的一般定义及其性质进行讨论. 1.4 集合的运算 最常见的集合运算是并、交和补. 1.4.1 并运算 Theorem 1-16 是包含A和B的最小集合. Theorem 1-17(并运算满足的性质) 1.5 集合的划分与覆盖 集合的划分与覆盖是集合中的重要内容之一. 集合的划分就是集合元素间的一种分类. 在信息科学中,可以将知识库看作集合的一种划分. 因此, 研究集合的划分具有特别重要的意义. 比集合的划分更广的概念是集合的覆盖. 这些内容在下章会用到. 1.5.1 集合的划分 1.6 集合的对等 集合的对等, 它是集合间的另一种关系. 通过集合对等以及相关内容的学习, 加深对函数概念的理解, 提高正确使用函数工具作为研究手段的能力. 1.6.1 集合对等的定义 Def 1-33 A ~ B: 存在双射f : A ? B. Theorem1-24(对称差运算的性质) (1)交换性: (2)单位元?: A ? ? = A. (3) A ? A = ? . (4)结合性: 例(消去律) Hint 例 A ? B = ? ? A = B. Proof (?)显然. (?) A ? B = ? ? A – B = ?且B – A = ? 例 (? 对 ? 可分配) 思考 还能定义集合的其他运算? 计数的基本原理有大家熟知的加法原理、乘法原理以及下面介绍的与集合的并、交、补运算有关的容斥原理(inclusion-exclusion principle). 容斥原理: 容斥原理的另一种形式: 推广到n个集合情形? 作业 习题1.4 5, 8, 10, 13. Def (1) (2) (3) 例1-53 设A = {a, b, c}, 则A的所有不同的划分分别为: ?1和?2的交叉划分: ?1是?2的加细划分: |A| = n, A的不同划分的个数N: S(n, k)? Theorem n 1. Proof (?) 1.5.2 集合的覆盖 Def 设A是集合, 由A的若干非空子集构成的集合称为A的覆盖(covering), 如果这些非空子集的并等于A. 集合的划分 ? 集合的覆盖, 但反过来不成立. A = {a, b, c}上所有不同的覆盖有哪些? 作业 习题1.5 1, 4, 7. Theorem 1-7 f 的逆映射存在的充要条件是f是双射. 对于y = sin x, 当 时, 有反函数, 常记为 当 时, y = sin x仍有反函数, 但不能 记为arcsin. 显然, 当 时, 无反函数. 1.2.4 复合映射 设f: A ? B, g: B ? C: 例1-12 a b c 1 2 3 ? ?