1.1 數線的邏輯基礎：Dedekind 切割（1872）#

本章導言#

微積分書裡到處寫著「連續函數」「極限存在」「閉區間上有最大值」，這些定理全都不自覺地依賴一個事實：實數線沒有洞。但「沒有洞」究竟是什麼意思？為什麼有理數 \(\mathbb{Q}\) 不夠用？本節講述 1858 年秋天，Dedekind（戴德金，Richard Dedekind，1831–1916） 在蘇黎世準備微積分講義時，如何被迫面對這個「數線的邏輯基礎」問題，並在 1872 年出版的《連續性與無理數》（Stetigkeit und die Irrationalzahlen）中，以「切割」徹底重建實數系。

有理數的空隙： \(\sqrt{2}\) 之痛#

傳說中 Pythagoras 學派發現 \(\sqrt{2}\) 不是兩個整數之比時，曾陷入恐慌（Hippasus 因此「被投入海中」的記載真偽難辨，但恐慌是真的）。用現代語言重述這個危機：

命題：不存在有理數 \(x\) 使 \(x^2 = 2\) 。

證明（反證）：設 \(x = \dfrac{p}{q}\) 為最簡分數（ \(p, q\) 互質）。則 \(p^2 = 2q^2\) ，故 \(p^2\) 為偶數， \(p\) 為偶數，寫 \(p = 2k\) ；代入得 \(4k^2 = 2q^2\) ，即 \(q^2 = 2k^2\) ，故 \(q\) 亦為偶數——與互質矛盾。 \(\blacksquare\)

問題不只在這個證明，而在幾何直觀與算術的斷裂：數線上看，方程 \(x^2 = 2\) 顯然「應該」有解——以 1 為邊的正方形對角線明明存在（Aristotle 舉過同例）。有理數在數線上處處稠密（任兩相異有理數之間必有另一有理數，如取平均），稠密卻仍不連續。稠密性騙過了直觀：稠密 ≠ 無洞。

微積分為何需要完備性#

不完備的數域上，微積分的基本定理會集體崩潰。看三個例子，全部發生在 \(\mathbb{Q}\) 上：

1. 單調有界定理失效：序列 \(1,\ 1.4,\ 1.41,\ 1.414, \ldots\) （ \(\sqrt2\) 的小數逼近）在 \(\mathbb{Q}\) 中單調遞增、有上界（如 \(2\) ），卻沒有極限屬於 \(\mathbb{Q}\) 。
2. 中間值定理失效： \(f(x) = x^2 - 2\) 在 \(\mathbb{Q}\) 上連續， \(f(1) < 0 < f(2)\) ，但 \([1,2]\cap\mathbb{Q}\) 內沒有根。
3. 有界序列不必有收斂子序列：序列 \(\lfloor n\sqrt2 \rfloor\) 的小數部分遠離彼此，在 \(\mathbb{Q}\) 中抓不到任何收斂子列——這正是 Bolzano–Weierstrass 定理（1.3 節）需要實數的理由。

結論：微積分的全部大定理，實質上就是完備性的各種等價表述。

Dedekind 切割的定義#

Dedekind 的洞見是：一個無理數，完全由它在有理數中「切出的那條界線」決定。他後來回憶（1872 年序言）：

「1858 年 10 月 24 日，我在蘇黎世準備微積分的第一堂課時，比以往更強烈地感受到微積分基礎的欠缺……我達到了這樣的看法：只要承認數線上每一點對應一個確定的實數，就必須有一個純算術的、嚴格科學的方式來定義實數。」

定義（Dedekind 切割）： \(\mathbb{Q}\) 的一個子集 \(\alpha\) 稱為切割（cut），若： - (A) \(\alpha \neq \varnothing\) ， \(\alpha \neq \mathbb{Q}\) ； - (B) 下封閉：若 \(p \in \alpha\) 、 \(q < p\) （ \(q \in \mathbb{Q}\) ），則 \(q \in \alpha\) ； - (C) 無最大元：若 \(p \in \alpha\) ，則存在 \(r \in \alpha\) 使 \(r > p\) 。

記 \(\alpha^* = \mathbb{Q} \setminus \alpha\) （上層）。兩條切割 \(\alpha, \beta\) 定義 \(\alpha = \beta \iff \alpha = \beta\) （集合相等），並定義 \(\alpha < \beta \iff \alpha \subsetneq \beta\) 、 \(\alpha + \beta = \{a + b : a\in\alpha, b\in\beta\}\) 等。關鍵宣告：

