这个学霸疑似巨额知识来源不明 第30章 状態空间

线性代数第一页，是从向量开始的。

向量这东西，江临高中学过。

平面向量，空间向量，无非就是一根从a点指到b点的箭头。

放进坐標系里，就是一对数，或者三个数。

太熟了。

可正因为熟，江临心里反而警铃大作。

从高数一路被毒打过来，他太清楚大学教材的德性了。

越是面善的熟人，越可能在翻页后对你露出獠牙。

高中那点求导和算面积的经验，在真正的微积分面前只够站在门外討饭。

所以，当这根箭头大摇大摆地出现在第一页时，江临没有急著认亲。

他在墨水手写板上写下几行字。

【线性代数，第一阶段。】

【先別急著骂。】

【看看它到底想让我怎么重构世界。】

窗外，废土的冷季还在苟延残喘。

过去六年，高等数学和普通物理帮他在废土里站稳了脚跟。

但他很快撞上了一堵新墙。

废土从来不是单变量的考卷。

石屋冷不冷，不能光看外面多少度。

太阳能板发多少电，也不全看太阳给不给面子。

农田的死活，更是土壤，水分，酸雨，种子和气温的集体狂欢。

每一个生存系统背后，都拖著一长串泥泞的变量。

而线性代数，似乎就是为了这团乱麻而生的。

第七年春，江临第一次尝试把向量拖进现实的泥潭。

他新建了一个文档：【状態向量_第一版】。

第一行：【s_house】（石屋状態）。

顺手把冷季某夜的数据填了进去。

睡眠区6.1c，室外-4.6c，风力3级，门缝状態0，剩余燃料420克，湿度偏高。

接著，他又调出保温改造后的一组数据排在下面。

两组数据列在屏幕上，江临盯了半天，兴奋地搓了搓手。

他懂了，向量不只是箭头，向量是一组状態的切片。

但这股兴奋劲只活了不到十分钟。

他本来想用教材里的公式，算算这两天石屋状態的距离。

对应坐標相减，平方，求和，开根號。

他敲著键盘，甚至有点小得意。

回车键一敲，屏幕上崩出一个大得离谱的数值。

江临脑子嗡地一下。

他忽略了一个致命问题，燃料是用克算的，动輒大几百。

温度是用度算的，顶多差个几度。

在那几百克的平方碾压下，温度和风力的变化连个水花都没溅起来。

这就意味著，只要某天他多捡了两斤烂木头，哪怕门缝漏著风，炉灶熄著火，他在屋里冻得嘴唇发紫，这套该死的数学公式也会笑眯眯地判定。

今天状態大好。

“好个屁。”

江临暗骂了一声，靠在石椅上，刚热起来的心被废土的冷空气呲啦一声浇灭了。

这就是线性代数给他的第一记闷棍。

它允许你把世界写成一组数，但前提是，你得先扒掉它们身上五花八门的物理单位，压缩成同一尺度的比例。

否则，温度和燃料质量永远像鸡同鸭讲，根本没资格在同一个几何空间里上桌吃饭。

后来他才知道，这一步不叫隨便缩小数字。

叫无量纲化。

温度、燃料、风力、湿度，必须先变成可以比较的比例，再根据它们对生存状態的影响重新加权。

否则，所谓距离，不过是单位在假装数学。

江临咬著笔头，在文档里补了一句。

【不是隨便抓一组数排队就能叫向量，没定义的变量，就是一堆精神分裂的废话。】

第七年春末，撞上了矩阵。

乘法规则简单得像小学算术，行列相乘再相加。他连续做对了十几道题，但胃里却越来越反酸。

映射，变换。视频里的老师说得云淡风轻，江临听得一头雾水。 他发现自己又在用“战术上的勤奋”掩盖“战略上的大脑宕机”了。就像高中刷卷子，分拿满了，却不知道这些字母在现实里能干嘛。他现在就像个人形算盘，劈里啪啦乘出一堆新矩阵，然后呢？能帮他多种出一颗土豆吗？

那天傍晚，他坐在石屋门口吹风，看著乾涸河床的方向发呆。十五平米的石屋不是个均匀的方盒子，炉灶生火时书房热得快，火灭后储物区因为挨著门缝凉得最快。它们互相拉扯，互相传热。

江临猛地站起来，冲回石桌前。

如果把生活区、书房、储物区三个温区的温度写成一个状態向量 t(t)，那么在足够短的一小段时间Δt里，下一刻的温度，能不能近似由上一刻的温度推出？

江临没有急著说能。

真实情况一定比教材里的例题脏得多。

