跳轉到

1.2 十九世紀分析的算術化#

本章導言#

微積分誕生後的一百五十年，其基礎是羞人的：極限的定義靠幾何直覺（「無限接近」），實數的意義靠線段的長度。Cauchy 自己證明的定理竟有假的——處處連續卻處處不可微的函數存在（Weierstrass 1872）動搖了整個圖像。十九世紀後半葉，一代數學家把分析徹底重寫為「關於數的科學」，史稱算術化（arithmetization of analysis）。這場運動是集合論誕生的直接前因：要把分析立在數上，就必須說清數是什麼，而說清實數，就必須發明無窮集合。

危機之一：連續性的怪物#

直覺告訴十九世紀初的數學家：連續曲線必有大段「平滑」、幾乎處處可微。Ampère 甚至試圖證明之。1872 年 Weierstrass 在柏林科學院報告了函數

\[ f(x) = \sum_{n=0}^{\infty} a^n \cos(b^n \pi x), \qquad 0 < a < 1,\ b \text{ 為奇整數},\ ab > 1 + \tfrac{3\pi}{2}, \]

並證明 \(f\) 處處連續、處處不可微。Hermann Hankel 稱之為「理性的震驚」；Poincaré 嘲諷為「龐加萊式怪物」（他後來收回）；Du Bois-Reymond 說：「看到無人能畫出的曲線，是對分析方法的徹底侮辱。」

早在此之前，Bolzano（1830 年代手稿）與 Riemann（1854 哈伯勒演講）已給出類似例子。這些怪物傳遞一個訊息：幾何直覺是分析學的劣質基礎。連續函數的集合遠比可微函數豐富，而直覺只涵蓋後者。

Cauchy 的半步與缺陷#

Cauchy（1821《分析教程》）首次把極限、連續、導數、積分定義在數的運算上而非幾何上：極限是「後繼值與目標值之差可小於任意給定數」。這是巨大進步，但他的敘述依賴「變量連續趨近」的運動意象，且他有嚴重漏洞——例如他證明了

Cauchy 錯誤定理（1821）：連續函數列的極限仍連續。

此定理為假： \(f_n(x) = x^n\) 在 \([0,1]\) 上連續，逐點極限 \(f\) 在 \((0,1)\) 為 \(0\) 、在 \(1\) 為 \(1\) ，不連續。錯在哪？Cauchy 心中的收斂是一致收斂而未區分。Seidel（1848）與 Stokes（1847–48）幾乎同時撞上這堵牆，而一致收斂的概念最終由 Weierstrass 講義（1861 起）確立。

這類「定理為假，因為定義不精」的事故，是算術化的直接動力：只有把「趨近」從運動意象變成 \(\forall\varepsilon\,\exists\delta\) 的靜態邏輯結構，才能看見自己在證明什麼。

WEIERSTRASS 的 \(\varepsilon\) – \(\delta\) 革命#

Weierstrass 通過柏林講義（而非出版物）統一了語言。其核心是把量詞結構寫死：

\(f\) 在 \(a\) 連續 \(\iff \forall\varepsilon>0\ \exists\delta>0\ \forall x\ (|x-a|<\delta \Rightarrow |f(x)-f(a)|<\varepsilon)\) 。

注意此定義的三個特徵：純代數（只用四則與不等式，無幾何、無運動）；量詞序敏感（ \(\exists\delta\) 在 \(\forall x\) 之前為一致連續、之後為逐點連續——兩者不同，歷史教訓刻在符號裡）；可機械檢驗（為後世邏輯學定量詞階層 \(P\exists, P\forall\) 之先聲，見 5.1 節）。

實數本體論上，Weierstrass 主張以有理數的無窮級數直接定義實數——「數是數列」。這正是集合論式定義的雛形。

DEDekIND 分割與 CANTOR 基本列（1872）#

同一年的兩篇論文完成了實數的建構，都是「從有理數出發、用無窮集合造實數」：

Dedekind 分割：實數 \(\alpha\) 是有理數集 \(Q\) 的一個切割 \((A \mid B)\) ， \(A, B\) 非空、 \(A\cup B = Q\) 、 \(A\) 中每元素小於 \(B\) 中每元素。例如 \(\sqrt2\) 即 \(A = \{q : q < 0 \text{ 或 } q^2 < 2\}\) 。Dedekind 明白說出哲學立場：

「數不是由空間或時間的直覺得來的；它們是心靈的自由創造。」

