第1单元 集合、映射与运算.pptVIP

离散数学Discrete Mathematics 邓辉文编著 清华大学出版社 2006.10 ISBN 978-7-302-13711-5 Chapter 1 Sets, Mappings and Operations 集合是现代数学的最基本概念(?). 映射又称为函数, 它是现代数学的基本概念, 可以借助于集合下定义. 运算本质上是映射, 但其研究有其特殊性. 集合、映射、运算及关系(Chapter 2)是贯穿于本书的一条主线. 1.1 集合的有关概念 1. 集合 集合(用处?)已渗透到自然科学以及社会科学的各个研究领域, 在信息的表示及处理中,可以借助于集合去实现数据的删节、插入、排序以及描述数据间的关系. 在一定范围内, 集合(set)是其具有某种特定性质的对象汇集成的一个整体, 其中的每一个对象都称为该集合的元素(element). 这里所指范围是全集U(见图1-1).(避免悖论!) 在数学中常用{ }表示整体. 若x是集合A中元素,则记x?A, 否则x?A. 1.2 映射的有关概念 1.映射的定义 映射mapping=函数function. C语言是一种函数型语言: 从main开始. Def 1.3 运算的定义及性质 运算是讨论对象之间有何联系的一种方法. 其实，我们已经接触过很多运算,如数之间的加法运算、多项式之间的乘法运算、矩阵的逆运算、向量的线性运算等.在讨论离散数据结构时也会经常遇到各种各样的运算，如在下节即将研究的集合间的运算. 虽然运算本质上是映射，但研究的侧重点不同，在运算中更注重于运算满足的一些运算性质，而根据这些性质可以对一些离散对象分门别类进行讨论. 因此，有必要先把运算的一般定义及其性质进行讨论. 1.4 集合的运算 最常见的集合运算是并、交和补. 1.并(union)运算 1.5 集合的划分与覆盖 集合的划分与覆盖是集合中的重要内容之一. 集合的划分就是集合元素间的一种分类. 在信息科学中,可以将知识库看作集合的一种划分. 因此, 研究集合的划分具有特别重要的意义. 比集合的划分更广的概念是集合的覆盖. 这些内容在下章会用到. 1. 集合的划分(partition) 1.6 集合的对等 集合的对等, 它是集合间的另一种关系. 通过集合对等以及相关内容的学习, 加深对函数概念的理解, 提高正确使用函数工具作为研究手段的能力. 1.集合对等(equivalent) Def A ~ B: 存在双射f : A ? B. 集合的补运算和集合的并交运算满足De Morgan律: 表(P21). (cf. P86 P182,与布尔代数的性质完全类似?! 因为它们是特殊的, 常见的布尔代数.) 4. 差(subtraction)运算 例1-43 Theorem 1-23(P22) Proof 例1-45(P22) 例1-46 ?. 例1-47(P22) Solution 由上例知, A – (B ? C) = ? 5. 对称差(symmetric difference)运算 See Venn Figure below. 例1-48 Theorem(对称差运算的性质) (1)交换性: (2)单位元?: A ? ? = A. (3) A ? A = ? . (4)结合性: 例1-49(消去律) Hint 例1-50 A ? B = ? ? A = B. Proof (?)显然. (?) A ? B = ? ? A – B = ?且B – A = ? 例1-51 (? 对 ? 可分配) 思考 还能定义集合的其他运算? 加法原理. 乘法原理. 容斥原理: 容斥原理的另一种形式: 推广到n个集合情形(P24, 15)? 作业 习题1.4 5, 8, 10, 13. Def (1) ?, ?i?I. (2) ?, ?i ? j. (3) Hardware? 例1-53 设A = {a, b, c}, 则A的所有不同的划分分别为: ?1和?2的交叉划分: ?}. ?1是?2的加细划分: |A| = n, A的不同划分的个数N: S(n, k)? Theorem n 1. Proof (?) 2. 集合的覆盖 Def 设A是集合, 由A的若干非空子集构成的集合称为A的覆盖(covering), 如果这些非空子集的并等于A. {{a, b}, {b, c}} 集合的划分 ?