一旦觸及 “無窮”，人類的直覺便會失效。首先要明確的是：有些無窮確實比其他無窮更大。

圖源：Quanta Magazine

作者：Mark Belan、Jordana Cepelewicz（量子雜志編輯）2026-2-23

譯者：zzllrr小樂（數(shù)學(xué)科普公眾號）2026-2-24

無窮的概念向來難以被世人接受。亞里士多德徹底否定了無窮的存在，在他看來，無窮不過是一個永遠無法企及的極限，并非真正的數(shù)學(xué)實體。17 世紀初，伽利略寫道，人們對集合和數(shù)字的常規(guī)思考方式在無窮的領(lǐng)域中毫無意義，數(shù)學(xué)家若試圖將慣用的研究方法套用于此，只會陷入種種悖論。兩百年后，格奧爾格?康托爾將 “無窮存在多種大小” 這一觀點系統(tǒng)化、理論化，卻招致了世人的憤怒與質(zhì)疑，他的同僚們更是將他的研究成果斥為瘋子的囈語。

但隨著時間的推移，康托爾關(guān)于集合與無窮的研究，最終成為了現(xiàn)代數(shù)學(xué)的基石。另一位數(shù)學(xué)巨匠大衛(wèi)?希爾伯特后來寫道：“沒有人能將我們從康托爾為我們締造的樂園中驅(qū)逐出去?！?/p>

那么，數(shù)學(xué)家是怎么知道無窮大有多種大小的？

歡迎來到康托爾的樂園。

第一部分 計數(shù)的本質(zhì)是什么？

數(shù)學(xué)家借助集合進行計數(shù)。

集合（set）指的是任意一組對象的集合體，一個集合中包含的對象數(shù)量即為該集合的大小，或稱 “基數(shù)”（cardinality）。

我們對一個集合中的對象進行計數(shù)時，本質(zhì)上是將自然數(shù)（1、2、3 等等）與集合中的每個對象一一配對。

當數(shù)學(xué)家將這種計數(shù)方法應(yīng)用于無窮集合時，有趣的現(xiàn)象便出現(xiàn)了。

第二部分 對無窮進行計數(shù)

自然數(shù)集……

…… 看起來似乎是偶數(shù)集的兩倍大。

畢竟，自然數(shù)集中既包含了所有的偶數(shù)，也包含了所有的奇數(shù)。

但這種直覺其實是錯誤的，原因如下。

我們把兩個集合中的數(shù)字一一羅列出來。

可以將每個自然數(shù)與每個偶數(shù)兩兩配對。

結(jié)論：這種完美的一一配對關(guān)系說明，這兩個集合的大小是相同的。

任何能與自然數(shù)集建立一一對應(yīng)關(guān)系的集合，都被稱為 “可數(shù)” 無窮集。這類集合是無窮集中基數(shù)最小的一類。

第三部分 更復(fù)雜的計數(shù)問題

自然數(shù)集……

…… 看起來似乎比有理數(shù)集（即分數(shù)集）小得多。

畢竟，僅在 0 到 1 這一個區(qū)間內(nèi)，就存在無窮多個有理數(shù)。

我們來對這兩個集合做個比較。

首先，將有理數(shù)集排列成一個網(wǎng)格。第一行是所有的自然數(shù)，以分數(shù)形式呈現(xiàn)：1/1、2/1、3/1，依此類推。

第二行的每個分數(shù)，分母都比第一行對應(yīng)位置的分數(shù)大 1，即 1/2、2/2、3/2，依此類推。重復(fù)這一步驟，便能得到無窮多行，每一行又包含無窮多個數(shù)字。

我們試著將這個集合與自然數(shù)集建立配對關(guān)系。如果只是將每個自然數(shù)與第一行的數(shù)字一一配對，那永遠也無法觸及第二行的數(shù)字。

但有一種方法能讓我們畫一條線穿過這個網(wǎng)格，經(jīng)過其中的每一個數(shù)字，那就是沿著一條曲折的路徑遍歷所有數(shù)字。

現(xiàn)在，按照這條路徑上數(shù)字出現(xiàn)的順序，將每個自然數(shù)與每個有理數(shù)兩兩配對。遇到重復(fù)出現(xiàn)的數(shù)字（比如 2/2，它和 1/1 是同一個數(shù)）時，直接跳過即可。通過這種方式，就能讓每個自然數(shù)都與每個有理數(shù)形成一一配對。

