康托尔(Cantor)是如何证明实数集是不可数的

事实上，对于任何一个集合S，如果你能找出一种方法把集合里的所有元素按顺序一个不漏地罗列出来，写成a1, a2, a3, a4, … 的形式，那么这个集合就是和自然数集等势的，因为序列的下标和自然数集就已经构成了一个一一对应的关系。我们把所有与自然数集等势的集合叫做可数集(countable set)，因为它们是可以数出来的。
    并不是所有集合都是可数的。Cantor证明了，实数区间[0,1]是不可数的集合，它的势比自然数集大。你找不出什么方法能把0到1之间的所有实数一个不漏地排列出来。这个证明方法很巧妙，假设你把实数区间[0,1]里的所有数按照某种顺序排列起来，那么我总能找到至少一个0到1之间的实数不在你的列表里。把你的列表上的数全写成0到1之间的小数：

a1 = 0.0147574628…
a2 = 0.3793817237…
a3 = 0.2323232323…
a4 = 0.0004838211…
a5 = 0.9489129145…
………

    那么我就构造这么一个小数，小数点后第一位不等于a1的第一位，小数点后第二位不等于a2的第二位，总之小数点后第i位不等于ai的第i位。这个数属于实数区间[0,1]，但它显然不在你的列表里。这样，我就证明了实数区间是不可数的。

https://blog.csdn.net/paxhujing/article/details/51655853

转载于:https://my.oschina.net/u/3424826/blog/1855547