切割本身就是一個實數。 有理數 \(r\) 對應切割 \(\{p \in \mathbb{Q} : p < r\}\) ； \(\sqrt2\) 對應切割 \(\alpha_{\sqrt2} = \{p \in \mathbb{Q} : p^2 < 2 \text{ 或 } p < 0\}\) 。

切割的妙處：上層的最小元是否存在，自動區分有理與無理，而不需要任何「無窮小數展開」的收斂語言——定義是純集合論的，一筆不欠。

完備性定理：切割不再產生新洞#

Dedekind 證明了核心定理：

定理（完備性）：設 \(\mathbb{R}\) 上的非空子集 \(A\) 有上界，則 \(A\) 有最小上界（supremum） \(\sup A \in \mathbb{R}\) 。

證明思想：令 \(\alpha = \{q \in \mathbb{Q} : q \text{ 小於 } A \text{ 中某元素}\}\) 的對應切割。驗證 \(\alpha\) 滿足 (A)(B)(C)：非空（ \(A\) 非空）、不為全集（ \(A\) 有上界）、下封閉顯然；無最大元——若 \(a \in \alpha\) ，比 \(a\) 大的 \(a'\) 若使 \(a'\) 仍小於 \(A\) 中某元則 \(a' \in \alpha\) ，否則 \(a'\) 大於等於 \(A\) 全部元素，恰是上界之列，不影響 \(\alpha\) 無最大元（逐項驗證需細心處理有理數對應）。此切割定義的實數 \(s\) 即為 \(\sup A\) 。 \(\blacksquare\)

這條定理之後，1.2 節的 Cauchy 收斂準則、1.3 節的 Bolzano–Weierstrass 定理、2.3 節的 Heine–Borel 定理，全部成為可證明的定理，而非公理假設。

競爭者：Cantor 的基本列與 Weierstrass 的講義#

Dedekind 不是唯一解決者。1872 年是奇蹟之年，Cantor（康托爾，1845–1918） 幾乎同時發表了基於 Cauchy 基本序列的完備化（見 1.2 節），Heine 為其整理發表（故又稱 Cantor–Heine 構造），Méray 也在 1869 年獨立提出。Weierstrass 在柏林講義中更早（1860 年代）以「數的複合」（reine Zahlgebilde）給出類似構造。四條路線殊途同歸：

有趣的是兩位大師的私誼與分歧：Dedekind 與 Cantor 通信逾二十年，互相成全了集合論；但 Dedekind 反對 Cantor 極端的「實無窮階層」神學式推廣。另外，Dedekind 在 1888 年《數是什麼、應當是什麼》中以「鏈」（chain）公理給出 Peano 自然數公理的先聲——他的野心是把整座數學大廈從自然數一路蓋到實數，1872 年這本小冊只是其中一環。

無理數的不可數：Cantor 的第一記重拳#

1874 年 Cantor 證明：全體實數不可與自然數一一對應（不可數），而全體代數數（整係數多項式的根）可數——這立即推得超越數存在（如 \(\pi\) 、 \(e\) ），一舉解決 Lindemann 前的懸案氛圍。著名的對角線論證（1891）更簡潔：假設列舉實數 \(r_1, r_2, r_3, \ldots\) ，構造 \(x\) 其第 \(n\) 位小數與 \(r_n\) 的第 \(n\) 位不同，則 \(x\) 不在表中。實數的「多」，正是完備性加上無窮小數展開的代價，也是測度論（第 4 章）裡「可數集測度為零」的伏筆。

一個具體例題#

例題 1.1.1：驗證 \(\alpha = \{p \in \mathbb{Q} : p < 0 \text{ 或 } p^2 < 2\}\) 是切割，並證明它不對應任何有理數。

