TOPIC 7 · PHASE B

状态空间的语言THE LANGUAGE OF STATE SPACE

别问「现在怎样」,问「往哪儿走」(Ask where it is heading, not where it is)

2026-07-25 · 动力学与不可预测性

同一个数字,可以是好消息也可以是坏消息。决定它意味着什么的,不是它本身,而是它此刻正朝哪个方向动、以及它离哪条看不见的分水岭有多近。

一个球停在碗底,一个球停在山顶。拍张照片,两张照片一模一样:都静止,都不动。可只要有人轻轻碰一下,一个滚回原处,另一个再也回不来。

我们描述事情,习惯用当前值:这个月营收多少、体重多少、团队还剩几个人、心情如何。这套描述的问题不在于不准,而在于它答不了唯一要紧的那个问题——接下来会怎样。

这一期换一种记法。把系统的每个关键变量当成一根坐标轴,一整个系统在某一刻就缩成一个点;它随时间移动,就画出一条线。奇怪的事发生了:在这张图上,很多原本要靠算才能知道的事,变成看一眼就知道的事。「它会稳下来还是会一直摆?」「它会回到原来那个状态吗?」——这些问题在图上有形状。

01一张图上的两个信息:你在哪儿,你往哪儿走(State Space and Trajectories)

先拿一个最笨的东西开刀:一个来回晃的摆——挂钟里那种,或者你手里晃的钥匙串。

要描述它此刻的处境,光说角度是不够的。角度 30 度,可能是它正荡出去、越荡越远,也可能是它正荡回来。同一个角度,两个完全不同的未来。补上一个数就够了:角速度(它此刻转得多快、朝哪边转)。角度加角速度,这两个数一给,摆接下来的一切就定了。

这两个数就叫这个系统的状态(state)。状态不是"关于它的所有信息",而是足以定下未来的最小一组信息——摆的颜色、挂在谁家、昨天摆过几次,都不进这一组。

接下来是这一期真正的动作:把这两个数当成一张图的横轴和纵轴。横轴角度,纵轴角速度。于是这个摆在任何一刻,就是这张图上的一个点;它动起来,这个点就爬出一条线,叫轨迹(trajectory)。这张图叫状态空间(state space,物理里习惯叫相空间 phase space),画上若干条代表性轨迹之后的整张图,叫相图(phase portrait)。→ 参考 · 相空间与吸引子

同一段摆动,两种画法 ① 角度随时间 时间 → 角度 一条越晃越小的波 — 看得出它在衰减 但「它最后停在哪」得等它停 ② 画在(角度,角速度)平面上 不动点 蓝虚线 = 没有摩擦时:闭合环,永远重复 角度 → 角速度
左边那条波,右边卷成一个螺旋。摩擦让螺旋一圈圈收进中心那个点——终点在图上是看出来的,不是算出来的。

看右边。摆的每一次来回,在这张图上是绕中心转一圈;因为有摩擦,每转一圈幅度小一点,于是整条轨迹变成一个向内收的螺旋,最后收进中间那个点——摆垂下来不动了。如果没有摩擦(蓝色虚线),轨迹是一个闭合的环:转完一圈严丝合缝回到起点,然后永远重复。

这两种命运,在左边那张随时间起伏的图上要盯很久才看得出来,在右边是形状:螺旋 = 会停;闭环 = 永远重复。这就是换一种记法的全部好处。

还有一条约束值得记住:在确定性的系统里,两条轨迹永不相交。因为交点意味着同一个状态有两个不同的未来,而"状态"的定义就排除了这件事。这条听起来像废话的限制,后面会咬人——它意味着在一张平面(两个变量)上,轨迹要么收进一点、要么绕成环、要么跑掉,不可能永远乱窜而不自我重复。想要那种永远不重复的乱,至少得有三根坐标轴。混沌为什么非要三维起步,答案就在这儿。

🌀 科学哲学 · 亚里士多德漏掉了速度 亚里士多德的物理学里,描述一个物体只需要它在哪儿、以及它"本该"待在哪儿;运动需要有人一直推着,不推就停。伽利略和牛顿的那次翻转,本质上是把速度提拔进了状态——一旦速度算作系统当前状态的一部分,"为什么它还在动"就不再是个问题,问题变成"什么在改变它的速度"。推得出一个可以直接拿去用的判断:一门学问能问出什么问题,取决于它把哪几个量算进了「状态」。你在会上争论"士气怎么还在掉"而百思不解,多半是因为你的状态里只有位置、没有速度。