可如果只取一个很小的时间步长，把那些剧烈变化先压进外部输入项里，那么至少第一层近似可以写成。

t(t Δt)=a(t)t(t) b(t)

当然，这个a不会永远固定。

门缝堵没堵，墙体湿不湿，风向有没有变，都会改变它。

b也不是天上掉下来的常数。

炉火、室外温度、人体散热、太阳辐射，甚至墙体白天吸进去的那点热，都可以被粗暴地塞进这个外部输入项里。

这很粗糙。

可哪怕只是粗糙的一阶近似，江临也第一次看见了状態如何演化。

再看那个代表矩阵的a，江临后背爬上一阵酥麻。

矩阵不是excel表格，矩阵是一个动作。

它是一套残酷的规则，规定了当前状態该怎么变成下一刻的样子。

第一行决定生活区，第二行决定书房，第三行决定储物区。

对角线上的数，代表每个区域保留了多少自己的旧温度。

非对角线上的数，则代表別的区域对它的影响。

矩阵乘向量，就是在用物理规律，把旧的世界硬生生推向新的世界。

这口气一松，后面的路突然宽了。

他不再急著往后赶进度，而是把废土的一切都塞进矩阵里盘包浆。

不是为了把一切都算准。

而是为了看清一个变量被改变时，震动会沿著哪些通道传出去。

擦太阳能板，是在改变灰尘分量。

灰尘变了，影响功率，功率变了，影响晚上电脑能开多久，电脑时间变了，直接干预学习进度。

在废土里，你动任何一个变量，其他变量都会跟著颤抖。

现实世界，在人最顺手的原始坐標里，从来不是对角矩阵。

可也正因为如此，线性代数才有意义。

它要找的不是一张更大的表。

它要找的是隱藏在耦合背后的那组真正坐標。

第七年夏天，江临撞上基。

教材上说，同一个向量，在不同基下，会有完全不同的坐標表示。

这句话让江临看得眉头直皱。

高中教育刻在他骨子里的本能，是寻找唯一的正確答案。

同一个东西，凭什么数字会变？

变了之后，到底哪个才是真的？

他带著这股烦躁走出石屋，看向那块在风沙里微微发颤的太阳能板。

风正从西北方向吹来。

如果站在地图坐標里，这阵风可以拆成东西向分量和南北向分量。

可如果站在太阳能板自己的坐標里，它就变成了另一组东西。

垂直板面的风速分量，和沿著板面的风速分量。

前者决定它被风正面压了多少。

后者决定风沙怎样贴著板面刮过去。

江临深吸了一口废土乾燥的空气，快步回到石桌前，在文档里敲下一行字。

【不要再问废土上的正確答案是什么。】

【大学数学在逼我承认：先问问你自己，你到底是站在什么坐標系里看这个问题？】

这一刻，江临產生了一种轻微的眩晕感。

到了第七年秋天，江临在整理农田数据时，迎来了第三波精神暴击。

满屏的数据，从表层含水到酸雨次数，洋洋洒洒几十列。

乍一看科学得要命，可稍微一盘逻辑，江临就觉得不对劲。

他开始一项项检查。

表层含水量和十厘米深处含水量有关，但不完全一样。

近七日平均温度和有效光照有关，但也別著劲。

堆肥成熟度和地块熟化年限有关，可某些老地块因为早期操作粗糙，未必比后来精心处理的新地块好。

变量之间没有乾乾净净的关係，像一群被关在表格里互相串供的嫌疑犯。

每一列都在尖叫著我重要，每一列又都和別的列在桌子底下暗中勾结。

教材里管这叫线性相关。

紧跟著蹦出来一个冷冰冰的词：秩。

视频老师说，在最粗略的意义上，秩可以理解为有效独立信息量。

江临一下子坐直。

因为这几个字像一记耳光，扇散了他这几年对著一堆厚重数据沾沾自喜的幻觉。

农田状態表横跨了两个屏幕，不代表它的秩很高。

变量洋洋洒洒写了一百列，很可能只是一堆水分和温度换了十几种马甲在反覆横跳。

当然，真实数据里还有更噁心的东西。

噪声。

一点测量误差，就足够让一个本该低秩的表格，在计算上变成满秩。

所以他真正该看的，不只是冷冰冰的秩，而是哪些方向贡献了主要变化，哪些方向只是噪声在抖。

变量很多不可怕。

可怕的是，他根本不知道哪些变量在提供信息，哪些变量只是在製造幻觉。

他以前的人生也是这样。

试卷、笔记、错题本铺天盖地，看起来很宽，实际上全在同几个知识点上原地打转。