解： 1. (A) \(1 \in \alpha\) （ \(1^2 = 1 < 2\) ），非空； \(3 \notin \alpha\) （ \(3>0\) 且 \(9>2\) ），非全集。 2. (B) 設 \(q < p \in \alpha\) 。若 \(q \le 0\) 則 \(q \in \alpha\) ；若 \(q > 0\) 則 \(0 < q < p\) ，故 \(q^2 < p^2 < 2\) ， \(q \in \alpha\) 。 3. (C) 設 \(p \in \alpha\) 。若 \(p < 0\) 取 \(r = 0\) ；若 \(p \ge 0\) 取 \(r = \dfrac{p + \frac{2}{p+1}}{2}\) 的近似方向：具體地取 \(r = p + \delta\) ，其中 \(\delta = \dfrac{2 - p^2}{2(p+1)} > 0\) 。檢驗 \(r \in \mathbb{Q}\) 、 \(r > p\) ，且 $\(r^2 = p^2 + 2p\delta + \delta^2 \le p^2 + 2(p+1)\delta = p^2 + (2 - p^2) = 2,\)$ （用 \(\delta \le \dfrac{2-p^2}{2(p+1)}\) 與 \(\delta^2 \ge 0\) 的細心不等式，實際上 \(r^2 < 2\) 可直接由 \(\delta < \dfrac{2-p^2}{2p}\) 對 \(p>0\) 驗證）。故 \(r \in \alpha\) ，無最大元。 4. 非有理型：反設 \(\alpha = \{p : p < a\}\) ， \(a \in \mathbb{Q}\) 。由 \(\alpha\) 的定義，對所有 \(p \in \mathbb{Q}\) ， \(p < a \iff p^2 < 2\) （ \(p>0\) 部分）。若 \(a^2 < 2\) ，取 \(p\) 介於 \(a\) 與 \(\sqrt2\) 的有理逼近之間得矛盾；若 \(a^2 > 2\) ，取 \(p\) 介於 \(\sqrt2\) 與 \(a\) 之間得矛盾。故 \(a^2 = 2\) ，與 \(x^2=2\) 無有理解矛盾。 \(\blacksquare\)

（步驟 3 中細節以 \(p < 1.42\) 時取 \(\delta = \min\left(\frac{2-p^2}{2(p+1)}, 10^{-k}\right)\) 的形式寫出即可避免所有不嚴格之嫌；關鍵思想是「正有理數 \(\delta\) 可以小到不越界」。）

歷史啟示#

• 用定義消滅本體論問題：「 \(\sqrt2\) 是什麼」從「它是什麼樣的量」變成「它把 \(\mathbb{Q}\) 切成怎樣的兩半」——性質取代實體，這是現代數學的核心手法。
• 嚴格化的回報：完備性明確化之後，分析學的定理群第一次獲得統一證明基礎。
• 同時性不是孤例：1872 年四人獨立收斂到同一答案，說明基礎問題已「熟透」——大的概念革命往往等到問題的時間到了才發生。

與其他章節及領域的關聯#

• 1.2 節：Cantor 的 Cauchy 序列完備化，是本節切割的「度量版」對照。
• 1.3 節：Bolzano–Weierstrass 定理是完備性的序列表述。
• 2.1–2.3 節：開閉集、緊性全部建立在完備的 \(\mathbb{R}^n\) 上。
• 4.2 節：Lebesgue 測度的良定性依賴實數的完備性（外測度取 infimum 存在）。
• 《泛函分析》：完備性推廣為 Cauchy 完備的度量空間與 Banach 空間，Dedekind 構造是其原型。
• 代數數論：Dedekind 同年（1871）創立理想論，「切割」的商集思想與賦值完備化（p-進數）同源。

練習#

1. 證明：若 \(\alpha, \beta\) 是切割且 \(\alpha \subsetneq \beta\) ，則存在 \(q \in \beta \setminus \alpha\) ，使得 \(\alpha < \{p : p < q\} \subseteq \beta\) （實數的稠密性在切割語言下的重述）。
2. 對 \(\sqrt3\) 寫出對應的切割，並驗證三條切割公理。
3. 在 \(\mathbb{Q}\) 上構造一個單調遞增、有上界但不收斂的序列，並指出它「趨向的洞」對應哪個切割。
4. 證明兩個切割之和 \(\alpha + \beta\) 滿足：若 \(\alpha, \beta\) 皆為有理型，則 \(\alpha+\beta\) 也是有理型，且對應有理數相加。
5. 思考題：切割公理 (C)「無最大元」能否換成「上層無最小元則為無理型」的另一種表述？寫出你的版本並檢驗其與本節定義等價。

進階研讀：從切割出發的四個深化場景#

