有理数有无数个

无理数也有无数个

那谁更多？还是一样多？

无穷与无穷，是否可以比出谁多谁少？

数轴上的点对应有理数或无理数？

那有理数和无理数又是如何在数轴上分布？

 

NO.1如何比较无穷

 

当我们比较有限的数量时，只要比较具体的数字谁大即可。鸡有两条腿，兔有四条腿，所以兔子腿更多。有理数有无数个，无理数也有无数个，或许我们可以认为是都是无数个，都是数不完的，那就一样多呗，但实际上无限也可以分出大小，因为比较有限数量的 *** 并不能用于无穷的情况。

 

如何比较无穷？

 

 

所有的正数和负数一样多。

 

在正数集里任取一个正数，在负数 *** 里都能找到唯一确定的一个负数与其相对应，比如正数集中取1，负数集里会有-1，正数集里取π，负数集里会有-π，有一个正数，就会有一个相应的负数。

 

我们可以在正数集和负数集间建立一种一一对应的关系。所以正数与负数是一样多。

 

同样的道理，我们可以得出奇数和偶数是一样多的。

 

任取一个奇数2n-1，都会有一个偶数2n与其相对应，同样我们可以在奇数集和偶数集之间建立这种一一对应的关系，所以奇数和偶数也是一样多的。

 

我们把 *** 里元素的数量称为 *** 的基数，比如 *** {1}的基数为1， *** {1,2}的基数为2。

 

判断无穷 *** 基数相等的 *** 便是：能够两个 *** 之间建立起一种一一对应的关系。

 

NO.2整体可以等于部分

 

如果关于无穷的比较都像上面那么简单就好了，接下来我们继续看。

 

所有的偶数和所有的整数一样多。

 

What？偶数不是和奇数一样多吗？奇数和偶数一起构成了整数，偶数怎么和整数也一样多了？

 

整数 *** 里任取一整数n，在偶数 *** 里都会有一个数2n与其相对应，所以我们依然可以在整数集和偶数集之间建立起一一对应的关系，在偶数集里任取一个偶数，在整数集里都会有一个唯一确定的元素与其相对应。

 

整体等于部分！这是我们在有限里不可能存在的情况，但在无穷 *** 里，却真真实实地发生了。

 

如果对于数没感觉我们再来看个图形的例子，在△ABC中，假定BC边为2，DE是BC边所对的中位线，所以DE=1，在BC边上任取点M，连接AM，则AM必与DE有一交点，记为N。任取一个M点都会有一个N点与其相对应。

 

这说明：长度为2的线段上的点与长度为1的线段上的点是一样多的！！！

 

格奥尔格·康托尔甚至以此作为无穷 *** 的定义：如果一个 *** 能够和它的一部分构成一一对应的关系，它就是无穷 *** 。

 

了解了无穷这一性质，那我们得出这么一个结论：自然数、偶数、整数都是一样多的。或许你会质疑既然他们都无穷，那就数量都一样呗，还需要讨论这么多嘛？

 

需要，之所以说这几个 *** 基数相等，是因为它们还有一个共同的特点：可数。

 

所谓可数，可以理解为能够找到一种规则把所有的数列出来，然后就可以按着这个顺序一直数下去。

 

 

比如自然数，0,1,2,3,4,5……，比如偶数，0,2-2,4-4,6-6……而只要能全部列出来，就可以建立一一对应的关系，依次按顺序对应就好了，甚至都不用弄明白具体的规则是什么，所以只要是可数无穷，就可以说 *** 里元素数量是一样多的。

 

NO.3有理数可数吗？

可数

 

有理数可以表示为q/p的形式，取正有理数部分，我们可以按p+q的值由小到大来列出所有正有理数，具体的顺序可以参照下图。

 

按上述规则，可列出所有正有理数，负有理数亦可以列出来。

 

所以有理数集也是可数集。

 

补充一下可数集概念：能与自然数集建立一一对应关系的 *** 。

 

可数集的基数是最小的无穷量，康托尔把这个量记为ℵ0（希伯来文，读作“阿列夫零”）。同时康托尔指出，阿列夫零是最小的无穷量，那比阿列夫零更大的无穷在哪呢？

 

NO.4上场吧！无理数

 

无理数可数吗？或者说实数可数吗？

 

答案是：NO

 

康托尔运用对角线法来论证这一点，证明过程很短，却堪称精妙绝伦！（妈妈问我为何跪下看书系列）

 

考虑整个实数集是否可数，我们先考虑0-1之间的所有实数是否可数。假设存在某种规则能够列出0-1之间的所有实数：

0.1598545445……

0.6589745454……

0.5968974132……

0.9887946456……

0.3521587487……

0.1659842412……

……

以上的数随便写的，此时康托尔问，0.267865……在什么位置？

 

这个数是怎么取的呢？取之一个数的之一位小数加1，取第二个数的第二位小数加1，取第三个数的第三位小数加1，取第四个数的第四位小数加1……，也就是上面数中红色的数字加1。

 

假如0.267865……在第n个位置上，则它的第n位小数应该等于第n个数（也就是它自身）的第n位小数加1。

 

简单说，这个数的第n位小数等于它本身第n位小数加1。显然这是不可能存在的！

 

所以不存在任何一种 *** 能够把0-1之间所有的实数全部列举出来，当然也不可能存在一种 *** 能够把全体实力列出来。

 

像这样的无穷称为不可数无穷，不管你承认还是不承认，同样是无穷，也能分出不同种类。无理数集、实数集称为不可数集。

 

在数轴上任取一段线段，由这些连续着的点构成的 *** 均为不可数集，又称连续统。基数记为c。

 

NO.5 c=ℵ1

 

既然已经明确了有理数代表着可数无穷，而无理数则代表着不可数无穷，那可数与不可数到底谁更多呢？换句话说，ℵ0与c谁更大呢？

 

事实上，从概率的角度来看，在数轴上任取一点，取到有理数的概率为0。

 

无理数是无限不循环小数，有理数包含整数、有限小数和无限循环小数，我们可以把整数和有限小数看成后面的小数位均为0的数，举个例子，1.8=1.800000……，后面的小数位都是0。

 

现在我们给一个数填充小数位，有无数个小数位需要我们填充，而填充的数字都是随机取的，所以说都取0或者说取到一列循环数的概率为0。借助于这样一个想法，无理数不仅比有理数多，而且多得多！

 

怎么样能够比无穷还要多？

 

对于 *** {1}，它有两个子集：空集、{1}，子集组成的 *** 的基数为2^1；对于 *** {1,2}，它有四个子集空集、{1}、{2}、{1，2}，子集组成的 *** 的基数为2^2，以此类推，若一个 *** 的基础为n，则其子集构成的幂集基数是2^n。

 

那如果原 *** 的基数是ℵ0呢？

 

事实上，康托尔已经证明出，c=2^ℵ0，这里的ℵ0是无穷大的，所以能想象c有多大吗？