6-1-aolm-离散数学.pptVIP

离散数学 人民邮电出版社 第1篇 数理逻辑 第2篇 集合论 第3篇 代数结构 第4篇 图论 第2篇 集合论 当我们已经直观地弄懂了几个简单的定理的时候······如果能通过连续的不间断的思考活动，把几个定理贯穿起来，悟出它们之间的相互关系，并能同时尽可能多地、明确地想象出其中的几个，那将是很有益的。照这样我们的知识无疑会增加，理解能力会有显著的提高。 笛卡尔 第2篇 集合论 第3章 集合及其运算 第4章 关系 第5章 函数 第6章 基数 第7章 集合论的发展与应用 命题逻辑和谓词逻辑是数理逻辑的基础部分 第2篇 集合论 第6章 基数 6.1 基本概念 6.2 可数集和不可数集 6.3 基数的比较 6.4 典型例题解析 第6章 基数 数学家有一种习惯，即他们善于观察所有具有同一性质的事物……这种习惯是一件非常强有力的工具，它使数学家的结果达到令人惊异的深度和广度。所有这些方面在建造新数学和建立数学的新应用中都是有生命力的。 J. W. Tukey 第6章 基数 基数是集合的一个重要特性，基数研究是集合论研究的一个极其重要的方面。但它作为离散数学课程的一部分，只是为使读者对基数概念有一个正确的认识，并借此加深对函数概念的理解，提高正确运用函数工具的能力，获得一些特定的研究方法（如 “对角线法” ）。 6.1 基本概念 6.1.1 等势 一般地说，集合的基数就是集合所含的元数的个数，基数越大的集合，所含的元素越多。对于结定的两个集合，如何知道哪个集合的元数多呢？如果是有限集，只要数一数它们所含元数个数即可；但若是无限集，则此方法就不行了。 比较无限集合大小的基本思想是在无限集合之间建立一一对应，若存在从一个集合到另一个集合的双射，则这两个集合所含元素一样多，即它们的基数相等。这种方法对有限集也适用，为此先给出等势、集合基数、有限集和无限集的基本概念。 用集合论的语言来表述这一“悖论”，无疑是说集合 Z+＝{1, 2, 3, …} 与集合 N＝{0, 1, 2, 3, …} 具有同样多的元素，即 | Z+ |＝| N |。可是 N 明明白白地比 Z+ 多一个元素 “0”。这表明，必须给出基数的严格定义，依靠直观讨论集合元素个数显然是行不通的，至少对于无限集是这样。 定义6.1 设 A 和 B 是任意集合，若存在从 A 到 B 的双射，则称 A 与 B 是等势的，记为 A~B；若 A 与 B 不等势，则记为 A~B。 可以证明：在集合族上，等势关系是一个等价关系。 【例6.1】试证明 N~Z。 证明：定义 f：N→Z 如下： n/2 n 是偶数 f(n)＝ ? (n?1)/2 n 是奇数 显然 f 为 N 到 Z 的双射，故 N~Z。 定理6.1 任何有限集的任何子集为有限集。 证明：设 A 为有限集，因而有双射 f，自然数 n， f：{0, 1, 2, …, n?l}→A 因此 A＝{f(0), f(1), f(2), …, f (n?l)}。 若 为 A 的任一子集， 那么 ＝{f(i0), f(i1), f(i2), …, f(ik?l)}， k≤n，i0, i1, i2, …, ik?l 为 {0, 1, 2, …, n?l} 中的不同成员。 将序列 i0, i1, i2, …, ik?l 看作 {0, 1, 2, …, k?l} 到 {i0, i1, i2, …, ik?l} 的双射 i，那么 f?i：{0, 1, 2, …, k?l}→A 为一双射，因此 为有限集。 若在有限集 A 和有限集 B 之间存在双射，则 A 和 B 的元素个数相等，因此有下述定理。 定理6.2 任何有限集都不能与它的真子集等势。 但是对无限集合情形就不一样了，