函数与集合的势.ppt
《函数与集合的势.ppt》由会员分享,可在线阅读,更多相关《函数与集合的势.ppt(51页珍藏版)》请在三一办公上搜索。
1、第八章 函数与集合的势,8.1 函数的基本概念 8.2 函数的复合和可逆函数8.3 无限集8.4 集合势大小的比较8.5 鸽巢原理,哪个集合的元素多?,A=1,2,3,4,5,B=2,4,6,8,10,可选答案:A多 一样多不能确定,伽利略的困惑,早在1638年,天文学家伽利略发现在一定意义下,正整数的平方数集合 S1=1,4,9,16,25,和正整数集合 S2=1,2,3,4,5,的元素一样多。因为,任给一个正整数nS2,则必有唯一的一个n2S1,这是一个一一对应,说明S1与S2所含不同元素的数目相等。但是,另一方面 S1又是S2的真子集。,势(cardinality),规定用|A|来表示一
2、个集合A所含有的不同元素的多少,称为集合A的势(或称基数)。,显然,|=0,注意:一般规定card(A)表示集合A的势,而在A是有限集时用|A|表示,本书有限集情况较多,为统一起见用|A|表示。,|A|=|B|,定义1 A,B是两个集合,若存在f:AB,且 f是双射函数,则称集合A与集合B的势相等,记为|A|=|B|,有限集、无限集,定义2 A是一个集合,若存在nN,使得|A|=|0,1,n-1|,则称集合A是有限集,并记|A|=n 如果A不是有限集,它就是无限集。,定理1 自然数集N是无限集。,证明:用反证法,设存在nN,使得|N|=|0,1,2,n-1|。令 g:0,1,2,n-1 N是双
3、射。设 k=1+maxg(0),g(1),g(n-1),显然,kN,但对于任意的x0,1,2,n-1,g(x)k,因此g不是满射函数,与 g是双射函数矛盾。矛盾说明不存在n,使得|N|=|0,1,2,n-1|。所以,N不是有限集,N是无限集。,阿列夫零 0,定义3 A是一个集合,若|A|=|N|,则称A为可数无限集,记|A|=0(读作“阿列夫零”,是康托引入的)。,一个可数无限集A可以表示为 A=a1,a2,an,例 偶数与自然数一样多,B=nN存在kN,n=2k显然,B是偶数集,它是自然数集N的真子集。令 g:NB,对于任意的nN,g(n)=2n 不难证明 g是双射函数,也即有|B|=|N|
4、=0,例1 Z是可数无限集。,0,-1,1,-2,2,-3,3,-4,4,例2 两个可数无限集A和B 的 AB仍然是可数无限集,解:设 A=a1,a2,an,B=b1,b2,bn,考察元素列:a1,b1,a2,b2,an,bn,消去重复出现的元素,可以建立N中元素与上面序列消去重复出现的元素后剩下的元素安排的次序所建立的元素之间的一一对应,也即|AB|=0,例3 两个可数无限集A和B 的AB仍然是可数无限集,解:设 A=a1,a2,an,B=b1,b2,bn,先把 AB中的元素按一定规则安排出来,见图8.1,每一个有序对(i,j)表示有序对(ai,bj),按箭头所指方向把 AB中的元素排成一列
5、,对于任意的(i,j)NN,有关系(i1,j1):,图8.1 两个可数无限集的排列图,定理2 无限集存在可数子集,A是一个任意无限集,则A中存在子集A,|A|=0,证明:任取 A中的一个元素,记a0A;在A a0中任意取一个元素,记a1A,以此类推。若Aa0,a1,an-1,在A a0,a1,an-1中任取一个元素,记为anA。因为A是无限集,以上工作可以一直进行下去,因此建立函数f:对应于任意的nN,f(n)=an。f是一一对应,也即|A|=0,且 AA。,定理3 无限集存在等势的真子集,A是无限集当且仅当A中存在真子集A,使|A|=|A|。,分析:A=a1,a2,a3,A A=(A-A)a
6、1,a2,a3,a4,A=(A-A)a2,a3,a4,定理3 A是无限集当且仅当A中存在真子集A,使|A|=|A|。,证明:A是无限集,则A 中有子集A”,使得|A”|=0。设A”=a1,a2,a3,。令 A=A a1,则 A是A的真子集。作 f:AA,,显然,f是一一对应,即|A|=|A|。,定理3 A是无限集当且仅当A中存在真子集A,使|A|=|A|。,证明:用反证法,若A不是无限集,则 A是有限集,不妨设|A|=n,并设A=a1,a2,an。则A的任何真子集与A之间不存在一一对应,与条件矛盾。故 A是无限集。,例4 A=xR0 x1不是可数无限集,证:若|A|=0,则存在g:NA,g是双
7、射。不失一般性,设 g(0)=0.a00a01a02a03a04 g(1)=0.a10a11a12a13a14 g(2)=0.a20a21a22a23a24 g(3)=0.a30a31a32a33a34 g(4)=0.a40a41a42a43a44,g(0)=0.a00a01a02a03a04 g(1)=0.a10a11a12a13a14 g(2)=0.a20a21a22a23a24 g(3)=0.a30a31a32a33a34 g(4)=0.a40a41a42a43a44,作:b=0.b0b1b2b3b4,显然,如果aii bi,则 g(i)b,例4 证(续),作:b=0.b0b1b2,其中
8、,显然,0b1,即bA,但iN,g(i)b,这是因为iN,aii bi。这与g是双射矛盾,矛盾说明|N|A|。即A不是可数无限集。,例5,设 A=xR0 x1,则|A|=|R|,其中R 是实数集。解:令 g:AR,xA,g(x)=cot(x)。则 g是一个双射,故有|R|=|A|。,注意:cot(0)与cot()没有定义,书上有误.,例6,设A=xR0 x 1,B=xR0 x 1 求证:|A|=|B|。,证明:作 g:AB,g(0)=0,显然,g是双射,所以|A|=|B|。,例,用势相等的定义证明下面两集合等势。A=xR0 x1A=xR0 x1其中 R是实数集。,例 设A,B,C,D为四个集合
9、。若|A|=|B|,|C|=|D|,且 AC=,BD=则|AC|=|BD|,证:因为|A|=|B|,故存在A到B双射函数f:AB,又因|C|=|D|,故存在C到D双射函数g:CD现在定义从AC到BD的函数h如下:对于任意元素x AC,显然,由交集为空集的条件知,h(x)有唯一定义。容易说明h(x)为双射函数。,24,第八章 函数与集合的势,8.1 函数的基本概念 8.2 函数的复合和可逆函数8.3 无限集8.4 集合势大小的比较8.5 鸽巢原理,25,|A|B|与|A|B|,定义 A、B是两个集合,若存在f:AB是单射函数,则称集合A的势小于等于集合B的势,记为|A|B|。若|A|B|且|A|
10、B|,则称集合A的势小于集合B的势,记为|A|B|。,26,|N|R|,例4(p98)A=xR0 x1不是可数无限集,27,定理1|A|2A|,证:作 g:A2A,对于xA,令g(x)=x。显然,g是一个函数,且是单射函数,故有|A|2A|。可用反证法证明|A|2A|。,28,反证法证明|A|2A|,若存在:A2A双射,则xA,(x)2A,即(x)A。构造集合M=xxA且x(x)。由M定义,有AM,即M2A。因为是双射,所以存在aA,使得(a)=M。,29,反证法证明|A|2A|,下面我们来看一个矛盾现象,a是一个元素,M是一个集合,按我们约定:aM或者aM,二者有一种且仅有一种可能出现。若a
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 函数 集合
链接地址:https://www.31ppt.com/p-6407404.html