上一篇筆記用雙射和單射比較集合大小。這一篇從本章第一個真正的大集合定理 開始:Cantor 定理。它說明任何集合都嚴格小於它的冪集。
這個結果立即給出實數不可數的證明。同一段這裏隨後引入兩個基礎性命題: 連續統假設與選擇公理。本課程不證明它們背後深層的元數學結果,但會清楚說 明它們在理論中扮演甚麼角色。
冪集與 Cantor 定理
定義
冪集記號
對集合 ,記號 表示 的所有子集所成的集合,即 的冪集。
因此
正是說 。
記號 帶有提示性:若 有 n 個元素,則冪集有 個子集。
Cantor 定理說的不只是有限情況,而是對所有集合都成立。
定理
Cantor 定理
設 為集合。則
證明分兩部分。
首先,有單射
所以 。
其次,不存在由 到 的雙射。反設 是雙射。定義對角 集合
因為 是 的子集,所以 。若 f 是滿射,便存在
使
現在考慮 y 是否屬於 。
- 若 ,則按 的定義有 ,矛盾。
- 若 ,則按 的定義有 ,同樣矛盾。
兩種情況也不可能。因此不存在雙射 ,所以 。
證明
為甚麼這是對角線論證
對角線實驗
下面的互動元件是用來輔助證明,而不是替代證明。可用它觀察 為甚麼必 然會與每一個嘗試列出的子集不同。

