Evanalysis
6.2嵌入式互動預計閱讀時間: 15 分鐘

6.1.2-6.3 Cantor 定理、連續統與選擇公理

用 Cantor 定理證明實數不可數,陳述連續統假設,並引入選擇函數、選擇公理與 Zorn 引理。

上一篇筆記用雙射和單射比較集合大小。這一篇從本章第一個真正的大集合定理 開始:Cantor 定理。它說明任何集合都嚴格小於它的冪集。

這個結果立即給出實數不可數的證明。同一段這裏隨後引入兩個基礎性命題: 連續統假設與選擇公理。本課程不證明它們背後深層的元數學結果,但會清楚說 明它們在理論中扮演甚麼角色。

冪集與 Cantor 定理

定義

冪集記號

對集合 XX,記號 2X2^X 表示 XX 的所有子集所成的集合,即 XX 的冪集。

因此

T2XT\in 2^X

正是說 TXT\subseteq X

記號 2X2^X 帶有提示性:若 XXn 個元素,則冪集有 2n2^n 個子集。 Cantor 定理說的不只是有限情況,而是對所有集合都成立。

定理

Cantor 定理

XX 為集合。則

X<2X.|X|<|2^X|.

證明分兩部分。

首先,有單射

X2X,x{x}.X\to 2^X,\qquad x\mapsto \{x\}.

所以 X2X|X|\le |2^X|

其次,不存在由 XX2X2^X 的雙射。反設 f:X2Xf:X\to 2^X 是雙射。定義對角 集合

T={xXxf(x)}.T=\{x\in X\mid x\notin f(x)\}.

因為 TTXX 的子集,所以 T2XT\in 2^X。若 f 是滿射,便存在 yXy\in X 使

f(y)=T.f(y)=T.

現在考慮 y 是否屬於 TT

  • yTy\in T,則按 TT 的定義有 yf(y)=Ty\notin f(y)=T,矛盾。
  • yTy\notin T,則按 TT 的定義有 yf(y)=Ty\in f(y)=T,同樣矛盾。

兩種情況也不可能。因此不存在雙射 X2XX\to 2^X,所以 X<2X|X|<|2^X|

證明

為甚麼這是對角線論證

對角線實驗

下面的互動元件是用來輔助證明,而不是替代證明。可用它觀察 TT 為甚麼必 然會與每一個嘗試列出的子集不同。

Cantor 對角集合構造

圖示。對角集合透過反轉對角線上的隸屬判斷而成,所以不可能等於候選列表中任何一行。

邊讀邊試

建立 Cantor 的對角集合

這個工具把 Cantor 對角論證變成表格,顯示為甚麼任何列表都不能包含所有子集。

