Keyboard shortcuts

Press ← or → to navigate between chapters

Press S or / to search in the book

Press ? to show this help

Press Esc to hide this help

第 2 章 线性方程组的解法

本章按老师授课顺序组织:高斯消去 → 列主元 → LU / 追赶法 → 迭代法引论 → Jacobi / Gauss–Seidel → SOR。 对应庞刚老师第 3–6 讲;对应颜庆津《数值分析》(第 4 版)第 2 章 2.1–2.4。 本章是完整正文:教材的每个小节、定理、例题、习题都在覆盖矩阵里有落点;课堂实录另见各讲链接。

本章定位

这是老师课程的主线第 2 章,也是原书第 2 章。老师默认线性代数(内积、正交、投影、QR、SVD)已学,不再单独讲;本教程把那些内容放进补充篇,只在需要时从本章链过去。

先看结构,再选算法 直接法与迭代法不是二选一,而是同一张决策图上的两条分支。 NUMERICAL · LINEAR SYSTEMS / 02 ATLAS / N-21 先看结构,再选算法 直接法与迭代法不是二选一,而是同一张决策图上的两条分支。 01看结构稠密 / 稀疏 / 病态02直接法Gauss · 列主元 · LU03三角求解Ly=b → Ux=y04迭代法x_{k+1}=Gx_k+d05收敛判据ρ(G)<1 / ‖G‖<1病态?先看 cond(A)稀疏三对角 → 追赶法 O(n);稠密小规模 → 列主元 LU。
图解读图:先判断矩阵结构,再选算法。稠密小规模用列主元/LU;三对角用追赶法 O(n);大规模稀疏用迭代法,但先要过 ρ(G)<1 或 ‖G‖<1 这一关。直接法与迭代法不是二选一,而是同一张决策图上的两条分支。
本章学习目标

学完本章,你应该能:

  1. 根据矩阵结构(稠密 / 三对角 / 稀疏 / 病态)选择直接法或迭代法,并说明理由;
  2. 写出高斯消去、LU 分解、追赶法的复杂度与适用条件;
  3. 判断 Jacobi / Gauss–Seidel / SOR 的收敛性,分清 ρ(G)<1\rho(G)\lt1、∥G∥<1\lVert G\rVert\lt1、对角占优、对称正定四条判据;
  4. 用条件数解释「残差小 ≠ 误差小」,知道什么时候要换提法而不是换算法。

本章结构

节内容教材老师
2.1高斯消去与列主元2.1.1–2.1.2;定理 2.1–2.2;例 1第 3 讲 §一、§四、§五
2.2直接三角分解:LU、选主元、带状、追赶法、拟三对角2.2.1–2.2.5;定理 2.3–2.5;例 2–3第 4 讲 §二–§四
2.3条件数与病态方程组2.3.1–2.3.2;定理 2.6;例 4–5第 3 讲 §一(点到)
2.4.1迭代法引论与收敛定理2.4.1;定理 2.7–2.9第 4 讲 §五、第 5 讲 §一–§三
2.4.2–2.4.4Jacobi、Gauss–Seidel、SOR2.4.2–2.4.4;定理 2.10–2.21;例 6–11第 5 讲 §四–§五、第 6 讲 §二–§八
习题教材习题 1–24 + 课堂补充p.45–47各讲练习

覆盖核对:第 2 章覆盖矩阵。章节/定理/例题标 ✅ 表示“有正文落点”;习题标 🟡 表示“题面摘要 + 答案/提示已给,具体数值解待逐题复算”。

老师讲次对照

  • 第 3 讲:矩阵范数、可逆性判据、高斯消去、列主元。
  • 第 4 讲:LU 分解、Doolittle、追赶法、迭代法引论。
  • 第 5 讲:ho(G)lt1 ho(G)lt1、误差估计、Jacobi、Gauss–Seidel。
  • 第 6 讲:SOR 构造、必要条件、主定理、Ostrowski、特征值开篇。
三句话带走
  1. 结构决定算法:稠密小规模用列主元/LU,三对角用追赶法,大规模稀疏用迭代法。
  2. 直接法的核心是分解:一次 LU,反复前代/回代;稠密 O(n3)O(n^3),三对角 O(n)O(n)。
  3. 迭代法先过谱半径:ρ(G)<1\rho(G)\lt1 是充要条件,∥G∥<1\lVert G\rVert\lt1 是好算的充分条件。

本章状态