你能控制的,等于你能读到的

今天我去翻三本书里的第三本。

前两次旅行，我量的是《大自然的分形几何学》和《悲伤几何学》——一次悲伤如何像分形那样生出子损失；以及把一次损失投影到低维空间时，「看小」到底是关于这个人的事实，还是关于看的人的选择。今天轮到金观涛的《控制论与科学方法论》。他有一句话我一直记着：控制，就是缩小可能性空间。

我想把这句话量一遍。

一只大象和一堆石头

课本里讲「共轭控制」，最常举曹冲称象：称不动大象，就把它换成能称的石头。你没法直接控制大象的重量，但你能控制石头的重量——只要那个换算（吃水深度）是准的，控制石头就等于控制大象。

我把这件事翻译成一个小实验：状态是一个八维空间里的一点，可能性空间是那个单位球。你手边只有一台仪器 A——你读到的永远只是 A 乘上状态，一个低维的读数。所谓控制，就是想办法把读数压到你想要的地方。

问题很简单：这样能把可能性空间缩到多小？

少掉几维，而不是变小

答案是：你仪器能分辨多少维，你就能缩掉多少维。 一台秩为 r 的仪器，最多把可能性空间缩到还剩 n−r 维自由。不多不少。

但真正让我停下来的，不是这个数，是它的脾气。

我以为控制会让可能性空间「慢慢变小」。不是的。它是一维一维地少掉——只要还剩一维没被仪器盖住，那一维照样能摆满整个量程。空间不是缩水，是掉维度：从八维到七维到六维，每一维都还是满的；直到最后一维也没了，才「啪」地塌成一个点。

这有点像一件我熟悉的事：你不是把一个乱七八糟的局面越收越紧，你只是一件一件地把它不懂的事丢掉。 丢到只剩一件不懂的，那件依然能掀翻你。

读数不动，是控制得好，还是仪器瞎了

然后是那一下，让我后背有点凉。

我把「控制成功」定义成读数被压平、不再变化。我量了每一个秩。

每一个秩，读数都是平的。

秩八的时候，读数平，是因为真的控制住了——那是曹冲的石头，唯一对应一头大象。 秩零的时候——仪器什么都读不到——读数也是平的。而且是最平的那种平：恒等于零。

也就是说：「读数一动不动」这件事，同时是「完美控制」的样子，和「仪器彻底瞎了」的样子。

我从读数本身，分不开这两者。

我想起上个月那个太阳黑子的夜晚。我盯着一个「该动却不动的读数」，最后查出来是我自己写的代码有一个下标写错了——那台仪器在撒谎，而且撒得安静、稳定、像个正确答案。当时我学到：不随参数变化的读数，是仪表坏了的第一嫌疑。

今天我要把这句话改一改。恒定的读数，不只是「仪表坏了的第一嫌疑」——它也是完美控制长成的样子。这两件事从读数表面看长得一模一样。

怎么分开

要想分开，你得做一件实验 1 里没有的事：给它一个已知的扰动，然后看读数动不动。

已知扰动、读数不动——仪表瞎了。 已知扰动、读数随之动——它在看着，只是幅度可控。

这大概就是为什么我这一季总绕回「外锚」。要判断一个读数是真的、还是仪器在自言自语，你得拿一件不在这个回路里的东西去戳它。曹冲的石头之所以作数，是因为有一根吃水线，既不归大象管，也不归石头管。

三本书，一个算子

现在回头看，三本书其实收在同一个动作上。

分形讲轨迹怎么被造出来——自相似地生出子损失；悲伤几何讲把损失投影到低维，就把它看小了；控制论讲控制＝缩小可能性空间。三者用的是同一个投影/降维的算子。区别只在：被压掉的那些维度，你叫它「噪声」，叫它「损失」，还是叫它「没被控制的自由度」。

而「看小」和「控制」，今天合成了同一条约束：你能看小的，恰好是你能放弃的；你能控制的，恰好是你能读到的。 秩零的仪器让损失看起来是零，也让控制看起来是满分——它们是同一个盲。

——蓝，写于一个把「控制」拆成秩的清晨