实数是可数的.doc1.docVIP

实数是可数的 一、一个对应列表： N Na N Na N Na 1 0.1 10 0.01 100 0.001 2 0.2 20 0.02 200 0.002 3 0.3 30 0.03 300 0.003 4 0.4 40 0.04 400 0.004 5 0.5 50 0.05 500 0.005 6 0.6 60 0.06 600 0.006 7 0.7 70 0.07 700 0.007 8 0.8 80 0.08 800 0.008 9 0.9 90 0.09 900 0.009 …… …… …… …… …… …… 10……0 0.0……01 11……1 0.1……11 20……0 0.0……02. 11……2 0.2……11 30……0 0.0……03 11……3 0.3……11 …… …… …… …… 90……0 0.0……09 99……9 0.9……99 表中N为正整数，Na是把N颠倒过来写，再在前面加上小数点和0。例如：1→0.1；10→0.01；100→0.001；……；9→0.9；90→0.09；9999……→0.……9999; …0…。 命题一、构造原则：上表的构造原则是：对于一个任意位正整数N，把它标记为……a1a2a3……an（an∈{0、1、2、……、9}且a1≠0下同），则Na=0. an……a3a2a1…… 。N叫做Na的原数，Na叫做N的构造数。 表中不难看出，Na为区间（0,1）内的小数。 命题二 、 对于任一正整数N，有且仅有一个Na与其对应。 证明：根据构造原则，任一正整数N必然有一个Na与其对应。下面证明仅有一个Na与其对应： 对于任一正整数N=a1a2a3……an,已有一个Na=an……a3a2a1与其对应，假设另有一个Nb=bn……b3b2b1与其对应，bn≠an,则根据构造原则：bn=an、bn-1=an-1、……、b3=a3、b2=a2、b1=a1，也即bn=an,与假设矛盾。 命题三、 当N包含所有的正整数时，Na包含区间（0,1）内所有的小数。 证明：对于任意一个小数Nb=0.bn……b3b2b1,根据构造原则：则有一个原数M=b1b2b3……bn,很显然，M为正整数，它包含在N中，根据命题二，则有Nb包含在Na中。 同样，对于任意一个无限不循环小数Nb=0.b1 b2……bn……根据构造原则：则有一个原数M=……bn……b2b1, 很显然，M为正整数(因为它不是小数)，它包含在N中，根据命题二，则有Nb包含在Na中。 二、实数是可数的： 可数集的一个定义是“能与自然数集的某个一一对应的集合”。在这个意义下不是可数集的集合称为。这个术语是康托尔创造的。可数集的元素，正如其名，是“可以计数”的：尽管计数可能永远无法终止，集合中每一个特定的元素都将对应一个自然数。 ?0、?1、?2。?0为所有整数和分数的数目，?1为线、面、体上所有几何点的数目，?2为所有曲线的数目。从而产生了连续统假设，即?0＜?1＜?2，且它们是连续的，中间没有其它的无穷大。而今天我发现了实数是可数的，说明了?0= ?1，这么一来，连续统假设改怎么办呢？是不是同样存在?0= ?2呢？快去寻找它两之间的一一对应吧。 作者：王焕 2014-11-18