集合、映射和运算.pptVIP

集合的补运算和集合的并交运算满足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. 1.5 集合的划分与覆盖 集合的划分与覆盖是集合中的重要内容之一. 集合的划分就是集合元素间的一种分类. 在信息科学中,可以将知识库看作集合的一种划分. 因此, 研究集合的划分具有特别重要的意义. 比集合的划分更广的概念是集合的覆盖. 这些内容在下章会用到. 1. 集合的划分(partition) 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}} 集合的划分 ? 集合的覆盖, 但反过来不成立. A = {a, b, c}上所有不同的覆盖有哪些? 作业 习题1.5 1, 4, 7. 1.6 集合的对等 集合的对等, 它是集合间的另一种关系. 通过集合对等以及相关内容的学习, 加深对函数概念的理解, 提高正确使用函数工具作为研究手段的能力. 1.集合对等(equivalent) Def A ~ B: 存在双射f : A ? B. N ~ E. Z~N? (0, 1) ~ R. N ~ N ? N. Theorem 1-28(对等的性质) (1) A ~ A. (2) A ~ B ? B ~ A. (3) A ~ B, B ~ C ? A ~ C. 2. 无限集合 有了集合对等的概念, 就可以给出无限集合及有限集合的严格定义. Def 设A是集合, 若存在A的一个子集与自然数集合N对等, 则称A为无限集合(infinite set), 否则称A为有限集合(finite set). N. [0, 1]. 3. 集合的基数 有限集合的基数就是的元素个数. 借助于集合对等概念, 可以将其扩展到无限集合. Def 若集合A和B对等, 则称这两个集合的基数(cardinality)相同. |A|. 4. 可列集合 Def 能与自然数集合N对等的集合称为可列集合(countable set). 根据无限集合的定义知：任意无限集合均存在一个可列的子集合. 根据这一点, 可以证明无限集合的特征性质. Theorem 设A是无限集合, 则存在A的一个真子集B, 使得 A ~ B. Proof 因为A是无限集合, 存在可列的子集合 考虑 Q是可列集合. 5. 不可列集合 是否所有无限集合都是可列的? 答案是否定的. 例 证明: (0,1)是不可列集合. Proof(反证) 取 6. 基数的比较 Def 给定集合A和B, 若存在A到B的单射, 则称A的基数小于等于B的基数, 记为|A| ? |B|. 若进一步, 不存在A到B的双射, 则称A的基数小于B的基数, 记为|A| |B|. 由定义易知, 若存在B到A的