圖示。對角集合透過反轉對角線上的隸屬判斷而成,所以不可能等於候選列表中任何一行。
邊讀邊試
建立 Cantor 的對角集合
這個工具把 Cantor 對角論證變成表格,顯示為甚麼任何列表都不能包含所有子集。
| n | f(n) | n in f(n)? | n in T? |
|---|---|---|---|
| 0 | {0, 2, 4} | 是 | 否 |
| 1 | {0, 1, 3, 5} | 是 | 否 |
| 2 | {2, 3} | 是 | 否 |
| 3 | {0, 4} | 否 | 是 |
| 4 | {1, 4, 5} | 是 | 否 |
| 5 | {} | 否 | 是 |
T = {3, 5}
這張有限表只示範規則。正式證明中,T = {n in N : n notin f(n)} 會在第 n 行恰好不同於 f(n),所以任何列表都不可能包含 N 的所有子集。
實數不可數
定理
實數不可數
實數集合 不可數。特別地,
這裏的證明使用 Cantor 定理,以及一個由 到 的單射。
由 Cantor 定理,
所以只需證明
給定子集 ,用一個由 0 和 1 組成的序列來編碼它:
然後定義
這把 的每個子集送到一個實數。
例題
把 N 的子集編碼成實數
若
則序列開頭為
對應的實數開頭可寫成
證明不需要把它轉寫成小數展開;只需要知道這個無窮級數確定了一個實數。
為甚麼用底數 3 而不是 2?這裏使用底數 3,是為了避免兩個不同的
零一序列被後面的尾項抵消。
若 ,令 k 為兩個對應序列第一次不同的位置。在第 k 位,兩個
和式相差
後面所有項加起來可能造成的抵消量比這個主要差距還小。因此兩個實數不可能 相等。故 是單射,從而 。
合併得到
所以 不可數。
常見錯誤
證明只需要單射到 R
要證明 ,不需要 命中每個實數。只需要不同的 的子集給出不同實數。
連續統假設
定理
連續統假設
連續統假設說:不存在集合 使
在知道 比 大之後,這是一個自然猜想:也許可數無限基數與實數基數 之間沒有中間大小。
這裏強調,這個猜想的地位非常特殊。連續統假設獨立於通常的集合論公理 ZFC。 Godel 在 1940 年證明它與 ZFC 相容;Cohen 在 1963 年使用 forcing 證明它 的否定也與 ZFC 相容。因此它不能從標準公理中被證明,也不能從標準公理中 被否證。
對本課程而言,重點不是證明這些元數學結果,而是知道:基數問題很快會進入 「公理是否足夠」的層面。
選擇函數與選擇公理
在陳述選擇公理之前,這裏先定義一個由集合組成的集合的並集:
定義
選擇函數
設 為一個集合,其元素都是非空集合。 的選擇函數是函數
使得對每個 都有
選擇函數會從族 中每一個集合各選出一個元素。
如果 含有空集,就不可能有選擇函數,因為空集中沒有元素可選。因此定 義必須假設 的成員都是非空集合。
定理
選擇公理
設 為一個集合,其元素都是非空集合。則 有選擇函數。
這是公理,不是定理。這裏指出,如同連續統假設一樣,它的真偽不能由其他集 合論公理決定。
例題
選擇函數做甚麼
設
一個選擇函數可以選
它不一定要選最小元素;只需要從每個非空集合中選一個元素。
滿射與基數不等式
定理
在選擇公理下,滿射給出反方向的基數不等式
若 是滿射,則
要證明它,需要構造單射 。
對每個 ,纖維
非空,因為 f 是滿射。令
這是 的非空子集所成的集合。由選擇公理,可從每個纖維選一個元素。定 義
則 是單射。若 ,同一個 中元素同時落在兩個纖 維裏,所以
由 得 。
這解釋了前面的提醒:由滿射推出反方向基數不等式,在需要同時從無限多個纖 維中選代表時,會用到選擇公理。
可數個可數集合的並仍可數
定理
可數個可數集合的並仍可數
若 是一個可數族,而每個 都可數,則
可數。
這裏用滿射組織證明。由於每個 可數,可選滿射
若 有限,可把最後一個元素不斷重複,仍得到由 到 的滿射。 選擇公理用來同時選出整族映射 。
定義
這是滿射:並集中任何元素都屬於某個 ,因此會被相應的 命中。
最後, 可數,證明方式與 可數的對角線方法類似。因此存在 滿射
合成後得到滿射 ,所以 可數。
常見錯誤
可數並不等於任意並
這個定理處理的是可數族 。它不是說任意多個可數集合的並都必定可數。
鏈、極大元素與 Zorn 引理
指定頁面的最後一部分陳述 Zorn 引理;它與選擇公理等價。
定義
鏈
設 為偏序集合。子集 稱為鏈,如果它是全序子集: 對任意 ,都有
定義
極大元素
元素 稱為極大元素,如果不存在 使得
極大元素不一定大於所有其他元素。這不同於最大元素;最大元素需要滿足 對所有 成立。
例題
極大比最大弱
在偏序集合中,兩個元素可能不可比較。如果二者互不在對方之上,它們都可能 在某個小集合中是極大元素,但沒有任何一個是最大元素。
因此,「極大」的意思是「不能再往上延伸」,不是「支配所有元素」。
定理
Zorn 引理
選擇公理等價於以下命題:
若 是非空偏序集合,且 中每一條鏈都有一個屬於 的上界,則 有極大元素。
本課程把它作為基礎工具陳述。完整證明屬於更進階課程;但現在應該先準確讀 懂其中的詞:偏序、鏈、鏈的上界,以及極大元素。
常見錯誤與細節
常見錯誤
不要把 Cantor 定理只當作有限算術
有限集合中 很熟悉;Cantor 定理更強,因為它對所有集合,包括無限 集合,都成立。
常見錯誤
不要混淆極大與最大
最大元素要大於或等於每個元素。極大元素只要求沒有更大的元素在它上方。在 偏序中,二者不同。
常見錯誤
不要隱藏選擇公理的角色
從無限多個非空集合中各選一個元素,正是選擇公理要保證的步驟。
快速檢查
快速檢查
在 Cantor 定理中,對角集合 T 是甚麼?
用 x 是否屬於 f(x) 來表述。
解答
答案
快速檢查
為甚麼從 2^N 到 R 的單射使用底數 3?
考慮第一個不同的位置,以及後面尾項可能造成的影響。
解答
答案
快速檢查
選擇函數選的是甚麼?
請同時提到集合族和被選元素。
解答
答案
練習
快速檢查
證明單點映射 x -> {x} 是單射。
假設兩個單點集合相等。
解答
引導解答
快速檢查
解釋為甚麼滿射 f:X to Y 會使每個纖維 f^{-1}(y) 非空。
使用滿射的定義。
解答
引導解答
快速檢查
在 Zorn 引理中,為甚麼不能只談最大元素?
回想這裏的順序是偏序,不一定是全序。
解答
引導解答
相關筆記
可先讀 6.1 基數、可數性與基數不等式 和 2.2 函數與關係。 下一個課程段落開始討論區間;這篇筆記則完成 Chapter 6.1-6.3 所需的大集 合基礎。