如何建立[0,1]到R的一一对应的映射?

建立[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;
若x∈Q,即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;
若x∈Q,即x=1/n (n=2,3,4...) ,则h(x)=h(1/(n+2)) (n=2,3,4.)
}
这就是你要的答案
---------------------------------------------------------------------