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