數學 1891

論流形理論中的一個初等問題

格奧爾格·康托爾

有些無窮比另一些更大——實數永遠無法被一一列出。

Choose your version

In depth · the introduction

康托爾證明：無窮不止一種大小——而填滿數軸的那些數，是一個比計數的數更大的無窮；靠的是一記你在餐巾紙上就能畫出來的手法。

把這個想法拆開看

要比較兩個無窮的集合，康托爾問了一個孩子氣的問題：能不能把它們一對一地配起來、兩邊都不剩？按這個標準，出人意料地有許多無窮其實一樣大——偶數和整數一樣多，連分數也一樣多，因為你能把每一個都對著 1、2、3、… 排好隊。計數的無窮 ℵ₀，彷彿把一切都吞了進去。

然後康托爾盯住了實數——數軸上的每一個點，寫成一串沒完沒了的數字——並證明它們根本無法與計數的數配對。把任何一份號稱「囊括了它們全部」的清單交給他，他就從這份清單自己的對角線上，造出一個數：它在第一位與你的第一個數不同，在第二位與你的第二個數不同，如此一路下去。它根本不在你的清單上。所以實數是一個嚴格更大的無窮。無窮不止一個，而且沒有最大的那一個。

它從哪裡來

格奧爾格·康托爾，在並不顯赫的哈雷大學裡，幾乎以一己之力，於 1870、80 年代創立了無窮集合的理論。他在 1874 年首次證明實數不可數；那個簡潔得令人驚艷的對角線版本，則出現在 1891 年——他在德國數學家協會的第一次會議上將它公之於眾，而這個協會正是他參與創立、並出任首任會長的。

這讓他付出了沉重的代價。柏林那位有權勢的數學家利奧波德·克羅內克，拒絕相信「已完成的無窮」，他嘲諷這項工作、試圖將它壓下，還給康托爾扣上「腐蝕青年的人」的帽子。被擋在他想要的職位之外、又因自己最深的思想而遭攻擊，康托爾反覆精神崩潰，晚年在療養院進進出出。昭雪來得很慢：不出一代人，他的集合論已成為現代數學的基岩，而大衛·希爾伯特宣告：沒有人能把數學家從「康托爾創造的樂園」中驅逐出去。

它為何重要

康托爾讓數學第一次真正抓住了「無窮」——不再是含混的「永遠」，而是一道可以度量、可以比較的大小階梯。而處在它中心的那記小小的對角線手法，最終竟成了一把萬能鑰匙：同一記手法，稍稍換個說法，後來便表明——沒有任何邏輯系統能證明一切真理，也沒有任何計算機能解決一切問題。一個關於「無窮有多大」的問題，變成了一個關於「理性與計算之極限」的問題。

那位不在任何名單上的客人

設想一家旅館聲稱，它的住客名冊列出了每一個可能的人，每個人都用一串沒完沒了的「是 / 否」特徵來描述。你照這樣造出一個搗亂者：取第 1 位客人第 1 項特徵的反面，取第 2 位客人第 2 項特徵的反面，取第 3 位客人第 3 項特徵的反面，就這樣沿對角線走下去。結果是一份完全合格的人物描述——可他不可能是第 1 位客人（兩人在第 1 項上就不同），不可能是第 2 位，不可能是名冊上的任何一位。那份「完整的」名單，從來就不完整。在下方親手把這位客人造出來。

它在故事裡的位置

伽利略早已注意到一件怪事——你可以把每個整數與它的平方配對，彷彿「部分」竟和「整體」一樣大——但他退了回去，說無窮無法比較。康托爾徑直走了進去，建起了一套理論。在他的對角線之後，既有危機也有革命：草率地用它，會得出羅素悖論，逼著數學家在審慎的公理之上重建集合論。而同一道對角線，正是本館中兩座後來的里程碑的直系祖先——哥德爾證明「真超出可證」（1931），圖靈證明「有些問題沒有機器能判定」（1950）。康托爾答不出的那個連續統問題，最終被證明：從標準公理出發，根本無法回答。

The original document

Original source text

Georg Cantor · Jahresbericht der Deutschen Mathematiker-Vereinigung 1 (1891): 75–78 · presented at the founding meeting of the German Mathematical Society, Halle

In a paper of 1874 — “On a Property of the Collection of All Real Algebraic Numbers” — there appeared, perhaps for the first time, a proof of the theorem that there are infinite manifolds that cannot be put into one-to-one correspondence with the totality of the finite whole numbers 1, 2, 3, …, ν, …. From what is shown here there follows a new proof of that theorem, one far simpler, and one that does not depend on considering the irrational numbers.

Let m and w be any two mutually exclusive characters, and consider a collection M of elements E = (x₁, x₂, …, x_ν, …) which depend on infinitely many coordinates x₁, x₂, …, x_ν, …, where each of these coordinates is either m or w.

Suppose, for contradiction, that this collection M could be written out as a single endless list E₁, E₂, E₃, …. Write each Eμ as its own row of coordinates a(μ,1), a(μ,2), a(μ,3), …, and read straight down the diagonal: a(1,1), a(2,2), a(3,3), …. Now define one new element E₀ = (b₁, b₂, b₃, …) by reversing each diagonal entry — let b_ν = w whenever a(ν,ν) = m, and b_ν = m whenever a(ν,ν) = w. Then E₀ differs from E₁ in its first coordinate, from E₂ in its second, from Eμ in its μ-th — so E₀ is none of them. It belongs to M, yet it is absent from the list. The supposed list cannot exist.

[ … ]

This proof is remarkable not only for its great simplicity, but above all because the principle it follows extends at once to the general theorem that the powers of well-defined manifolds have no maximum — or, what is the same, that beside any given manifold L one can place another, M, of higher power than L.

Halle · 1891