# 线性代数：从方程组走向子空间，教材如何选 — 学习任务单

[学习指南](https://unireadinglist.com/zh-cn/guides/linear-algebra/)

[课程专题: 线性代数](https://unireadinglist.com/zh-cn/subjects/mathematics/#course-linear-algebra)

来源核验日期: 2026-11-04

学习路线与例题编辑责任：University Reading List 编辑项目。

本路线面向本科方程组、子空间和线性映射。Hefferon指第四版，Strang指2023年第六版，Axler指版权年2024的第四版，在线修订日期另计。不声称逐页通读或课堂验证。例题是原创的精确数值问题，不是实测数据拟合，也不保证数值软件表现。

## 选择你的起点

- [ ] 需要免费的第一本主教材
  从Hefferon开始，逐步连接消元与证明。完整解答用于尝试后的核对，不应代替先动手。

- [ ] 希望结合矩阵、几何和应用
  课程指定第六版或重视列空间视角时选Strang。先用公开样章判断适配度，视频不等于教材和课程考核。

- [ ] 会计算，准备学习抽象论证
  把Axler用作证明导向的第二遍。免费消除了价格门槛，不能消除对定义、例子与线性算子的推理要求。

## 三本书如何取舍

### Linear Algebra（线性代数）

Jim Hefferon · 4 · 2020
免费的计算到证明桥梁

适合何时选择: 希望把代数消元与结构理由一起学。
何时另选路线: 急需另一指定书的作业，或已准备好以算子为中心的进阶路线。
建议阅读范围: 第四版Chapter One方程组、Two向量空间、Three映射；投影是Three中的选学部分。
局限与取舍: 作者对完整课程读者预期一学期微积分，本页起步题只用代数。官方全题解也应在独立尝试和说明理由后使用。

#### 选书前试做

对本页矩阵消元，写出全部解，并解释行变换为什么不改变解集。
检查标准: 明确自由参数，不能默默取零。将整族解代回原式，并用秩论证说明没有漏解。

你的笔记:

________________________________

ISBN: 9781944325114

[官方免费阅读](https://hefferon.net/linearalgebra/)

[书目信息与获取方式](https://unireadinglist.com/zh-cn/subjects/mathematics/linear-algebra-hefferon/)

### Introduction to Linear Algebra（线性代数导论）

Gilbert Strang · 6 · 2023
连接矩阵与子空间的视角

适合何时选择: 希望在方程、列向量和几何近似间转换。
何时另选路线: 需要完整免费书，或以抽象算子的证明为首要目标。
建议阅读范围: 第六版1–3章学习向量、方程与基本子空间，4章学习正交和最小二乘。
局限与取舍: 官网提供目次、样章和部分解答，不代表第六版全文免费；同站旧第五版链接要另行辨认。

#### 选书前试做

在求逆或拟合前，用A的列说明哪些右端向量能够到达。
检查标准: 指出c=a+b，找出与三列都正交的非零向量。不能因为有残差就暗改观测值。

你的笔记:

________________________________

ISBN: 9781733146678

[书目信息与获取方式](https://unireadinglist.com/zh-cn/subjects/mathematics/introduction-to-linear-algebra/)

### Linear Algebra Done Right（线性代数应该这样学）

Sheldon Axler · 4 · 2024
免费的证明导向进阶

适合何时选择: 准备解释核、像、基与维数命题为什么成立。
何时另选路线: 还不能解小型方程组，或只想找算法练习库。
建议阅读范围: 第四版1–3章讲空间与映射，6章讲内积及正交投影。
局限与取舍: 作者定位为第二门线代课。免费阅读与BY-NC再利用许可不同，在线更新日也不构成新编号版次。

#### 选书前试做

将A视为T:R³→R³，以明确的基证明本例核与像的维数关系。
检查标准: 给出像的两个独立向量、核的一个向量，说明它们能张成对应空间，再核对秩2+零度1=定义域维数3。

你的笔记:

________________________________

ISBN: 9783031410253

[官方免费阅读](https://linear.axler.net/)

[书目信息与获取方式](https://unireadinglist.com/zh-cn/subjects/mathematics/linear-algebra-done-right-axler/)

## 检查先修准备

### 第一道题需要微积分吗？

你的笔记:

________________________________

### 奇异到底说明什么？

你的笔记:

________________________________

### 软件能代替证明吗？

你的笔记:

________________________________

## 六步学习与具体成果

- [ ] 保留两种表示

建议阅读范围: Hefferon One.I或Strang第1–2章。

动手产出: 写出三个方程和列的线性组合，标明各自维数。

检查标准: A是3×3，x与d各有三分量，未知数是列的系数。

你的笔记:

________________________________

- [ ] 找出全部解

建议阅读范围: Hefferon One.I.2–3或所选书的方程组路线。

动手产出: 消元、标枢轴，以一个自由参数表达全解。

检查标准: 区分特解和核向量，分别代入检验。

你的笔记:

________________________________

- [ ] 解释像空间

建议阅读范围: Hefferon Two–Three、Strang第3章或Axler第3章。

动手产出: 构造像与核的基，说明独立和张成。

检查标准: 列出几个向量并不自动构成基；维数以定义域为依据。

你的笔记:

________________________________

- [ ] 用几何检验相容性

建议阅读范围: Strang第3章或映射章节。

动手产出: 找左零空间的非零向量，检查两个右端。

检查标准: 内积非零即可否定精确相容；本例内积为零足够，还依赖正交补恰为一维的证明。

你的笔记:

________________________________

- [ ] 改为近似问题

建议阅读范围: Strang第4章、Hefferon投影部分或Axler第6章。

动手产出: 解变式，给出投影目标、残差和全部最小二乘系数。

检查标准: 核对Aᵀr=0与残差范数，不能把投影称为原始观测。

你的笔记:

________________________________

- [ ] 写出可复核说明

建议阅读范围: 回看主教材的方程组与子空间部分。

动手产出: 用一页说明存在性、唯一性、近似及精确输入前提。

检查标准: 他人能复算解族与投影，测量误差主张与题设算术分开。

你的笔记:

________________________________

## 原创例题与解析: 原创例题：一列相关，仍有无穷多个精确解

实矩阵A的三列为a=(1,1,0)、b=(0,1,1)、c=(1,2,1)，目标d=(4,7,3)。求Ax=d的全部解、秩与零度，并给出结构性相容检验。

前提假设: 所有条目均为原创的精确实数。b是第二列，d才是目标向量。没有噪声模型或外部数据，正交性采用欧几里得内积。

你的笔记:

________________________________

## 改变假设，再做一题: 只改一个目标分量，精确拟合就消失

保留A和精确欧几里得设定，将目标改为e=(4,8,3)。求最小二乘投影、残差和全部最小化系数，不引入测量不确定性。

你的笔记:

________________________________

## 进入下一阶段之前

- 将整族解代入原方程检验。
- 说明基、维数和正交性，而不只列结果。
- 解释投影唯一为何不意味着系数唯一。

## 答案与解释

### 第一道题需要微积分吗？

不需要，但要会方程组、分数、内积和参数。Hefferon整门课程预期微积分背景，其他路线也各有数学成熟度要求。

### 奇异到底说明什么？

方形奇异矩阵不可逆，不意味着每个右端都无解；仍须核对右端与列空间。

### 软件能代替证明吗？

可用于查算术，但必须说明数域、维数、精确或舍入输入，以及为什么解族覆盖全部解。

### 原创例题：一列相关，仍有无穷多个精确解

1. c=a+b，所以Ax=(x₁+x₃)a+(x₂+x₃)b。a、b独立，故秩为2；d=4a+3b，所以有解。
2. 令x₃=t，得x₁=4−t、x₂=3−t。全解为(4,3,0)+t(−1,−1,1)，t∈R。核由(−1,−1,1)张成，零度1。
3. n=(1,−1,1)与三列均正交，n·d=4−7+3=0。列空间在R³中为二维，故正交补恰为span(n)。

解不是不存在，而是无穷多个：x=(4−t,3−t,t)。秩2与零度1之和为定义域维数3；行列式为零不能独自判断某个右端是否相容。

检验结果: 逐行代回：x₁+x₃=4，x₁+x₂+2x₃=7，x₂+x₃=3。加核向量会改系数，却不会改输出。

### 改变假设，再做一题: 只改一个目标分量，精确拟合就消失

1. n·e=4−8+3=−1，所以e在列空间外，Ax=e无解。
2. p=e−\[(n·e)/(n·n)\]n=e+n/3=(13/3,23/3,10/3)。残差r=e−p=(−1/3,1/3,−1/3)，范数平方为1/3。
3. p=(13/3)a+(10/3)b，故所有最小化系数为x=(13/3−t,10/3−t,t)。投影输出唯一，系数却不唯一。

最近输出p=(13/3,23/3,10/3)，残差范数1/√3。取t=0或残差小，都不能证明系数唯一或实测模型正确。

检验结果: 核对Aᵀr=0与p+r=e。正交残差通过勾股关系保证全局最小；只试若干系数不构成最小性证明。

## 常见误区

### 一个解不等于全解

将自由变量设零只得到特解，不能证明唯一。

### 逆矩阵不是唯一路线

奇异矩阵仍能把多个系数向量映射到相容右端。

### 拟合不等于改正观测

分别标明e、p、r，噪声假设需要额外证据。

## 来源与版次核验

- [Hefferon: official fourth-edition text and contents](https://jheffero.w3.uvm.edu/linearalgebra/book.pdf)
  核对官方第四版前言与目次以建立路线，不声称新作全书通读。

- [Hefferon: independent study and worked answers](https://hefferon.net/linearalgebra/independent-study.html)
  作者提供完整解答，并强调先独立尝试。

- [Strang: sixth-edition identity, contents and samples](https://math.mit.edu/~gs/linearalgebra/ila6/indexila6.html)
  官网第六版资源与同站第五版旧链接分别处理。

- [Axler: fourth edition, access and intended level](https://linear.axler.net/)
  核对作者给出的第二门课程定位、免费版本，以及2024版权年和修订日期的区别。

这些是本站建议的学习活动，并非大学官方作业，也不代表对每本书逐页通读。

[编辑与选书方法](https://unireadinglist.com/zh-cn/editorial/)