3.3 Weierstrass 的處處連續處處不可微函數（1872）#

本章導言#

1872 年 7 月 18 日，Weierstrass 在柏林科學院宣讀了一個令同時代數學家震驚的函數：

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

它處處連續（由 3.1 節 M-判別法），卻處處不可微。這個「怪物」（monstrosity）摧毀了十八世紀以來「連續函數除了有限多個尖點外都可微」的普遍信念，逼迫數學界徹底接受「直觀不可靠、必須以不等式定義對象」的算術化綱領。本節重構這段歷史與證明思想。

歷史背景：連續＝可微？兩百年的默認#

十八世紀數學家（Euler、Lagrange）幾乎把「連續曲線」等同於「可以一筆畫出且有切線的曲線」。Ampère（安培，1775–1836）在 1806 年試圖「證明」連續函數除孤立點外皆可微——當時這被視為顯然之事。反面跡象早已有之：

年代	人物	事件
1834	Bolzano	構造了連續不可微函數（手稿，生前未發表）
1861	Riemann	講義中提出 $\sum \frac{\sin(n^2 x)}{n^2}$ 的可微性問題（今知其在多數點不可微，Hardenberger–du Bois-Reymond 1872 之爭）
1872	Weierstrass	柏林科學院公布 $W(x)$ ，第一個公開且完全嚴格的例子
1875	du Bois-Reymond	「現在，反射對函數概念的一般理解彷彿被顛倒了」
1890	Peano	空間填充曲線：連續曲線可以填滿正方形（更驚人的怪物）

du Bois-Reymond（杜布瓦-雷蒙，1831–1889）的感嘆代表了整整一代人的震撼：連續函數不僅可以不可微，而且「典型」的連續函數正是處處不可微的——1930 年代 Banach 與 Mazurkiewicz 證明： $C[0,1]$ 中「在某處可微」的函數構成第一綱疏朗集；也就是說，隨機取一個連續函數，它幾乎必然處處不可微。怪物不是例外，是常態。

為什麼 $W(x)$ 處處連續#

定理：對 $0 < a < 1$ 、任意 $b$ ，級數 $\sum a^n \cos(b^n \pi x)$ 一致收斂。

證明： $|a^n \cos(b^n \pi x)| \le a^n$ ，且 $\sum_{n=0}^\infty a^n = \frac{1}{1-a} < \infty$ 。由 Weierstrass M-判別法（3.1 節），級數在 $\mathbb{R}$ 上一致收斂；各項連續，故和 $W$ 連續。 $\blacksquare$

參數的選擇： $a$ 控制振幅衰減（連續性之源）， $b$ 控制頻率增長（不可微性之源）。條件 $ab > 1$ （實際上 $ab > 1 + \frac{3\pi}{2}$ 是 Weierstrass 原版的技術保守值；Hardy 1916 證明 $ab \ge 1$ 即不可微）表示頻率增長快過振幅衰減——高頻項雖然小，但「抖動得更快」，每次求導都被 $b^n$ 放大：

\[ \left| \frac{d}{dx} \left( a^n \cos(b^n \pi x) \right) \right| = a^n b^n \pi \ |\sin(b^n \pi x)| \not\to 0. \]

不可微性的證明思想#

目標：對任意 $x_0$ ，證明差商 $\dfrac{W(x_0 + h) - W(x_0)}{h}$ 當 $h \to 0$ 時無極限。

證明綱要（Hardy 簡化版）：固定 $x_0$ ，取一列增量 $h_m$ ，使 $h_m \to 0$ 且 $b^m \pi h_m = \pi/2$ 的模長型（即 $h_m = \pm \frac{1}{2 b^m}$ 的適當符號選擇），使 $\cos(b^m \pi (x_0 + h_m))$ 與 $\cos(b^m \pi x_0)$ 的差達到最大振幅 $\pm 2$ （因為 $b$ 奇、 $\cos$ 週期性配合，可選 $h_m$ 的符號使第 $m$ 項的增量為 $\pm 2 a^m$ ）。