場景一：切割的代數。切割可定義加、乘、序，且全部公理（實數完備有序域）可驗證；乘法的定義最麻煩（負數情形需分情況）。這個「公理驗證的流水線」在現代教科書（Rudin《數學分析原理》第 1 章附錄）已成標準習題集。

場景二：p-進數——另一種完備化。以 \(|p|_p = 1/p\) 定義範數， \(\mathbb{Q}\) 對此範數完備化得 \(\mathbb{Q}_p\) 。同一個 \(\mathbb{Q}\) ，兩種完備化： \(\mathbb{R}\) 用的是阿基米德絕對值， \(\mathbb{Q}_p\) 用的是非阿基米德的。Ostrowski 定理說：這就是全部可能。完備化的「選擇自由」是數論與分析交會的深水區。

場景三：構造主義的異議。Bishop 學派認為切割依賴「任意子集」的實無窮觀念；他們偏好以 Cauchy 序列附帶收斂速率（regular sequence）來構造實數。兩種構造在經典邏輯下等價，在直覺主義邏輯下不等價——數學基礎的選擇會改變定理。

場景四：線性連續統的一般化。Dedekind 的「連續性」定義（有序集的稠密 + 無洞）可推廣到任意線性序，得出「線性連續統」概念，是描述集合論與連續統假說研究的地基；Cantor 從切割出發一路走向超窮序數，起點正是本節。

場景五：Dedekind 在數論中的另一面。同一位 Dedekind 在 1871 年以「理想」（ideal）重構 Kummer 的理想數，使代數數論獲得唯一分解；「用集合/子結構代替元素」的思想在切割與理想中一脈相承——這是他留給 20 世紀數學（結構主義）最重要的思維方式。

名詞速查表#

• 切割（cut）： \(\mathbb{Q}\) 中滿足下封閉、非空非全集、無最大元之子集。
• 完備性：任何有上界的非空實數集有最小上界（即切割不再產生新洞）。
• 稠密：任兩相異點之間必有第三點（有理數稠密但仍有洞）。
• 基本列（Cauchy sequence）：項彼此無限靠近的序列，詳見 1.2 節。
• 超越數：不是整係數多項式之根的實數（ \(\pi\) 、 \(e\) ；存在性由 Cantor 1874 首證）。
• 理想（ideal）：Dedekind 為修復代數整數唯一分解而引入的子環結構。
• **p-進數 \(\mathbb{Q}_p\) **：以 p-進絕對值完備化 \(\mathbb{Q}\) 所得之數域。

年表速查#

• 約前 520：Pythagoras 學派發現不可公度比。
• 約前 300：Euclid《幾何原本》第 X 卷處理不可公度量的比例論。
• 1858.10.24：Dedekind 在蘇黎世構思切割理論。
• 1869：Méray 提出基本列完備化。
• 1872：Dedekind《連續性與無理數》、Cantor 完備化論文同年發表。
• 1874：Cantor 證實數不可數、超越數存在。
• 1888：Dedekind《數是什麼、應當是什麼》建立自然數的鏈理論。
• 1891：Cantor 對角線法。
• 1897–1899：Dedekind 理想論定型；Hilbert《幾何基礎》完成公理化。

深化問答三則#

問：為什麼不用「無窮小數展開」直接定義實數？ 答：可以，但要先回答兩個問題：展開何時收斂（ \(0.999\ldots = 1\) ？）以及加減乘除如何逐位進行（進位鏈無限延伸）。切割法把這些運算問題轉成集合運算，一次解決。無窮小數是實數的表示，不是定義。

問：切割法與 Cantor 法哪個「更好」？ 答：用途不同。切割法直接給出序完備性（最小上界存在），證明單調收斂、介值定理最順；Cantor 法直接給出度量完備性（基本列收斂），且可推廣到任意度量空間（第 6 章 Lp 空間完備化用的是這條路）。分析學兩種都要。

問：完備性是「定理」還是「公理」？ 答：在 \(\mathbb{Q}\) 的出發點，它是由切割構造證明的定理；一旦把完備有序域取為公理系統（多數分析教科書的做法），它就是公理。構造（Dedekind/Cantor）的價值在於證明這樣的域確實存在——公理系統本身不保證模型存在，這是 Hilbert 一致性綱領關心的問題。

（本節完）