數學家是怎么知道無窮大有多種大小的？——譯自量子雜志Quanta Magazine

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

圖源：Quanta Magazine

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

譯者：zzllrr小樂（數學科普公眾號）2026-2-24

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

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

那么，數學家是怎么知道無窮大有多種大小的？

歡迎來到康托爾的樂園。

第一部分 計數的本質是什么？

數學家借助集合進行計數。

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

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

當數學家將這種計數方法應用于無窮集合時，有趣的現象便出現了。

第二部分 對無窮進行計數

自然數集……

…… 看起來似乎是偶數集的兩倍大。

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

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

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

可以將每個自然數與每個偶數兩兩配對。

結論：這種完美的一一配對關系說明，這兩個集合的大小是相同的。

任何能與自然數集建立一一對應關系的集合，都被稱為 “可數” 無窮集。這類集合是無窮集中基數最小的一類。

第三部分 更復雜的計數問題

自然數集……

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

畢竟，僅在 0 到 1 這一個區間內，就存在無窮多個有理數。

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

首先，將有理數集排列成一個網格。第一行是所有的自然數，以分數形式呈現：1/1、2/1、3/1，依此類推。

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

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

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

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

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

但康托爾證明了，存在更大的無窮集 —— 即無法與自然數集建立一一對應關系的 “不可數” 無窮集。

第四部分 更大的無窮

自然數集……

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

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

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

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

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

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

結論：實數集的基數一定大于自然數集。

實數集是不可數的無窮集。

第五部分 實數間的關聯

0 到 1 之間的實數集……

…… 看起來似乎應該是 0 到 2 之間實數集的一半大。

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

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

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

將這個方法應用于 0 到 1 的實數集中的每一個數字，就能讓這兩個集合形成完美的一一配對關系。

結論：這兩個集合的大小是相同的。

事實上，0 到 1 之間的所有實數組成的集合，其基數與全體實數組成的集合完全相同。實數軸上任意一段區間內的實數集，基數都是相同的。

尾聲：康托爾的樂園

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

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

如今，數學家們仍在探索康托爾的樂園，試圖探尋數學的極限。對于這個光怪陸離、充滿悖論的領域，他們早已不再心存畏懼。

圖源：Quanta Magazine

參考資料

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

文章轉載自“zzllrr小樂”微信公眾號