第11讲 基数 北京大学计算机系离散数学讲义(ppt版)教学讲义.ppt

《集合论与图论》第11讲 对角化(diagonalization) 证明(续): 构造“对角化集”Sd : Sd = { n?N | n?Sn }, 显然 Sd ? { S0, S1, S2, … }, 这是因为 n?Sd ? n?Sn (?n?N). 但是 Sd ?{ S0, S1, S2, … }, 这是因为 S0, S1, S2, … 是对全体自然数的幂集的列举, 矛盾! # 对角化简史(1) 公元前7世纪(600 BC): Epimenides悖论 所有克里特人都是说谎者----一个克里特诗人如是说. 公元前5世纪(400 BC): Eubulides悖论 这句话是假的. 公元13世纪(1200 AD): Medieval Study of Insolubia. 我是说谎者. 对角化简史(2) 1874年: Cantor定理 实数集是不可数的. 1901年: Russell悖论 不以自身作为元素的集合的全体. 1931年: G?del不完全性定理 这句话没有证明. 对角化简史(3) 1936年: Turing. 停机问题是不可判定的. 1956年: Friedberg Muchnik. 存在不完全的Turing度. 1965年: Hartmanis Stearns 更多的时间可以“计算出”更多的语言. 有穷集, 无穷集 有穷集(finite set): 不能与自身真子集建立双射的集合 无穷集(infinite set) : 可以与自身真子集建立双射的集合 无穷集也称无限集 Bernhard Bolzano(1781~1848), Czech人, 1851, “paradoxes of the infinite” 首次使用“set”一词 给出无穷集的上述定义 基数(cardinality) 基数: |A|, 或 card A, 满足5条约定(公理) 1. card A = card B ? A ? B 2. A为有穷集,则card A = n, 其中A ? n (n是唯一的) 3. card N = ?0 4. card R = ? 5. 0,1,2,…,?0,?,都是基数, {0,1,2,…,}是有穷基数 K0={?},K1={x|card x=1},K?={x|card x=?} 基数的比较 设 ?,?为基数, A,B为集合, card A = ?, card B = ?, 规定: ? ? ? ? A ?? B ? ? ? A ? B ? = ? ? A ? B 例: 0??. 设card A = ?, 单射?: ??A. A非空时, 0?. n??0. card A card P(A). 可数集(enumerable set) 可数集(可列集): card A ? ?0. 有穷可数集: n, (?n?N) 无穷可数集: N 定理15: A是无穷可数集 ? A={a1,a2,…} 定理18: A是无穷集 ? P(A)不是可数集 * * 第11讲 基数 内容提要 等势, 优势, 劣势, 绝对优势, 绝对劣势 Cantor定理, Schr?der-Bernstein定理 基数(势), ?0, ? 有穷集, 无穷集, 可数集(可列集) 基数运算 两个基本过程 匹配(matching): 多少,大小(基数)----双射 {a} ? {0}=1 {a,b} ? {0,1}=2 {a,b,c} ? {0,1,2}=3… 计数(counting): 首尾,先后(序数)----良序 0?1?2?3?… a?b c?b?a …… 无穷之迷 许多关于无穷的悖论 无穷是否“存在”? 人是否“理解”无穷? 无穷大, 无穷小, 无限可分性 极限 有穷与无穷的区别? 芝诺悖论(Zeno’s paradox) 芝诺悖论: 阿基里斯(Achilles)追不上乌龟 阿基里斯比乌龟快一倍 乌龟在阿基里斯前面起跑 等势(same cardinality) 等势: A?B ? ?双射 f:A?B 优势,劣势: A??B ? ?单射 f:A?B ? B比A优势 ? A比B劣势 绝对优势,绝对劣势: A??B ? A??B ? A?B ? B比A绝对优势 ? A比B绝对劣势 R?(0,1) [0,1]?(0,1) N?N-{0,1,2}, {-2,-1}?N?N 0 1 2 3 4 5 6 7 8 0 1 2 3 4 5 6 7 8 0 1 2 3 4 5 6 7 8 0 1 2 3 4 5 6 7 8 -1 -2 [0,1]?(0,1) (0,1)?2N N 0, 1, 2, 3, … S