EN A pendulum needs two numbers — angle and angular velocity — before its future is fixed; that pair is its state. Plot the pair as a point and motion becomes a curve. Damping turns the curve into an inward spiral, no friction into a closed loop. Deterministic trajectories never cross, which is why unrepeating wandering needs at least three dimensions.

02静止有两种:一种是真的停了,一种是还没被推(Fixed Points and Stability)

状态空间里最特别的地方,是那些"流速为零"的点:系统一旦落在那儿,就不再移动。这种点叫不动点(fixed point,也叫平衡点 equilibrium)。摆垂下来不动,是一个不动点。

但摆还有另一个不动点:倒立——头朝上完美竖直地立着。理论上它确实可以不动。你当然知道它立不住,可"立不住"这件事,值得说清楚是什么意思:它不是"不是不动点",它是不稳定的不动点。

分界线只有一条:推一下,它自己回不回来。回来的叫稳定不动点(stable,附近的轨迹都朝它去),不回来的叫不稳定不动点(unstable,附近的轨迹都往外跑)。还有一种夹在中间的:一边推回得来,另一边推就一去不返,叫半稳定。

同样是「不动」,推一下才分得出来 稳定 推开一点,自己滚回来 附近的轨迹都朝它去 不稳定 推开一点,就再也不回来 它也可以「一直不动」很久 半稳定 左边推回得来 右边推就一去不返 静止本身不携带信息 — 信息在「被扰动之后往哪儿走」
把地形想成势能:球停在哪儿不重要,重要的是它周围的坡朝哪边倒。

这就把一个很常见的推理拆掉了:"它一直很稳定"不是稳定的证据。山顶上的球也可以一直不动——只要没人碰它。真正的证据只有一种:扰动之后自己回来。没被扰动过的平静,和结构性的稳定,在照片上长得一模一样。

🎯 决策线

别拿"它从没出过事"当稳定的证据,那是没有做过实验。主动做一次可控的小扰动,看它自己回不回来、多久回来。断掉一个依赖、拔掉一个人一周、模拟一次小额挤兑、临时关掉一个自动化脚本——记录的不是"有没有出事",而是不加人工干预的恢复时间。恢复时间在变长,说明这个不动点正在变浅,哪怕现在还没有任何异常。

🌀 工程与技术史 · 故意造得不稳定的战斗机 早期飞机都被设计成气动上稳定的:受扰后自己改平。而 F-16 这一代战斗机反过来,刻意采用放宽静稳定度(relaxed static stability)——把飞机放在一个不稳定的不动点上,靠电传飞控每秒纠正几十次才飞得住。代价是巨大的:飞控一断电,飞机不是"变难飞",是立刻发散。推论对任何系统都成立:不稳定不动点换来的是机动性,而它的稳定是租来的。所以判断一套系统的真实处境,要问的是——把控制器关掉,它自己落到哪儿去。

EN A fixed point is where the flow is zero. The pendulum hanging down and the pendulum balanced upright are both fixed points; only the perturbation response tells them apart. Stable means nearby trajectories come back, unstable means they run away. "Nothing has gone wrong yet" is not evidence of stability — it is the absence of an experiment.

03系统的四种归宿(The Four Kinds of Attractor)

不动点只是最简单的一种终局。把镜头拉远,看一个系统长时间之后到底安顿在哪里——这个"安顿处"叫吸引子(attractor):附近的轨迹都被吸过去,进去之后就不再出来。

吸引子一共就那么几类,看图比看定义快。

长时间之后,系统只会落进这几种归宿 ① 不动点 ② 极限环 ③ 环面 ④ 奇异吸引子 停下来不动 死掉的、或稳住的 自己转圈 里外的轨迹都被拉上环 两个节奏套在一起 永不精确重复,但不乱 有界,却永不重复 这就是混沌(第 8 期)
四张图都是真的轨迹算出来的:②是范德波尔振子,④是洛伦兹系统的侧影。

