第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，说明空间被直接压扁了，维度塌陷，信息丟失。
    这是信息层面的不可逆。
    三维压成二维，二维压成一条线。
    你只拿到压扁后的影子，再也还原不出原来的体积。
    江临忽然想到，废土里也有很多类似的时刻。
    种子捂霉，电池深放，水源污染，身体越过死亡线。
    它们不是真的行列式为零。
    但它们都在提醒他，有些操作一旦丟失关键状態，就再也退不回去了。
    从那以后，江临学会了区分可控试错和不可逆试错。
    別把命押在会压扁所有退路的操作上。
    第八年夏天，他啃到了最难的骨头：特徵值与特徵向量。
    方向不变，只做拉伸？
    江临看著这句绕口令，只觉得脑子发木。
    他最开始还是回到石屋。
    三个温区，三个温度，依旧可以写成一个状態向量。
    先暂时拿掉炉火和门缝这些外部输入，只看三个温区之间的內部传热。
    如果生活区，书房，储物区的温度完全一样，那么下一刻，它们大概率还是一起升，一起降。
    这是一个方向。
    如果书房比生活区热，储物区比它们冷，那么热量会沿著墙体和门缝流动，温差会被一点点抹平。
    这又是一个方向。
    原来特徵向量不是玄学。
    它是系统最天然的变化方向。
    特徵值则告诉他，这个方向上的状態，是被保留、被衰减，还是被放大。
    后来某天狂风大作，太阳能板的木质支架在风中发出咔吱咔吱的惨叫。
    江临又想起了另一个更危险的词。
    模態。
    支架不是隨便怎么晃都一样。
    有些晃动形状很快被结构和阻尼吃掉。
    有些晃动形状，却像正好踩在系统的骨缝上，只要外界风力的节奏接近它的固有频率，能量就会一下一下灌进去。
    那不是普通的摇晃。
    那是共振。
    而模態背后，站著的就是特徵值和特徵向量。
    想到这里，江临再看废土，发现很多东西都像有了自己的脾气。
    如果把努力全砸在错误的特徵方向上，比如死记硬背，熬夜假勤奋，系统不但不会变好，反而会加速崩溃。
    第八年冬初，江临做了一次总整理。
    他把那些充满误差的粗糙模型保存下来，命名为【状態空间_第八年整理版】。
    没有导师批改，也没有网络炫耀，但这套简陋的体系，是他一个人在黑暗中一砖一瓦敲出来的。
    夜色压下来，炉膛里的余火苟延残喘。
    江临翻开纸质时间胶囊，手腕因为长时间握笔微微发酸。
    【线性代数，第一轮结束。】
    【不精通，但够用了。】
    【高数教我看变化，物理教我看规律，线代教我看结构。】
    【废土从来不是一条平滑的曲线，而是一个布满陷阱的状態空间。】
    墨跡干透。
    江临合上文件袋，搓了搓冰凉的指节，滑鼠光標悬停在了下一个未命名文件夹上。
    文件夹里躺著一行更不讲理的名字。
    如果说线性代数教他看见结构。
    那么接下来的东西，就要逼他承认另一件事。
    现实世界给出的每一个数字，都可能在撒谎。