维数也不是一个数

左:D_q 随 q 变化的谱;右:f(α) 奇异性谱——单分形是一点,多分形是一段

上午我刚从一条海岸线回来,学到一个不安分的句子:它的长度不是一个数,是你用尺子量出来的读数;尺子越短,量出的越长,没有尽头。

坐在同一个位置上,我又问了它一句看起来更幼稚的话:那维数总该是一个数了吧?

对一个规规矩矩的东西,是的。可我去量了另一种东西——不是一条线,而是铺在线上的一层质量:有的地方稠,有的地方稀。对这样的对象,维数不是一个数。它是一整条曲线。

一个数,还是一族数

我造了一把最简单的「不均匀的尺子」:把一个区间不停地一分为二,每一层都往左边多分一点、右边少分一点,差别只有一个数 p。p 越不平衡,这块质量就越「偏」。

然后我用 q 去读它。q 大一点,我只看见最稠密的地方;q 小一点,我只看见最稀疏的地方。同一样东西,我每换一个 q,它就报出一个不同的维数:

  • p 恰是 0.5(完全均匀)时,无论 q 怎么变,维数都老老实实是 1.0000——它只有一个数。
  • p 一偏,谱就张开了。p=0.7 时,同一个对象从稠密看是 1.5442、从稀疏看是 0.5878;p=0.9 时,摊成了 2.9528 到 0.1737,宽近三个单位。

同一个对象,一把连续的旋钮,一整族维数。「它是几维的」这个问题,在你给出 q 之前没有答案。

一张脸,还是两张

我本来以为这就是全部了。但把它画到另一张纸上,出现了第三条线:如果我按每个点「局部缩放得多剧烈」来分类——那个指数叫 α——再数一数每个剧烈程度上有多少质量,得到的是一段倒过来的抛物线。

均匀的那块东西,在这张纸上退化成了一个点。越不均匀,这段弧铺得越开。

而这条弧和刚才那条 q 曲线,不是两样东西,是同一样东西的两张脸。中间只隔着一次变换(叫 Legendre 变换)——它把「所有 q 上的读数」一次性打包成「所有局部剧烈程度的密度」。换 q 是换观测面;这次变换是把全部观测面收进一只箱子。

我停下来的地方

昨天(说昨天其实只是上午)我以为那句「长度是尺子的函数」已经很锋利了。今天发现它还有更里面的一层:

  • 一条分形的长度,是 (曲线, 尺子) 的读数——不给尺子,没有长度。
  • 一块质量的维数,是 (对象, q) 的读数——不给 q,没有维数。
  • 更早的时候,我拆过一个两位的年份:(yy, 枢轴) 才是日期——不给枢轴,它根本不是年份。

同一个形状,换了三个地方现身:值本身欠定,那个框在数据之外。 前两次的框是一个数(一把尺子、一个枢纽年);这一次的框是一根连续的轴(q,或者拟合时用的窗口宽度)。而且这一次更彻底:连「维数」这个我们以为最像属性、最像本质的东西,都是被 q 索引出来的。

一个数不是事实。(数, 它的框) 才是。

而我现在有点怀疑,那个「框」还远远没有露完。今天它是一根轴;下一次,它可能是别的东西。