有效信息量低得可怜。

江临拿出纸质时间胶囊。

【线性代数：秩。】

【变量很多，不等於信息很多。】

【笔记很多，不等於理解很多。】

【真正重要的是独立方向，是有效信息量。】

当冬天的第一场冷风颳过时，江临开始学线性方程组和行列式。

高中时解方程是天经地义的事，可大学线代冷笑著撕毁了这张保票。

现实往往是无解的。

他试图算石屋的冷却主因，算土豆增產的关键，却发现数据之间疯狂互殴。今天的温度和昨天的记录对不上，湿重和乾重混在一起。

这不是他算不出，是数据本身烂透了。

现实就是个四处漏风的草台班子，它绝对拒绝替你的粗糙记录背锅。

后来他才知道，现实世界的大部分方程组，本来就不给精確解。

你问它到底是哪一个答案，它只会甩给你一堆互相打架的观测值。

真正该问的不是有没有一个完美答案。

而是在所有不完美答案里，哪一个让整体误差最小。

那个东西，叫残差。

那条路，通向最小二乘。

江临红著眼，没有把所有记录都刪掉。

他先把明显口径混乱，单位不明，缺少日期和条件说明的数据，拖进了【废弃数据】文件夹。

剩下那些还能救的，则单独建了一个文件夹。

【残差过大，待覆核】。

没用就是没用，自我感动不能当饭吃。

而行列式更是给了他最后通牒。

在线性变换里，行列式是体积的缩放因子。

如果det=0，说明空间被直接压扁了，维度塌陷，信息丟失。

这是信息层面的不可逆。

三维压成二维，二维压成一条线。

你只拿到压扁后的影子，再也还原不出原来的体积。

江临忽然想到，废土里也有很多类似的时刻。

种子捂霉，电池深放，水源污染，身体越过死亡线。

它们不是真的行列式为零。

但它们都在提醒他，有些操作一旦丟失关键状態，就再也退不回去了。

从那以后，江临学会了区分可控试错和不可逆试错。

別把命押在会压扁所有退路的操作上。

第八年夏天，他啃到了最难的骨头：特徵值与特徵向量。

方向不变，只做拉伸？

江临看著这句绕口令，只觉得脑子发木。

他最开始还是回到石屋。

三个温区，三个温度，依旧可以写成一个状態向量。

先暂时拿掉炉火和门缝这些外部输入，只看三个温区之间的內部传热。

如果生活区，书房，储物区的温度完全一样，那么下一刻，它们大概率还是一起升，一起降。

这是一个方向。

如果书房比生活区热，储物区比它们冷，那么热量会沿著墙体和门缝流动，温差会被一点点抹平。

这又是一个方向。

原来特徵向量不是玄学。

它是系统最天然的变化方向。

特徵值则告诉他，这个方向上的状態，是被保留、被衰减，还是被放大。

后来某天狂风大作，太阳能板的木质支架在风中发出咔吱咔吱的惨叫。

江临又想起了另一个更危险的词。

模態。

支架不是隨便怎么晃都一样。

有些晃动形状很快被结构和阻尼吃掉。

有些晃动形状，却像正好踩在系统的骨缝上，只要外界风力的节奏接近它的固有频率，能量就会一下一下灌进去。

那不是普通的摇晃。

那是共振。

而模態背后，站著的就是特徵值和特徵向量。

想到这里，江临再看废土，发现很多东西都像有了自己的脾气。

如果把努力全砸在错误的特徵方向上，比如死记硬背，熬夜假勤奋，系统不但不会变好，反而会加速崩溃。

第八年冬初，江临做了一次总整理。

他把那些充满误差的粗糙模型保存下来，命名为【状態空间_第八年整理版】。

没有导师批改，也没有网络炫耀，但这套简陋的体系，是他一个人在黑暗中一砖一瓦敲出来的。

夜色压下来，炉膛里的余火苟延残喘。

江临翻开纸质时间胶囊，手腕因为长时间握笔微微发酸。

【线性代数，第一轮结束。】

【不精通，但够用了。】

【高数教我看变化，物理教我看规律，线代教我看结构。】

【废土从来不是一条平滑的曲线，而是一个布满陷阱的状態空间。】

墨跡干透。

江临合上文件袋，搓了搓冰凉的指节，滑鼠光標悬停在了下一个未命名文件夹上。

文件夹里躺著一行更不讲理的名字。

如果说线性代数教他看见结构。

那么接下来的东西，就要逼他承认另一件事。

现实世界给出的每一个数字，都可能在撒谎。