Cantor 基本列：實數是 Cauchy 有理數列的等價類（ \(|a_n - a_m| \to 0\) ）。Cantor 當時正研究 Fourier 級數的唯一性問題：三角級數表示函數的「例外點集」可以是何種集合？這問題逼他不斷研究更複雜的點集——實分析的一道習題，孕育了整個集合論。

兩種定義在功能上等價，且都必須預設無窮集合：一個實數就是一個無窮對象。這是希臘以來「無窮只是潛在」的信念第一次被日常數學破壞。

一個具體例子#

例題 1.2.1：證明 \(x^n\) 的逐點極限在 \([0,1]\) 上不連續，並指出一致收斂假設缺失之處；再證明同一極限在 \([0, a]\) （ \(a<1\) ）上一致收斂且連續。

解：逐點極限 \(f(x) = 0\) （ \(0 \le x < 1\) ）， \(f(1) = 1\) 。取 \(x_k = 1 - 1/k\) ， \(n_k = k\log 2 / \log(1/(1-1/k))\) ，則 \(x_k^{n_k} \to 1/2\) ，但 \(f(x_k) \to 0 \ne 1\) ：極限運算與取值運算在此不可交換。

失敗點：對 \(\varepsilon = 1/2\) 與每個 \(n\) ，取 \(x_n = 2^{-1/n} \in (0,1)\) ，有 \(x_n^n = 1/2 > \varepsilon\) ，故

\[ \sup_{x \in [0,1]} |x^n - f(x)| \ge \tfrac12 \not\to 0, \]

非一致收斂。而在 \([0, a]\) （ \(a<1\) ）上 \(\sup_{[0,a]} |x^n - 0| = a^n \to 0\) ，一致收斂成立；Cauchy 的定理在一致收斂下為真（Weierstrass 證明），故極限連續。同一個函數列，定義域差一個點，定性全變——分析學從此學會以「一致」與「逐點」的量詞序區分世界。

完備性、Heine–Borel 與公理化數系#

算術化的第二階段是證明「實數系剛好補上有理數的洞」：Cantor 證明 Cauchy 收斂準則在 \(\mathbb{R}\) 成立（完備性）；Heine（1872）與 Borel（1895）證明閉區間的有限覆蓋性質（Heine–Borel 定理）；Dedekind 證明實數完備且無洞（每分割已被實現）。至 1888 年，Dedekind《數是什麼、應當是什麼》以鏈（Kette）概念公理化自然數（Peano 1889 獨立以公理完成）：