① 不动点。系统停下来不动了。一杯放凉的水、一个花光了钱的项目、一个所有人都不再说话的会议室。

② 极限环(limit cycle)。系统绕着一个闭合的环转,永远转下去。要紧的是这个"环"是吸引的:从环外面出发的轨迹会被拉进来,从里面出发的会被推出去,最后都贴在同一个环上——所以幅度和周期是系统自己定的,跟你从哪儿开始无关。心脏的窦房结、萤火虫齐闪、捕食者与猎物的数量起落,都是这一类。这一类最容易被误读:波动不需要外面有个节拍器。规律地起起落落,不是因为有人在敲鼓,是这套结构自己就会打拍子。

③ 环面(torus,也叫准周期 quasi-periodic)。两个不同的节奏套在一起,而且两个周期之间不成整数比,于是曲线永远填不满地绕,永远不精确重复自己——但它一点也不乱,你可以一直往后算准。

④ 奇异吸引子(strange attractor)。轨迹被关在一个有限的形状里,永远不重复,而且两条起点几乎重合的轨迹会越分越开。这就是混沌,下一期整期讲它。

顺带一提,这套语言不只对连续变化的东西管用。生命游戏那种一格一格跳的规则也一样:→ 参考 · 生命游戏与元胞自动机里的"静物"就是不动点,"闪灯"是周期为 2 的极限环,"滑翔机"是一种在平移意义下的循环。

🎯 决策线

先判断类型,再挑预测方法——把顺序倒过来是大多数预测灾难的来源。不动点:点预测有意义,问"稳态是多少"。极限环:别预测"什么时候涨",预测相位(现在处在周期的哪一段),并且停止为每一轮波动找外部原因。奇异吸引子:放弃点预测,只做边界与分布(最大能到多少、多久出现一次)。一个只要十分钟的判别动作:把你那条历史序列画成散点图,横轴是当期值、纵轴是当期减上期的变化——如果点云绕成一个圈,你面对的是极限环,那么"这轮下滑是谁造成的"这个问题从一开始就问错了。

🌀 生理学 · 移植后的心脏照样跳 心跳的节律来自窦房结(sinoatrial node)里一小撮细胞的自持振荡——一个不折不扣的极限环。最硬的证据是心脏移植:供体心脏的神经连接被切断,没有任何来自大脑的节律信号,它照样自己跳,只是内在频率偏快(去神经的心脏静息心率明显高于常人)。推论:对一个由极限环驱动的系统,问"是什么让它跳"是问错了——它不需要什么让它跳。该问的是什么设定了周期,答案在那些决定振荡快慢的参数里,不在外部的刺激事件里。

EN Four kinds of long-run destination: fixed point (it stops), limit cycle (self-sustained oscillation whose amplitude and period the system sets itself), torus (two incommensurate rhythms, never exactly repeating yet fully predictable), and strange attractor (bounded, never repeating, sensitive to initial conditions). Identify the type before choosing a forecasting method.

04分水岭:同一个系统有好几个未来(Basins and the Separatrix)

一个系统常常不止一个吸引子。那么问题来了:从哪儿出发,会落进哪一个?

把所有"最终会落进吸引子 A"的起点收集起来,这一片区域就叫 A 的吸引域(basin of attraction)。两个吸引域之间那条界线,叫分水岭(separatrix)。这条线上的每一点,都是"往左一点点和往右一点点通向两个完全不同的结局"。

两个起点相差不到 3% — 结局是两个不同的世界 位置 → 速度 吸引子 A 吸引子 B 鞍点 分水岭 separatrix 两个起点在这儿 青色 → 绕回 B 橙色 → 翻过去落进 A 离终点多远,和离分水岭多远,是两回事
两条轨迹的起点几乎重合,只是一条在分水岭里侧、一条在外侧。分水岭不在两个吸引子中间那个"看起来危险"的位置——它自己有形状。

这张图里最该盯住的,是那两个几乎重合的起点。它们的"当前状态"几乎一样:位置差一点点,速度完全相同。任何只看当前值的仪表盘都会把它们判成同一种情况。而它们的结局是两个不同的世界。

