第二节集合的映射与势-实变函数论.pptVIP

1 对等与势 例1.2.1(仅类似,非原题) 定义1.2.1(续) 基数的大小比较 定理１.２.１ 设A、B、C是任意三集合,则  二、可数集 1.可数集的定义 2 可数集的性质 定理1.2.4: 可数个可数集的并仍为可数集的证明 例1.2.3 全体有理数之集Q是可数集 证法二： 全体有理数之集Q是可数集 习题12 平面上以有理点为圆心，有理数(实数)为半  径 的圆全体A为可数集(?集) 证明：平面上的圆由其圆心 (x,y) 和半径 r 唯一决定,从而 定理1.2.6的应用 例1.2.5:(0,1)是不可数无限集 (可数指无限,无限不一定可数) 4.连续统的势(c势集)的定义 5.c势集的运算性质（并集） 定理1.2.7 有限个，可数个， c势个c势集的 的并仍为c势集 “超越数与实数居然一样多！”　　　 1873年C.埃尔米特证明了e是超越数; 1874年Cantor开始研究无限集的计数问题; 1882年Lindemann证明了π是超越数; 1934年A.O.盖尔丰得证明了若α不是0和1的代数数，β是无理代数数,则αβ是超越数(此问题为Hilbert于1900年提出的23个问题中的第7问题)。 要证一个数是超越数相当困难，而证超越数非常多却如此简单！ * * 四川省省级精品课程《实变函数论》 主讲人：魏勇 §1.2 集合的势，可数集与不可数集 第一章 集合论基础与点集初步 定义1.2.1 设A,B是两非空集合，若存在着A到B的一一映射（既单且满），则称A与B对等或称势相等. 记作 证明对等的关键:构造一一对应 约定 1,2,3,4,5,6,7,8,9,10,... 1,3,5,7,9,11,13,15,... 2,4,6,8,10,12,14,16... n 2n-1 2n 0,1, -1, 2, -2, 3, -3, 4 , -4,...,… 似乎“荒唐”的“个数一样多”,却无可非议 例(续) S(∞)与 联接必然与圆周相交（或连线的延长线与圆相交!） 4 Bernstein定理 证明 4 Bernstein定理(证明续) 定理1.2.2：A为可数集 当且仅当 A可以写成无穷序列的形式{a1, a2, a3, …} 1, 2, 3, 4, 5, 6,… a1, a2, a3, a4, a5, a6, … n→f(n)=an就是一一对应! 例：1）Z = {0，1，-1，2，-2，3，-3， …} 　　与自然数集N对等的集合称为可数集或可列集，其基数记为 或者 2）[0,1]中的有理数全体 ={0,1, , …} 假设这是一个无限集M 我们可以取出其中一个点a1 显然M-{a1}还是无限集 在M-{a1}中可以取出一点a2 显然M-{a1，a2}还是无限集 循环往复,直至无穷,即可以取出一个可数子集{a1,a2,a3,...} 定理1.2.3: 任何无限集合均含有可数子集,即 （换句话说:可数集是无限集中势最小者） 可数集的无限子集仍为可数集 (子集有:空、有限、无限三种可能) 定理1.2.5: 至多可数个至多可数集的并仍可数 有限集与可数集的并仍为可数集 B={b1, b2, b3, b4, b5, b6, …} 注意:万一集合有公共元素，前面已排者不重复 排即可! 假设A，B，C两两不交，则 A∪B={ a1, a2, a3 , … , an ，b1, b2, b3, …} 可数个可数集的并仍为可数集 有限个可数集的并仍为可数集 C= {c1, c2, c3, c4, c5, c6, …} A={a1, a2, a3, … ,an} C∪B={ c1, b1, c2, b2, c3, b3, …} 在此介绍Hilbert旅馆 当Ai互不相交时，按箭头所示，我们得到一个无穷序列; A1 A2 A3 A4 说明: 如何把无限集分解成无 限个无限集合的并? 当Ai可能相交时，在排列的过程中不重复排列即可； 证法一： 首先[0,1]中的有理数全体 ={0,1, , …}是可数集， [ ][ ][ ][ ][