# 线性代数·新路线 · 幕0：这门课到底在研究什么
> 🧭 **先看路牌，再看内容**（30 秒）
>
> **你在哪**：这是新路线的第一篇。整个新路线是一条故事线：**幕0 世界观 → 幕1 对象（向量）→ 幕2 操作（矩阵）→ 幕3 尺子（行列式）→ 幕4 反操作（方程组）→ 幕5 不变方向（特征值）**。
>
> **本篇干什么**：不学任何计算。只回答一个问题——**这门课到底在研究什么东西**。学完它，后面每一幕你都知道自己"在干什么、为什么现在学它"。
>
> **为什么要有这一篇**：旧顺序（先行列式、再矩阵、后向量）是"尺子先到、要量的东西后到"——工具全部出现在它的问题之前，所以你从头到尾不知道自己在干什么。新路线只遵守一条铁律：**问题先于工具，对象先于操作。**
---
## 一、开场：一个你天天遇到的事
手机里的一张照片，你两根手指一撑——放大了。再一转——转了个方向。
想过没有：**放大的时候，手机在干什么？**
照片由几百万个像素点组成。放大 = 把每个点搬到新的位置。但这里有个隐蔽的要求：**搬家的规则必须"一视同仁"**——往右挪的都往右挪，该拉长的按同一比例拉长。规则如果厚此薄彼（中心多拉点、边缘少拉点），照片就会扭曲，人脸会歪。
**"描述一视同仁的搬家"这件事，就是线性代数的全部。**
它管的事情远不止照片：
- 地图 App 两指缩放、图片旋转裁剪——都是"一视同仁的搬家"；
- 一个经济系统：农业产出多少吨粮、钢铁产出多少吨钢，彼此按固定比例消耗（炼钢要吃粮食养工人，工人要住钢筋水泥的房子）——各部门产出的"联动"也是一种一视同仁的规则；
- 统计一大堆指标之间的"成比例"关系，同样是它。
> 🛑 **停下来想一想**（不着急往下读）
>
> 你能再举一个"整体按同一规则挪动"的例子吗？和一个"规则不统一、各挪各的"导致扭曲的例子吗？（想 30 秒再往下看——往下第 3 节有对照答案。）
---
## 二、"变形"到底指什么
把一张铺满方格的橡皮膜摊在桌上。现在你从边缘推它、拉它——**膜上每个点都搬了家**。这个"整张膜一起搬家"的过程，就叫一次**变形**（以后正式名字叫**变换**）。
变形可以千奇百怪：你可以把膜揉皱、折角、局部戳个包。数学家管不了这么野的东西——**太乱的东西没有规律可找**。所以线代只研究其中最老实的一族：
> **均匀变形（正式名：线性变换）**——整张膜被推歪拉斜，怎么动都遵守三条肉眼判据：
>
> 1. **直线仍是直线**（没有一条线被掰弯）；
> 2. **原点不动**（桌面上钉住的那个中心点，谁也不能搬它）；
> 3. **网格线保持平行、间距均匀**（横线横线彼此平行，竖线竖线彼此平行，格子还是"匀称"的平行四边形，不会一头密一头疏）。
>
> （允许一个极端：**压扁**——某个方向的整族平行线被叠到同一条线上、甚至缩成一个点。这时"不弯、均匀"仍然成立，只是格子被压没了。这个极端很重要，第四节专门讲它。）
**"线性"这个词，说的就是"均匀"。** 你以后在教材里见到"线性方程""线性组合""线性相关"，里面那个"线性"全是这一个意思：**规则一视同仁，不搞特殊**。
### 看一眼最经典的均匀变形：剪切
图 1 · 剪切：整张网格被"歪推"。注意三条判据全部成立——直线仍是直线、原点没动、格线仍平行且等距。蓝色三角形跟着格子一起被推歪。
盯住图 1 右边看 10 秒。三个观察，是后面全部内容的种子：
- **红色箭头（横向基本方向）没动，绿色箭头（纵向基本方向）被推歪了**——整个变形的全部信息，好像就藏在这两根箭头的新位置里；
- **格子从正方形变成了平行四边形**——但没撕开、没折叠；
- **原点钉在原地**，位置越高的点，被推得越远（剪切推的是纵向高度，不是离原点的距离）。
第三条值得多说一句：**为什么非要原点不动？** 因为如果一次搬家连原点也搬了，它可以拆成两步——先做一次"原点不动的均匀变形"，再整体平移挪过去。**先学会不挪的，挪的那半步是白送的**。数学家把研究对象切干净：原点不动的均匀变形，单独成立一门课。（"平移不线性"这个冷知识，考试不会考，但你现在知道它的来历了。）
> ✍️ **立刻练一道**：判断下面三个变形，哪些是"均匀变形"（过三判据），哪些不是——
> ① 把整张图绕原点旋转 30 度；
> ② 把每个点拉到离原点两倍远的地方（沿自己所在的方向，整体放大一倍）；
> ③ 把整张图往右平移 1 厘米。
>
>
> 📖 点击查看答案
>
> ① **是**。旋转后直线仍是直线、原点不动、网格仍平行等距——只是整体转了个方向。均匀变形不限于"推歪"，旋转、等比缩放都是。
>
> ② **是**（放大两倍对所有点一视同仁——任何直线仍是直线，网格保持平行、间距整体变宽，均匀没破坏）。注意："均匀"不等于"形状不变"，格子会被拉成更大的格子，这完全合法。
>
> ③ **不是**——原点动了（判据 2 失败）。平移是"均匀变形 + 挪一下"的组合，按上面说的拆开处理。
>
---
## 三、第 1 节问题的对照答案
第 1 节让你想的两个例子，给一组参考：
- **一视同仁的搬家**：传送带上的包裹整体前移（平移，拆开看是均匀变形+挪动）；Excel 里把一张表所有数同乘汇率（等比缩放）；合唱团整体升 key（波形等比拉伸——严格说是"线性放大"，音响工程师的老本行）。
- **规则不统一导致扭曲**：哈哈镜（中间和边缘放大率不同——所以人像变形）；广角镜头边缘畸变（同一张照片里，中心的直线还是直的、边缘的直线弯了）；地图投影（地球摊成平面必然有的地方拉伸有的地方压缩——这就是为什么格林兰在平面地图上大得离谱）。
**"均匀/不均匀"就是这门课的第一道分界线。** 顺便说，为什么数学家死磕"均匀"这一族？不只因为它老实——更因为它**强大得离谱**：均匀变形有一条近乎魔法的规定（幕 2 的主角，这里先尝一口）——
> **只要知道两根基本方向箭头被搬到了哪，整张图任何一个点的去向就自动确定了。**
两个箭头，锁定整张膜上的无穷多个点。这就是"一视同仁"买来的超能力，也是这门课威力全部的来源。照片有几百万个像素，但描述"放大两倍"只需要一句话——均匀性把无穷压缩成了有限。
---
## 四、均匀变形的三种命运（整个新路线的骨架）
现在把视角升高。任何一次均匀变形，都要回答三个必问的问题——**这三个问题，就是后面五幕的剧情**——你先在这里把整部电影的预告片看了：
### 命运一：拉歪/拉伸/旋转，但没压扁
**面还是一张面，格局没丢**（图 1 那种）。这样的变形**可以撤销**——你推歪了它，存在一个反向的操作把格子推回来。撤销类变形是"健康"的变形。
### 命运二：压扁
**整张面被拍到一条线上**（极端情况：一个点上，见下图）。纵向的一切差别被抹平——原来不同的点，现在重叠了。这是**不可撤销**的变形：重叠在一起的点丢失了"谁是谁"的信息，神仙也分不回来。
图 2 · 命运二：整张平面被拍到一条线上。纵向的一切差别被抹平——原本高低不同的三个点，压扁后无法区分。这一幕对应幕 3 的"尺子读数为 0"和幕 4 的"秩"。
### 命运三：转不歪的方向
**许多变形里藏着一些特殊方向**——别的方向都被推歪了，唯独这些方向上的点**只被拉伸或压缩，始终待在原方向上**。就像旋转一根擀面杖：大多数点在转圈，但沿着轴线的点原地不动。这些"主干方向"是看穿一个变形的**钥匙**——站到主干方向上看，再复杂的变形也只是一组伸缩。
（注意：三个问题不是"三选一"的分类——一次变形可以**同时**命中几个。比如图 1 的剪切既可撤销（命运一）、横向箭头又恰好没被动（沾着命运三的边）；均匀放大可撤销、而且**所有**方向都是不变方向。把它们当三个必问的问题来用，不是三个互斥的抽屉。）
> 🧠 **这三大问题就是新路线的剧情表**：
>
> | 必问的问题 | 对应的幕 | 那一幕干什么 | 考研落点 |
> |------|---------|------------|---------|
> | （先看清对象和操作本身） | 幕1 向量 / 幕2 矩阵 | 被搬的家伙是谁；搬家怎么记账 | 矩阵运算、线性组合 |
> | 歪了多少？扁没扁？（命运一/二） | 幕3 行列式 / 幕4 方程组 | 造一把尺子量面积缩了几倍（0 = 压扁）；研究何时能撤销、压掉了几个方向 | 行列式计算、可逆、秩、解的结构 |
> | 哪些方向转不歪？（命运三） | 幕5 特征值 | 找出不变方向，把变形化简成一串伸缩 | 特征值、对角化、二次型 |
> ✍️ **立刻练一道**：把下面四个真实场景归到三种命运里（或说明它不是均匀变形）——
> ① 投影仪把 3D 的演讲者投到 2D 的幕布上；
> ② 自行车轮旋转（看轮子所在的 3D 空间）；
> ③ 照相机把 3D 世界拍成 2D 照片；
> ④ 哈哈镜。
>
>
> 📖 点击查看答案
>
> ① **命运二（压扁）**。深度方向被整体抹掉——高矮不同的两个点可能投到同一位置。投影是"有损"变形的教科书例子。
>
> ② **命运三**。轮子转，辐条上的点都在转圈——但**转轴上的点不动**：转轴就是那个"只待在原方向、拉伸倍数恰好是一倍（原样不动）"的主干方向。三维旋转必有一条不动轴。（思考升级：纯二维平面上绕原点旋转，有没有这样的方向？——没有！任何方向都会被转离原位。主干方向有还是没有、有几个，是变形本身的属性，这正是幕 5 要精确回答的问题。）
>
> ③ **命运二（压扁）**，同投影仪。但注意：真实相机镜头带畸变（好镜头畸变极小），如果考虑畸变就连"均匀"都不算了——那是光学工程师的战场。
>
> ④ **不是均匀变形**。哈哈镜各处放大率不同，直线进去曲线出来，三判据全破。它是"非线性"的日常展品。
>
---
## 五、凭什么值得学一学期：均匀性买到了什么
现在回答最后一个世界观问题：**这么老实（甚至看起来平平无奇）的一族变形，凭什么撑起一门课、撑起考研数学的半壁计算？**
因为"均匀"买到的东西太值了：
**第一，可计算性。** 前面尝过一口的那条魔法规定——**两个基本箭头的去向决定一切**——意味着：描述任何一个均匀变形，不管它作用在几百万个点上，都只需要**一小组数字**（每个基本箭头的新坐标）。无穷被压缩成有限，"算得动"就是从这里开始的。**矩阵就是这组数字的表格形态，幕 2 你会亲手写出来。**
**第二，真实性。** 世界充满近似均匀的系统。经济学生的例子：投入产出模型——"生产 1 吨钢需要耗 0.5 吨煤，生产 1 吨煤需要耗 0.02 吨钢"——各部门按**固定比例**互相消耗，联动规则一视同仁，这就是一个均匀变形作用于"各部门产量"这张大表。再如：微观里"边际"的概念，本质是把弯曲的曲线在一点附近**当作直线处理**（局部均匀化）——整个微积分的地基，垫的就是线性这块砖。
**第三，可组合性。** 连续做两次均匀变形，结果**仍是**一次均匀变形（推歪再推歪，格子还是平行均匀的）。这意味着这族变形像一个"封闭的代数系统"：可以连乘、可以求"连做 n 次"、可撤销的那些可以求撤销——后面一切矩阵运算的合法性，全靠这条。
> 🛑 **停下来想一想**：用你自己的话说一遍——这门课研究什么？为什么它值得学？（能说出"研究一视同仁的搬家/变形，因为两个箭头决定一切"就算过关。）
---
## 六、坐标：数怎么进场（下一幕的门口）
还差最后一块世界观拼图。到目前为止我们说的是"点搬家""箭头被推歪"——全是几何画面。可数学课最终要**算**。几何怎么变成数？
老朋友早就给出答案了：**坐标系**。在桌上钉好两根基本方向箭头之后，任何一个点都可以用一对数 $(x, y)$ 描述——"沿横向走 x 步，再沿纵向走 y 步"。反过来，任何一对数都对应一个点。**点和数对，从此是同一个东西的两个名字。**
于是"描述一个均匀变形"彻底变成了数的事情：两根基本箭头各自的新位置是两个数对，共 4 个数，写进一张 2×2 的表格——这张表格就是**矩阵**的雏形。"用矩阵算变形"的全部魔法，从幕 1 到幕 5，都从这块拼图开始。
**幕 0 到此完成。** 你现在持有的世界观：
1. 线代研究**均匀变形**（一视同仁的搬家），三判据：直线仍是直线、原点不动、网格平行等距；
2. 每个均匀变形要回答**三个必问的问题**（不互斥）：**可撤销吗（拉歪没压扁）/ 压扁了吗 / 哪些方向转不歪**；
3. 后面五幕 = 把对象（向量）、操作（矩阵）、尺子（行列式）、反操作（方程组）、钥匙（特征值）一件件装上；
4. 全部威力来自一条魔法规定：**基本箭头的去向，决定一切的去向**。
---
## 📒 本篇规则账
| 条目 | 身份 | 说明 |
|------|------|------|
| 变换 = 每个点搬到新位置 | 〔定义〕 | 几何直观版；幕 2 用数对给出正式版 |
| 线性（均匀）三判据：直线仍是直线 / 原点不动 / 网格平行等距 | 〔定义＋预告〕 | 这是"线性"的直观定义；压扁是允许的退化极端（线可缩成点、格可叠成线，"不弯、均匀"仍成立）；幕 2 给出代数判据（并可证明两条判据互相等价——那时候你会看到"加法和数乘被保持"就是"平行等距"的代数翻译） |
| 平移不算线性 | 〔原理〕 | 平移 = 原点不动的均匀变形 + 整体挪动，可拆解，所以研究对象切干净到"原点不动" |
| "线性变换""剪切""投影"等名字 | 〔约定〕 | 命名是历史形成的，见名认人即可 |
| 两个基本箭头决定一切 | 〔预告 → 幕 2 正式证明〕 | 本篇只尝了一口；它是全课威力的来源 |
| 三个必问的问题（可撤销吗 / 压扁了吗 / 哪些方向不变） | 〔框架〕 | 非互斥，一次变形可同时命中；分别在幕 3–5 兑现为行列式、秩、特征值 |
---
## ✍️ 配套练习（15 题）
**A 组 · 判据运用（1–6）**
**1.** 判断对错：一个变形把所有直线仍变成直线、网格仍平行等距，但把原点搬到了新位置——它是均匀变形吗？
📖 答案
不是。三判据缺一不可，原点动了就是"均匀变形＋平移"的组合体，本身不线性。📖 答案
是。直线仍是直线（旋转保持直线性）、原点不动、网格仍平行等距（只是整体转了方向）。📖 答案
是（每个点按同一规则搬，直线仍是直线、原点不动、网格平行——间距变了但"均匀"没变）。格子从正方形变成扁长的矩形（2×0.5 面积不变——这个细节幕 3 会大放异彩）。📖 答案
过原点的直线：线上所有点被放大后**仍在原直线上**（每个点沿着自己所在的方向滑出去），所以它"看起来没弯"。但**不过原点的直线会被掰弯**——一条水平线上各点离原点远近不同，各按各的倍数被拉，直线弯成曲线。判据 1（直线仍是直线）失败，不均匀、非线性。注意和练习 2、3 对比：那两题"倍数对谁都一样"（全图统一的 k 倍），所以线性；这题"倍数因人而异"（随距离变的 k），所以非线性——**"线性/非线性"的分水岭就在"规则是否一视同仁**"。📖 答案
镜面各处放大率不同：笔直的物体（直线）在镜中变弯（判据 1 破坏）；格子疏密不均（判据 3 破坏）。📖 答案
任何"均匀变形＋平移"都可以拆开：先做原点不动的均匀变形，再整体挪。学会前者，后者只是加一个固定偏移。所以研究范围切干净到原点不动的情形，不损失一般性。📖 答案
压扁（命运二）。丢失了"深度"方向的一切差别——远近不同的点可能投到同一位置，无法再区分。📖 答案
轴线。轴上的点旋转中始终不动——"拉伸倍数恰好是一倍（原样不动）"的极端情形。垂直于轴的平面内，所有方向都在转圈、偏离原位（唯一的例外是转整整 180°：那时每个方向上的点被搬到自己的反方向——"方向"没变、指向反了，被拉伸 −1 倍，第 9 题专门说它）。📖 答案
不存在。任何非零向量转 60 度后都会偏离原方向（除非转 0 度或 180 度——180 度时所有方向都"不变"但都反向，被拉伸 −1 倍。这个彩蛋幕 5 见）。📖 答案
可撤销、没压扁（命运一）。面积变 9 倍（每个方向 3 倍，3×3=9）。"面积变几倍"这个数，就是幕 3 行列式的全部内容。顺带一提：它**所有**方向都是不变方向（都只被拉长 3 倍）——命中了全部三个必问的问题，印证"三问不互斥"。📖 答案
不同的点被搬到同一位置，"谁是谁"的信息永久丢失。撤销操作无从下手——它得知道"这个点原来是谁"才能送回去，而这恰恰是被抹掉的信息。📖 答案
压扁（命运二）。所有点的新位置都只能沿那条线拼出来——整张平面被拍到一条直线上，格子从平行四边形退化成线段。这是"箭头去向决定一切"的反面印证：箭头共线，全家共线。📖 答案
研究"一视同仁的搬家"（均匀变形）；威力来自"基本箭头的去向决定一切"——无穷被压缩成有限，算得动、拆得开、合得上。📖 答案
哈哈镜。各处放大率不同，规则不"一视同仁"，直线变弯。另两个是（近似）均匀的：缩放对所有像素同一规则；投入产出按固定比例联动。📖 思路参考
经济学方向的同学可以想：固定汇率的两国物价联动（同比例，均匀）vs 累进税制（收入越高边际税率越高，不均匀——所以累进税的数学工具不是简单线性式）。找到自己的例子，说明判据真正长在你脑子里了。