§1.2-2 无限集的基本概念.pptVIP

无限集的基本概念 1.5 无限集的基本概念 一、自然数集合与可列集合 用集合观点引进自然数集: 1. ??N， 2. 若n?N，则n′=n?{n}?N，也即： ?=0， 1={?}={0}， 2={?,{?}}={0,1} .... n={0,1,2,3,....n-1} .... N={0,1,2,3,....,n,....} 定义1.5.1: 设A，B是两个集合，若在A，B之间存在1-1对应的关系，则称集合A与B是对等的或等势的，记为： A?B 一般地：若A=B，则 A?B。反之则不然。 定义1.5.2: 凡是与自然数集合等势的集合，统称为可数集合或可列集合。 例1.5.1 下列集合都是可数集合： （1）、O+={x|x?N，x是奇数}。 （2）、E+={x|x?N，x是偶数}。 （3）、P={x|x?N，x是素数}。 （4）、整数集合I。 解：我们只证明结论（1） （1）、O+={x|x?N，x是奇数}。 在O+与N之间建立1-1对应的关系 f：N?O+ 如下： 0 1 2 3 4...n... ? ? ? ? ?...?... 1 3 5 7 9...2n+1... 所以，O +也是可数集合。 定理1.5.1 （1）、两个有限集合等势当且仅当它们有相同的元素个数； （2）、有限集合不和其任何真子集等势； （3）、可数集合可以和其可数的真子集等势。 注意： 定理1.5.1中结论（2）是有限集合的一个特征。 二、不可数集合 定义1.5.3： （1）、开区间（0，1）称为不可数集合； （2）、凡是与区间（0，1）等势的集合都是不可数集合。 例1.5.2 闭区间[0，1]、实数集合R、无理数集合、复数集合都是不可数集合。 思考：区间(0,1]或区间[0,1)的基数是什么？ 证明闭区间[0，1]为不可数集合。 证明　　假设开区间(0，1)内的所有有理数为: x1, x2,　? , 　xn, 　? 则闭区间[0，1]上的所有有理数为: 0,　1,　x1, 　x2,　? , 　xn, 　? 建立闭区间[0，1]与开区间(0，1)之间的一个　　　　　　　1-1对应的关系 f：?x?闭区间[0，1]。 若x为无理数，则x ?x。 若x为有理数，则 0,　1,　x1, 　x2, ? , 　xn, 　? ? ? 　? ? ... ?... x1, x2, x3, x4, ?? , xn+2, ? 证明有理数为可数集合（可排列成一列！）。 证明　先证明正有理数可数。 对于任意正有理数r，存在正整数p，q，（p,q）＝１，使得　　r=q/p。 下面对于有理数按照n=p+q的大小排序：显然n?2。 n＝2， x1=１， n＝３， x２=２（２／１）， x３=１／２， n＝４， x４=３（３／１）， x1=１／３， ?? 这样所有的正有理数可排列即为可数集合。　　　　　　　　　　同理可得所有有理数为可数集合。 课堂练习与习题： 16（选3）；19 （选2）；*23；26 （选1）；30 * * 下一页 选择目次 下一页 选择目次 下一页 选择目次 下一页 选择目次 下一页 选择目次 下一页 选择目次 下一页 选择目次 选择目次