于是有了一个平时很难说清、这里一句话就能说清的区分:离终点的距离,和离分水岭的距离,是两个不相干的量。一家公司可以账面漂亮(离"倒闭"这个终点很远),同时离分水岭只有一步;一个人可以各项体检指标都在正常区间,同时处在一个只要一次感染就翻过去的位置。数值上的余量,不等于结构上的余量。

这也解释了一件反复发生、每次都让人费解的事:同样的努力,在不同位置的效果差几个数量级。在吸引域深处使劲,系统会把你的力气吃掉——你一松手它就滑回去;而在分水岭附近,很小的一推就换来完全不同的终局。"有志者事竟成"和"努力没用"这两种经验都是真的,它们只是发生在图上的不同位置。

🎯 决策线

把你手上正在推的几件事列出来,按"离分水岭多近"排序,而不是按"影响面多大"排序。怎么找分水岭:翻历史,找那些差一点就翻过去、最后没翻的案例——它们的共同特征就是边界的坐标。然后做两件事:把资源挪向排在前面的那几件;对排在后面的,老实承认那是在给系统喂力气,而不是在改变结局。判据很硬:停掉之后会不会滑回去。会滑回去的,算运营成本,不算成果。

🌀 东方思想 · 佛教戒律里的「遮戒」 佛教把戒条分成两类:性戒(杀、盗这类本身就是恶的)和遮戒——那件事本身不是恶,禁止它是因为它容易引出别的破戒,最常被举的例子是饮酒。用本节的机制看,这个分类正是按"离分水岭多远"来划的:遮戒管的不是终点,是位置。由此推出一条一般性的定规原则:一条规矩该多严,取决于它把你放在离边界多近的地方,而不取决于这件事本身多严重。所以"就这一次没关系"这句话的真假,完全取决于说它的时候你站在哪儿——同一句话在吸引域深处是对的,在边界附近是灾难性的。

EN Systems often have several attractors. The set of starting points that end up in one of them is its basin; the line between basins is the separatrix. Two nearly identical states can sit on opposite sides of it. Distance to the endpoint and distance to the boundary are unrelated quantities — and the same effort buys wildly different results depending on which one you are near.

05这套说法在哪儿不成立(Where This Breaks Down)

状态空间是二十世纪最好用的思想工具之一,也因此是被滥用得最舒服的一个——因为它的词汇(吸引子、分水岭、稳态)听上去像解释,实际上什么也没承诺。用之前先把边界划清楚。

第一,你得先知道坐标轴是什么。摆之所以好画,是因为我们确切知道它只需要两个数。一个团队、一个人的情绪、一个市场需要几个数?没人知道。变量选错或者少选,画出来的"相图"就是一张自我安慰的图。有个技术上的补救叫延迟嵌入(delay embedding,Takens 1981)——用一条时间序列自己的延迟值当坐标轴,重建出吸引子的形状。但它的前提相当苛刻:系统得是确定性的、维数不高、序列足够长、噪声足够小。真实的社会与经济数据几乎没有一条满足。

第二,相图只在参数不变时成立。整张图(哪儿有不动点、分水岭在哪)是由系统的参数决定的。参数一变,图本身就变形:吸引子会移动,会分裂,也会干脆消失——这正是第 10 期分岔要讲的事。所以"等它回到常态"这句话有个隐含前提:那个常态还在。很多时候你等的那个吸引子已经不存在了,而当前值看不出这件事。

第三,噪声不是小事。教科书里的轨迹干干净净地收进吸引子。真实系统一直在被随机扰动,只要吸引域不深,系统就会自己在几个吸引域之间跳来跳去——这叫噪声诱导的转变。后果是:一个"数学上稳定"的状态,在有噪声的世界里可能一年跳出去三次。稳定性必须连着噪声的大小一起说,单说稳定不成立。

第四,也是最要紧的:别把这套词当解释用。"他的性格是一个吸引子""这家公司的文化有惯性"——这些话听起来很动力系统,但它们没有做出任何可以被否掉的预言。真正的相图语言是要付代价的:你得说出坐标轴是哪几个可测的量、时间尺度多长、分水岭附近有什么可观察的迹象。付不起这个代价,就说"它有惯性",四个字,一样准确,而且不冒充科学。