分項估算： - 第 $m$ 項貢獻： $\dfrac{\pm 2 a^m}{h_m} = \pm 2 a^m \cdot 2 b^m = \pm 4 (ab)^m$ ——爆炸（ $ab > 1$ ）。 - $n < m$ 的低頻項：用 Lipschitz 估計，每項增量 $\le \pi a^n b^n |h_m| \le \pi (ab)^n \cdot \frac{1}{b^m}$ ，總和 $\le \dfrac{\pi (ab)^m}{b^m (ab - 1)} \cdot$ （收斂幾何級數）——相對於主項 $4(ab)^m$ 是小量。 - $n > m$ 的高頻項：每項增量 $\le 2 a^n$ ，總和 $\le \dfrac{2 a^{m+1}}{1 - a}$ ——相對於主項也是小量（需要 $ab > 1 + \frac{3\pi}{2}$ 確保壓制）。

結論：差商沿 $h_m \to 0^+$ 的符號選擇而取到 $\pm \infty$ 方向的發散行為（至少不同子列發散到不同極限或不存在），故 $W'(x_0)$ 不存在。Hardy（1916） 證明 $ab \ge 1$ 已足夠，且證明對更廣的函數類（ $ab > 1$ 的 Fourier 型級數）成立；Gerver（1970） 與 Smith 研究了 $ab = 1$ 的臨界情形（ $R(x) = \sum \frac{\sin(n^2 x)}{n^2}$ 型在哪些點可微——Riemann 函數在「特殊點」二次型重整下竟有導數！）。

怪物譜系：不可微性的動物園#

Weierstrass 之後，病態函數如雨後春筍：

函數	年代	性質	構造思想
Bolzano 函數	1834（手稿）	連續、單調、不可微	折線反覆細分
Weierstrass $W$	1872	處處連續、處處不可微	高頻餘弦級數
Lebesgue 奇異函數	1902 前後	連續、遞增、導數幾乎處處為 0、非常值	Cantor 集上的階梯（4.2 節）
Volterra 函數	1881	可微、有界導數、導數 Riemann 不可積	疏朗完備集上堆積
Pompeiu 函數	1906	導數無窮（存在處）在稠密集	與 $\sqrt2$ 的有理倍數集
空間填充曲線	Peano 1890	$[0,1] \to [0,1]^2$ 連續滿射	位數交錯

Pompeiu（龐佩尤，Dimitrie Pompeiu，1873–1954）的例子與Faber–Schauder 的山脊函數（1910）把「病態」變成構造工具：分形幾何（Mandelbrot 1975 年起）把 Weierstrass 函數重新命名為分形曲線，其「處處不可微」正是自然海岸線、股票價格路徑的數學模型——怪物華麗轉身為應用數學的主角。

一個具體例題#

例題 3.3.1：考慮 Takagi（blancmange，布丁）函數 $T(x) = \sum_{n=0}^{\infty} \dfrac{\varphi(2^n x)}{2^n}$ ，其中 $\varphi(x) = \mathrm{dist}(x, \mathbb{Z}) = \min_{k \in \mathbb{Z}} |x - k|$ （鋸齒函數，值域 $[0, \frac12]$ ）。證明 $T$ 處處連續；並在 $x_0 = 0$ 處直接證明不可微。

解： 1. 連續性： $|\varphi(2^n x)/2^n| \le \frac{1}{2} \cdot 2^{-n}$ ， $\sum 2^{-n} < \infty$ ，由 M-判別法 $T$ 是一致收斂的連續函數列之和，故連續（且 $\|T\|_\infty \le \sum_{n \ge 0} 2^{-(n+1)} = 1$ ）。 2. 在 $0$ 的差商：取 $h_m = 2^{-m}$ 。因 $\varphi(0) = 0$ ： $$\frac{T(h_m) - T(0)}{h_m} = \sum_{n=0}^{\infty} \frac{\varphi(2^{n-m})}{2^n \cdot 2^{-m}} = \sum_{n=0}^{\infty} 2^{m-n} \varphi(2^{n-m}).$$ 當 $n \ge m$ ： $2^{n-m}$ 是整數， $\varphi = 0$ ，貢獻為零。當 $n < m$ ：令 $j = m - n \ge 1$ ，貢獻 $= 2^{j} \varphi(2^{-j}) = 2^j \cdot 2^{-j} = 1$ 。故 $$\frac{T(2^{-m}) - T(0)}{2^{-m}} = m \to \infty.$$ 差商沿 $h_m \to 0^+$ 發散， $T'(0)$ 不存在。（處處不可微的完整證明需要對每個 $x_0$ 選擇增量使「最近尺度」的鋸齒貢獻同步——Takagi 1903 年原證；此處只示範單點。） $\blacksquare$