結(jié)論：這兩個集合的大小再次相等。

但康托爾證明了，存在更大的無窮集 —— 即無法與自然數(shù)集建立一一對應(yīng)關(guān)系的 “不可數(shù)” 無窮集。

第四部分 更大的無窮

自然數(shù)集……

…… 看起來似乎比實數(shù)集小得多，實數(shù)集既包含了所有的分數(shù)，也包含了√2、π 這類無理數(shù)。

我們來看看對這兩個集合進行比較會得到什么結(jié)果。

我們先假設(shè)，和之前的例子一樣，能將每個實數(shù)與每個自然數(shù)一一配對，且無任何遺漏。

接下來我們將證明，這種假設(shè)是絕對無法成立的。

先列出你所認為的所有實數(shù)。接著，利用這個列表構(gòu)造一個新的數(shù)字：取列表中第一個數(shù)字的第一位小數(shù)，將其加 1，作為新數(shù)字的第一位小數(shù)；取列表中第二個數(shù)字的第二位小數(shù)，將其加 1，作為新數(shù)字的第二位小數(shù)。依此規(guī)律，順著列表一直推導(dǎo)下去。

通過這種方式構(gòu)造出的新數(shù)字，必然不在你最初的列表之中。它的第一位小數(shù)與列表中第一個數(shù)字的第一位小數(shù)不同，第二位小數(shù)與列表中第二個數(shù)字的第二位小數(shù)不同，依此類推。這說明我們最初的假設(shè) —— 即能列出所有實數(shù)并將其與自然數(shù)一一配對 —— 是錯誤的。

結(jié)論：實數(shù)集的基數(shù)一定大于自然數(shù)集。

實數(shù)集是不可數(shù)的無窮集。

第五部分 實數(shù)間的關(guān)聯(lián)

0 到 1 之間的實數(shù)集……

…… 看起來似乎應(yīng)該是 0 到 2 之間實數(shù)集的一半大。

這和我們第一個例子的直覺感受如出一轍：自然數(shù)集看似是偶數(shù)集的兩倍大，但最終發(fā)現(xiàn)兩者的基數(shù)其實是相同的。

那么這個例子也是如此嗎？

從 0 到 1 的實數(shù)集中任取一個數(shù)字，比如 0.6，將其與 0 到 2 的實數(shù)集中兩倍于它的數(shù)字（此處即 1.2）配對。

將這個方法應(yīng)用于 0 到 1 的實數(shù)集中的每一個數(shù)字，就能讓這兩個集合形成完美的一一配對關(guān)系。

結(jié)論：這兩個集合的大小是相同的。

事實上，0 到 1 之間的所有實數(shù)組成的集合，其基數(shù)與全體實數(shù)組成的集合完全相同。實數(shù)軸上任意一段區(qū)間內(nèi)的實數(shù)集，基數(shù)都是相同的。

尾聲：康托爾的樂園

以上只是無窮集違背人類直覺的幾個例子而已?？此拼笮〔煌臒o窮集，實際基數(shù)可能完全相同；當然，也存在一個無窮集的基數(shù)遠大于另一個的情況。我們在此僅展示了無窮的兩種基數(shù)，但實際上，無窮的基數(shù)有無限多種。

康托爾的這一證明，讓數(shù)學(xué)家們開始重新審視那些他們曾深信不疑的理論，進而催生出了新的研究領(lǐng)域，也讓數(shù)學(xué)界開始重新審視這門學(xué)科 —— 探討數(shù)學(xué)的能力邊界，甚至重新思考數(shù)學(xué)的本質(zhì)。

如今，數(shù)學(xué)家們?nèi)栽谔剿骺低袪柕臉穲@，試圖探尋數(shù)學(xué)的極限。對于這個光怪陸離、充滿悖論的領(lǐng)域，他們早已不再心存畏懼。

圖源：Quanta Magazine

參考資料

https://www.quantamagazine.org/how-can-infinity-come-in-many-sizes-20260223/

文章轉(zhuǎn)載自“zzllrr小樂”微信公眾號