线性代数：从方程组走向子空间，教材如何选
矩阵计算之后，还要说明解集为何如此。选择从计算走向证明的第一本教材，或面向抽象推理的第二遍读物，把消元、线性映射与几何检查接起来，而不是三本同时通读。
学习路线与例题编辑责任：University Reading List 编辑项目。 编辑与选书方法 · 来源核验日期:
适用范围与编辑责任
本路线面向本科方程组、子空间和线性映射。Hefferon指第四版，Strang指2023年第六版，Axler指版权年2024的第四版，在线修订日期另计。不声称逐页通读或课堂验证。例题是原创的精确数值问题，不是实测数据拟合，也不保证数值软件表现。
选择你的起点
希望结合矩阵、几何和应用
课程指定第六版或重视列空间视角时选Strang。先用公开样章判断适配度，视频不等于教材和课程考核。
三本书如何取舍
Linear Algebra（线性代数）
Jim Hefferon · 版次: 4 · 2020
免费的计算到证明桥梁
- 适合何时选择
- 希望把代数消元与结构理由一起学。
- 何时另选路线
- 急需另一指定书的作业，或已准备好以算子为中心的进阶路线。
- 建议阅读范围
- 第四版Chapter One方程组、Two向量空间、Three映射；投影是Three中的选学部分。
- 局限与取舍
- 作者对完整课程读者预期一学期微积分，本页起步题只用代数。官方全题解也应在独立尝试和说明理由后使用。
选书前试做
对本页矩阵消元，写出全部解，并解释行变换为什么不改变解集。
检查标准: 明确自由参数，不能默默取零。将整族解代回原式，并用秩论证说明没有漏解。
Introduction to Linear Algebra（线性代数导论）
Gilbert Strang · 版次: 6 · 2023
连接矩阵与子空间的视角
- 适合何时选择
- 希望在方程、列向量和几何近似间转换。
- 何时另选路线
- 需要完整免费书，或以抽象算子的证明为首要目标。
- 建议阅读范围
- 第六版1–3章学习向量、方程与基本子空间，4章学习正交和最小二乘。
- 局限与取舍
- 官网提供目次、样章和部分解答，不代表第六版全文免费；同站旧第五版链接要另行辨认。
选书前试做
在求逆或拟合前，用A的列说明哪些右端向量能够到达。
检查标准: 指出c=a+b，找出与三列都正交的非零向量。不能因为有残差就暗改观测值。
Linear Algebra Done Right（线性代数应该这样学）
Sheldon Axler · 版次: 4 · 2024
免费的证明导向进阶
- 适合何时选择
- 准备解释核、像、基与维数命题为什么成立。
- 何时另选路线
- 还不能解小型方程组，或只想找算法练习库。
- 建议阅读范围
- 第四版1–3章讲空间与映射，6章讲内积及正交投影。
- 局限与取舍
- 作者定位为第二门线代课。免费阅读与BY-NC再利用许可不同，在线更新日也不构成新编号版次。
选书前试做
将A视为T:R³→R³，以明确的基证明本例核与像的维数关系。
检查标准: 给出像的两个独立向量、核的一个向量，说明它们能张成对应空间，再核对秩2+零度1=定义域维数3。
检查先修准备
第一道题需要微积分吗？
不需要，但要会方程组、分数、内积和参数。Hefferon整门课程预期微积分背景，其他路线也各有数学成熟度要求。
奇异到底说明什么？
方形奇异矩阵不可逆，不意味着每个右端都无解；仍须核对右端与列空间。
软件能代替证明吗？
可用于查算术，但必须说明数域、维数、精确或舍入输入，以及为什么解族覆盖全部解。
六步学习与具体成果
已标记完成的成果: 0 / 6
勾选用于自我记录，不是成绩评定；标记不会发送给本站。
-
保留两种表示
建议阅读范围: 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才是目标向量。没有噪声模型或外部数据，正交性采用欧几里得内积。
- c=a+b，所以Ax=(x₁+x₃)a+(x₂+x₃)b。a、b独立，故秩为2；d=4a+3b，所以有解。
- 令x₃=t，得x₁=4−t、x₂=3−t。全解为(4,3,0)+t(−1,−1,1)，t∈R。核由(−1,−1,1)张成，零度1。
- 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。加核向量会改系数，却不会改输出。
改变假设，再做一题
只改一个目标分量，精确拟合就消失
保留A和精确欧几里得设定，将目标改为e=(4,8,3)。求最小二乘投影、残差和全部最小化系数，不引入测量不确定性。
- n·e=4−8+3=−1，所以e在列空间外，Ax=e无解。
- 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。
- 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
核对官方第四版前言与目次以建立路线，不声称新作全书通读。
- Hefferon: independent study and worked answers
作者提供完整解答，并强调先独立尝试。
- Strang: sixth-edition identity, contents and samples
官网第六版资源与同站第五版旧链接分别处理。
- Axler: fourth edition, access and intended level
核对作者给出的第二门课程定位、免费版本，以及2024版权年和修订日期的区别。
这些是本站建议的学习活动，并非大学官方作业，也不代表对每本书逐页通读。