Takagi 函數的彩蛋：其圖像的分形維數為 1（曲線有有限長度的「無窮抖動」極限形象），且 $T$ 滿足自相似方程 $T(x) = \varphi(x) + \frac12 T(2x)$ ——從函數方程的角度看，不可微性是「自我複製」的必然結果。

歷史啟示#

怪物解放了數學：Hermite 曾痛斥「我帶著恐懼與驚駭遠離這個可悲的沒有導數的函數瘟疫」，但正是病態函數把「函數」概念從幾何直觀中解放，成為任意「點到點的對應」——現代函數空間理論（第 6 章）的前提。
直觀需要重新訓練：Banach 的「典型連續函數處處不可微」告訴我們：直觀樣本（多項式、 $\sin$ 、 $e^x$ ）是無窮維函數空間中極其稀疏的少數派。用有限經驗外推無窮維，是人類直觀的系統性偏誤。
從醜聞到模型：布朗運動（1900 Bachelier、1923 Wiener）的樣本路徑幾乎必然處處連續、處處不可微——物理學自己找上了 Weierstrass 的怪物；分形金融、信號粗糙度分析接續這條線。

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

3.1 節：連續性由 M-判別法保證；本節是 3.1 理論的最著名應用。
4.2 節：Lebesgue 奇異函數（連續遞增、導數 a.e. 為 0）顯示「積分還原函數」在 Riemann 框架下破產——測度論登場的直接動機之一。
5.3 節：Weierstrass 函數屬於 $L^p$ 全部空間（連續於緊集即有界）；Volterra 函數顯示「有界導數」不保證 Riemann 可積。
6.3 節： $C[0,1]$ 中不可微函數的「典型性」是 Baire 綱理論的應用，也是無窮維空間「樣本空間」直觀的第一課。
10.1 節：Sobolev 空間把「不可微」重新表述為「弱可微」—— $W$ 型函數在 $W^{1,p}$ 中嗎？（不，它連弱導數都沒有；但布朗路徑屬於 $W^{1,p}$ a.s.？也不——但屬於 Hölder 空間 $C^\alpha$ 。這些分類是現代隨機分析的日常語言。）
《複變函數》： $\sum a^n z^{b^n}$ 型級數在圓盤內解析、在邊界上自然邊界處的性質（Hadamard 缺口定理）——Weierstrass 怪物的複分析投影。

練習#

證明 $W(x) = \sum 2^{-n} \cos(4^n \pi x)$ 一致收斂且連續；計算第 $n$ 項求導後的振幅上界，說明 $ab = 2 > 1$ 。
對 Takagi 函數 $T$ ，計算 $x_0 = \frac12$ 處的差商 $\frac{T(1/2 + 2^{-m}) - T(1/2)}{2^{-m}}$ ，證明極限不存在。
證明：若 $f_n \rightrightarrows f$ 且每個 $f_n$ 是 Lipschitz（常數統一為 $L$ ），則 $f$ 是 Lipschitz——說明為何 Weierstrass 函數不違反此定理（其部分和不滿足統一 Lipschitz 常數）。
證明 $g(x) = \sum_{n=1}^\infty \dfrac{\sin(n^2 x)}{n^2}$ 一致收斂且連續；查閱資料說明它在哪些點可微（Gerver 定理的敘述層次即可）。
思考題：Banach 典型性定理說「可微點集是第一綱」。構造一個連續函數，其可微點集恰為 $\{0\}$ （提示： $f(x) = x^2 \sin(1/x^2)$ 的修改——檢驗各點行為）。

進階研讀：不可微性的五個深化場景#

場景一：Hölder 連續性的刻畫。Weierstrass 函數屬於 Hölder 類 $C^{\alpha}$ ，其中 $\alpha = -\frac{\log a}{\log b}$ （Hardy 1916）。粗糙度指數 $\alpha$ 成為分形幾何與信號分析的核心參數： $\alpha = 1$ 光滑、 $\alpha < 1$ 分形。布朗運動 $\alpha = 1/2$ a.s.。

場景二：Baire 綱與「典型」函數。 $C[0,1]$ 中：多項式集是疏朗的（可任意逼近但無內點——一致逼近的多項式族無開球）；處處不可微函數集是稠密 Gδ（剩餘集）。因此「典型」連續函數：處處不可微、無界變差（7.2 節）、單調點集為疏朗。拓撲典型的世界與直觀樣本世界完全相反。

