處處連續卻處處不可微——Weierstrass 怪物函數的故事

Table of contents

那個又臭又長的德國姓氏

如果你修過高等微積分，你一定對 Weierstrass 這個字不陌生。看到這個字，你甚至可能會有 PTSD 發作的感覺——Weierstrass 逼近定理、Bolzano-Weierstrass 定理、Weierstrass M-test⋯⋯好像翻開課本每隔幾頁就會看到這個又臭又長的德國姓氏。

問題來了，他到底是誰？為什麼他的名字像幽靈一樣纏著整本分析學課本？

Karl Weierstrass（1815-1897）被稱為「現代分析學之父」。他最驚人的一項成就，是在 1872 年構造出一個讓整個數學界集體崩潰的函數：一個 處處連續 卻 處處不可微 的怪物。在講這個怪物之前，我們先回到基礎——連續和可微，到底在講什麼？

先搞清楚：連續和可微到底在講什麼？

想像你在台北市區騎 YouBike。

連續 就是：你的輪子始終在地面上，沒有瞬間移動。從 A 點到 B 點，你經過了中間所有的點，不會突然消失再出現在另一個地方。用數學的話說，函數圖形可以「一筆畫完，筆不離紙」。

可微 則是更高的要求：你不只是輪子在地面上，而且在每一個瞬間都有一個明確的「前進方向」。如果有人在任意時刻問你「你現在往哪走？」，你都能指出一個確定的方向——這就是切線斜率存在的意思。

那什麼時候會「連續但不可微」？想像你騎到一個路口，猛然來個 90 度直角轉彎。你的路徑沒有斷開（連續），但在轉彎那個瞬間，你不是朝東也不是朝北，你同時在做兩件事——方向不確定，切線不存在。

數學上最經典的例子就是 $f(x) = |x|$。在原點有個「尖角」，從左邊走來斜率是 -1，從右邊走來斜率是 +1，到了頂點兩邊打架，切線不存在。

但注意：$\lvert x \rvert$ 只有 一個點 不可微。其他地方都好好的。

大部分人學到這裡會覺得：「好吧，連續函數頂多在幾個點出問題嘛。」

可微與連續的邏輯關係

「可微必定連續，但連續不一定可微」——這句話的核心結構其實在日常生活中到處都是：A 是 B 的加強版，所以 A 一定滿足 B，但 B 不一定夠格當 A。

幾個類比：

正方形與長方形。 正方形一定是長方形（可微 → 連續），但長方形不一定是正方形（連續 ↛ 可微）。正方形就是比長方形多了一個條件：四邊等長。可微就是比連續多了一個條件：每個點都有明確的切線方向。

職業棒球選手與會打棒球的人。 能上中職的一定會打棒球，但你週末去河濱公園打個慢壘，不代表你能上職棒。會打是基本門檻（連續），職業水準要求的是每一個動作都精準可控（可微）。

能寫 code 跟寫出 production-grade code。 你寫了一個腳本能跑、不會 crash（連續），但如果有人要在每一行做 code review 問你「這裡的設計決策方向是什麼？」，你不一定每一行都答得出來（不可微）。Production-grade 的 code 是在每一個局部都有清楚的意圖和方向。

這些類比對應的抽象結構都一樣：

強條件 → 弱條件 ✓

弱條件 → 強條件 ✗

然後 Weierstrass 掀桌了

Weierstrass 不是什麼年少成名的天才。他大學讀的是法律和行政（他爸幫他選的），後來自己跑去旁聽數學課，結果法律學位沒拿到。之後他在普魯士的中學教了十五年書——教數學，也兼教體育。對，就是那個後來被封為「現代分析學之父」的人，曾經在操場上帶學生跑步跳遠。

他在中學期間一邊教課一邊做研究，論文發在學校年報上，幾乎沒人看到。直到快四十歲才因為一篇關於 Abel 函數的論文被數學界注意到，然後一路從中學老師跳到柏林大學教授。

1872 年，這位大器晚成的教授在柏林科學院發表了一個函數，震驚了整個數學界。這個函數 到處連續（筆不離紙），卻 到處不可微（每一個點都是尖角）。

不是一個尖角、不是一百個尖角——是 無窮多個，密到你在任何地方放大來看，永遠都是鋸齒狀的。