nf(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 的所有子集。

實數不可數

定理

實數不可數

實數集合 RR 不可數。特別地,

N<R.|N|<|R|.

這裏的證明使用 Cantor 定理,以及一個由 2N2^NRR 的單射。

由 Cantor 定理,

N<2N.|N|<|2^N|.

所以只需證明

2NR.|2^N|\le |R|.

給定子集 SNS\subseteq N,用一個由 01 組成的序列來編碼它:

an={1,nS,0,nS.a_n= \begin{cases} 1, & n\in S,\\ 0, & n\notin S. \end{cases}

然後定義

ϕ(S)=n=0an3n+1[0,1].\phi(S)=\sum_{n=0}^{\infty}\frac{a_n}{3^{n+1}}\in [0,1].

這把 NN 的每個子集送到一個實數。

例題

把 N 的子集編碼成實數

S={0,2,5,},S=\{0,2,5,\ldots\},

則序列開頭為

a0=1,a1=0,a2=1,a3=0,a4=0,a5=1.a_0=1,\quad a_1=0,\quad a_2=1,\quad a_3=0,\quad a_4=0,\quad a_5=1.

對應的實數開頭可寫成

ϕ(S)=13+133+136+.\phi(S)=\frac13+\frac1{3^3}+\frac1{3^6}+\cdots .

證明不需要把它轉寫成小數展開;只需要知道這個無窮級數確定了一個實數。

為甚麼用底數 3 而不是 2?這裏使用底數 3,是為了避免兩個不同的 零一序列被後面的尾項抵消。

SSS\ne S',令 k 為兩個對應序列第一次不同的位置。在第 k 位,兩個 和式相差

13k+1.\frac1{3^{k+1}}.

後面所有項加起來可能造成的抵消量比這個主要差距還小。因此兩個實數不可能 相等。故 ϕ\phi 是單射,從而 2NR|2^N|\le |R|

合併得到

N<2NR,|N|<|2^N|\le |R|,

所以 RR 不可數。

常見錯誤

證明只需要單射到 R

要證明 2NR|2^N|\le |R|,不需要 ϕ\phi 命中每個實數。只需要不同的 NN 的子集給出不同實數。

連續統假設

定理

連續統假設

連續統假設說:不存在集合 SS 使

N<S<R.|N|<|S|<|R|.

在知道 RRNN 大之後,這是一個自然猜想:也許可數無限基數與實數基數 之間沒有中間大小。

這裏強調,這個猜想的地位非常特殊。連續統假設獨立於通常的集合論公理 ZFC。 Godel 在 1940 年證明它與 ZFC 相容;Cohen 在 1963 年使用 forcing 證明它 的否定也與 ZFC 相容。因此它不能從標準公理中被證明,也不能從標準公理中 被否證。

對本課程而言,重點不是證明這些元數學結果,而是知道:基數問題很快會進入 「公理是否足夠」的層面。

選擇函數與選擇公理

在陳述選擇公理之前,這裏先定義一個由集合組成的集合的並集:

S={xXS such that xX}.\bigcup S=\{x\mid \exists X\in S\text{ such that }x\in X\}.

定義

選擇函數

SS 為一個集合,其元素都是非空集合。SS選擇函數是函數

f:SSf:S\to \bigcup S

使得對每個 XSX\in S 都有

f(X)X.f(X)\in X.

選擇函數會從族 SS 中每一個集合各選出一個元素。

如果 SS 含有空集,就不可能有選擇函數,因為空集中沒有元素可選。因此定 義必須假設 SS 的成員都是非空集合。

定理

選擇公理

SS 為一個集合,其元素都是非空集合。則 SS 有選擇函數。

這是公理,不是定理。這裏指出,如同連續統假設一樣,它的真偽不能由其他集 合論公理決定。

例題

選擇函數做甚麼

S={{1,2},{3,4,5},{6}}.S=\{\{1,2\},\{3,4,5\},\{6\}\}.

一個選擇函數可以選

f({1,2})=1,f({3,4,5})=4,f({6})=6.f(\{1,2\})=1,\qquad f(\{3,4,5\})=4,\qquad f(\{6\})=6.

它不一定要選最小元素;只需要從每個非空集合中選一個元素。

滿射與基數不等式

定理

在選擇公理下,滿射給出反方向的基數不等式

f:XYf:X\to Y 是滿射,則

XY.|X|\ge |Y|.

要證明它,需要構造單射 g:YXg:Y\to X

對每個 yYy\in Y,纖維

f1(y)Xf^{-1}(y)\subseteq X

非空,因為 f 是滿射。令

S={f1(y)yY}.S=\{f^{-1}(y)\mid y\in Y\}.

這是 XX 的非空子集所成的集合。由選擇公理,可從每個纖維選一個元素。定 義

g(y)=在 f1(y) 中被選出的元素.g(y)=\text{在 }f^{-1}(y)\text{ 中被選出的元素}.

g:YXg:Y\to X 是單射。若 g(y)=g(y)g(y)=g(y'),同一個 XX 中元素同時落在兩個纖 維裏,所以

f(g(y))=yf(g(y))=y.f(g(y))=y \qquad\text{且}\qquad f(g(y'))=y'.

g(y)=g(y)g(y)=g(y')y=yy=y'

這解釋了前面的提醒:由滿射推出反方向基數不等式,在需要同時從無限多個纖 維中選代表時,會用到選擇公理。

可數個可數集合的並仍可數

定理

可數個可數集合的並仍可數

AnnN{A_n}_{n\in N} 是一個可數族,而每個 AnA_n 都可數,則

A=nNAnA=\bigcup_{n\in N} A_n

可數。

這裏用滿射組織證明。由於每個 AnA_n 可數,可選滿射

fn:NAn.f_n:N\to A_n.

AnA_n 有限,可把最後一個元素不斷重複,仍得到由 NNAnA_n 的滿射。 選擇公理用來同時選出整族映射 fn{f_n}

定義

F:N×NA,F(n,m)=fn(m).F:N\times N\to A,\qquad F(n,m)=f_n(m).

這是滿射:並集中任何元素都屬於某個 AnA_n,因此會被相應的 fnf_n 命中。

最後,N×NN\times N 可數,證明方式與 QQ 可數的對角線方法類似。因此存在 滿射

NN×N.N\to N\times N.

合成後得到滿射 NAN\to A,所以 AA 可數。

常見錯誤

可數並不等於任意並

這個定理處理的是可數族 An{A_n}。它不是說任意多個可數集合的並都必定可數。

鏈、極大元素與 Zorn 引理

指定頁面的最後一部分陳述 Zorn 引理;它與選擇公理等價。

定義

XX 為偏序集合。子集 SXS\subseteq X 稱為,如果它是全序子集: 對任意 a,bSa,b\in S,都有

abba.a\le b \qquad\text{或}\qquad b\le a.

定義

極大元素

元素 mXm\in X 稱為極大元素,如果不存在 xXx\in X 使得

x>m.x>m.

極大元素不一定大於所有其他元素。這不同於最大元素;最大元素需要滿足 mxm\ge x 對所有 xXx\in X 成立。

例題

極大比最大弱

在偏序集合中,兩個元素可能不可比較。如果二者互不在對方之上,它們都可能 在某個小集合中是極大元素,但沒有任何一個是最大元素。

因此,「極大」的意思是「不能再往上延伸」,不是「支配所有元素」。

定理

Zorn 引理

選擇公理等價於以下命題:

XX 是非空偏序集合,且 XX 中每一條鏈都有一個屬於 XX 的上界,則 XX 有極大元素。

本課程把它作為基礎工具陳述。完整證明屬於更進階課程;但現在應該先準確讀 懂其中的詞:偏序、鏈、鏈的上界,以及極大元素。

常見錯誤與細節

常見錯誤

不要把 Cantor 定理只當作有限算術

有限集合中 2n>n2^n>n 很熟悉;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 所需的大集 合基礎。

本單元重點詞彙