場景三：測度論的典型性。以 Wiener 測度（隨機選連續函數）看：a.s. 處處不可微（Paley–Wiener–Zygmund 1933）。有趣對比：拓撲典型與測度典型一致（都不可微）——但對其他性質（如 $L^2$ 範數的分布）兩者可分歧。函數空間的「大小」取決於你用拓撲還是測度衡量（9.1 節抽象測度的哲學預演）。

場景四：分形與自相似。Weierstrass、Takagi、Koch 曲線（1904）、Sierpiński 襯墊：自相似構造產生處處不可微的對象。Hausdorff 維數（1918）量化「粗糙度超出長度概念」的程度——本書 4.2 節 Cantor 集的測度計算是其測度論先聲。

場景五：處處不可微函數的應用時代。布朗運動（金融、物理）、分形地形（電腦繪圖）、粗糙訊號（語音、湍流介面）、小波分析（10.2 節：小波係數隨尺度增長的速率＝局部 Hölder 指數，可逐點「體檢」不可微性）。怪物成為測量現實世界的儀器。

名詞速查表#

處處不可微：在定義域每點導數不存在；Weierstrass 函數為首例。
M-判別法： $\sum \sup |f_n| < \infty$ ⇒ 一致收斂；怪物連續性的來源。
**Hölder 連續 $C^\alpha$ **： $|f(x) - f(y)| \le C|x-y|^\alpha$ ；粗糙度的定量刻畫。
Baire 綱：第一綱（可數疏朗併）vs 第二綱（剩餘）；「典型性」的拓撲語言。
剩餘集（residual）：稠密 Gδ 的補集意義下的「大局」集合；典型性所在。
自相似方程： $T(x) = \varphi(x) + \lambda T(Lx)$ 型函數方程；分形函數的遺傳密碼。
Wiener 測度：連續函數空間上的機率測度；「隨機選連續函數」的數學化。

年表速查#

1806：Ampère「證明」連續函數除孤立點外可微（錯誤）。
1834：Bolzano 手稿構造連續不可微函數（未發表）。
1861：Riemann 講義提出 $\sum \sin(n^2 x)/n^2$ 問題。
1872：Weierstrass 柏林科學院公布 $W(x)$ 。
1875：du Bois-Reymond 傳播與評論；Volterra 病態函數（1881）。
1890：Peano 空間填充曲線。
1903：Takagi 布丁函數。
1916：Hardy 完全刻畫 $W(x)$ 的可微性與 Hölder 指數。
1931–1933：Banach、Mazurkiewicz 典型性；Paley–Wiener–Zygmund 布朗路徑不可微。
1970：Gerver 解 Riemann 函數的臨界可微點。
1975 起：Mandelbrot 分形幾何，怪物成為科學工具。

深化問答三則#

問：為什麼 Weierstrass 的例子比 Bolzano 的早 38 年卻更著名？ 答：Bolzano 的手稿未發表、構造技術複雜、傳播為零；Weierstrass 的例子發表於最有影響力的講台（柏林科學院）、用當時主流工具（三角級數 + 一致收斂）構造、且附帶完整不等式證明。數學史的進程由傳播網絡塑造，與 1.3 節 Bolzano–Weierstrass 定理的命運如出一轍。

問：既然典型連續函數處處不可微，為什麼微積分課上「連續 $\Rightarrow$ 幾乎可微」的直觀還是（部分）有用？ 答：因為我們關心的函數大多來自解方程（微分方程的解、能量極小化），這些過程附加了正則性。分析學的藝術正是：在「任意連續函數」的荒野中，證明你關心的那類函數擁有額外光滑性（正則性理論，10.1 節 Sobolev 嵌入、10.2 節調和分析）。

問： $ab > 1$ 的直觀含義是什麼？ 答：級數中第 $n$ 項的「局部波長」 $\sim b^{-n}$ 、「振幅」 $a^n$ 。差商近似振幅/波長 $\sim (ab)^n$ 。 $ab > 1$ 意味著放大倍率隨尺度增長：無論放大多少倍，看到的抖動相對於尺度越來越劇烈——導數（需要差商收斂）因此註定失敗。 $ab = 1$ 是臨界情形，恰好允許個別「運氣好」的點可微（Gerver 的 Riemann 函數結果）。

（本節完）