一一对应.docVIP

建立[0,1]到R的一一对应的映射 这是一个实变函数课程中的典型问题,要用到集合势的概念. 在讲此题前,我先形象地说说集合势,集合分有限集和无限集, 有限集的势,就是元素的个数; 而对于无限集来说,它也有哪一个无限集里的元素多的比较.所以,针对无限集,元素个数的多少,就要用到势的概念. 如果两个集合A,B的势相等,我们就说这两个无限集里的元素个数是一样多的 那么如何说明两个无限集里的元素个数是一样多的呢? 这个问题对于有限集,很简单,分别数一下两个元素的个数,如果个数相等即可.但是当它们是无限集,你就没有办法数了.因为你数来数去它们都是无穷多个,永远也数不完. 这时,实变函数论里,就提出了判断两个无限集势大小的方法,就是利用了一一对应(或者叫双射,既满又单),也就是说,如果两个无限集,找到一个映射f,而且f是一个双射,那么这两个集合就等势.所以,你的问题,其实就是要找[0,1]到R的双射f,即如果这个双射f是存在的,那么[0,1]与R等势. 事实上,我可以告诉你[0,1]与R是等势的.即这样的双射f存在. 为什么这样说呢，我分两步告诉你， 第一步，你要证明(0,1)与R等势 第二步，你要证明[0,1]与(0,1)等势 这样，由“等势”关系的传递性，知[0,1]与R等势 第一步，(0,1)与R等势，这非常好证明，因为 ctan(x) 就是一个从(0,pi)到R上的双射，因此，我把定义域(0,pi)压缩一下，自变量乘以pi,即为 g(x)=ctan(pi*x)就是一个从(0,1)到R上的双射。所以这样的双射找到了，是g(x)=ctan(pi*x).因此(0,1)与R等势 第二步，证明[0,1]与(0,1)等势 这里你一开始理解可能无从下手，但是有一个技巧，也就是要找一个从[0,1]到(0,1)的双射，是这样找的。 首先，把[0,1]和(0,1)分别分解如下： [0,1]=(0,1)\Q （Q{0}∪{1}） (0,1)=(0,1)\Q Q 上面的Q={1/n | n=2,3,4,....}是的集合（这是一个“可列集”，它是“势最小的”无限集） 这样我们其实把[0,1]和(0,1)都分解成了两部分 在它们的公共部分(0,1)\Q到(0,1)\Q上,我取一个恒等映射idx(x) 这里x(0,1)\Q 在它们的不同部分（Q{0}∪{1}）到Q上，我取映射h(x), h(x)= { 若x=0,h(x)=1/2; 若x=1,h(x)=1/3; 若xQ,即x=1/n (n=2,3,4...) ,则h(x)=h(1/(n+2)) (n=2,3,4....) } h(x)中的x（Q{0}∪{1}） 于是我令 p(x)= { 若x(0,1)\Q, p(x)=idx(x); 若x(Q∪{0}∪{1}), p(x)=h(x); } 这样构造出来的p(x)就是一个从[0,1]到(0,1)上的双射 也就证明了[0,1]与(0,1)等势 综合，第一步和第二步，我再取 f(x)=g(p(x)) 即,f(x)是先从[0,1]通过p映到(0,1),再通过g由(0,1)映到R 就是让f是p与g的复合函数。 这样构造的f显然是双射,因为p与g都是双射. 所以你要的f找到了，同时也说明了[0,1]与R是等势的。 --------------------------------------------------- 最后整理一下你要的f(x)一一对应表达式， f(x)=g(p(x))， 其中 g(x)=ctan(pi*x), p(x)={ 若x(0,1)\Q, p(x)=idx(x); 若x(Q∪{0}∪{1}), p(x)=h(x); } 这里的 idx(x)是等恒映射， h(x)= { 若x=0,h(x)=1/2; 若x=1,h(x)=1/3; 若xQ,即x=1/n (n=2,3,4...) ,则h(x)=h(1/(n+2)) (n=2,3,4....) } 这就是你要的答案