想像一下：你拿到一條繩子，它完全沒有斷裂（連續），但不管你用多強的放大鏡去看任何一小段，它都像是碎玻璃的邊緣一樣鋒利。你永遠找不到一小段「平滑」的部分。

這個函數長這樣：

$W(x) = \sum_{n=0}^{\infty} a^n \cos(b^n \pi x)$

其中 $0 < a < 1$，$b$ 是正奇數，且 $ab > 1 + \frac{3\pi}{2}$。

秘訣在於：它是無窮多個餘弦波疊加出來的。每一層波的振幅越來越小（$a^n$ 在衰減），但頻率越來越高（$b^n$ 在爆炸）。頻率增長的速度遠超過振幅衰減的速度，所以不管你放大多少倍，新的鋸齒永遠在等著你。

試試看：先把 Terms 設為 1，再慢慢增加，觀察每一層如何疊加出更細的鋸齒。然後 zoom in——它永遠不會變平滑。

拿前面的類比來映射就更刺激了：Weierstrass 造出來的東西，相當於一個人完美符合「會打棒球」的所有定義（連續），但你檢查他的每一個揮棒動作，沒有任何一次達到職業水準（處處不可微）。不是偶爾失手，是 每一次 都不行，卻又 每一次 都至少能把球打出去。這種東西的存在本身就違反直覺。

海岸線的比喻

想像 Google Maps 上看台灣的海岸線。

在最小比例尺下，台灣看起來是一個光滑的番薯形狀。放大到縣市層級，你看到海岸線有很多灣和岬角。再放大到街道層級，每個灣裡面又有更小的凹凸。放大到衛星實拍，岩石的邊緣又是更細的鋸齒。

普通的數學函數就像人造的堤防——放大到夠近就會變平滑。但 Weierstrass 函數就像大自然的海岸線，永遠不會變平滑，而且比真正的海岸線更極端，因為它是在 每一個點 都如此。

數學界的反應：集體驚恐

在 Weierstrass 之前，19 世紀的數學家們普遍相信：「連續函數嘛，頂多在幾個點不可微，大部分地方還是平滑的。」這是一種很符合直覺的想法——你畫一條不斷的線，怎麼可能到處都是尖角？

然後 Weierstrass 就把這個函數拍在桌上。

法國數學家 Charles Hermite 的反應堪稱經典，他在信中寫道大意是：「我從這個可怕的瘟疫面前恐懼地轉身離去。」Henri Poincaré 也曾不太客氣地表達，認為一百年前沒有人會覺得這種函數值得研究。

但歷史證明 Weierstrass 是對的。

怪物的後代：從碎形到布朗運動

這個「怪物函數」後來成為好幾個重要領域的起點：

碎形幾何（Fractal Geometry）。 Benoit Mandelbrot 在 1970 年代正式建立碎形幾何學，而 Weierstrass 函數的圖形正是碎形的早期範例——它具有「自相似性」，放大之後看起來跟放大之前結構一樣。

布朗運動（Brownian Motion）。 花粉粒在水中的隨機運動軌跡，也是到處連續、到處不可微。這後來成為股票價格數學模型的基礎，整個金融衍生品定價理論都建立在這個性質之上。

路徑積分（Path Integral）。 現代物理中，量子力學的路徑積分用到的粒子軌跡，其典型路徑也是到處連續但到處不可微的。

為什麼要學這個？

這個概念的真正價值不在於函數本身，而在於它教會數學家一件事：直覺是會騙人的。

在 Weierstrass 之前，數學家依賴直覺和幾何圖像來「理解」分析學。Weierstrass 用這個反例告訴所有人：你必須回到 ε-δ 定義，用嚴格的邏輯來證明事情，不能只是「畫個圖看起來對」就覺得對。

這基本上就是分析學從「靠感覺」進化到「靠證明」的分水嶺。大學高等微積分課上那些 ε-δ 證明之所以被要求那麼嚴格，某種程度上就是因為 Weierstrass 這個人在 150 年前告訴整個數學界：「你們的直覺，不可信。」

所以下次翻開課本又看到 Weierstrass 這個名字的時候，你至少知道：那個讓你 PTSD 發作的人，曾經是一個在操場上帶學生跑步的體育老師。他花了十五年在沒人看到的地方磨練，然後用一個函數掀翻了所有人的直覺。