集合论讲义.ppt

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1638年,意大利天文学家Galieo比较集合大小的困惑：“部分”等于“整体”？ N={0,1,2,3,…} N(2)={0,1,4,9,…} 1874-1897年,德国数学家Cantor 冲破传统观念,采用数“数”的方法观察集合大小。 基数(Cardinality) 用来衡量集合大小的一个概念. 对于有限集合集来说, 集合的基数就是其中所含元素的个数. * 等势的（基数相同） 设A, B是集合, 如果存在着从A到B的双射函数, 就称 A和B是等势的, 记作A≈B. 如果A不与B 等势, 则记作A?B. 注：通常将A的基数记为 |A|. 重要等势结果 N ≈ Z ≈ Q ≈ N×N 任何实数区间都与实数集合R等势 {0,1}N≈R * 则 f 是Z到N的双射函数. 从而证明了Z≈N. （1）证明： Z≈N. 证： * （2）N≈Q N×N≈N. N×N中所有的元素排成有序图形 * -2/1 [5] -1/1 [4] -3/1 [18] 2/1 [10] 3/1 [11] 0/1 [0] 1/1 [1] -2/2 -1/2 [3] -3/2 [17] 2/2 3/2 [12] 0/2 1/2 [2] -2/3 [6] -1/3 [7] -3/3 2/3 [9] 3/3 0/3 1/3 [8] -2/4 -1/4 [15] -3/4 [16] 2/4 3/4 [13] 0/4 1/4 [14] … … … … … … … … PLAY N≈Q. 双射函数 f:N→Q, 其中f(n)是[n]下方的有理数. * (5) 对任何a, b∈R, ab, [0,1]≈[a,b]，双射函数 f:[0,1]→[a,b], f(x)=(b?a)x+a 类似地可以证明, 对任何a, b∈R, ab, 有(0,1)≈(a,b). (3) (0,1)≈R. 其中实数区间 (0,1)={x| x∈R∧0x1}. 令 (4) [0,1]≈(0,1). 其中(0,1)和[0,1]分别为实数开区间和闭区间. 令 f : [0,1]?(0,1) * (6) 设A为任意集合, 则P(A)≈{0,1}A. 证 如下构造从P(A) 到 {0,1}A 的函数 f:P(A)→{0,1}A, f(A)=?A, ?A∈P(A). 其中?A‘是集合A’的特征函数. 易证 f 是单射的. 对于任意的 g∈{0,1}A, 那么有 g:A→{0,1}. 令 B={ x| x∈A∧g(x)=1} 则B?A, 且?B=g, 即?B∈P(A), f(B)=g. 从而证明了f 是满射的. 由等势定义得 P(A)≈{0,1}A. * 康托定理 N ? R； 对任意集合A都有A?P(A). 证明思路（对角线方法 Diagonal method）： (1) 只需证明任何函数 f:N→[0,1]都不是满射的. 任取函数 f:N→[0,1], 列出 f 的所有函数值，然后构造一个[0,1]区间的小数b，使得b与所有的函数值都不相等. (2) 任取函数 f:A?P(A)，构造B?P(A)，使得B与 f 的任何函数值都不等. * 有限集(Finite set)/无限集 (Infinite set) 设A为一个集合. 若存在某个自然数n, 使得A与集合{0,1,…,n-1}等势, 则称A是有限的. 若集合A不是有限的, 则称A是无限的. 注：有限集也称为有穷集；无限集也称为无穷集。 结论 (1) 自然数集合N是无限的. (2) 无限集必与它的一个真子集为等势. 推论:凡不能与自身的任一真子集等势的集合为有限集. * 可数集(可列集) (Countable Set, Enumereable Set) 与自然数集N等势的任意集合称为可数的. 其基数为?0 结论 (1) A为可数的iff 可排列成A={a1,a2,… ,an,…}的形式. (2) 任一无限集必含有可数子集. (3) 可数集的任何无限子集是可数的. (4) 可数个两两不相交的可数集合的并集,仍是一个可数集. (5) N?N是可数集. (6) 有理数的全体组成的集合是可数集. (7) 全体实数构成的集合R是不可数的. * 基数的常识 对于有穷集合A, 基数是其元素个数n，|A| = n