# 康托尔定理[编辑]

绿色箭头代表可能的映射关系，红色箭头代表不可能的映射关系。圆圈表示集合或子集。
ZFC集合论中，**康托尔定理**（英語：Cantor's theorem）斷言對任意集合 WIKINIUM\_MATH\_PH\_0 ，其幂集（所有子集的集合）的势严格大于 WIKINIUM\_MATH\_PH\_2 自身的势。

对于有限集合該結論是顯然的。對勢為 WIKINIUM\_MATH\_PH\_4 的有限集合，其冪集的勢為 WIKINIUM\_MATH\_PH\_6 ，對所有非負整數 WIKINIUM\_MATH\_PH\_8 ， WIKINIUM\_MATH\_PH\_10 ，因此不存在從原集合到其冪集的滿射。

但更重要的是對任意无限集合，康托爾定理也成立。這同時證明了，可数无限集合構造的冪集的基數是嚴格大於任何可数无限，以此創造出不可數無限的概念。

## 歸謬法證明

證明：對任何的集合 WIKINIUM\_MATH\_PH\_12 ，它的元素與冪集 WIKINIUM\_MATH\_PH\_14 的元素之間不可能存在一一對應（雙射）的關係。

（利用歸謬法）假設：可以找到一個集合 WIKINIUM\_MATH\_PH\_16 和一個函數 WIKINIUM\_MATH\_PH\_18 ，它使得兩個集合之間的全部元素都配對且僅配對一次。

對於 WIKINIUM\_MATH\_PH\_20 中的任意元素 WIKINIUM\_MATH\_PH\_22 ，顯然 WIKINIUM\_MATH\_PH\_24 或者屬於 WIKINIUM\_MATH\_PH\_26 或者不屬於 WIKINIUM\_MATH\_PH\_28 。

我們假設 WIKINIUM\_MATH\_PH\_30 ，则 WIKINIUM\_MATH\_PH\_32 ；由假设知存在 WIKINIUM\_MATH\_PH\_34 使得 WIKINIUM\_MATH\_PH\_36 .

（1）如果 WIKINIUM\_MATH\_PH\_38 ，由 WIKINIUM\_MATH\_PH\_40 的定義， WIKINIUM\_MATH\_PH\_42 ，既然 WIKINIUM\_MATH\_PH\_44 ，那就推得 WIKINIUM\_MATH\_PH\_46 .

（2）如果 WIKINIUM\_MATH\_PH\_48 ，由 WIKINIUM\_MATH\_PH\_50 的定義， WIKINIUM\_MATH\_PH\_52 ，既然 WIKINIUM\_MATH\_PH\_54 ，那就推得 WIKINIUM\_MATH\_PH\_56 .

兩者都矛盾。因此我們對於存在函數 WIKINIUM\_MATH\_PH\_58 的假設是不成立的。證明完畢

## 對角線證明法

集合的個數為可数无限时可以用對角線法證明康托爾定理。不失一般性地，我们考慮自然数的集合。

欲證：不存在從自然數集 WIKINIUM\_MATH\_PH\_60 到它的冪集 WIKINIUM\_MATH\_PH\_62 的双射函數 WIKINIUM\_MATH\_PH\_64 。

（利用歸謬法）假設：存在從自然數集 WIKINIUM\_MATH\_PH\_66 到它的冪集 WIKINIUM\_MATH\_PH\_68 的双射函數 WIKINIUM\_MATH\_PH\_70 ，

那麼我們就可以依序將所有兩個集合之間的「對應」如下列出（這裡的數字只是示例），表中含有所有「自然數構成的集合」：

 WIKINIUM\_MATH\_PH\_72

雖然在集合中，元素的順序不重要，但我們假設從左到右以由小到大的方式記錄冪集合中的元素，以便討論。

通過這個「對應表」，我們可以構造一個自然數集合 WIKINIUM\_MATH\_PH\_74 ，構造方式為：

當左側的自然數「屬於」它對應的冪集合，我們就在 WIKINIUM\_MATH\_PH\_76 裡面記錄「不存在」這個自然數。

反之當左側的自然數「不屬於」它對應的冪集合，我們就在 WIKINIUM\_MATH\_PH\_78 裡面記錄「存在」這個自然數。

以上表為例：

 WIKINIUM\_MATH\_PH\_80 ，我們定義 WIKINIUM\_MATH\_PH\_82 。（顯然 WIKINIUM\_MATH\_PH\_84 與這個自然數集合不同）

 WIKINIUM\_MATH\_PH\_86 ，我們定義 WIKINIUM\_MATH\_PH\_88 。（顯然 WIKINIUM\_MATH\_PH\_90 與這個自然數集合不同）

......

以此方式構造的 WIKINIUM\_MATH\_PH\_92 和表中每一個自然數集合都不同，所以它不可能在表中。

但 WIKINIUM\_MATH\_PH\_94 是自然數構成的集合，所以它必然在表中，矛盾。

因此假設的 WIKINIUM\_MATH\_PH\_96 不存在，說明 WIKINIUM\_MATH\_PH\_98 的势和自然數的势不相等。

雖然用歸謬法沒能得知哪個集合的勢更大，但由於 WIKINIUM\_MATH\_PH\_100 包含所有自然數的單元素集合 WIKINIUM\_MATH\_PH\_102 ，這相當於冪集 WIKINIUM\_MATH\_PH\_104 中包含一份所有自然數的「複製」，所以 WIKINIUM\_MATH\_PH\_106 的基數大于 WIKINIUM\_MATH\_PH\_108 的基數。

綜上， WIKINIUM\_MATH\_PH\_110 的基數嚴格大于 WIKINIUM\_MATH\_PH\_112 的基數，證畢。

## 历史

格奥尔格·康托尔在1891年发表的论文《Über eine elementare Frage der Mannigfaltigkeitslehre》中本质上给出了这个证明，实数不可数的对角论证法也首次在这里出现。在这个论文中给出的这个论证的版本使用的是在集合上的指示函数而不是集合子集。他证明了如果*f*是定义在*X*上的函数，它的值是在*X*上的二值函数，则二值函数*G*(*x*) = 1 − *f*(*x*)(*x*)不在*f*的值域中。

罗素在《数学原理》（1903, section 348）中给出了一个非常类似的证明，在这里他证明了命题函数要比对象多。“假设所有对象和所有和它们相关的命题函数之间有一种对应，并令phi-*x*为*x*所对应的命题函数。则'非-phi-*x*(*x*)'，也即"phi-*x*对于*x*不成立",是一个在这个对应中没有出现的命题函数；因为它在phi-*x*假的时候为真，在phi-*x*真的时候为假，因此它和任何一个*x*所对应的phi-*x*不同”。他在康托尔之后贡献了这个想法。

恩斯特·策梅洛在他1908年发表的成为现代集合论基础的论文《Untersuchungen über die Grundlagen der Mengenlehre I》中有一个定理（他称之为康托尔定理）同于上面的论证形式。

康托尔定理的一个推论请参见beth数。

## 参考资料

### 引用

### 来源

* Paul Halmos, *Naive set theory*. Princeton, NJ: D. Van Nostrand Company, 1960. Reprinted by Springer-Verlag, New York, 1974. ISBN 0-387-90092-6 (Springer-Verlag edition).
* Jech, Thomas, 2003. *Set Theory: The Third Millennium Edition, Revised and Expanded*. Springer. ISBN 3-540-44085-2.

* 康托尔悖论