德國數學家康托爾“無窮集合”的證明過程？

有限集合的大小很容易確定，數壹數元素的個數就好了，但是無窮集合就不是這麽簡單了。實際上“無窮大”的大小仍然是有區別的，最小的無窮集是自然數集（它的勢稱為aleph-0）。集合的等勢這樣定義：如果存在壹個集合A到集合B的雙射，則稱A和B等勢。也就是說，對於壹個無窮集合，如果其中的元素和自然數集的元素存在壹個壹壹對應，那麽它和自然數集等勢。另外壹種表述方式是，存在壹種方法可以把集合中的元素不遺漏地列舉出來（當然這個列舉過程也是無限進行下去的，只需要指定壹個順序使得保證沒有遺漏），因此這壹類集合也被稱為可列/可數集合。由此可以得出壹些看上去很詭異的結論（實際上並不詭異，只是我們不習慣於這種思路），比如正整數集和正偶數集，哪個更大？實際上兩者是相等的，因為很明顯有壹個*2的壹壹映射。實際上全體整數也組成壹個可數集，我們指定這樣壹個順序即可: {0, 1, -1, 2, -2, 3, -3, ...}。再進壹步，全體有理數也組成壹個可數集，因為有理數可以表示成分數的形式，我們可以按照(分子+分母)這個值遞增的順序列舉，如下圖：1/1 1/2 1/3 1/4 ...

2/1 2/2 2/3 2/4 ...

3/1 3/2 3/3 3/4 ...

4/1 4/2 4/3 4/4 ...

......按照從右上到左下的壹條條對角線的順序列舉（跳過已出現的）：{1/1, 1/2, 2/1, 1/3, 3/1, 1/4, 2/3, 3/2, 4/1 ...} 這裏省略了負數，實際上負數可以按照前面列舉全體整數的方法與對應的正數交替列出，這樣任壹有理數都可以保證在某壹位置出現。於是有理數集也是可數集。然而，把範圍繼續擴大，實數集卻不是可數集了。康托用“對角線法”做出了很牛的證明。這個方法表述如下：假設實數集是可數集，那麽我們壹定能找到壹個列舉方式，類似下面的樣子：0.489545684646...

0.334353564646...

0.576868767564...

0.389395896846...

......忽略整數部分，我們可以構造壹個新的實數，這個數的小數點後第壹位不同於序列中第壹個數的小數點後第壹位(4)，第二位不同於序列中第二個數的小數點後第二位(3)，第三位不同於(6)，第四位不同於(3)……這樣得到的新數壹定不等於序列中的任何壹個數，但它是壹個實數，按照假設它應該在序列的某個位置，這樣就得到了矛盾。故實數集不是可數集。

上一篇:70周年紀念幣牡丹全銅的現在值多少

下一篇:郭晉安主演的電視劇和電影