# 线性代数·新路线 · 幕1：对象——被搬家的家伙
> 🧭 先接一个活：从家出发，向东走 3 公里，再向北走 4 公里。最后离起点多远？朝哪个方向？
>
> 这个问题里有两个“双料货”：3 公里+向东、4 公里+向北。它们不能只用一个数说完。这一篇就把这种“大小+方向”的东西变成能算的数对；然后回答：几支箭怎么拼、谁多余、谁骨干。
>
> 你只需要初中勾股定理和“坐标”这个概念；其余从一支箭开始长。
> 🧱 读法：本篇从一支箭长起；只有“一支箭的加法/数乘坐标规则”是约定，其余都能从画面推出。
---
## 一、对象登场：一支箭
这门课研究"一视同仁的搬家"，搬家的主角就是箭头：横向基本方向、纵向基本方向、被推歪的方向……现在把这位主角正式介绍给你。
向量：既有大小又有方向的量。几何上画成一支箭：箭杆的长度是大小，箭头的指向是方向。
生活中"只有大小"的量到处是：温度 26 度、体重 70 公斤——给一个数就说完事了，这类叫**数量**。但有一类量给一个数说不完：**从家走到学校，"3 公里"不够，还得说"往东"**。风、力、速度、位移，全是"大小+方向"的双料货。为了跟数量区分，数学家给这类量起了名字：向量（vector）——词源是拉丁语 vehere，"携带、运送"的意思：一支把"多远"和"往哪"一起携带走的箭。
### 1.1 数对是它的身份证
> ✏️ 先猜：一支箭和一对数，为什么能一一对应？先想“报两个数，箭在哪”，再看下文。
在桌上钉好两根基本方向箭头（一横一纵）之后，任何一个点都可以用一对数 $(x, y)$ 描述——沿横向走 $x$ 步，再沿纵向走 $y$ 步。
现在把这句话反过来说一遍：**起点钉在原点的一支箭，和一对数 $(x,y)$，一一对应**。
- 箭头 $(3, 2)$：向右 3 格、向上 2 格的那支箭；
- 数对是箭的身份证：报出两个数，箭就唯一确定；报出一支箭，两个数也唯一确定。
向量的模（记作 $|\alpha|$）：箭杆的长度。$\alpha=(3,4)$ 时，$|\alpha|=\sqrt{3^2+4^2}=5$——勾股定理，初中就认识。回到开头：向东 3、向北 4 就是箭头 $(3,4)$，模 $5$——离起点 5 公里，朝东北。
为什么要劳民伤财给箭配身份证？因为"两个箭头决定一切"这个大承诺（幕2 兑现）要落地成计算，前提是**箭头本身能进算式**。数对就是箭头的数字化形态——从这一刻起，"几何的箭"和"代数的数对"是同一个东西的两个名字，全文随意切换。
### 1.2 当年的人卡在哪（历史一段，可跳）
> 1843 年都柏林，Hamilton 为一件事苦熬了十几年：复数 $a+bi$ 让平面上的数能乘能除，妙极了——那三维空间里的"数"长什么样？他一直试"三个部分"的推广，乘法怎么定都自相矛盾。10 月 16 日傍晚过桥时灵感砸中：得用四个部分（后来叫四元数），他把公式刻在了桥栏上。可四元数还是太笨重。几十年后 Gibbs、Heaviside 把它拆开：留下"有大小有方向"的那部分单独运算——向量代数就此独立，工程师和物理学家（力、速度、电磁场全是向量）立刻把它用成了家常工具。
>
> 你今天要学的加法和数乘，就是从那场"数怎么推广到空间"的卡壳里挣出来的两招。它们看着简单——正因为简单到不能再拆，才配当整座线代大厦的地基。
> ✏️ **立刻练一道**：$\alpha=(1,2)$ 和 $\beta=(-2,0)$，各画一支箭（一格代表 1）。谁的模长？各是多少？
>
> ✅ 答案
>
> 第一眼很容易答成"$\beta$ 更长"——慢着，先算再下结论。$|\alpha|=\sqrt{1+4}=\sqrt{5}\approx 2.24$；$|\beta|=\sqrt{4+0}=2$；$\sqrt 5>2$，所以$\alpha$ 更长。别嫌这道题阴：它阴得有目的——模只由长度算，方向、正负号都不参与；$\beta$ 的第一个分量是 $-2$（朝左），平方之后照样是 $4$。负号说方向，模只管长短。
> 向量加法 $\alpha+\beta$：先沿 $\alpha$ 走，再从终点沿 $\beta$ 走，等效于从起点直达最终终点的一支箭（首尾相接法则）。
图 1 · 左：向量加法的首尾相接（虚线画出平行四边形的另一半）。右：数乘 $k\alpha$——方向锁死在原直线上，$k$ 管长度、管正负。
**关键问题来了：数对怎么算加法？** 看图 1 左边硬算一遍：
- $\mathbf{u}=(2,1)$，$\mathbf{v}=(-1,2)$，肉眼读出 $\mathbf{u}+\mathbf{v}=(1,3)$；
- 而分量对分量地加：$(2+(-1),\ 1+2)=(1,3)$。**对上了。**
这不是巧合，是可以推导的〔原理〕：坐标的本义是"沿基本方向走的步数"（本篇 1.1 节）。先走 $\mathbf{u}$：横向 2 步、纵向 1 步；再走 $\mathbf{v}$：横向退 1 步、纵向 2 步。**两段路在横向合计走了 $2+(-1)$ 步、纵向合计 $1+2$ 步**——合计的步数，就是把两个分量分别相加。所以：
$$\mathbf{u}+\mathbf{v}=(u_1+v_1,\ u_2+v_2)$$
一维的"先走 3 步再走 2 步等于 5 步"你从小就会；加法法则只是把这句常识**按基本方向逐份办理**。（同一幅图换个读法：把 u、v 两支箭的起点都钉在原点，以它们为邻边补出**平行四边形**——对角线就是和。所以这个法则又叫平行四边形法则，两种画法一个意思。）
### 2.2 第二招：数乘 = 拉长缩短（含反向）
$k\alpha$：保持箭的指向直线不变，长度乘 $|k|$；$k<0$ 时掉头反向（图 1 右）。
$$k\alpha=(ku_1,\ ku_2)$$
为什么每个分量都乘 $k$？同一条推导：横向步数 $u_1$ 拉长到 $k$ 倍，就是 $ku_1$；纵向同理。特殊值过一遍：$2\alpha$ 拉长一倍；$\frac{1}{2}\alpha$ 缩短一半；$-\alpha$ 原地掉头；$0\alpha=(0,0)$ 直接缩没——原点那支"零箭"，正式名字**零向量**，记 $\mathbf{0}$：长度为零、谈不上方向的箭（起点终点重合）。它很重要，第四节会看到"组里躺着零向量"意味着什么。
### 2.3 这两招为什么配当"地基"
盯着这两条法则看三秒，你会发现一件深刻的事：
> **加法和数乘，恰好是"步数可以合并"的两个方式：几段路合并（加），一段路按比例伸缩（乘）。**
这里提前埋一句伏笔：线性变换的代数判据（幕2 正式讲）是"**保持加法和数乘**"——搬家规则不破坏"先走 u 再走 v"的合并结果（$\mathbf{T(u+v)=T(u)+T(v)}$），也不破坏"拉长 $k$ 倍"的比例（$\mathbf{T(k\alpha)=kT(\alpha)}$）。也就是说：**后面全部的"线性"，指的就是"不糟蹋这两招"**。你今天学的不是两个孤立法则，是整门课对"对象"的官方定义动作。
| 两招 | 几何动作 | 代数规则 | 一句话为什么 |
|------|---------|---------|------------|
| $\alpha+\beta$ | 首尾相接走两步 | 对应分量相加 | 每个方向的步数各自合并 |
| $k\alpha$ | 沿原直线拉长/缩短/反向 | 每个分量乘 $k$ | 步数按比例伸缩 |
🧠 合上页·先回忆
① 为什么一支箭能用一对数表示？
② 模怎么算？为什么负号不影响模？
答不出，回 §1.1。
> ✏️ **立刻练一道**：$\alpha=(1,-2)$，$\beta=(0,3)$。算 $\alpha+\beta$、$3\beta$、$-2\alpha$，并验证 $2(\alpha+\beta)=2\alpha+2\beta$。
>
> ✅ 答案
>
> $\alpha+\beta=(1,1)$；$3\beta=(0,9)$；$-2\alpha=(-2,4)$。验证：左边 $2(1,1)=(2,2)$；右边 $2(1,-2)+2(0,3)=(2,-4)+(0,6)=(2,2)$，相等。最后这个等式不是巧合，它是"数乘对加法的分配"——两招配合的合法动作，幕2 会看到矩阵必须忠实继承它。
> 线性组合：$k_1\alpha_1+k_2\alpha_2+\cdots+k_s\alpha_s$——把每支箭拉长缩短（数乘），再首尾相接（加法）。系数 $k_i$ 是任意实数。
例：$\alpha_1=(1,0)$，$\alpha_2=(0,1)$（两根基本方向箭），取 $k_1=3,k_2=2$，拼出 $(3,2)$；取 $k_1=-1,k_2=\frac{1}{2}$，拼出 $(-1,\frac{1}{2})$。**平面上的任何点都拼得出**——步数自由报，要哪去哪。
反过来问更有意思：给定一支箭 $\beta$，**它能不能被某组箭拼出来？**
线性表示：$\beta=k_1\alpha_1+\cdots+k_s\alpha_s$ 成立时，说 $\beta$ 可由 $\alpha_1,\cdots,\alpha_s$ 线性表示（$\beta$ 是它们的线性组合）。
一句生活翻译："**这道菜，用我手里这几味原料配得出来吗？**"——原料是 $\alpha_1,\cdots,\alpha_s$，配方是系数 $k_i$，菜是 $\beta$。
### 3.2 这组箭的地盘有多大？
张成：一组箭能拼出的全部点构成的集合。两根不共线的箭，张成整个平面；共线的箭只能张成一条直线；一支非零箭张成一条直线，零箭哪也张不成（只有原点）。
图 2 · 张成。左：$\mathbf{a},\mathbf{b}$ 不共线，全部组合 $k_1\mathbf{a}+k_2\mathbf{b}$ 织成整片斜格子（幕2 的"搬家后斜格子"正是这么来的）。右：$\mathbf{d}=2\mathbf{c}$ 共线，怎么组合都只落在线上——一支箭再多份，也只能张成一条直线。
图 2 左边这张斜网格值得盯 10 秒：格子正是被"两根基本箭头的位置"织出来的。**织格子的规矩就是线性组合**：格点 = 沿一支箭走整数步、沿另一支走整数步（系数放宽到任意实数就织满整面）。"两个箭头决定一切"（幕2 兑现的大承诺），现在你看到了决定的方式：**任何点 = 箭头们的某个组合**。
> 📌 **了解级（数一词汇，数三不考）**：能张成全空间、且一支都不多余的箭组，数学家叫它一组**基**。数三不考"基"的正式理论，但它的实用版本——**极大无关组**（第五节）——是大题常客，你绕不开，也不需要绕。
🧠 合上页·先回忆
① 加法/数乘的坐标规则？
② 为什么这两招配当地基？
答不出，回 §2。
> ✏️ **立刻练一道**：$\alpha_1=(1,2)$，$\alpha_2=(2,4)$。$\beta=(3,6)$ 能由它们表示吗？$\beta'=(1,1)$ 呢？各写出一组系数或说明不行。
>
> ✅ 答案
>
> $\beta=(3,6)$：可以，$\beta=1\cdot\alpha_1+1\cdot\alpha_2$，也可以 $\beta=3\cdot\alpha_1+0\cdot\alpha_2$，还可以 $0\cdot\alpha_1+\frac{3}{2}\cdot\alpha_2$——**表示法不止一种**（这个现象第四节有名字）。
> $\beta'=(1,1)$：不行。$\alpha_1,\alpha_2$ 都躺在 $y=2x$ 这条线上（$\alpha_2=2\alpha_1$），组合来组合去永远在这条线上，而 $(1,1)$ 不在线上（$1\neq 2\times 1$）。**原料本身是一条线，拼不出线外的菜。**
> 线性相关：一组向量里至少有一支能由其余的拼出来（组里有"多余的人"）。
线性无关：谁也拼不出谁——每一支都出力，抽掉任何一支，能拼出的地盘立刻缩小。
### 4.2 定义为什么长成"组合出零"那样
教材上线性相关的正式定义不长上面这样，而是：
> 若存在**不全为零**的数 $k_1,\cdots,k_s$，使得 $k_1\alpha_1+k_2\alpha_2+\cdots+k_s\alpha_s=\mathbf{0}$，则称 $\alpha_1,\cdots,\alpha_s$ 线性相关；只许全零（$k_1=\cdots=k_s=0$）才拼得出零向量，则线性无关。
第一次见它的人都想问：**"有人摸鱼"和"能拼出零"有什么关系？** 这正是本篇最重要的一个推导，一步推完〔原理〕：
以搬运组为例。$\alpha_3=\alpha_1+\alpha_2$ 是"摸鱼"的土话，把所有项移到等号同一边：
$$\alpha_1+\alpha_2-\alpha_3=\mathbf{0}$$
看系数：$(1,\ 1,\ -1)$——**不全为零**！反过来，只要有一组不全为零的系数拼出零向量，比如 $k_3\neq 0$，就把 $k_3\alpha_3$ 单独解出来：
$$\alpha_3=-\frac{k_1}{k_3}\alpha_1-\frac{k_2}{k_3}\alpha_2$$
**"摸鱼"⟺"存在不全为零的系数组合出零向量"**——同一个事实的两种记账。零向量是原点那支零箭："组合一圈回到原点"，说明这一圈里有人的贡献被别人抵掉了，队里藏着多余的人。
为什么教材偏爱第二种记账？因为它**对每一支箭一视同仁、不指定谁是摸鱼的**（摸鱼的可能是任何一个），而且把判定变成了一道干净的算题（第五节的手艺）。
### 4.3 几何判据：先看图再算
二维、三维时，摸不摸鱼肉眼可判——考研小题的送分起点：
| 组的规模 | 几何判据 | 白话 |
|------|---------|------|
| 两支箭 | 相关 ⟺ **共线** | 方向相同或相反（含一支为零箭）就是互相冗余 |
| 三支箭（三维内） | 相关 ⟺ **共面**（含共线） | 三支箭躺在同一张平面里，就压不出"立体"的新方向 |
| 无关 | 两支不共线；三支不共面 | 每支都贡献新方向 |
单支箭的组：$\alpha$ 单独相关 ⟺ $\alpha=\mathbf{0}$（零箭自己就是"零贡献"；非零箭只有 $k=0$ 能把它缩成零箭，所以单独无关）。
顺带把"为什么两支共线就是相关"推到底：$\beta=k\alpha$ 移项即 $\beta-k\alpha=\mathbf{0}$，系数 $(-k,\ 1)$ 不全为零——**共线就是"能拼出"的几何长相**。三支共面同理：共面意味着其中一支落在另外两支张成的格子里（可被拼出），不共面则三支各贡献新方向。
| 对照 | 线性相关 | 线性无关 |
|------|---------|---------|
| 白话 | 有人摸鱼 | 人人出力 |
| 等价说法 | 至少一支可由其余表示 | 任何一支都不能由其余表示 |
| 正式判据 | $\exists$ 不全为零 $k_i$ 使组合 $=\mathbf{0}$ | 仅 $k_i$ 全为零才使组合 $=\mathbf{0}$ |
| 几何（两支箭） | 共线（任意维通用） | 不共线 |
| 零向量在场 | 必相关（零箭天然摸鱼） | 不可能有零箭 |
| 表示的个数 | 拼得出的，表示法**无穷多** | 拼得出的，表示法**恰一个** |
最后一行先按下不表，第五节定理 B 给它正式名分。
🧠 合上页·先回忆
① 线性组合的白话？
② 张成是什么？两根不共线的箭张成什么？
答不出，回 §3。
> ✏️ **立刻练一道**（判断，不许动笔）：① $\alpha_1=(1,2)$，$\alpha_2=(-2,-4)$；② $\alpha_1=(1,0)$，$\alpha_2=(0,1)$，$\alpha_3=(1,1)$；③ $\alpha_1=(0,0)$，$\alpha_2=(1,1)$。
>
> ✅ 答案
>
> ① 相关——$\alpha_2=-2\alpha_1$，共线。② 相关——$\alpha_3=\alpha_1+\alpha_2$，平面内三支箭必共面（二维里"共面"自动成立，所以**二维空间任意三支箭必相关**，第六节升维后此话有震撼续集）。③ 相关——含零向量，必相关（零箭乘任何系数都是零，$1\cdot\mathbf{0}+0\cdot\alpha_2=\mathbf{0}$ 系数不全为零）。
> 🧠 合上页·先回忆
① 线性相关的定义（“组合出零”）？
② 几何上怎么一眼判相关？
答不出，回 §4。
> ✏️ **立刻练一道**：$\alpha_1=(1,1)$，$\alpha_2=(1,-1)$（不共线，无关）。$\beta=(2,3)$，已知 $\beta$ 可表示——表示式是什么？唯一吗？
>
> ✅ 答案
>
> 设 $\beta=k_1\alpha_1+k_2\alpha_2$：按分量 $\begin{cases}k_1+k_2=2\\ k_1-k_2=3\end{cases}$，解得 $k_1=\frac{5}{2},k_2=-\frac{1}{2}$，即 $\beta=\frac{5}{2}\alpha_1-\frac{1}{2}\alpha_2$。**唯一**——定理 B：原料无关，配方就只有一份（哪怕系数是分数负数，也只此一份）。
> 极大线性无关组（简称极大无关组）：向量组的一个"无关子队"，且组里任何一支不在子队里的箭加进子队就变相关（再添必摸鱼）。等价说法：子队自身无关，且原组每支箭都能由子队拼出来。
两种说法为什么等价？"子队无关 + 添谁谁相关"= 定理 B 的前提齐了，于是**每支箭都由子队唯一表示**。骨干定住，全组的活都能派给骨干干。
图 3 · 极大无关组：蓝色骨干 $\alpha_1,\alpha_2$ 不共线（无关），红箭 $\alpha_3$ 落在它们织出的格点上（$=\alpha_1+\alpha_2$，冗余）。骨干再添一支就相关——"极大"说的不是数量最多，是再塞就装不下。
三个要点当堂消化：
| 极大无关组的三件事 | 内容 | 白话 |
|------|------|------|
| 不唯一 | $\{\alpha_1,\alpha_2\}$ 是骨干，换成 $\{\alpha_1,\alpha_3\}$、$\{\alpha_2,\alpha_3\}$ 也都是骨干 | 摸鱼的可以顶班（它毕竟会干活，只是活被别人覆盖） |
| 张成不变 | 任何一组骨干都拼出与原组**相同的地盘** | 整改不裁员业务，只裁冗员 |
| 个数不变 | 不同骨干的**支数相同** | 这是全篇最"神"的一条——严格证明要用秩，幕4 兑付〔欠条：幕4〕 |
"个数不变"值得多念两遍：它说明"骨干人数"不是挑人的运气，是**这个组自己的固有属性**——它就是名声在外的**秩**，幕4 的主角之一。本篇只需记住：**同一个组，怎么选骨干，人数都一样**。
### 6.2 两个组的地盘相同？
等价向量组：两个向量组能互相线性表示（甲组每支可由乙组拼出，乙组每支也可由甲组拼出）。白话：原料不同，能做的菜完全相同——地盘一样。
"等价"在这里是〔约定〕叫法（沿历史习惯，不是"相等"；后文把"甲与乙等价"简写作 甲≅乙，认脸即可）。两条性质顺手收下：
- **反身**（自己等价于自己）、**传递**（甲≅乙、乙≅丙，则甲≅丙）——传递的原理是表示的传递：$\beta$ 能由甲拼出、甲的每支能由乙拼出，把甲的配方代入 $\beta$ 的配方，$\beta$ 就由乙拼出了（配方套配方）。
- 原组 ≅ 它的任何一组极大无关组（互拼：骨干拼全队是定义；全队里的骨干自然互相拼得到）。这正是"整改不裁业务"的正式说法。
🧠 合上页·先回忆
① 极大无关组是什么？
② 为什么骨干人数与挑法无关？
答不出，回 §6。
> ✏️ **立刻练一道**：向量组 $A$：$\alpha_1=(1,0)$，$\alpha_2=(0,1)$，$\alpha_3=(1,1)$。写出一组极大无关组，并用它表示被清出去的那支。
>
> ✅ 答案
>
> 取 $\{\alpha_1,\alpha_2\}$：二者不共线（无关）；$\alpha_3=\alpha_1+\alpha_2$ 可由它表示——极大无关组。被清者表示式：$\alpha_3=1\cdot\alpha_1+1\cdot\alpha_2$。同样 $\{\alpha_1,\alpha_3\}$（$\alpha_2=\alpha_3-\alpha_1$）、$\{\alpha_2,\alpha_3\}$（$\alpha_1=\alpha_3-\alpha_2$）也都是极大无关组——三组骨干，人数都是 2。
> $n$ 维向量：$n$ 个数排成一队 $(a_1,a_2,\cdots,a_n)$。几何意义照旧：沿 $n$ 个基本方向各走 $a_i$ 步的那支（画不出来的）箭。全体 $n$ 维向量的家记作 $\mathbb{R}^n$。
- 加法：每个方向各自合并步数，几个方向都一样办——
$$ (a_1,\cdots,a_n)+(b_1,\cdots,b_n)=(a_1+b_1,\ \cdots,\ a_n+b_n) $$
- 数乘：$k(a_1,\cdots,a_n)=(ka_1,\cdots,ka_n)$；
- 线性组合、相关无关、极大无关组：定义里只有加法、数乘和零向量——**一个字都不用改**。
这就是"可计算性"的兑现时刻之一：**几何直观是拐杖，帮你在低维看懂规矩；代数规则是腿，带着规矩走进画不出图的 $n$ 维。** 低维看到的结论（两支共线必相关、$s>n$ 必相关）在高维照样成立——因为它们的证明只用了定义，没用图。
### 7.2 为什么说你的专业天天泡在数据里
经济学学生的世界，$n$ 维向量是日常而不是抽象：
- 一国三次产业的产出 $(x_1,x_2,x_3)$——一支三维箭，投入产出表里的一行；
- 消费篮子 40 种商品的价格 $(p_1,\cdots,p_{40})$——一支 40 维箭，CPI 统计的基本对象；
- 投资组合在各资产上的权重 $(w_1,\cdots,w_n)$——一支 $n$ 维箭，$\sum w_i=1$ 的约束就是"权重合计一"。
经济系统里"各部门按固定比例互相消耗"的联动（幕2 §九 给它正式记账），用今天的语言重述一遍：**产出是一支向量，下一轮的消耗是它的线性组合**。线性代数在经济学里的地盘，从向量这只棋子落下开始。
### 7.3 全章一张图：对象的家谱
图 4 · 幕1 全章家谱：从"一支箭"出发，两招生组合，组合生张成与多余之辨，多余之辨生骨干，最后全体升维进 $\mathbb{R}^n$。合上页面，自己画一遍这张图。
---
## 📒 本篇规则账
| 条目 | 身份 | 说明 |
|------|------|------|
| 加法 = 分量相加 | 〔原理〕 | 坐标=沿基本方向的步数，两段路的步数各自合并——可推导，不是规定 |
| 数乘 = 分量同乘 $k$ | 〔原理〕 | 步数按比例伸缩，同一推导 |
| 首尾相接法则 / 平行四边形法则的名字 | 〔约定〕 | 同一件事的两种叫法与画法 |
| "向量"叫法、黑体或箭头记号 | 〔约定〕 | 记号是历史习惯，认得即可 |
| 线性相关定义（不全为零系数拼出零） | 〔原理〕 | 从"有人摸鱼"移项推出，两种记账等价——本篇核心推导 |
| 两支共线相关、三支共面相关 | 〔原理〕 | 几何判据，由定义直接读出 |
| 性质链六条（部分/整体、零向量、加长/截短、$s>n$、单支） | 〔原理×5＋欠条×1〕 | 前五条各配"一句话为什么"可自行复述；$s>n$ 的严格证明用秩，幕4 还 |
| 表示唯一性（无关+添一支相关⟹唯一表示） | 〔原理〕 | 反证两步，幕4/幕5 反复用 |
| 极大无关组"个数不变" | 〔欠条〕 | 直觉给了（固有属性），证明用秩，幕4 还 |
| "基、维数"正式理论 | 〔约定·了解级〕 | 数一词汇，数三不考；实用版=极大无关组 |
---
## ⚠️ 易混·翻车清单
| 易混对 | 一句话拆开 |
|------|------|
| 相关 vs 每一支都可表示 | 相关只保证**至少一支**可由其余表示（定理 A 的高频陷阱） |
| 无关 + 表示 | 无关组自己内部谁也拼不出谁；"唯一表示"说的是**组外的 $\beta$** 由无关组表示时唯一（定理 B） |
| "极大" vs "最多" | 极大=再添一支就相关（塞不下了），不是"包含向量最多"——极大无关组是**子集**，当然比原组小或相等 |
| 加长与截短的方向 | 无关加长仍无关、相关截短仍相关（两条都"保"）；会变卦的是另两头：相关加长未必相关（信息变多，冗余可能消失）；无关截短未必无关（可能砍出零箭或共线） |
| 零向量 vs 零系数 | 零**向量**在场→组必相关；零**系数**（全零解）→那是无关的判据 |
| 组合出零 vs 组合出 $\beta$ | "拼出零有非零系数"判相关；"拼出 $\beta$"判可表示——两件事，一套手艺（设、拼、清零、解） |
| $s>n$ 必相关 vs $s\le n$ 就无关 | $s>n$ 是**必**相关；$s\le n$ 什么都不保证（两支不共线的二维箭 $s=2\le 2$ 无关，$(1,0),(2,0)$ $s=2$ 照样相关） |
---
## 🎯 考试导航（数三 · 向量）
> ⚠️ 下表是**复习优先级**（按本篇在数三知识版图中的角色排的），不是真题频次的统计结果；真题考频待 848 情报线的数三历年真题收集后另行校准。
| 考点 | 常见题貌 | 优先级 | 本篇弹药 |
|------|---------|------|---------|
| 相关/无关的判定 | 给具体向量组问相关否；选择题 | ★★★ | 手算四步（第五节） |
| 性质定理的运用 | "下列说法正确的是"式多选/单选 | ★★★ | 性质链六条+一句话为什么 |
| 线性表示与唯一性 | $\beta$ 能否表示、表示是否唯一；含参讨论 | ★★★ | 定理 A/B + 手算四步 |
| 极大无关组 | 找一组极大无关组并用它表示其余 | ★★☆（常与秩联考，幕4 后升级为主战场） | 第六节 |
| 几何判据速判 | 二维共线/三维共面的小题 | ★★☆ | 第四节表 |
| $n$ 维推广的理解 | 高维抽象组的选择题背景 | ★☆☆ | 第七节 |
---
## ✏️ 配套练习（18+5 题 · 先做后看，纸上留痕）
> 📏 做题前先估分：这 18 题，你估计自己能对几题？写在纸上。做完再对照。预测和实际差 3 题以上，说明你对自己“会不会”的判断需要校准。
**自测前须知**：每题先动笔再点开答案；选择题请顺手写下"排除的选项错在哪"；连续两题卡壳，回对应节重走推导/回忆框。**提醒一句：读着顺不等于学会**——正文写得越流畅，越容易产生"我懂了"的错觉；掌握的判据只有一条：**合上页面，自己做得出**。所以下面的题是你的测谎仪，不是装饰。
### A 组 · 概念与判据（1–6）
**1.** 判断对错："若 $\alpha_1,\alpha_2$ 线性相关，$\alpha_2,\alpha_3$ 线性相关，则 $\alpha_1,\alpha_2,\alpha_3$ 线性相关。"
✅ 答案
对。两支相关即共线：$\alpha_1\parallel\alpha_2$ 且 $\alpha_2\parallel\alpha_3$，三支全共线（共线的传递性），三支的组当然相关。**采分点**：①知道两支相关=共线；②用到传递；③落回定义。
✅ 答案
相关，两条理由任写一条即满分：①含零向量必相关；②$\alpha_2=2\alpha_1$，前两支已共线，部分相关→整体相关。**采分点**：任一正确路径+正确引用性质。
✅ 答案
当且仅当 $\alpha=\mathbf{0}$。$k\alpha=\mathbf{0}$ 要有非零解 $k$，只能 $\alpha$ 本身是零向量（非零箭只有 $k=0$ 能缩成零）。**采分点**：答出"⟺ 零向量"而不只是"零向量时相关"。
✅ 答案
相关：$\alpha_1-\alpha_2=\mathbf{0}$，系数 $(1,-1)$ 不全为零。"单位向量"只保证长度为 1，**不保方向不同**——模与相关性无关。**采分点**：相关+指出长度不参与相关性判断。
✅ 答案
五个四维：**必**相关（$s=5>n=4$，性质 5）。四个四维：**不一定**——$(e_1,e_2,e_3,e_4)$ 四支基本箭无关；但 $(1,0,0,0),(2,0,0,0),(0,1,0,0),(0,0,1,0)$ 相关（第二支是第一支的 2 倍）。**采分点**：$s>n$ 必相关；$s\le n$ 举出无关与相关各一例。
✅ 答案
（a）相关：$\alpha_3=\alpha_1+\alpha_2$（三支全在 $xOy$ 面内，共面）。（b）无关：$e_1,e_2,e_3$ 三支基本箭，不共面。（c）不能：$\beta$ 竖着出面，$\alpha$ 们都在水平面内，怎么组合第三个分量都是 0，拼不出第三分量为 1 的 $\beta$（原料是平面，拼不出面外的菜——图 2 右的老逻辑）。**采分点**：三小问各按"判据+理由"给分；（c）能说出分量障碍。
✅ 答案
相关（$\alpha_2=2\alpha_1$，共线）。系数如 $(2,-1)$：$2\alpha_1-\alpha_2=(2-2,4-4)=\mathbf{0}$ ✓。**采分点**：判定+验证式。
✅ 答案
相关：$1\cdot(1,0)+1\cdot(0,1)-1\cdot(1,1)=(0,0)$，系数 $(1,1,-1)$。另解：这是二维（$n=2$）空间里的三支（$s=3$）箭，$s>n$ 必相关。**采分点**：任一路径；写出验证。
✅ 答案
相关。设系数清零：$\begin{cases}k_1+k_3=0\\ k_1+k_2=0\\ k_2-k_3=0\end{cases}$，解得 $k=(t,-t,-t)$ 有非零解（如 $(1,-1,-1)$），验证 $\beta_1-\beta_2-\beta_3=\mathbf{0}$ ✓。**采分点**：四步流程完整、系数回代验证。
✅ 答案
无关：$k_1e_1+k_2e_2+k_3e_3=(k_1,k_2,k_3)=\mathbf{0}$ 逼 $k_1=k_2=k_3=0$，只有零解。一般结论：$\mathbb{R}^n$ 的 $n$ 支基本箭 $e_1,\cdots,e_n$ 无关（每个分量各自清零，一步到位）；它们也张成整个 $\mathbb{R}^n$——"不多不少刚好铺满"的标准骨干。**采分点**：无关判定+推广表述。
✅ 答案
$\beta=\frac{5}{2}\alpha_1-\frac{1}{2}\alpha_2$（解 $\begin{cases}k_1+k_2=2\\k_1-k_2=3\end{cases}$ 得 $k_1=\frac52,k_2=-\frac12$）。唯一：$\alpha_1,\alpha_2$ 无关（不共线），由定理 B，可表示时表示式唯一。**采分点**：解对系数；唯一性**必须引用定理 B**（"无关所以唯一"），只说"只有一个解"给一半。
✅ 答案
（a）$\beta=\alpha_1+\alpha_2=3\alpha_1+0\cdot\alpha_2=0\cdot\alpha_1+\frac32\alpha_2$（任写两个即可）。（b）原料组相关（$\alpha_2=2\alpha_1$）：两种配方的系数之差 $(1,1)-(3,0)=(-2,1)$，恰是"组合出零"的一组非零系数（$-2\alpha_1+1\alpha_2=\mathbf{0}$）——**冗余让配方有了自由度**。（c）定理 B：原料组无关时，可表示则唯一。**采分点**：（a）两式；（b）点出"差=零组合的非零系数"这个机制（与 4.2 呼应）；（c）定理 B。
✅ 答案
无关。设 $k_1(\alpha_1+\alpha_2)+k_2(\alpha_2+\alpha_3)+k_3(\alpha_3+\alpha_1)=\mathbf{0}$，按原料整理：$(k_1+k_3)\alpha_1+(k_1+k_2)\alpha_2+(k_2+k_3)\alpha_3=\mathbf{0}$。原料无关逼每个括号清零：$\begin{cases}k_1+k_3=0\\k_1+k_2=0\\k_2+k_3=0\end{cases}$，前两式代入第三式得 $2k_1=0$，全零——无关。**采分点**："整理成原料的组合+无关逼零"这条完整思路；解出全零。**变式警惕**（数三经典变式族，考的就是"支数"两个字）：①若原料只有两支无关箭，"两支相加"这种组合只剩一支（$\alpha_1+\alpha_2$ 与它自己重复），重复即相关；②偶数支做"循环和"（$\alpha_1{+}\alpha_2,\ \alpha_2{+}\alpha_3,\ \cdots,\ \alpha_s{+}\alpha_1$）必相关（全加起来等于两倍总和，组合出零）；③奇数支（如本题三支）循环和才可能无关——考场上先数支数，再动笔。
✅ 答案
仍无关，依据性质 3（无关组加长仍无关）：若 $k_1\tilde\alpha_1+k_2\tilde\alpha_2=\mathbf{0}$，只看前两个分量就是 $k_1\alpha_1+k_2\alpha_2=\mathbf{0}$ 的账，原账本只有零解，加多少新账本都拦不住全零——所以也只有 $k_1=k_2=0$。**采分点**：引用性质 3 + 能说出"旧账清零则新账必清零"的方向。
✅ 答案
**错**。反例：$\alpha_1=(1,0),\alpha_2=(0,1),\alpha_3=(1,1)$——整体相关（$\alpha_3=\alpha_1+\alpha_2$），但 $\alpha_1,\alpha_2$ 无关。正确的方向是"部分相关⟹整体相关"（摸鱼子队带入全队），反过来"整体相关"不能保证随便指定的一个子队摸鱼。**采分点**：判错+反例+说出正确方向。
✅ 答案
定理 B 直接给出：可表示+唯一。补一遍推理（大题要过程）：相关给不全为零的 $k_1\alpha_1+k_2\alpha_2+k_0\beta=\mathbf{0}$；若 $k_0=0$，则无关组 $\alpha_1,\alpha_2$ 组合出零，必 $k_1=k_2=0$，与"不全为零"矛盾，故 $k_0\neq0$，$\beta=-\frac{k_1}{k_0}\alpha_1-\frac{k_2}{k_0}\alpha_2$。唯一性：两种表示相减得原料的零组合，无关逼系数相等。**采分点**：$k_0\neq0$ 的反证是主干，缺它整题塌。
✅ 答案
能（配方套配方：把 A 的配方里每支 B 换成它用 C 的配方展开）。它是"表示的传递性"；等价=互相表示，所以"甲≅乙、乙≅丙"时，甲的每支经"甲→乙→丙"链可由丙表示、丙的每支经反向链可由甲表示——传递性正是等价传递性的引擎。**采分点**：套配方思想；点出两概念的依存关系。
✅ 答案
（a）四支三维箭，$s=4>3=n$，必相关（性质 5）；且更直接：$\alpha_3=\alpha_1+\alpha_2$。
（b）$\{\alpha_1,\alpha_2,\alpha_4\}$：$\alpha_1,\alpha_2,\alpha_4$ 就是三支基本箭，无关；添 $\alpha_3$ 即相关（$\alpha_3=\alpha_1+\alpha_2$）——极大。
（c）$\alpha_3=\alpha_1+\alpha_2+0\cdot\alpha_4$。
（d）如 $\{\alpha_1,\alpha_3,\alpha_4\}$：$\alpha_2=\alpha_3-\alpha_1+0\cdot\alpha_4$。两组骨干人数都是 3——"个数不变"的小型现场。
**采分点**：（a）任一路径；（b）验证"无关+极大"两截缺一不可；（c/d）表示式正确；（d）末尾点出人数相同者加分。
✅ 答案（先写理由，再看）
19. $3\mathbf{i}+2\mathbf{j}$。
20. 相关：$(2,4)=2(1,2)$，成比例。
21. 整个平面。
22. 最多 2 支（平面只有两个独立方向）。
23. 3 维。