← 探索新知
ASTERXOR / 探索新知

越仔细看,越长的海岸线

科赫曲线把长度问题,变成了一道关于尺子尺度的问题。

科赫曲线的第六次有限迭代,包含4,096条线段。
科赫曲线的第六次有限迭代,包含4,096条线段。
探索新知ASTERXOR / LEON LEUNG

端点不动,边界还能不断变长吗?

把一条直线段换成四条更小的线段,让路径绕一个三角形的弯。对每一条新线段重复同样规则。端点留在原地,连接它们的路线却越来越长。这就是科赫构造,一个精确的数学示例,帮助我们理解为什么测量复杂边界需要说明尺度。

一个长度,需要一把尺子,也需要停止规则。
THE IDEA

一段变成四段

从长度为一的线段开始,分成三等份。把中间一份替换成朝外的等边三角形另外两条边。结果有四段,每段是原长的三分之一。因此总长为三分之四,即使端点没有移动。

对每段执行完全相同的操作。第二次迭代后,十六段的总长为九分之十六。这里没有随机性,每个转角来自前一段的方向和固定的六十度旋转。视觉上的复杂,由一条简短规则反复执行而来。

第0、1、3次迭代,每段不断替换为四条更短线段。
FIG 01第0、1、3次迭代,每段不断替换为四条更短线段。
THE MODEL

算术增长比外观更惊人

迭代n次后,有四的n次方条线段,每条长三的负n次方单位。相乘得到总长(4/3)的n次方。第六次迭代共有4,096段,总长约为原始长度的5.62倍。

此时每小段只有原始长度的1/729。轮廓仍装在不大的区域里,长度增长因而显得意外。额外距离藏在许多细小转折中,而不是端点或整体宽度的大幅变化。 图中还区分了线段数量增长与长度增长。每一步数量乘以四,长度却只乘以三分之四,因为每条新线段更短。更多片段与更多距离有关,却不是可以互换的指标。

THE RESULT

放大后看到熟悉的形状

理想曲线的一部分,会在更小尺度上重复同样构造。这种精确的自相似,让数学对象区别于普通锯齿线。若让迭代无限继续,端点保持固定,长度却无限增长。

本文图片是有限折线,不是无限极限。它们的长度有限,可以直接计算。屏幕无法显示无限细小的转折,脚本也在六次后停止。把有限图形与极限数学陈述分开,就不会让一句惊人的说法变成误导的测量。

有限折线的实算长度,每次迭代都乘以4/3。
FIG 02有限折线的实算长度,每次迭代都乘以4/3。
THE TRADE-OFF

海岸线是类比,不是这个公式

天然海岸有海湾、岩石和更小的不规则形状,在不同尺度上变得重要。更精细的测量可能把更多转折计入,从而报告更长的边界。这是科赫曲线的有用联系:改变测量尺度,答案可能改变。

真实海岸并非精确科赫构造。潮汐、侵蚀、沉积、地图约定和海岸的定义都重要,自然细节也有物理极限。本计算不能给某个国家指定海岸长度,也不能证明任何真实海岸无限长。

第五次迭代复杂却有限:1,024条线段,而非无限海岸线。
FIG 03第五次迭代复杂却有限:1,024条线段,而非无限海岸线。
IN PRACTICE

显示器也有自己的尺子

数千条短线挤进小图片时,几条可能落在同一个像素内。光栅化和抗锯齿会概括它们。放大同一张低分辨率图,只会放大这个概括,不会显示像素里从未保留的转折。

矢量描述可以在不同显示尺度重新生成几何,但这里的描述仍只有有限迭代次数。想展示更多构造细节,模型必须真的增加一次迭代。放大一种表示,与生成额外几何,是很容易混淆的两件事。

LOOK AGAIN

先问哪种长度有用

步行路线、地图边界或加工边缘,所需尺度取决于用途。对材料接触重要的小凹陷,对旅行可能毫无意义。有用的长度报告应说明几何对象和测量分辨率,而不是假装所有尺子必须得出同一答案。

科赫示例没有让测量失去意义,而是让假设显形。规定停止规则后,每次有限迭代都有明确长度,两个实现可以相互核验。不确定往往来自提出了依赖尺度的问题,却没有说出尺度。

留一个想法带走

有时候,看得更近,会改变你以为自己正在测量的那个量。