曼德尔布罗特 · 粗糙的几何
本华·曼德尔布罗特（1924—2010），生于波兰华沙，在法国受数学教育，一生大部分时间在美国的企业实验室与大学里度过。他一辈子做的事，可以概括成一句话：给粗糙的世界造一门几何。云不是球，山不是锥，海岸线不是圆；可当时的几何学里，几乎只有球、锥与圆——光滑的、规整的、一笔能画完的形状。他把被排除在外的那一大半，请回了数学。
他做了三件事。第一件是一批数据：棉花价格的跳动、电话线的噪声、尼罗河的水位——都是别人嫌「不干净」的数据。他发现这些曲线放大之后，与原来的形状统计上相似：粗糙在每一个尺度上都是粗糙的。第二件是一个词：一九七五年，他从拉丁文里取来「分形」二字，把散落一百年的「怪物」——康托尔集、科赫曲线、谢尔宾斯基三角形——收成一个家族。第三件是一张图：一九八〇年，他在实验室的计算机屏幕上让一条无限复杂的边界第一次被看见；人们后来叫它曼德尔布罗特集。
明线四样：一段海岸线（量不完的长度）、一个维数（可以是分数）、一株蕨叶（局部像整体）、一张图（一条无限精细的边界）。
暗线一句：图像第一次成为论证——先看见，再去证明。在这之前，图是证明的插图；在这之后，图是通往证明的路标。一条从未有人画完过的边界，先在屏幕上显出形状，然后数学家才知道该去证什么。
五幕：第一幕讲不纯粹的数据（p.6—p.12）；第二幕讲海岸线与维数（p.13—p.19）；第三幕讲造词与维数的算法（p.20—p.26）；第四幕讲一张图的诞生（p.27—p.33）；第五幕讲书与晚年（p.34—p.40）。
三层读法照旧：故事层无需预备知识；数学层只用加减乘除、平方、开方与对数（p.7—p.9、p.14—p.16、p.21—p.23、p.28—p.30、p.35—p.37），每一步都从头算起；注疏层给出原始论文、版本与研究文献，逐页可查。
一九二四年十一月二十日，他生在华沙一个立陶宛犹太人家庭。父亲做成衣批发生意，母亲是医生。家里没有学者，但有一位：叔父 Szolem Mandelbrojt 是数学家，后来坐上巴黎法兰西公学院的教席。这个孩子入学迟、又赶上搬迁与战乱，小学与中学被拆得七零八落；可他不觉得吃亏——他说自己后来一直在「自修」，自修成了习惯。
一九三六年，全家迁往巴黎，投奔叔父。战争随即到来，一家逃到法国中部的蒂勒小城。没有学校可上，他就拿一把小提琴、几册书，在乡间自己读。战后回巴黎考试，两次入学考试他都名列前茅——考官给出极难的题，他用的方法却与标准答案完全不同：凭几何直觉把题「看」出来，而不是按部就班地算出来。
这份直觉是他一生的标记。他不擅长、也不喜欢纯粹的符号推演；他喜欢的是把问题画出来、量出来、看出来。在以符号与公理为主流的巴黎高等学府里，这种气质几乎像个异类。他后来回忆，考试里凡能避开标准解法的题，他都改用几何方法——分数是保住了，路却越走越偏。
在巴黎综合理工学院，他遇到一位特别的老师：加斯东·朱利亚。朱利亚在一九一八年写过一篇论文，研究一个极简单的迭代动作能把平面上的点搅成什么样。那篇论文后来静静躺了六十年。叔父曾指着它对这个年轻人说：这一带太冷门，离主流远，别去碰。他记住了——记住了那个方向，只是把「别去碰」先搁在一边。
这本册子要讲的，就是一个人怎样把「偏门」走成一门学问。先看他一生待过的几间屋子。
他一生与三座城打交道。华沙给了他出生与母语；巴黎给了他数学教育与叔父的书房；纽约北郊的约克敦高地给了他一间实验室——一间不属于任何大学的实验室。一九五八年他三十四岁进入 IBM 的研究中心，在那里一待就是三十五年。
一个数学家在工厂实验室，这件事本身就不标准。大学教职要求一门一门地发表「正经」的成果；他的口味却横跨语言学、经济学、水文学、物理学，门门都是别人眼中的「业余」。大学容不下的胃口，公司容得下：实验室里有一台当时稀罕的计算机，有一位开明的上司，还有大量别人送来又没人愿意碰的数据。他要的正是数据。
晚年他又添了第四间屋子。一九八七年起他到耶鲁大学任教，一九九九年被聘为数学系斯特林教授——那年他七十五岁，这几乎是他第一次拿到大学的终身教职。三十年前进不了大学的人，用三十一年把当年被拒的口味做成了一门学科，再被这门学科请回去。
三间屋子对照着看，正好是三种「看见」。华沙与巴黎教他看见形状（他的几何直觉）；实验室教他看见数据（计算机把数画成图形）；耶鲁让他看见传承（学生与教科书把这门学问传下去）。这一册的故事，大多发生在第二间屋子里。
下一页把这一册要讲的三样东西摆出来：一段海岸线、一个维数、一张图。
这本册子要处理三样东西。三样都朴素：一段海岸线、一个维数、一张图。可它们各自牵出一门学问的三个层次：现象、度量与图像。
第一样是一段海岸线。地图上量英国的岸线，用一百公里的尺量是一个数，用五十公里的尺量，数变大了；尺越短，岸线越长，看不到尽头。「英国海岸有多长」这个问题，问了几百年没人起疑；一九六七年他给出回答：这个问题本身问错了——该问的是它的「粗糙度」。
第二样是一个维数。线是一维，面是二维，体是三维；课本上维数都是整数。可粗糙的边界介于线与面之间：它比线「占得多」，比面「占得少」。维数可以是一点二五、一点五八——分数维数成了粗糙度的度量：维数越高，边界越占地方，也就越粗糙。
第三样是一张图。一个极简单的迭代动作——把一个数平方，再加上一个常数——反复做下去，平面上有一部分点的轨道不逃散，边界就是那张图。这条边界无限复杂：放大十倍有新的结构，放大一千倍还有。一九八〇年它在屏幕上显形；此后的数学家先看图提问题，再去证明。看见走在证明前面，这是这一册暗线的落点。
三样东西有一个共同点。它们都从「粗糙」下手：粗糙曾是不合格的同义词——曲线不光滑就叫病态。他把「粗糙」从贬义词变成一个可以计算的量。下一幕从他桌上的数据讲起。
一九五八年，纽约北郊的实验室里来了一个三十四岁的法国人。公司雇他，不是让他做「正经」的数学，是让他看数据：经济学送来的价格记录、工程部门送来的通信记录、实验室自己积攒的种种曲线。这些数据在当时有个统称——不干净。曲线歪歪扭扭，不听任何现成模型的话；分析的人先想办法把它们抹平，抹不平的部分当噪声扔掉。
第一个送到他桌上的问题是电话线。工程师发现一件怪事：线路里的错误不是均匀出现的，而是成簇——先安静一个小时，然后几分钟里错误蜂拥而至。放大时间尺度看，簇里又有簇：安静与爆发，在小时、分钟、秒的尺度上分布得像同一种花纹。按当时模型，噪声应当像雨点一样均匀落下；可它偏偏像阵雨。
第二个问题是棉花价格。芝加哥交易所几十年的日度记录，几万笔。经济学理论说，价格的小波动应当像高矮相近的草——大小差不多，围着平均值散开。可真实数据里，大跳与小跳的差距大得离谱，而且把一个月的曲线缩小叠在一天的曲线上，两团乱麻的「乱法」几乎一样。
别人看见的是「数据太脏」。他看见的是脏得有规律：无论看哪个尺度，粗糙的方式是同一套。噪声不是毛病，噪声就是这些系统的形状。要描述它，光滑数学的词汇不够用——得去找一套新的。
新词汇其实早有人造过，只是被数学界锁在库房里一百年。这一幕先看数据，再去库房开锁。
先把「放大之后还是它」说清楚。把一条线段三等分，取中间一段放大三倍，它还是一条线段——线段在放大下不变样。把一个圆放大三倍，还是一个圆。这样的形状叫自相似：局部放大后与整体相似。规整的几何对象几乎都有这一性质，所以没人拿它当回事。
曼德尔布罗特发现的是另一件事。自相似不只属于规整对象。一条乱糟糟的价格曲线，取其中一个月放大，与一年的曲线「乱」得相像；一段噪声记录取一毫秒放大，与一小时的记录相像。相像不是说一模一样——是统计上相似：起伏的幅度比例、密集的位置、大跳与小跳的比例，都遵守同一套规律。
用一个可以动手的模型看这件事。康托尔集：取一段线，三等分，去掉中间一段；对剩下的每一段重复同一动作，无穷做下去。第一步剩两段，各长三分之一；第二步剩四段，各长九分之一；第三步剩八段。每放大三倍，看到的图案与上一步一样——这是最老的自相似集，一八八三年就有人造出它。
康托尔集恰好是「成簇」的模型。把线段当时间轴，留下的小段当「有错误发生」的时刻。洗一把沙子撒在纸条上，均匀落下；康托尔集的点却聚成团——团里套着小团。电话线上的错误成簇，正是这种形状。一八八三年的纯数学玩具，在工程师的示波器上等了七十九年。
康托尔集三步：剩 2 段（各长 1/3）→ 剩 4 段（各长 1/9）→ 剩 8 段（各长 1/27）
第 n 步：剩 2n 段，每段长 (1/3)n
段数每步翻倍；长度每步乘 1/3
自相似：放大 3 倍后与上一步图案相同
十九世纪末，数学家造出过一批「不该存在」的东西。一八七二年，外尔斯特拉斯造出一条处处连续、却处处没有切线的曲线：它每一点都在动，却没有一点有确定的方向。当时人叫它「怪物」。一八九〇年，皮亚诺造出一条能填满整个正方形的曲线：一条「线」，占满了一块「面」。一九〇四年，科赫造出一条雪花样子的曲线：连续，处处是尖角，长度无穷。
这些怪物的共同点，今天看一目了然。它们都是自相似的：放大任何一段，看见的还是同样层次叠层次的结构。外尔斯特拉斯曲线每放大一倍，多出一层小起伏；科赫曲线每放大三倍，多出一层小尖角。粗糙不是毛刺，是无穷层叠的粗糙。
当年数学界为什么把它们锁进库房。因为分析学的全部工具都为光滑曲线造的：导数、切线、曲率，处处要求「看得见方向」。怪物没有方向，工具一律失效；怎么办——把它们划出去，定义「正常曲线」必须光滑，怪物算病态。这个决定有它的道理：物理里好用的确是光滑模型。代价是：真实世界的粗糙被整体划出了数学。
曼德尔布罗特少年时读到叔父给的朱利亚论文，青年时读到的正是这批库房旧物。他的回顾里有一句要紧的话：他年轻时在直觉上偏爱这些被冷落的形状，觉得自己能「看见」它们。一九五八年后，实验室的数据一件一件送到他桌上——每一条都长得像库房里的怪物。
1872 外尔斯特拉斯：连续，处处无切线
1883 康托尔：散成无穷团的自相似点集
1890 皮亚诺：一条线填满一块面
1904 科赫：连续、处处尖角、长度无穷
第三个问题来自水。英国工程师赫斯特花了半辈子研究尼罗河：为了设计水库，他整理了八百多年的水位与流量记录。按教科书，各年水量应当相互独立——今年多雨，明年不会记得。可记录不是这样：丰水年连着丰水年，枯水年连着枯水年，连串的长得出奇。赫斯特算了一个指数来量这种「记性」；对独立数据它应等于二分之一，尼罗河的数据却稳定地高出许多。
用抛硬币就能看到差别。连抛硬币，正反的「连串」平均长度是 2——正正之后多半散开。赫斯特型的数据不同：连串平均长度远大于 2，像这枚硬币「记得」自己刚才朝哪面。尼罗河的记性来自哪：气候与流域的记忆——湖泊蓄水、土壤含湿，一年牵动几年。可要把它建成数学模型，得有能表达「长记忆」的曲线族。
曼德尔布罗特给出的模型，又是库房里的旧物。他把水位波动建成一条处处连续、处处无切线的随机曲线——外尔斯特拉斯怪物的随机版本。这种曲线有一个特点：任一点的起伏与很久以前的起伏相关，相关程度随距离衰减得极慢——慢到「记性」实际管着全部历史。模型一出，连串现象立刻现形。
三件数据摆在一起看。电话噪声是时间上的成簇；棉价是幅度上的成跳；尼罗河是年份上的成串。三件事看似无关，模型却是同一族：放大后统计自相似的曲线。一条证据链，在这一幕里连成了。
独立序列：连串平均长 2；赫斯特指数 1/2
尼罗河记录：指数约 0.7，连串显著偏长
长记忆：相关随距离衰减极慢
模型：随机化的自相似曲线
这一页不谈数据，谈一个习惯。几百年来的应用数学，第一步几乎都是同一个动作：把曲线抹平。天体的轨道抹成椭圆，市场的波动抹成趋势线，河流的水位抹成平均值。抹平不是偷懒——光滑的方程好解，预测好做。抹掉的那部分，就叫噪声、扰动、例外。
曼德尔布罗特的换位只有一个，却彻底。他不抹。别人问「曲线的主体是什么形状」，他问「被扔掉的部分是什么形状」。一问才发现：被扔掉的部分不但有形状，而且它的形状在所有尺度上一样——噪声成簇、簇中套簇，剥开一层还是同一句话。抹平相当于只看相册里修过的照片；他要看的是底片。
这也是暗线在第一幕的落点。数据里藏着形状，可这形状从没被「看见」过——不是眼睛看不见，是没人认为它配被看见。它被分类为误差，误差不配有形状。看见的第一步，是承认对象存在。
还有一层值得记下。数学史上被锁进库房的怪物，与工程桌上被扔掉的噪声，隔着一百年互不相识。把它们连起来的不是哪一条定理，是一种眼光：两边其实是同一种东西。眼光比定理稀缺——定理可以查文献，眼光没法查。
下一页把数据与库房正式接上：一条证据链，两头各自等了一百年。
把第一幕的两条线接起来。一条线是数据：噪声、棉价、水位，三条不同来源的曲线，放大后是同一种粗糙。另一条线是库房：康托尔、外尔斯特拉斯、科赫，四个被冷落半世纪的数学怪物。两条线的形状，肉眼就能看出是一家。
相遇的地点值得看清。不在大学，在工厂。数学系当年不讨论这些怪物；工程界有数据却没有语言。实验室的中间地带，恰好一边通着数据、一边通着库房——加上一台能把数变成图的计算机。三个条件缺一，相遇都不会发生。
这一步为什么是「看见」而不是「计算」。因为先到的不是证明，是认得。棉价叠在噪声上，「乱法」相同——这个判断先于任何定理；能下这个判断，靠的是他把库房旧物的形状记熟了。先认出，再回头补：为什么这些系统都长成自相似，那是后来许多论文的事。
于是有一条新的工作顺序浮出来。旧顺序：定义、定理、应用。新顺序：看见、命名、再证明。这不是取代旧顺序——证明照旧是数学的地基；只是在地基之上，多了一种起步的方式。这一册接下来各幕，都按新顺序走。
数据连着怪物，怪物还没名字。下一幕从一段最著名的海岸线讲起：那个连「多长」都答不上来的问题。
第一幕讲完，把要点收一收。三条数据链：电话噪声在时间上成簇，棉价在幅度上成跳，尼罗河在年份上成串；三者的数学模型是同一族——放大后统计自相似的粗糙曲线。这套曲线在一八八三至一九〇四年间被数学家造出，随即被锁进库房。
三件事值得记住。第一，自相似分两种：严格自相似（放大后逐点相同，如康托尔集）与统计自相似（放大后「乱法」相同，如棉价）。第二，「怪物」失效的原因是工具不对，不是对象不对：分析学为光滑造的工具，套不上无穷层叠的粗糙。第三，被扔掉的数据往往自带结构——先承认它存在，才谈得上研究它。
还有一个方法论的收获。学科之间的墙，常常是词汇的墙：工程师说「突发错误」，数学家说「康托尔集」，说的是一件事，两边都听不懂对方。把墙拆掉的，先是认得两边长什么样的人。认得，来自把两边都看过——库房与数据，缺一头就不成。
最后记一个人物细节。他年轻时偏爱被冷落的形状，自认为能「看见」它们；这句话在当时毫无用处——没有数据、没有名字、没有同行。三十年后，当三条不相关的数据链在他桌上摆成一行，那份「偏爱」忽然成了专业判断。直觉不产生结论，它决定人看见什么。
下一幕是全书最有名的一段：一段怎么量也量不完的海岸线，与一个变成分数的维数。
一九六一年，一位英国气象学家去世，遗稿里有一批古怪的数字。他叫理查森，一辈子研究天气，晚年钻研战争与边界的统计。他查各国的官方资料，发现一件说不通的事：葡萄牙与西班牙是同一条陆上边界，两国的官方长度却差了两百多公里；荷兰与比利时那段，也差了几十公里。同一条线，怎么会有两个长度。
理查森的答案是：量法不同。边界线弯弯曲曲，量的时候要用尺沿着它一段一段摆。尺长，弯折不进尺里，量出来就短；尺短，小弯也被量到，长度就长。官方数字差两百公里，不过是两国用的「尺」不一样。他顺着这个念头往下走：如果尺不断缩短，长度会不会一路涨上去。他把几十段海岸与边界的数据画在一张对数图上——每个数都落在一条直线的附近。
这篇遗稿发表在一九六一年，作者已故；题目冷僻，读的人寥寥。几年后，一个法国人在图书馆里翻到了它。他后来说，读到那张对数图的一刻，他知道自己找了半辈子的东西到了：数据的「乱法」与库房怪物的「乱法」，在一张图上合了流。一九六七年，他把这张图与自己的模型写成一篇短短的论文，寄给《科学》杂志。
论文的标题就是一个问题：英国的海岸线有多长。答案出人意料：这个问题没有确定的答案——长度随尺缩短而增长，没有尽头。可标题之下，论文真正交出的东西是一个数：每个国家的一段线，都有自己的一个指数；这个指数不随尺变，是那段线天生的属性。下一页把这个指数算出来。
先把「量」变成算术。用尺长 ε 沿着边界一段一段摆，摆了 N 步摆完，量得长度 L＝N×ε。规整的边界：尺减半，步数翻倍，长度不变。粗糙的边界：尺减半，新冒出来的小弯被量到，步数不止翻倍，长度变长。粗糙度就用「步数多出多少」来量。
理查森图上的直线，就是这套算术。横轴是尺长的对数，纵轴是长度的对数；直线意味着每次尺减半，长度按同一比例增长。英国海岸线上，那个比例约是 1.19：尺减半，量出的长度涨到原先的 1.19 倍。尺再减半，再涨 1.19 倍，涨个没完。
这个 1.19 从哪来。它就是 2 的零点二五次方——把数据拟成 L 与 ε 的幂关系 L＝C×ε 的负 0.25 次方，尺减半时 L 乘 2 的 0.25 次方，约 1.19。负零点二五这个指数，加上一，就是下一页的主角：维数一点二五。指数对不同的线不同：越粗糙，尺减半时长度涨得越猛，指数越大。
整套算术小学生也能做一半。拿一张地图、一根线绳、两把纸尺（一长一短），沿同一段海岸摆两遍，记两个数、算比值。摆的遍数越多，越接近那个不变的比例。理查森的图，就是几十段线各摆几十遍的结果——他手里没有计算机，只有耐心。
L＝N×ε；尺减半：N 翻倍 → L 不变（规整）
英国海岸：尺减半，L×20.25≈1.19（涨个没完）
幂律：L＝C×ε−0.25；指数＋1＝维数 1.25
越粗糙 → 涨得越猛 → 指数越大
维数这个词，课本里从来都是整数。线一维，面二维，体三维；判断的办法也朴素：把对象放大两倍，它的「分量」放大几倍。线段放大两倍，分量（长度）放大两倍；正方形放大两倍，面积放大四倍；立方体放大八倍。两、四、八，正是一、二、三维——放大倍数取对数就是维数。
把同样的判据套到海岸线上。尺减半，海岸线「分量」放大 1.19 倍，不是 2 也不是 1。取对数算维数：一点二五。它在一线一面之间——比线占得多，比面占得少。一个介乎之间的数，恰好对应一段介于「一条线」与「一张面」之间的边界。这不是比喻，是同一个定义算出来的。
不同的线，维数不同。理查森的图上，南非海岸接近一点零——它近乎光滑，维数几乎回到一。挪威的峡湾海岸，维数一点五上下——千沟万壑，向「面」的方向挪。同是海岸，粗糙的程度被一个数说得干干净净。维数成了粗糙度的度量。
这个想法不是凭空的。一九一八年，豪斯多夫给「维数」下过一个适用于任意点集的定义，后来经贝西科维奇发展，能算出介于整数之间的值。可半个世纪里，它只是测度论深处的一件精密仪器，没人拿它量过真实的边界。一九六七年的论文，把这件仪器从库房里请出来，第一次对准了大自然。
放大 2 倍：线 2 倍、面 4 倍、体 8 倍 → 维数 1、2、3
英国海岸：尺减半 L×1.19 → 维数 1.25
南非海岸约 1.02（近光滑）；挪威峡湾约 1.5
维数＝粗糙度：1＝一条线，2＝一块面
用一段人人能画的曲线，把海岸线的道理做实。科赫曲线：画一个三角形，把每条边三等分，中段向外凸出一个小的三角；对新曲线的每条边重复同一动作，无穷做下去。第一步四条边；第二步十六条边；第三步六十四条。每一步，边的总数乘四，每条边长缩到三分之一。
先算长度。起点一条边算作一。第一步总长 4/3，约一点三三；第二步 16/9，约一点七八；第三步 64/27，约二点三七。总长每步乘三分之四，一步比一步长，永不封顶：第十步约十七点八，第二十步已过三百。曲线被关在一个小小的圆里，长度却是无穷。
再算维数。尺缩到三分之一，段数变四倍：N＝4，1/ε＝3。维数 D＝log4／log3≈1.2619。瞧这个数与英国海岸的一点二五多么接近——纯数学构造与真实海岸，粗糙的方式几乎同一档。这不是巧合也没有因果，是两者都落在「介于线与面」的同一区间。
最后看切线。曲线上每一步都有尖角；无穷步之后，处处是尖角——处处连续，却处处没有切线。一九〇四年的「怪物」，就是海岸线的精确模型。当年它被造出来，是为了证明「连续」不等于「光滑」；七十年后，它成了描述海岸、闪电、血管的词汇。
步数 0→4→16→64 条边；每边长 1→1/3→1/9→1/27
总长 (4/3)n：1→1.33→1.78→2.37→…→∞
D＝log 4／log 3≈1.2619
处处连续，处处无切线
「英国海岸有多长」——这一问题几百年没人起疑。海岸在地图上明明是一条线，线的长度当然存在：拿尺量就是了。量出不同数字，责任在量的人：尺不够短、地图不够细。大家都信，总有一个「真正的长度」，越量越接近它。
理查森的图推翻了这个信念，而且推翻得干脆。长度随尺缩短按固定比例增长，不收敛——不存在一个「真正的长度」。这不是测量误差，是对象的本性：海岸线的粗糙有无穷层，每换一把更短的尺，就多量出一层。问题不是答不出，是问题本身没问对。
换一个问题，一切就顺了。不问「多长」，问「多粗糙」：长度增长的固定比例是多少。这个比例不随尺变，从数据里一算便得；它对每个国家每段线是一个确定的数。问法一换，一个无解的问题变成一个有干净答案的问题——答案还是个新东西：分数维数。
这是暗线在第二幕的落点。看见的功劳不在眼睛，在问法。数据早就在那里，地图早就挂在墙上；变的只是问题。一个被默认几百年的问题，被一位气象学家在退休后、被一位企业家实验室的数学家在图书馆里先后重新问过——「重新问」这件事，本身是一种看见。
下一页把数学与数据正式合龙：一条被冷落的定义，一张被冷落的图，中间隔着五十年。
第二幕的两条线在此合龙。一条来自工程师：理查森的对数图，几十段真实边界，每个点都是量出来的。一条来自数学家：豪斯多夫一九一八年的维数定义，精密、一般、半个世纪无人问津。两张纸上的东西，在同一把尺下读出同一个数。
合龙处有一条缝，值得看清。豪斯多夫的定义对任何点集都适用，但算起来极难——除精心构造的例外，没人能对一个真实对象算出它。理查森的数据给不出定义，只给斜率。一九六七年的论文把两者接在一起：用数据估斜率，用定义解释斜率——斜率就是维数的估计。缝补上了，两边都亮了。
这也是「先看见、再证明」的第一次完整演出。看见在先：海岸与怪物同属一族，这判断先于任何定理。证明殿后：这些边界的维数确为分数、确可估计，随后多年的严格工作一件件补上。看见没有替代证明——它决定证明去做什么。
从这以后，库房里的怪物一件件领回了名字与用途。康托尔集成了一维成簇现象的模型，科赫曲线成了海岸线模型；它们的维数不再是绕口的定义，是图上的斜率。数学史上一段漫长的冷板凳，到此坐热。
下一幕回到语言：这一族对象，还缺一个名字。
第二幕讲完，把要点收一收。一段边界，量出的长度随尺缩短按幂律增长，没有尽头；增长的比例用对数一算，得一个维数。维数可以是分数：英国海岸约一点二五，挪威峡湾约一点五，近乎光滑的南非海岸约一点零二。维数是粗糙度的度量。
三件事值得记住。第一，「量不完」不是测量技术的问题，是对象的本性：粗糙有无穷层，每层都贡献长度。第二，换问法能救活一个问题：「多长」无解，「多粗糙」有干净答案。第三，纯数学的库房与工程的数据合龙，靠的是同一把尺：对数图上的斜率。
还有一个数字之外的收获。理查森六十多岁收集数据，去世后图才发表；豪斯多夫的定义沉睡五十年。两份工作单独看，都像走不通的路；合在一起，是一门学科的地基。做学问的人没法预知哪块石头将来落在哪个拱里——能做的，是把石头凿好。
最后记一个人物细节。一九六七年的论文只有三页，一半篇幅是那张对数图。标题用了一个问句，正文第一句就把答案摊开。这种「先认输再求胜」的写法——承认问题问错，再给新问题——后来成了这一整个领域的文体。
下一幕从词典讲起：这一族新对象，需要一个新词。
到一九七五年，证据已经齐了。电话噪声、棉价、水位、海岸线，加上库房里的康托尔、科赫、谢尔宾斯基——十几件对象，一个家族的五官清清楚楚。可它们各自叫「康托尔集」「科赫曲线」，像一屋子表亲，姓氏各异。写书的时候，他需要一个词把全家叫齐。
他翻的是拉丁文词典。要的词得满足两件事：它得指向「碎」与「不规则」，又得听着像「分数」。拉丁语里有个形容词 fractus——被打碎的。他从中造出法语与英语的同一个新词：fractal，分形。词根里同时藏着「碎」与「分数」，正合这一族对象的两个侧面：形状破碎，维数非整。
当年冬天，法语书《分形对象：形、机遇与维数》出版。书不厚，却做了一件词典做不到的事：它把散落一百年的对象收进同一个屋檐——从康托尔集到星系的分布，从棉价到词频，全部按「分形」归类。一个词的威力在此时显形：有了名字，散件才算得上一个家族；有了家族，才谈得上共同的规律。
数学界对新词的态度，起初是冷淡的。造词在这门学问里从来是冒险的事：定理由证出，词由什么出。他的回答写在后来的书里：对象早就存在，定义早已有人（豪斯多夫），他做的只是给一族被拆散的事实一个共同的名。名字不替证明说话，名字让证明有处可去。
下一页进入算法：一个词底下的公式，人人能算。
把第二幕的判据写成一行公式。自相似对象：把整体缩小到 1/ε，它由 N 个缩小版拼成。维数 D 满足 N＝(1/ε) 的 D 次方。两边取对数，D＝log N ÷ log(1/ε)。一个除法，就是分数维数的全部算术。
拿科赫曲线验证。尺缩到三分之一（ε＝1/3），段数变四（N＝4）：D＝log4÷log3≈1.2619。与 p.16 用长度算出来的同一个数——两条路殊途同归，公式站住了。英国海岸也从这公式看一遍：尺减半，长度的有效段数按 1.19 倍增，对数一除，还是一点二五上下。
再算两个库房旧物。康托尔集：每段缩到三分之一，剩下两段——D＝log2÷log3≈0.6309。一个比一小的维数：它比「一条线」占得少，比「一堆点」占得多。谢尔宾斯基三角形：边缩一半，剩三块——D＝log3÷log2≈1.5850。比海岸粗糙，仍不及一张面。
公式好看在它的用途。构造一改，维数立变：科赫曲线若把每段缩到四分之一而段数翻成五，维数立刻是 log5÷log4。粗糙度从此是可设计的：想要多粗糙，改构造的参数。这门算术后来成了工程里的日常——天线、材料断面、地形生成，都是先定维数再定形状。
D＝log N ÷ log(1/ε) （N 个 1/ε 缩版拼成整体）
科赫：N＝4，ε＝1/3 → D≈1.2619
康托尔：N＝2，ε＝1/3 → D≈0.6309
谢尔宾斯基：N＝3，ε＝1/2 → D≈1.5850
厨房里就有分形。买一株蕨叶或花椰菜摆上桌：整株是主茎带一排叶；摘一片叶，又是「茎带一排叶」的缩小版；再摘一小枝，排法照旧。三层摆在一起，形状一样、大小递减——肉眼可见的自相似，比康托尔集直观百倍。
用公式算它。把整株看作「一片叶的放大版」：局部缩到某比例，整株由 k 片这样的叶拼成。维数 D＝log k ÷ log r。对花椰菜数一数量一量，算出的维数比二还大——要点不在数值，在公式直接对植物说话，大自然自己遵守对数。
更妙的例子是蕨叶的数学画。八十年代起，人们用几条缩放旋转的规则在计算机上「种」蕨叶：从任意一点出发，反复随机套用四条规则，描出落点——几万个点后，屏幕浮出一株纤毫毕现的蕨。规则藏在四个数里，图形却复杂到没有两株相同，信息量比照片小一万倍。
这三层叶说出一个要紧的区别。自然界的分形是「统计自相似」：三层叶相似，却不逐点重合——没有两片叶完全一样。数学构造的分形是「严格自相似」：每层都精确重合。词是一个，层次有松紧；这正是分形能同时住进数学书与植物园的原因。
蕨叶三层：整株 → 一片叶 → 一小枝，排法相同
D＝log k ÷ log r（k 片缩版，每片 1/r）
数学蕨：四条规则＋随机迭代 → 万点成叶
自然：统计相似；数学：严格相似
分形不只在形状里，也在数字里。把一种语言里的词按出现次数排队：第一名出现得最多，第二名少一些，往后一路稀下去。一九三〇年代，语言学家齐普夫发现：第 n 名的频次约等于第一名除以 n——排名翻一倍，频次减半。城市也一样：第 n 大的城市，人口约等于第一大城市除以 n。收入分布里也有同样的「一路减半」。
这类规律统称幂律。它与小散布的「正常」分布长得完全不同：正常分布像一座钟，中间高两头没有；幂律像一条长尾，第一名极大，末名不可忽视，中间没有典型的「普通大小」。地震的能量、沙堆崩塌的规模、网页被点击的次数，都是长尾。长尾的数学名字：尺度不变——放大看，尾巴还是尾巴。
幂律与分形是一家。把排队规律画成图：横轴取排名的对数，纵轴取频次的对数，点落成一条直线，斜率是负一。斜率，正是维数的近亲：海岸线的对数图斜率负零点二五，词频图斜率负一。凡是「放大后还是它」的现象，对数图上都是直线，斜率就是那个不随尺度变的数。
曼德尔布罗特的第一篇成名作正是这一族。一九六三年的棉价是幂律，一九六七年的海岸线是幂律，词频与城市还是幂律。幂律把经济学、水文学、语言学、制图学串在一根线上——这根线的名字，一年后才有了：分形。
齐普夫：第 n 名频次 ≈ 第一名 ÷ n（斜率 −1）
钟形：有「典型大小」；长尾：大小跨越多个量级
对数图直线 ⇔ 尺度不变 ⇔ 幂律
斜率与维数同族：都不随尺度变
造词这件事，在数学里地位微妙。这门学问的传统是：一个概念要有名字，先得有定义；有定义，先得有定理网着它。「分形」偏偏反着来：先有词，后有定义——到今天，「什么是分形」仍没有公认的严格定义。一个没有定义的词，凭什么站得住。
因为定义不是这个词的全部工作。词的第一份工作是聚拢：在 fractus 出现之前，康托尔集属于测度论，科赫曲线属于反例汇编，海岸线属于地理学的注脚，棉价属于经济学的杂录。没有一个共同的词，就没有人把这些放在一起看；放不到一起，规律就永远是一堆孤例。词是一张网，先把散落的鱼捞到同一片水域。
这也是暗线在第三幕的落点。看见不只在眼睛与数据里，也在语言里。给一族东西起名，等于宣布「它们是同一件事」；这个宣布先于证明，也为证明开出题目——此后三十年的大量严格工作，做的都是把「分形家族」的成员逐一钉到定理上。名字开了路，证明才上路。
还剩一层，留给下一幕。一九七五年的词，聚拢的是已知的对象；五年后，计算机屏幕上将出现一个新对象——它无法手算、无法手画，第一次被看见就是在屏幕上。对它，看图先于一切：连「它是连通的」这个最基本的问题，都是看图看出来的。
把第三幕与前面各幕接起来。造词者的功劳常被说成「发明了分形」。他自己一生纠正的另一件事恰恰相反：维数是豪斯多夫的，怪物是康托尔与科赫的，幂律是帕累托与齐普夫的，数据是理查森与赫斯特的。他给自己划定的位置是：把这些散件连成一个家族，并指出大自然就在这个家族里生活。
这个位置并不轻松。连件工作在学术界历来难被记功：定理有署名，「连」没有署名。他对此的回应是持续三十年地写、讲、答辩——从一九七五年那本薄书，到一九八二年的大部头，再到晚年的自选集。连件不是一个人的灵光，是一项需要终身投入的工程。
旧传统与新词的合流点，正是第二幕那次合龙的延伸。豪斯多夫给了「维数」的定义，理查森给了「斜率」的数据，分形一词给了两者共同的家。三样凑齐，一门几何的骨架立起来：对象（怪物与自然形状）、度量（分数维数）、规律（幂律与自相似）。
还差第四样：图。骨架立好之后，一件谁也没料到的事发生了——计算机把这门几何最深处的一个对象直接画了出来。看到它的那一刻，连造词者本人都没有准备好。下一幕讲那张图。
第三幕讲完，把要点收一收。一九七五年，从拉丁文 fractus 造出「分形」一词，把散落百年的对象与数据收成一个家族。维数的算法一行公式：D＝log N ÷ log(1/ε)。科赫一点二六，康托尔零点六三，谢尔宾斯基一点五八——构造改一格，维数变一档。
三件事值得记住。第一，公式背后是一个朴素判据：把整体缩小到几分之一、由几块拼成，取对数一除。第二，自然界的分形是统计自相似（蕨叶三层相似但不重合），数学构造是严格自相似。第三，幂律是分形在数字里的影子：词频、城市、棉价，对数图上一条直线。
还有一个方法论的收获。「聚拢」与「拆解」是一对相反相成的动作：分形一词聚拢了散件，而聚拢之后，每一件又被重新拆开细算——维数不同、构造不同、应用不同。一门学科的成熟，往往就发生在这对动作的往复之间。
最后记一个人物细节。他造词时刻意让词根同时携带「碎」与「分数」两层意思——这是少数由数学家本人铸造、又进入大众语言的数学词之一。词造得讲究，是因为他清楚：这词要替一百年的散件说话，还得在工程师与中学生口中活得下去。
下一幕，词有了，公式有了，缺的那块拼图从屏幕上来。
一九八〇年前后，实验室里添了一台新的计算机终端。它能把计算结果直接画在屏幕上——这件事今天平常，当时稀罕。曼德尔布罗特想起少年时叔父给的那篇论文：朱利亚研究过把一个数平方、再加常数的迭代。朱利亚有代数与手绘的草图，没有计算机；六十年过去，工具终于追上了问题。
问题极简单。取一个复数 c，从零出发反复做：平方，加 c；把结果再平方，再加 c。有的起点选 c 之后轨道逃向无穷，有的轨道永远被关在原地。哪些 c 关得住，哪些逃散——朱利亚当年分段研究过不同的 c；曼德尔布罗特做的事是把整个平面上的 c 一次看尽：每个 c 涂一个像素，关得住的涂黑。
第一张图打出来，边缘是一圈毛糙的污点。起初像是打印机的问题：换个打印机，污点还在；放大看，污点是新的细枝；再放大，细枝里浮出更小的圈。后来他们明白：那不是污点，是边界本身——一条在任何放大倍数下都有新结构的边界。打印机的噪点会消失，它不会。
他对这一眼的分量有清醒的估计。数学上，这张图背后的每个问题都落在朱利亚与法图六十年前的工作框架里；可他们只有算式，没有图。图一出来，问题自己排好了队：黑团的外缘为什么这样长、黑团内部藏着的圆环有几个、边界上那些小圆球从哪来。先看见，题目才成其为题目。
这一幕先把迭代本身算清楚，再回来看那张图。
先把「迭代」两个字变成算术。取常数 c＝0：规则是「平方」。从零点五出发：零点五平方得零点二五，再平方得零点零六二五，再平方更小——一路缩到零：轨道有界。从二出发：二平方得四，四平方得十六，十六平方得二百五十六——一路炸开：轨道逃散。一个动作，两种命运。
换一个 c 再看。c＝1：规则是「平方再加一」。从零出发：零得一，一得二，二得五，五得二十六，二十六得六百七十七——步步见涨，逃散。c＝负一：从零出发：零得负一，负一平方得零，加负一得负一——轨道在零与负一之间来回，永远有界。同一条规则，c 一换，命运互换。
逃散有一条方便的判据。只要某一步的绝对值超过二，轨道必定逃散：平方只会让大数更大，加上一个不大的 c 拉不回来。绝对值不超过二、永远留在这范围内的轨道，叫有界轨道。判据把无穷步的计算截成有限步：超出二，停；算了几十步还没出界，先记它「暂时有界」。
复数在这里登场。c 不只是正负数，它有平面上的两个分量；轨道的每一步也在平面上走。逃散判据照样成立：到原点的距离超过二，必逃散。平面是这一幕的舞台——下一页把整个平面的 c 一次分完。
c＝0：0.5→0.25→0.0625→…→0（有界）
c＝1：0→1→2→5→26→677→…（逃散）
c＝−1：0→−1→0→−1→…（有界，来回循环）
判据：绝对值一旦超过 2，必逃散
现在把定义说出来。让 c 取遍平面上的每一个值：关得住轨道（从零出发始终有界）的 c 涂成黑，逃散的留白。涂完之后黑点连成的那一片，就叫曼德尔布罗特集。一句话：它是「平方加 c」这个动作的及格名单。
先用判据给几个点定籍。c＝0：轨道停在零——在集内。c＝负一：零与负一来回——在集内。c＝1：步步见涨——在集外。c＝负二：负二平方得四，加负二得二，二平方得四、加负二得二——停在二，有界，在集内，且正在集的最边上。
边界上的点，命运极敏感。c＝0.25：零到零点二五，零点三一二五，零点三四七七……一路缓慢爬向零点五，永不越过——在集内。c＝0.3：零点三，零点三九，零点四五二一，零点五零四四，零点五五四四……爬着爬着过了零点五，随后步步加速逃散——在集外。两枚 c 只差零点零五，一个留下、一个逃走；分界线就挤在这一条缝里。
这条缝有多细。沿实数轴，边界是零点二五那一侧的一段；离开实数轴，边界上下张开成心形与圆环。朱利亚当年逐段研究，正是这段最难。整张图的复杂性全堆在边界：集内规规矩矩，集外干脆逃走，只有边界上的点，被「留与逃」拉扯出无穷层次。
c＝0、−1、−2：轨道有界 → 集内（−2 在最边上）
c＝1：逃散 → 集外
c＝0.25：留（爬不过线）；c＝0.3：逃（越线加速）
复杂性全在边界：留与逃之间
画法笨得可爱。把屏幕的一个像素当作一个 c：从零出发迭代几十步，中途超出二的界限，这个像素留白；几十步都留住了，涂黑。一个像素几十步，一张几百行几百列的图，就是几百万次「平方、加 c」。一九八〇年的机器，算一张图以小时计；今天一部手机，一秒几张。
第一眼看见的形状，规整得让人怀疑。一个心脏形的主团，头顶坐着一颗圆球，周身挂着大珠小珠——像一朵笑着的蓓蕾。谁也想不到这个近乎卡通的轮廓，边界上藏着无穷的花样。规整与无穷精细同时出现在一个对象上，这是它在数学里独一无二的气质。
放大是第二重看见。取主团上方一颗小珠，放大一百倍：珠的轮廓里又挂着更小的珠；放大一万倍：细枝、螺旋、又一颗小曼德尔布罗特集模样的珠。每一个放大档都送来新结构，永远送不完。这不是画得细——是数学保证的：边界在任意放大倍数下都有新细节。
图还带出一种新的「读法」。集内每个区域对应一种朱利亚集的形状：盯着主团边缘的某个部位放大，同一部位旁边画它的朱利亚集，两幅图的花样对得上。一张图成了索引：从集的某一处，翻到整个平面的一种行为。这本「图与图对照的词典」，六十年前朱利亚只能靠手绘草拼。
每像素＝一个 c；迭代几十步；出界 2 留白，否则涂黑
几百万次「平方加 c」→ 一张图
轮廓：心脏形主团＋圆球＋珠串
任意放大 → 新细节不断（数学保证）
数学史上，图一直是个帮工。几何书里的图帮助理解已证的东西；函数图像帮助猜导数在哪变号。图可以启发，但「看图」从来不算论证——论证得一行行推。一九八〇年之前，这条规矩没有过例外。
那张图改变的不是规矩，是分工。边界上有没有小珠、小珠会不会无穷地挂下去、放大后出现的花样有没有尽头——这些问题在算式里要一篇论文一个地问；在屏幕上，转一个放大旋钮就同时看尽几个档位。图不能证明任何一句，可它把问题清单一次铺开：先看见「该证什么」，再回头造证明。看见与证明之间，多了一条单行道：从图到定理。
这不是图第一次参与数学，是图第一次参与得这么深。早年的算例外——有人用纸笔构造反例；曼德尔布罗特的棉价图、理查森的对数图，已经是「图在指路」。到一九八〇年，图成了探索本身：算式里走不通的地方，图先走通了。此后几十年的复分析课堂与论文里，对着屏幕提问题成了标准动作。
暗线到这里落定。从第一幕「承认噪声有形状」，到第二幕「换一个问法」，到第三幕「给一族东西一个名字」，到第四幕「让一个对象第一次显形」——每一步都是看见走在证明前面。看见给方向，证明给底气；两条腿缺一，路都走不远。
下一幕讲这张图如何被证明接住：名字与第一个大定理。
图出来之后两年，一位法国数学家专程到访实验室。杜阿迪是复分析的名家，看见屏幕上的图后做了一件事：把整套工具搬到这个对象上。他与学生哈伯顿在几年里证明了一批要紧的定理；其中最响的一条是：这个集合是连通的——黑团虽有无穷花样，却连成一体，不是散珠。
名字也是这一时期定下的。杜阿迪在讲学与文章里把它称作「曼德尔布罗特集」。一个由别人郑重命名、自己从未争取的名字——以数学界的习惯，这是最高的承认。他自己对此的反应一贯平实：图由实验室的机器与人共同画出，理论的地基是朱利亚与法图的；他更愿意把名字读成一条线索的汇总。
证明接住图之后，还有新的分工。连通性证明了，边界的精细结构仍在路上：边界上小珠为何无穷、内点附近行为如何，一批问题到今天仍有开着的。图先给出全貌，定理一段一段收复；收复不下的，留给后人——这就是第四幕给整册暗线的收口：看见不终点，看见是起点。
至此，三样东西聚齐。海岸线给了现象，维数给了度量，这张图给了图像的论证。下一幕回到时间线：这本书、这些奖与最后的岁月。
第四幕讲完，把要点收一收。规则只有一个：平方，加 c；从零出发。轨道要么有界要么逃散，绝对值超二必逃散；有界的 c 涂黑，涂完就是曼德尔布罗特集。c＝0、−1、−2 在集内，c＝1 在集外，c＝0.25 与 0.3 之间挤着最细的分界。
三件事值得记住。第一，复杂性全在边界：集内规整、集外干脆，留与逃的拉扯把无穷层次全堆在一条线上。第二，图是算出来的：每个像素几十步迭代，几百万次「平方加 c」画一张图——图即计算，不是画技。第三，先看见后证明在这里完整演出：连通性先在图上显而易见，后来才被证明。
还有一个方法论的收获。旧问题遇上新工具，不必是旧问题的胜利：朱利亚六十年前的框架原样躺在那里，等的是一台能把数变成图的机器。工具改变的常不是理论，是问题的次序——哪些先问、哪些后问，由谁能看见来定。
最后记一个人物细节。第一张图打出来时，没人立刻知道自己看见了什么；边缘的毛点先被当成打印机的毛病。科学里的第一眼常常这样：先怀疑设备，再怀疑眼睛，最后才承认——那是对象本身。承认的速度，取决于人对自己库房的熟悉程度；他认得快，因为他把怪物们记熟了六十年。
下一幕是最后一幕：书、奖与八十五岁。
一九八二年，一部四百多页的大书出版。开卷第一页没有定理，是一句话：云不是球，山不是锥，海岸线不是圆，树皮不是光滑面，闪电也不走直线。全书近半篇幅是图：星系成团的分布、河流的分支、价格的长尾、屏幕上那条无限精细的边界。一本数学书印这么多图，出版史上罕见；他要的就是这个效果——这门学问的证明还没收齐，但它的样子已经可以让人看全。
书的标题起得直白：《大自然的分形几何》。「几何」二字是他郑重选的：几何在数学里专管形状，他宣布粗糙的形状从此归几何管。书出版后的十年，这门学问从论文走进教科书：大学开了课，中学的课外读物收了它， engineers 用它造天线，电影厂用它造山。一个词与一部书，把一条冷板凳变成了广场。
荣誉也在这几年到来。一九八五年美国国家科学院的巴纳德奖章，一九八六年富兰克林奖章，一九九三年沃尔夫奖——授奖词里说他「改变了我们对自然的看法」。一九八七年起他任教耶鲁，一九九九年被聘为斯特林教授：七十五岁的终身教职，大学之门最终向当年考第一的学生打开。
晚年的他依旧在写。二〇〇四年之后，他把毕生文章自选成集，按金融、水纹、形态各编一卷；二〇一〇年十月十四日，他在马萨诸塞州剑桥去世，八十五岁。讣告里最常见的一句话，几乎都是书里那句：云不是球，山不是锥。一句话陪一个人走完最后的路程，这在数学家里不多。
用一组能查到的数，把幂律算一遍。取一个国家最大的几座城市，把人口排成一行；再给每个城市记上它的名次：第一名、第二名、第三名。齐普夫的规律说：人口乘名次，约等于同一个常数——第一名一百八十万，第二名约九十万，第三名约六十万，第七名约二十五万。乘一乘：180×1≈180、92×2≈184、63×3≈189、26×7≈182。常数在打转。
对数图上，这行数落成一条直线。横轴取名次的对数，纵轴取人口的对数，四个点几乎排成一线，斜率约负一。斜率一变，规律一变：若斜率是负二，第二大城市只有第一城的四分之一——城市之间悬殊得多；斜率越小，头部的优势越薄。一根斜率，把「集中」这件事量了出来。
分形与幂律在此合上最后一页。海岸线的图：横轴尺长，纵轴长度；城市的图：横轴名次，纵轴人口。两张图一张脸：对数下的直线。读法也同一套：斜率不动，则任何尺度下规律不变——城市体系没有「典型规模」，海岸线没有「真长度」。一句「没有典型」，两个领域通吃。
这套算术今天随处可用。网站的访问量、软件的故障报告、语料的词频，拿对数图一摆，直线或弯路一目了然：直线意味着幂律，弯掉的地方意味着规律换了。看图识规律——这门读法，源头就在本册这几页。
齐普夫：人口 × 名次 ≈ 常数（180、184、189、182）
对数图：斜率约 −1；斜率越负，头部越悬殊
两图一张脸：海岸线（尺长，长度）／城市（名次，人口）
直线 ⇔ 无典型规模 ⇔ 尺度不变
一门学问从广场回到课堂，有一笔可以粗算的账。一九六七年论文：三页。一九七五年书：两百页。一九八二年书：四百六十六页。九十年代起，分形几何的大学教材每年都有新出；到二〇〇〇年前后，相关论文以每年数千篇计。从一篇文章到一门建制，用了三十年——这条时间线本身就是分形史的一部分。
建制的三个标志都齐了。教材：八十年代起有了通用的研究生课本。会议：物理、材料、水文、金融各自开了分形专题会。应用：天线工程师用分形形状把天线塞进手机，材料学家用断面的分形维数估金属强度，电影业用地形分形造山。三个标志里，应用最迟也最有说服力——它不问出身，只问有用。
账也要算另一面。他一生没有加入主流数学建制的中心：教书在七十多岁才开始，重要的论文大多发在交叉学科期刊。数学界的年度大奖与这个方向也彼此错过。有人替他抱不平，他的回应写在一本书的导言里：这门学问在大学之外长成，恰恰证明大学之外也有数学的地基——车间、实验室与市场，一样能长出定理。
把这笔账收进暗线。建制化的过程，也是「看见」被制度吸收的过程：图从论文的插图变成课堂的教具，再变成考试的题目。看见一旦可教，学问才算立住。这是第五幕在整册暗线里的位置。
1967：3 页 → 1975：约 200 页 → 1982：466 页
建制三标志：教材、会议、应用
应用：天线（小型化）、断面（估强度）、地形（造山）
大学之外长成的学问
这一页把全册的数排成一行，看看彼此咬不咬得上。第一组是维数：康托尔 0.6309，科赫 1.2619，英国海岸约 1.25，谢尔宾斯基 1.5850。维数一族，全部落在零到二之间——比点密、比面疏，家族的户口一目了然。
第二组是增长比。英国海岸尺减半，长度乘 2 的 0.25 次方，约 1.189；科赫尺缩三分之一，总长乘 4/3，约 1.333。两个比都落在 1 与 2 之间：粗糙而未填满平面——与维数在一到二之间是同一句话，两套算法互为印证。
第三组是迭代。c＝0.25 的轨道爬向 0.5 永不过线，c＝0.3 的轨道十三步之内越界逃散；c＝−2 的轨道停在一个不动点。三个数钉住了实轴上集的两端与内部一段——图的精度，由这样的算术一层层保证。
对完账，说一句总的。全册的数没有「漂亮的巧合」：维数不同、增长比不等、迭代各走各路。连住它们的不是数值，是读法——对数、比率与轨道。一门学问的通用读法，比公式更值得带走。
维数：0.63（康托尔）／1.26（科赫）／约 1.25（海岸）／1.59（三角）
增长比：20.25≈1.189（海岸）；4/3≈1.333（科赫）
迭代：c＝0.25 收敛于 0.5；c＝0.3 十三步内逃散；c＝−2 停在 2
读法：对数、比率、轨道
把整册暗线串起来读一遍。第一幕：被扔掉的数据里有形状——看见的前提是承认。第二幕：问错了的问题换一个问法——看见的方法是重问。第三幕：给一族散件一个名字——看见的语言是聚拢。第四幕：屏幕让一个对象第一次显形——看见的工具是图像。第五幕：教科书与讲台把它交出去——看见的归宿是传承。五个落点，连成一句：证明给出真假，看见给出信心。
信心这个词要斟酌。看到英国海岸与科赫曲线维数接近，谁也不会因此「证明」海岸是分形——证据在数据里，不在相似里；相似给的是研究的勇气。看到屏幕上的黑团连通，杜阿迪没有停在下结论，他给了证明。看见从头到尾没有替掉证明，它只是让每一个证明知道自己在为哪幅图工作。
他晚年反复讲的一个词是「美」。他说自己一生追随的东西，是形状的美：被主流放逐的形状自有其美，认识它们与欣赏它们是同一件事。这话出自一个用数据与公式工作的人，分量不轻——在他这里，审美不是结论的装饰，是选题的罗盘。哪条曲线值得量十年，哪幅图值得放大一千倍，先由眼睛定，再由定理收。
最后一层意思留给读者。粗糙不是世界的缺陷，是世界的常态；为常态造数学，比为例外造定理更需要耐心。这门几何教人的，是在没有尽头的层次里安放自己的注意力——放大一档，看见一档；再放大，再看。看不完，正是它的诚意。
这门几何离开数学后走了多远，值得单独一页。电影里：八十年代起，山川地形在特效里由分形程序生成——把一座山的「规则」交给机器，机器自己叠出万壑千岩。电视里：那条黑团与朱利亚花的图，成了数学纪录片与科普封面的常客。广告、织物、壁纸：分形图案成了视觉语言的常备词。
更实在的在工程。手机里的天线：把天线弯成分形形状，一小块面积里塞下多个波段——没有分形几何，手机薄不到今天。材料实验室：金属断面的维数被当作疲劳的指标。水文与金融：丰水连串与价格长尾，模型就是第一幕那几条曲线的后代。一门来自「不干净数据」的学问，最后回到了最讲干净的行业里。
与广场的往来是双向的。大众的着迷反过来推了数学：八十年代家用电脑普及，千万人在屏幕上放大那条边界；中学教师把迭代游戏带进课堂。他对此乐见其成，晚年在多个场合说：这门学问的普及速度，是他年轻时不曾梦想的——一件东西要让别人也能看见，先得好看。
第五幕到此收口。下一页起是收束：回望、三个开着的门、动手两页与小典。
第五幕讲完，把要点收一收。一九八二年，一部满是图的书把这门几何端上桌面；教科书、会议与应用随之立起。幂律进课堂：城市人口乘名次约等于常数，对数图上一条斜率负一的直线。对账页把全册的数排成一行，互不矛盾。
三件事值得记住。第一，「几何」二字是宣言：粗糙的形状从此归几何管。第二，应用是最硬的承认：天线、断面、地形，行业不看出身只看有用。第三，他一生在大学之外长大，晚年才被大学接纳——学问的根基不必然在学院里。
还有一个数字之外的收获。他与「冷门」相处的方式值得学：不抱怨主流不看，只把冷门处一件件做实，做实到主流不得不来看。转机从来不靠转机本人——靠的是转机到来之前，手上已有的东西够不够硬。
最后记一个人物细节。讣告里反复引用的，不是任何一条定理，是书的第一句话。一位数学家被一句话记住，这句话还是关于云与山的——这在数学史上屈指可数。措辞是他自己选的：他要记住的不是「我证了什么」，是「我让谁看见了什么」。
正文到这里结束。余下的页面是收束与动手：一座桥要走回去看，才算走完。
把这一册的时间摊平，只见三处台阶。一九六三年，三十九岁，棉价的论文在杂录期刊上落地；一九六七年，四十三岁，海岸线的问题换了问法；一九八〇年，五十六岁，屏幕上第一眼。三处台阶，一处比一处高，也一处比一处看得远。
第一处台阶是「收数据」。别人扔的噪声、别人绕开的长尾，他一一捡起来量。这一步练的是眼皮：见惯了光滑的人看粗糙是一片毛，他看出毛里有毛的章法。
第二处台阶是「换问法」。海岸多长的问题没人疑过；他证明问题本身问错，又当场给出新问法与算法。敢动一个几百年的老问题，靠的不是胆子大，是手里已有理查森的图——看见在前，问法在后。
第三处台阶是「给图看」。迭代图不能手算，他等到了能把数变成图的机器；第一眼之后，他把图原样端给同行，连同还没答完的问题一起端出去。肯把半成品示人，这一步比前三步都难。
三处台阶之间隔着同一件事的三种形态。收数据，是承认对象存在；换问法，是承认问题错了；给图看，是承认自己没做完。三样凑齐，一个人就为一门学问开了地基。下一页把这册压成三样东西。
这一册可以只用三样东西记住。一段海岸线：证明「多长」可以无解；一个维数：把粗糙变成可算的数；一张图：让一个对象第一次显形，并把「先看见」写进工作流程。
三样东西互相扣住。没有海岸线，维数只是测度论深处的一条定义；没有维数，海岸线只是一句「量不完」的牢骚；没有那张图，分数维数的家族就少一位把全书推向收束的成员。线提出现象，数给出度量，图打开图像论证的时代。
这也是数学工作的一般形状。先有一个量不出的现象，再造一个量得出的概念，最后添一件让所有人同时看见的工具。三步之间没有固定顺序——本册是从数据走到图；旁的学问也可能从图走到数据。顺序可换，三步缺一不可。
给读者的建议只有一条。不必记住每个维数与小数点；记住那个动作——拿一把更短的尺，看数怎么长。生活里处处是尺：时间单位、统计口径、地图比例。换一把尺再看，常常就有新东西。
下一页是这一册里唯一不谈成就的一页：三个没做完的问题。它们至今还开着。
第一个问题：边界到底有多「满」。数值计算早已显示，曼德尔布罗特集的边界在任意放大下都有新细节，其维数被证明恰等于二——边界把「一条线」与「一张面」的差距填满了。可维数等于二不等于处处稠密：边界在每一点附近是不是真正「铺得开」（局部连通性），至今没人证得出。这是复动力学的头号未解问题。
第二个问题：集内的秩序。集内的每个 c 给出一种轨道行为；大家相信：除边界上少数例外，几乎每个内点对应的系统都安分——轨道最终归于某种循环（双曲性猜想）。这条猜想牵动整族图的结构描述，四十年过去，只在小范围被证出。
第三个问题：自然的维数从哪来。英国海岸为什么是约一点二五而不是一点四：分形几何能测出自然对象的维数，却给不出「为什么是这个值」的第一性解释。云、河网、断面的维数至今都是「测出来的数」——从物理原理把它们算出来，是这门学问欠自己的一笔账。
三个问题的共同点：都是「图已看见、证明未到」。第一个是看得出连不连、证不出连不连；第二个是图上秩序井然、定理跟不上；第三个是数摆在那里、原理缺席。看见给出信心，证明给出真假——三条门缝里的光，都在等证明。
下一页换一种语气：给愿意动手的人准备两件小事。第一件是量一条曲线，第二件是画一株蕨。
这一页只做一件事：把科赫曲线的长度一级一级算到底。规则在 p.16 讲过：每一步，每条边变成四条，每条新边是原边的三分之一。只用到乘法与除法，纸笔就够。
算法三步。第一，边数每步乘四：1、4、16、64……第二，每边长每步除以三：1、1/3、1/9……第三，总长＝边数×每边长，一行一个数。
先看前四行。第一步：4×(1/3)＝1.333。第二步：16×(1/9)＝1.778。第三步：64×(1/27)＝2.370。第四步：256×(1/81)＝3.161。数字一步步涨，没有要停的意思。
再看远处的两行。第十步：(4/3) 的十次方≈17.76。第二十一步：(4/3) 的二十一次方≈398.8——四十米长的一段「线」，关在巴掌大的圆里。想要多长就有多长：第五十步已超过两千万。
规律自己会浮出来。总长每步乘 4/3；乘的次数没有上限，长度就没有上限。而曲线始终被关在初始三角形的外接圆里——面积有限、长度无穷。这七个字，就是「量不完」的精确含义。
步 1：1.333 步 2：1.778 步 3：2.370 步 4：3.161
步 10：约 17.76 步 21：约 398.8
总长＝(4/3)n，永不停涨
面积有限，长度无穷
这一页做第二件事：不用图，用骰子画蕨叶。准备一张方格纸，标好四个动作：一、缩向茎尖；二、缩向左侧小叶尖；三、缩向右侧小叶尖；四、缩向主茎下段。掷一次骰子选一个动作，把当前的点挪到「原点与所选目标点之间」的位置，画一个点。掷一万次，看看纸上出现了什么。
道理藏在规则里。四个动作各是一步缩小：无论点从哪开始，反复缩小，落点迟早挤进蕨叶的形状里。骰子只管乱跳，形状由四个目标点定死——一万次乱跳之后，浮出来的不是乱点，是一株叶。目标点改一改，浮出来的就是另一种叶。
这一页能验两件事。第一，自相似不是画的，是「缩」出来的：每个动作都是一次缩小，无穷次缩小叠出无穷层结构。第二，随机与确定并不对立：路径全是随机的，结局只有一个形状——多掷几回对比看看，叶子一模一样。
算术收尾一题。若四个动作的缩小比例相同、都是 r，而四个目标点布满整株的四个「角落」，维数 D＝log 4 ÷ log(1/r)。取 r＝0.5：D＝log 4 ÷ log 2＝2——缩小一半、四块拼成，正好铺满一块面。要把形状收成留有空隙的蕨叶，比例得再小些；比例越接近二分之一，叶越「胖」，越远越「瘦」。一个比例旋钮，管住整株的胖瘦。
四个动作＝四次缩小；骰子选路；万点成叶
路径随机，结局唯一
D＝log 4 ÷ log(1/r)；r＝1/2 → D＝2（铺满一块面的极限）
比例越小，叶越瘦；比例越近 1/2，叶越胖
自相似：局部放大后与整体相似；分严格（逐点重合）与统计（乱法相同）两种。分形：具有精细结构的自相似对象；维数常为分数，且大于其拓扑维数。分数维数：量化粗糙度的数，介于整数维之间。盒计数：数出覆盖对象所需的边长为 ε 的方格数 N(ε)，由对数斜率估维数的实用方法。幂律：一量与另一量的幂成正比的关系；对数图上为直线。
长记忆：相距很远的事件仍有相关；赫斯特指数大于 1/2。赫斯特指数：量「成串」程度的指数；尼罗河约 0.7。迭代：把同一运算反复作用于上次结果。轨道：迭代留下的数列；有界或逃散。逃逸判据：绝对值超过 2 后轨道必逃散。
朱利亚集：固定 c、把所有初值的归宿分界而成的集合；c 换一套形状。曼德尔布罗特集：使从零出发的轨道有界的 c 的全体；每个 c 对应一个朱利亚集的形状索引。
本华·曼德尔布罗特（1924—2010）：本册主角；分形一词的铸造者、曼德尔布罗特集的发现者。刘易斯·理查森（1881—1953）：英国气象学家；边界长度数据与对数图的作者。哈罗德·赫斯特（1880—1978）：英国水文学家；尼罗河八百年记录与长记忆的发现者。
格奥尔格·康托尔（1845—1918）：集合论创立者；康托尔集（1883）。卡尔·外尔斯特拉斯（1815—1897）：处处连续无处可微曲线（1872）。赫尔格·冯·科赫（1870—1924）：瑞典数学家；雪曲线（1904）。
费利克斯·豪斯多夫（1868—1942）：分数维数的严格定义者（1918）。加斯东·朱利亚（1893—1978）与皮埃尔·法图（1878—1929）：复迭代理论的建立者（1918—1920）。阿德里安·杜阿迪（1935—2006）：证明曼德尔布罗特集连通并为之命名（1982—1984）。
那张图的故事没有停在数学里。八十年代，家用计算机普及，无数业余者在屏幕上放大那条边界；「放大到第几层」成了流行的话题。九十年代起，图形软件把迭代图收进滤镜库；今天任何一部手机都能秒算当年以小时计的图。
更深的进展在数学内部。边界维数为二（1998）；连通性之外，许多局部结构被逐一证明；「图与朱利亚集对照的词典」大部分已写成定理。开着的门见 p.43——三条门缝，条条都有人在推。
第三条线通向工程。分形天线的专利在九十年代落地，断面分析进了材料实验室，地形程序成了特效工业的标配。一个纯数学对象的图像，最终养活了几门手艺——这在一九八〇年那张图打出来时，没人敢想。
最后一条线通向教学。今天讲这门课，第一节课往往仍从海岸线讲起：先问「有多长」，再说「问错了」，最后把对数图挂出来。它成了这门学问的标准开场——因为它用最小的篇幅，把「换一把尺」这个动作演给了所有人看。
下一页是一张可以自己算的小表：把全册出现过的数排在一起，看它们能不能互相对上。
第一张表是维数。康托尔集：log2÷log3＝0.6309。科赫曲线：log4÷log3＝1.2619。谢尔宾斯基三角形：log3÷log2＝1.5850。谢尔宾斯基地毯：log8÷log3＝1.8928。四个数全部落在零与二之间，且越「占地方」越接近二。
第二张表是增长比。尺减半时长度乘几：南非海岸约 1.01（近光滑）；英国海岸约 1.19（维数一点二五）；挪威峡湾约 1.41（维数一点五，即根号二）。数与维数一张账：2 的（维数减一）次方——维数一点二五，增长比就是二的零点二五次方。
第三张表是迭代。c＝0：轨道停零。c＝−1：来回。c＝−2：停在二。c＝0.25：爬向零点五。c＝0.3：十三步内越界。五个数钉住实轴上的集：两端是负二与零点二五，中间的加数一个比一个不安静。
三张表放在一起看，会发现一件事。它们量的是完全不同的东西——形状的维数、测量的增长、迭代的命运；可它们的用法一样：列一张表，算几个数，对一遍。分形几何的全部算术，都可以压缩成这种对账。验过一行，比读十页有用。
维数：0.6309／1.2619／1.5850／1.8928（康托尔／科赫／三角／地毯）
增长比＝2D−1：约 1.01（D≈1.02）／约 1.19（1.25）／约 1.41（1.5）
迭代：c＝0 停零；−1 来回；−2 停二；0.25 爬；0.3 逃
三条对账单，三种命运，一套读法
这一册的难点不在算术，在「没有尽头」。孩子熟悉的是量得完的东西：桌宽八十厘米，房高两米四。这一册说的是量不完的海岸线、放大不完的图。陪读时不必急着讲分数维数，先让他接受「有的东西越量越多」这件事。
一个具体的入口：花椰菜。买一株罗马花椰菜（或普通花椰菜），掰下来一小朵，再掰那一小朵上更小的一朵，三样摆在一起看：形状一样，大小不同。这一眼胜过十页解释——自相似从来不在书里，在菜市场里。
第二个入口：两把尺量桌子。用长尺量一遍，用短尺量一遍；短尺量出来的数大。先承认这个日常事实，海岸线的「尺越短、线越长」就不再神秘——差别只在：桌子量得完，海岸量不完。
数学页可以跳。p.7—p.9、p.14—p.16、p.21—p.23、p.28—p.30、p.35—p.37 是数学层，需要一点纸笔；其余各页只需要听故事。第一次读，建议只读故事页与暗线页，把数学页留到第二次。
p.44 与 p.45 适合一起做。量不完的线只用乘除，小学高年级就能算；骰子画蕨要掷一万次，交给计算机或者改成一百次看个趋势。算完不必追问「懂了没有」，让他自己发现「长度一直涨、图形不出圈」，比讲解有用。
其一，以为分形就是「漂亮的电脑图」。不是。图只是算术的出口；每个分形背后是一行公式与一张可复核的账。凡说「就是画得好看」的，多半没试过自己除一次对数。
其二，以为维数只能是整数。这是本册最要紧的一处。维数的定义（放大判据）不挑整数：英国海岸一点二五，是数据算出来的，不是比喻。日常语言里「几维」只有一个问法，数学里还有第三种答案。
其三，以为「长度无穷」是夸张修辞。不是。科赫曲线的长度按固定比例步步增长，p.44 的表一行行可验。数学里「无穷」从来是算出来的结论，不是形容词。
其四，以为曼德尔布罗特集是他一个人发明的。迭代的框架是朱利亚与法图的，连通性是杜阿迪等人的，边界维数是后人证明的。名字冠以发现者，纪念的是「第一个看见全貌」的人；定理的署名另有其人。评价一门学问，要与评价一个人分开。
其五，以为「先看见后证明」贬低了证明。恰恰相反：本册每一次看见都以一次证明收尾——连通性、边界维数、增长比，全是定理。看见不开证明的玩笑；它替证明开路。两者是接力，不是竞赛。
《数学家的故事》第七辑 · 第 65 册 · 《曼德尔布罗特 · 粗糙的几何》
九章格数学 · PhiloMath 全龄通识读本 三层可读（故事／数学／注疏）
本册正文与插画为原创，插画以水印般轻透的中式写意淡彩为统一风格，不出现人物与文字。引文与数据均标注原始文献，见各页注文；在世人物只采用已公开发表的事实与访谈材料，不虚构对话、不涉私生活。
主要参考文献：B. Mandelbrot，〈英国海岸有多长〉（How Long Is the Coast of Britain?），《科学》156 (1967)；〈投机价格的变化〉，《商业杂志》36 (1963)；《分形对象》（1975）；《大自然的分形几何》（1982）；〈复迭代的分形面貌〉，《纽约科学院年刊》357 (1980)；L. F. Richardson 边界数据（1960—1961）；H. E. Hurst 尼罗河研究（1951）；A. Douady 与 J. H. Hubbard，〈复多项式的动力学研究〉（1984—85）；M. Shishikura，《数学年刊》147 (1998)；《麦克图托数学史档案》曼德尔布罗特条。
版次：2026 年 10 月第一版 · 九章格数学