第八章：無限集合 — 動畫敘事

第九集 · Ch.8 無限集合
有些無限
更大
所有整數有多少個？無限個。
所有實數有多少個？也是無限個。
但這兩個「無限」不一樣大。
康托爾在 1874 年證明了這件令人震驚的事實。
Hilbert 旅館 — 無限的直覺
一間有無限多個房間的旅館，全部住滿了。
但還可以再接待新客人——怎麼做到的？
旅館客滿，房間 1, 2, 3, … 全部住了人
可數集合 — 建立一一對應
一個無限集合是「可數的」，代表它能與自然數建立一一對應（雙射）。
Cantor 對角線論證
實數 (0,1) 之間的數無法與自然數建立一一對應。
假設可以列出所有實數，康托爾找到一個不在清單上的數：
r₁ = 0.517293…
r₂ = 0.384719…
r₃ = 0.721834…
r₄ = 0.491652…
r₅ = 0.835407…
對角線數字：5, 8, 1, 6, 0, …
取對角線上的數字（紅色），每位加 1（mod 10），得到新數 d。
d 與 r₁ 在第 1 位不同，與 r₂ 在第 2 位不同……與清單上每個數都不同。
矛盾！所以實數不可數。
可數 vs 不可數
Cantor 發現無限有不同的「大小」，用 ℵ（aleph）來度量：
ℕ
自然數
|ℕ| = ℵ₀
最小的無限
可數
ℤ
整數
|ℤ| = ℵ₀
與自然數等大
可數
ℚ
有理數
|ℚ| = ℵ₀
竟然也可數！
可數
ℝ
實數
|ℝ| = 2^ℵ₀
嚴格大於 ℵ₀
不可數
𝒫(ℕ)
ℕ 的冪集合
|𝒫(ℕ)| = 2^ℵ₀
與實數等大
不可數
Cantor 定理：對任意集合 S，|𝒫(S)| > |S|
所以無限的大小有無限多種層次：ℵ₀ < 2^ℵ₀ < 2^(2^ℵ₀) < …
觀念測驗
有理數（分數）是可數集合還是不可數集合？
小結
無限≠無限
康托爾的發現震驚了整個數學界：
整數和實數都是無限多個，
但實數「多得多」——多到無法一一列出。
這就是數學中最深刻的悖論之一。
下一集：數論進階——模運算與密碼學（完整教材見 Ch.9）
閱讀完整第八章互動教材 →
1 / 7
本頁為動畫敘事版。看完後可前往 完整第八章 進行互動練習（Hilbert Hotel 動畫、可數性互動）。

教材來源：Mathematics for Computer Science (Lehman, Leighton, Meyer)