\[ \text{Peano 公理： } 1 \in N;\quad n \in N \Rightarrow n' \in N;\quad \text{歸納公理。} \]

算術化的邏輯順序至此完全顛倒：幾何 → 分析 → 實數 → 自然數。整座數學大廈的地基，竟是最「可數」的自然數與其上的集合。但自然數與集合本身是什麼？Frege 立刻接手（1.3 節）。

歷史啟示#

  • 反例是理論的免疫系統：Weierstrass 怪物、Cauchy 的假定理，都以「故障」暴露概念的邊界——與 1.1 節 casus irreducibilis 逼出複數同一劇本。
  • 嚴格化不是裝飾而是生產力： \(\varepsilon\) – \(\delta\) 語言使一致收斂、逐點收斂、函數空間的比較成為可能，直接通往泛函分析。
  • 地基的每一次下挖，都暴露更深的地基：算術化把問題從「實數是什麼」推進到「自然數是什麼」「無窮集合合法嗎」，直通集合論。

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

  • 2.1 節：Cantor 的三角級數研究與集合論誕生——算術化的代價是無窮集合的登場。
  • 3.1 節：Frege 為算術化「追根究底」的努力催生羅素悖論。
  • 5.1 節： \(\varepsilon\) – \(\delta\) 的量詞結構是一階邏輯量化層級的先聲；解析學是研究量詞複雜度的天然實驗場（描述集合論）。
  • 7.1 節：Turing 1936 論文以「可計算數」回答實數是什麼——算術化問題在計算時代的復活。
  • 計算機科學：浮點數是「基本列」的工程化；數值分析的一致收斂估計直接來自 Weierstrass 講義傳統。
  • 物理：Fourier 分析的嚴格化使訊號理論、量子力學的數學架構（Hilbert 空間）成為可能。

練習#

  1. 證明函數列 \(f_n(x) = \dfrac{nx}{1+n^2x^2}\) 在 \([0,1]\) 逐點收斂於 \(0\) ，但不一致收斂；求 \(\sup_{[0,1]} |f_n|\) 之值。
  2. 用 Dedekind 分割定義 \(2^{1/2}\) 與 \(\sqrt[3]{5}\) ，並證明後者的分割不被任何有理數實現。
  3. 證明：連續函數列 \(f_n\) 逐點收斂於 \(f\) 且 \(f\) 連續，不能保證一致收斂（例 1）；但若 \(f_n\) 單調遞增且 \(f\) 連續於緊集，則收斂一致（Dini 定理）。
  4. 檢查 Weierstrass 函數的條件 \(ab > 1 + 3\pi/2\) 在 \(a = 1/2\) 時對 \(b\) 的要求，並數值驗證 \(x = 0\) 處不可微。
  5. 思考題：Dedekind 說數是「心靈的自由創造」，Cantor 卻堅持超窮數「如有限數一樣實在」。兩種實在觀對「基礎」的期望有何不同？

進階研讀：三個深化場景#

場景一：Cantor 的三角級數之路（1870–1872）。Cantor 證明：若函數在區間上可由三角級數表示，則表示法唯一。下一步他問：允許例外點集 \(P\) 時唯一性是否保持？答案是「若 \(P\) 可由某種歸納構造生成」——他稱這些集合為「導集的第 \(n\) 階、第 \(\infty\) 階」。序數（4.3 節）在此萌芽：為了分析學習題，Cantor 被迫發明超窮。

場景二：Hankel 的分類與 Baire 綱領。Hankel 1870 把函數按間斷點分類，發現直覺分類漏洞百出；Baire 1899 以「點集的綱（category）」重鑄問題，證明逐點極限函數的連續點集是稠密 \(G_\delta\) 。分層的思想（Baire 類、Lebesgue 可測、投影集）成為描述集合論的骨架——這是量詞層次在實數上的具體化。

場景三：算術化的極限——Brouwer 與 Bishop。Brouwer 1908 批評算術化只是「把直覺換成集合直覺」，並舉出：逐點收斂的連續極限在直覺主義下連續（見 9.1 節）。同一個 Cauchy 錯誤定理，在排中律下是錯誤、在直覺主義下是真理——基礎的選擇直接改變定理的真值。

名詞速查表#

  • 算術化：將分析概念還原為數與其運算的十九世紀綱領。
  • ** \(\varepsilon\) – \(\delta\) 定義**：Weierstrass 的極限定義，量詞序為其核心。
  • Dedekind 分割：以有理數切割定義實數。
  • Cauchy 基本列：項距趨於零的數列；Cantor 以其等價類定義實數。
  • 一致收斂： \(\sup\) 範數收斂，逐點收斂的加強版。
  • Peano 公理：自然數的公理化（ \(1, n',\) 歸納）。
  • Weierstrass 函數：處處連續、處處不可微的級數。

年表速查#

  • 1821：Cauchy《分析教程》，含「假定理」。
  • 1837：Dirichlet 現代函數定義。
  • 1848：Seidel 發現一致收斂的必要。
  • 1861 起：Weierstrass 柏林講義。
  • 1870：Hankel 函數分類。
  • 1872：Weierstrass 怪物；Dedekind、Cantor 實數建構。
  • 1888：Dedekind《數是什麼》。
  • 1889：Peano 公理。
  • 1895–99：Heine–Borel；Baire 綱理論。

深化問答三則#

問：算術化是「進步」還是「把直覺趕走」？ 答：兩者皆是。它把分析的可靠性從圖示移到符號，代價是學習成本與「怪物」的合法化。Hermann Weyl 的持平之論：直覺與公理是數學的兩翼，十九世紀是公理之翼的擴建期——但 Weyl 也承認，沒有直覺，選擇公理該不該接受根本無從判斷（見 8.1 節）。

問：實數的兩種建構（分割 vs 基本列）有實質差異嗎？ 答：在經典數學中無（等價）。在建構數學中有：Dedekind 分割給出的 \(\mathbb{R}\) 不保證完備（需排中律性質），Cantor 建構保證 Cauchy 完備但不保證每個實數可比大小。基礎的選擇在此不是哲學，而是技術分岔（9.2 節將詳述）。

問：為什麼「自然數」成為最終地基？ 答：因為它是唯一所有學派都接受的對象（Kronecker：「上帝造了自然數，其餘是人造的」）。Frege、Hilbert、Brouwer 皆從自然數出發——分歧只在「允許對自然數做什麼」（經典集合、形式系統、心智構造），這一分歧構成第 3 章三學派的格局。

（本節完）