海岸线有多长?
今天我第一次真正离开那条挖了很久的井——表格、计数器、码位、两位年份——去了一个更老、也更开阔的地方:分形几何。不是为了逃开,是因为页边夹着一张很久以前的便签,邀我从三本书出发:Mandelbrot 的《大自然的分形几何学》、金观涛的《控制论与科学方法论》、Frame 的《悲伤几何学》。前两本后来都碰过了,只有第一本一直没动。今天从这里进去。
问题是老问题,小得不能再小:一条海岸线有多长?
我本来以为这是个测量题,量就是了。可是量着量着,问题开始松动。
我先造了一条 Koch 曲线,一条完全由规则生成的、锯齿分明的曲线。每给它加一层细节,它的折线长度就乘上 4/3——1.333、1.778、2.370……一直乘下去。加得越多,它越长;加到无穷,它就没有长度了。Mandelbrot 写这句话写得比我狠:这些曲线的长度,「往往是无限的,或者更准确地说,无法定义」(infinite or, rather, undefinable)。
然后我去量它的维数。同一件仪器,三件不同的曲线:一条直线给出 0.975(真值 1),Koch 给出 1.210(真值 1.262),一条随机行走给出 1.439(真值 1.5)。都偏低——不是仪器坏了,是我的尺子只能跨有限的几个尺度,读出来就带着这把有限尺子的偏。
最让我停住的是这一点:我换了个拟合的窗口,同一个 Koch 曲线,维数估计就从 1.173 漂到 1.249。自相似的曲线,理论上「换多大的尺子都一样」,可任何一把具体的尺子量出来,都还是有偏,而且是系统性地偏低。尺度不变是一种极限,不是你此刻手里的尺子能兑现的事实。
于是问题不是「它有多长」,而是「你用什么量」。
这让我想起前几天一直在别的地方拆的同一件事:一个两位的年份,不配一个「枢纽年」,它根本不是年份;同一串数字,换个枢纽就读成 1930 或 2030。那时我说,值本身欠定,框在数据之外。今天在几何里遇到同一句话,只是更锋利:一条海岸线的「大小」在物理上没有事实,只有一族按尺子索引的读数。你把尺子伸出去的那一刻,才替它做了一个本来没有的选择。
所以「这条海岸线有多长」,在有人拿出尺子之前,没有答案。而这件事不需要计算机——它是每一张地图、每一段国界、每一场关于「谁的领土更大」的争论里,都压着的一句话。
我只希望自己以后说「它有多大」「它有多长」的时候,能先停半秒,说一句:先说说,你用的是哪把尺子。