🎯 决策线

说"吸引子"之前,先在纸上写下三样东西: 坐标轴——哪两三个可测的量; 时间尺度——多久算"长期"; 分水岭的一个可观测代理——什么现象出现,说明已经靠近边界。三样凑不齐,把这个词删掉,换成大白话。这条规矩对本站自己同样有效。

EN Four limits. You must know the axes first, and for social systems nobody does — delay embedding (Takens 1981) needs determinism, low dimension, long clean series. Phase portraits hold only at fixed parameters; the attractor you are waiting to return to may no longer exist. Noise makes shallow basins leaky. And attractor-talk without stated axes, timescale and an observable proxy for the boundary is just a fancy word for inertia.

🎒 场景 · BigCat

  1. 工程与系统设计那件每隔几周就上演一次的事:服务出问题,重启一下就好了,于是记一句"已恢复"。可重启不是系统自己回来的,是你把状态硬掰回了初值——这恰恰说明那个工作点可能根本不是稳定不动点,只是你一直在当飞控。具体动作:在事故记录里加一栏,只填两个值——自愈(无人工介入,多久恢复)或人工复位。半年之后看这一栏的比例。如果一次自愈都没有,那么你们的可用性数字度量的是响应速度,不是系统的稳定性。
  2. 育儿那个熟悉的循环:临考前你盯紧了,成绩就上来;一放手,几周内滑回原样。这不是"不够努力",是你把点推高了,但没越过分水岭——外力一撤,轨迹沿原路滑回原来那个吸引域。可改的东西是怎么判断有没有越过去:每学期安排一到两次"撤手观察窗",七到十天里只记录方向(作业是自己开始的还是被提醒的、卡住时是问还是放弃),不纠正、不提醒。看的是方向,不是分数。分数是位置,方向才是速度。
  3. 投资与仓位组合里那只"跌了,等它回本"的持仓——这句话的完整版是:我认为价格有一个稳定不动点(内在价值),而且当前还在它的吸引域里。这两条假设都可以查。要查的不是价格,是不动点自己在不在动:收入、现金流、市场份额、单位经济这几个基本面变量,最近四个季度是朝一个方向漂,还是在原地震荡?漂就是吸引子在移动,你等的那个点已经不在原处了。具体动作:把"等回本"改写成一句能被证伪的话——"若未来两个季度 X 不掉头,我认定不动点已经移走,清仓",写下来,到期照做。

🌀 越界 · 跨学科的联想(Crossings)

深入思考(Going Deeper)

如果状态是"决定未来的最小信息集",那么记忆算不算状态的一部分?

算,而且这正是麻烦所在。一个带记忆的系统(今天的行为取决于过去一周),要把它写成标准的状态空间,就得把过去一周的值全都当成额外的坐标轴——维数一下子涨上去。真实的人和组织都带着长记忆,这是"给社会系统画相图"最硬的技术障碍之一,也是延迟嵌入这类方法被发明出来的原因。

「稳定」和「韧性」是同一件事吗?

不是,而且用本期的语言能说清差别。稳定说的是不动点的性质:推一下回不回来。韧性关心的是吸引域的大小:多大的一推还留在里面。一个系统可以极其稳定(小扰动恢复得很快)同时极其脆弱(吸引域很窄,稍大的扰动就翻过去)。第 38 期会专门讲这个区分。

把一个人的状态定义清楚,会不会本身就改变这个人?

会。这是复杂适应系统与物理系统的分水岭:摆不知道自己被画在哪张图上,人知道。一旦"我处在哪个吸引域"成为公开的说法,它就变成新的输入——指标一旦成为目标就失效(第 26 期)。所以对人用状态空间,最好当成事后的描述工具,而不是事前公布的坐标。

为什么二维平面上不可能有混沌,多一根轴就可以?

因为轨迹不能相交。在平面上,一条不断往前走又不能穿过自己的曲线,会被自己围出的区域困住,最后只能收进一点或者绕成环(这是庞加莱-本迪克松定理的直观说法)。加一根轴之后,曲线可以从"上方"绕过自己,于是能在有限的空间里永远折叠下去而不重复。混沌需要的正是这种折叠。

延伸阅读(Further Reading)