康托爾定理

康托爾定理（英文：Cantor's Theorem）係數學入面集合論嘅一個基本定理，由德國數學家格奧爾格·康托爾喺19世紀提出。呢個定理講述，對於任何集合 $A$，佢嘅冪集 $2^{A}$（即係包含 $A$ 嘅所有子集嘅集合）嘅基數（集合元素嘅數量）永遠大過 $A$ 嘅基數，寫成數學符號係 $|A|<|2^{A}|$。換句話講，冪集合嘅「大細」永遠嚴格比原集合大，就算$A$ 係無窮集合都係咁。康托爾定理係現代集合論嘅基石，對理解無窮、連續統假說同數學基礎有深遠影響。

定理

康托爾定理嘅正式陳述如下：

對於任何集合 $A$（有限或無窮），由$A$打去冪集合 $2^{A}$ 嘅函數一定唔係滿射（surjection）。即係話，$2^{A}$ 嘅基數嚴格大過 $A$ 嘅基數，寫為 $|A|<|2^{A}|$。

• 集合 $A$：可以係任何集合，例如自然數集合 $\mathbb {N}$ 或實數集合 $\mathbb {R}$。
• 冪集合 $2^{A}$：係由 $A$ 嘅所有子集組成嘅集合。例如 $A=\{1,2\}$嘅話， $2^{A}=\{\emptyset ,\{1\},\{2\},\{1,2\}\}$。
• 基數：量度集合「大細」嘅數學概念，對於無窮集合，基數可以區分「唔同大細」嘅無窮大，例如可數無窮同不可數無窮。

康托爾定理表明，冪集合嘅元素數量一定比原本個集合多，呢個結論喺有限集合同無窮集合都成立，係集合論嘅核心結果之一。

證明

康托爾定理嘅證明用咗對角論證法（Cantor's diagonal argument），係康托爾喺1891年提出嘅一個經典證明方法。以下係證明嘅概要：

假設存在一個雙射（bijection）$f:A\to 2^{A}$，即每個 $a\in A$ 對應 $2^{A}$ 中嘅一個子集 $f(a)$。我哋構造一個新嘅子集 $S\subseteq A$，定義為：

$S=\{a\in A\mid a\notin f(a)\}$

即係話，$S$ 包含所有唔屬於自己對應子集 $f(a)$ 嘅元素 $a$。依家考慮 $S$ 究竟喺唔喺 $2^{A}$ 入面：

假設存在某個 $a\in A$ 令到 $f(a)=S$，咁：

若 $a\in S$，根據 $S$ 嘅定義，$a\notin f(a)$，即 $a\notin S$，產生矛盾。
若 $a\notin S$，咁 $a\in f(a)=S$，同樣產生矛盾。

所以，$A$入面無任何嘅元素會打去 $S$ ，即係 $f$ 唔係滿射。

結論：唔存在由$A$ 到 $2^{A}$ 嘅滿射，而明顯存在由$A$ 到 $2^{A}$ 嘅單射，所以 $|A|<|2^{A}|$。

呢個證明顯示，冪集合嘅基數永遠比原集合大，例如 $|\mathbb {N} |$（可數無窮）小於 $|2^{\mathbb {N} }|$（不可數無窮）。

例子

1. 有限集合：

 - 若 $A=\{1,2,3\}$，則 $|A|=3$。
 - 冪集合 $2^{A}=\{\emptyset ,\{1\},\{2\},\{3\},\{1,2\},\{1,3\},\{2,3\},\{1,2,3\}\}$，有 $|2^{A}|=2^{3}=8$。
 - 顯然，$3<8$，符合康托爾定理。

2. 自然數集合 $\mathbb {N}$：

 - $\mathbb {N}$ 嘅基數係可數無窮，記為 $\aleph _{0}$。
 - 冪集合 $2^{\mathbb {N} }$ 包含所有自然數子集，基數等於實數集合 $\mathbb {R}$ 嘅基數（不可數無窮，記為 $2^{\aleph _{0}}$）。
 - 康托爾定理證明 $\aleph _{0}<2^{\aleph _{0}}$，即實數集合比自然數集合「更大」。

3. 實數集合 $\mathbb {R}$：

 - $\mathbb {R}$ 嘅基數係 $2^{\aleph _{0}}$（不可數無窮）。
 - 冪集合 $2^{\mathbb {R} }$ 嘅基數更大，係一個更高大嘅無窮（$2^{2^{\aleph _{0}}}$），不斷重覆攞冪集呢個過程顯示無窮集合有無限多嘅唔同嘅大細。

數學教育

康托爾定理係大學數學系課程（特別係集合論同數學邏輯）嘅重要內容，一般屬於大學低年班嘅課程。

歷史背景

康托爾定理由格奧爾格·康托爾（Georg Cantor）喺1891年提出，係現代集合論嘅奠基成果之一。康托爾喺19世紀後期研究無窮集合嘅性質，發現有限集合同無窮集合嘅基數差異，挑戰咗當時數學界對無窮嘅傳統理解。佢嘅對角線法不僅證明咗康托爾定理，仲為集合論同數學邏輯奠定基礎。

喺Cantor提出定理之前，數學家普遍認為所有無窮集合「大小」相同。康托爾定理揭示咗無窮集合有唔同嘅基數，例如自然數（可數無窮）同實數（不可數無窮）。呢個發現喺當時引起爭議，但最終被數學界接受，成為Zermelo-Fraenkel集合論（ZF）嘅基礎。喺20世紀，哥德爾同寇恩嘅工作進一步將ZFC同連續統假設連繫起嚟，證明咗連續統假設獨立於ZFC。

睇埋

• 對角論證法：證明康托爾定理嘅技巧，可以用嚟證明其他嘢。
• 連續統假說：康托爾定理引出嘅問題。

參考資料

• Rudin, Walter (1976). Principles of Mathematical Analysis (英文). McGraw-Hill. ISBN 978-0-07-054235-8.
• "Cantor's Diagonal Argument". MathWorld (英文). 喺2025-08-05搵到.
• Halmos, Paul R. (1974). Naive Set Theory (英文). Springer. ISBN 978-0-387-90092-6.

外部連結

• "Cantor's Theorem - ProofWiki". ProofWiki. 喺2025-08-05搵到.
• "nLab - Cantor's Theorem". nLab. 喺2025-08-05搵到.