9.1 蕨類葉子與海岸線：自相似性與非整維度（Hausdorff 維度）#
一個惱人的問題：「英國海岸線有多長？」#
1967 年，曼德博（Benoit Mandelbrot）在《科學》發表〈英國海岸線有多長？統計自相似性與分數維度〉。答案令人不安：
視你用的尺而定，且沒有極限。
- 用 100 公里的尺量：約 2800 公里
- 用 1 公里的尺：約 3400 公里（多了海灣與半島）
- 用 1 公尺的尺：更長（多了礁石與礫石）
長度 \(L(\varepsilon) \propto \varepsilon^{1-D}\)，隨 \(\varepsilon \to 0\) 而發散。「海岸線的長度」不是一個良定義的量——歐氏幾何在自然界的粗糙邊界上失效了。
曼德博的職業路線值得注意：他在 IBM 研究部工作（企業實驗室的寬鬆研究環境，1958–93），研究經濟學的棉價波動、電話線噪聲、河流水位——他不斷遇到同一種「粗糙、無標度、自相似」的統計結構。跨領域的邊緣問題，在他手中聚合成了新幾何。 1975 年他自造新詞 fractal（源自拉丁文 fractus，「破碎」）。
自相似性：放大後仍是自己#
科赫曲線（1904，Koch）——數學家在「病態函數」時代造出的怪物，後來成為海岸線的模型：從線段開始，中段換成突出的「帳篷」，無限遞歸。
每步長度 \(\times 4/3\) → 極限長度無窮大，但圍出面積有限。一維的量（長度）發散，二維的量（面積）收斂——它「住在 1 與 2 之間的維度」。
蕨類葉子：一片蕨葉 = 莖 + 無數縮小版的小葉，每根小葉又由更小的複製。用簡單的遞歸規則（Barnsley 的疊代函數系統 IFS：幾個仿射變換 + 機率）可以在電腦上生成亂真的蕨類——生物形態的「壓縮編碼」。這啟示了發育生物學的問題：基因組（有限資訊）如何長出無限細節的形態？候選答案之一就是遞歸 + 自相似的生長規則（Lindenmayer 的 L-system，1968，原本用來建模酵母與絲狀藍綠菌的細胞分裂）。
豪斯多夫維度：把「維度」變成可計算的量#
豪斯多夫（Felix Hausdorff，1918）定義：把物體縮放 \(\varepsilon\) 倍後「大小」變為 \(\varepsilon^{D}\) 倍，則維度是 \(D\)。等價的盒計數法：
\(N(\varepsilon)\) 是用邊長 \(\varepsilon\) 的盒子蓋住物體所需數目。
科赫曲線：縮小 3 倍，需要 \(4\) 份：
謝爾賓斯基三角形：縮小 2 倍需要 3 份，\(D = \log 3/\log 2 \approx 1.585\)。非整數維度——不是比喻，是嚴格定義的測度性質。
| 物件 | 豪斯多夫維度 |
|---|---|
| 線段 | 1 |
| 科赫曲線 | 1.262 |
| 海岸線（英國西岸實測） | ~1.25 |
| 謝爾賓斯基三角形 | 1.585 |
| 人肺氣管樹 | ~2.97（幾乎填滿三維空間！） |
肺的例子展現分形的演化功能：無限分支使表面積在有限體積內最大化——氣體交換面積約 70 平方公尺（一個網球場）塞進你的胸腔。演化是一個分形工程師。 血管系統、樹木、河流、閃電、城市路網，同理。
歷史脈絡：被排擠的怪物如何成為科學#
- 1870s–1920s：魏爾斯特拉斯函數、科赫、謝爾賓斯基、朱利亞（1918）——主流數學視為「病態反例」，用途是給分析學的直覺潑冷水
- 度量維度理論：豪斯多夫（1918）、貝西科維奇（1929）——純粹的測度論
- 1960s–70s：曼德博用 IBM 電腦繪圖，把怪物變成看得見的圖像——1985 年《科學美國人》專欄使曼德博集合成為文化現象
- 1990s–今：分形進入工程主體——分形天線（有限空間多頻段）、網路流量模型、金融市場（曼德博對「有效市場假設」的批評：厚尾與波動叢聚，2008 危機後受重視）、CGI 電影地形
社會學教訓：分形的故事是「邊緣知識的中心化」——怪物（純數學棄兒）＋企業實驗室（IBM）＋電腦繪圖（新技術）＋跨領域嗅覺，缺一不可。新的科學領域常常不是被「發現」的，而是被重新分類的——曼德博的天才，一半在於他堅持「粗糙不是雜訊，而是信號」。
與混沌的接頭#
分形維度很快與第 10 章的混沌相遇：奇異吸引子的軌跡不填充整個相空間，而是收縮到分形集合上（洛倫茲吸引子 \(D \approx 2.06\)）。分形是混沌的幾何指紋——兩者是同一場「非線性革命」的幾何面與動力學面。