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

第三章总结 · 矩阵分解（3.1–3.2 与 3.4–3.5）

已整理四节一览

节核心问题关键结论典型陷阱
3.1 相抵分解任给一个矩阵，能拆成什么？相抵分解式 A=P−1ΓQA=P^{-1}\Gamma Q 与标准形 Γ=[Ir000]\Gamma=\begin{bmatrix}I_r&0\0&0\end{bmatrix}（引理 3.1.1）；分解式不唯一、标准形唯一（分解唯一性问题、本编补注：相抵   ⟺  \iff 同秩）；分块矩阵法求 PP、QQ（相抵变换求 PP 与 Q−1Q^{-1}）；用它解方程组（例 3.1.1：可解判据 ++ 自由度 n−rn-r）；右逆 / 左逆判别（定理 3.1.1：行满秩   ⟺  \iff 右逆，列满秩   ⟺  \iff 左逆）；秩等式 rank⁡(A)=rank⁡(AHA)\operatorname{rank}(A)=\operatorname{rank}(A^{\mathrm H}A)（命题 3.1.1）与闭式单侧逆把「分解不唯一」与「标准形唯一」写反；分块矩阵读出的 EE、FF 当成 P−1P^{-1}、Q−1Q^{-1} 直接代入；右逆 / 左逆的方向记反；对 Ax=bA\boldsymbol{x}=\boldsymbol{b} 用 b\boldsymbol{b}（而非 PbP\boldsymbol{b}）判可解、解出 y\boldsymbol{y} 忘了乘回 Q−1Q^{-1}
3.2 满秩分解怎样把「秩」拆成看得见的结构？满秩分解定理 A=BCA=BC（定理 3.2.1：BB 列满秩 == 列空间的基，CC 行满秩 == 坐标表）；两条构造（相抵法 / 列空间基法）与 RREF 算法（用 RREF 批量求满秩分解：BB 取主元列、CC 取非零行）；不唯一的精确刻画（定理 3.2.2：相差可逆因子 DD，DD 是过渡矩阵）；AXA=AAXA=A 的一个解（例 3.2.2）与等价刻画（本编补注）BB、CC 的形状与满秩方向写反；以为 R(A)R(A) 的基必须取自 AA 的列；把「不唯一」写成「随便」（漏掉 DD 可逆）；对 AXA=AAXA=A 强行约掉 AA；忘掉 r>0r>0 的前提
3.4 QR 分解能不能把骨架掰成标准正交的？QR / 正交三角分解定义（定义 3.4.1）；QR 分解定理（定理 3.4.1：满秩方阵 A=QRA=QR，QQ 酉、RR 正线上三角，唯一；RR 是「z\boldsymbol z 基到 a\boldsymbol a 基」的过渡矩阵，GS 即算法）；不唯一 == 对角酉阵自由度（实：2n2^n 种）；列 / 行正交规范矩阵（定义 3.4.2）；列满秩长方阵 A=U[R1O]A=U\begin{bmatrix}R_1\O\end{bmatrix}（推论 3.4.1：GS ++ 基扩充）；QR 算法（QR 算法：Ak+1=QkHAkQkA_{k+1}=Q_k^{\mathrm H}A_kQ_k 酉相似链，模互异 ⇒\Rightarrow 收敛上三角）rkkr_{kk} 写成 ∥ak∥|\boldsymbol{a}_k|（应为残差范数）；复数系数共轭放错边；长方阵硬套方阵定理；忘掉 RR 的零块；QR 迭代方向写反、把「模互异」当成可有可无（旋转阵卡死）
3.5 Schur 分解对角化失败时，保底的形状是什么？两个 Schur 引理（定理 3.5.1 相似于上三角；定理 3.5.2 酉相似，证明 == 对 PP 作 QR）；实方阵版本（定理 3.5.3，前提特征值全实）与旋转阵反例（注 3）；谱映射（推论 3.5.1：φ(A)\varphi(A) 特征值 φ(λi)\varphi(\lambda_i)，特征向量单向继承）；Hamilton–Cayley（定理 3.5.4：fA(A)=Of_A(A)=O，按次序乘因子逐列清零）；逆矩阵公式（推论 3.5.2）；零化 / 最小多项式（定义 3.5.2、定义 3.5.3、定理 3.5.5：唯一、整除一切、与 fAf_A 同根）与候选法（求最小多项式：候选法）把「相似于上三角」当可对角化；实矩阵硬套复结论（丢「特征值全实」）；H–C 证明只验对角元为零、φ(A)\varphi(A) 常数项忘乘 II；候选法从高往低试；逆公式系数配对错位（例 3.5.3 课件即翻车）

一条主线

第三章的每一节都是一副「眼镜」。 3.1 的眼镜叫「相抵」：左右各乘可逆矩阵，把任何矩阵看成同一个标准形 Γ\Gamma——于是「秩」成为唯一的不变量，而「分解不唯一」的全部秘密都藏在两侧的可逆矩阵里。3.2 的眼镜叫「满秩」：不许再乘可逆矩阵，而把 AA 直接写成 A=BCA=BC——BB 的列摆出列空间 R(A)R(A) 的骨架，CC 逐列记下每根梁怎么搭上去，于是列空间与列之间的关系第一次可见。3.4 把骨架掰直：BB 的列换成标准正交基（GS），坐标表自动变上三角——A=QRA=QR；反复做这个分解（QR 算法），全部特征值被一步步挤上对角线。3.5 把「对角化」放松成「三角化」：每个复方阵都酉相似于上三角阵，对角线摆特征值、上方记「没能对角化」的余额——最小多项式给这笔余额记最省的账。

四副眼镜都由同一个动作造出来：选基。 而选基的学问正是第一章的主题（1.3）；3.5 的证明又回头向 3.4 借了 QR 分解这把工具——章内自己形成了闭环。

六句话带走

  1. 相抵分解是「秩的化身」：任何矩阵都相抵于、且只相抵于 Γ\Gamma。它证明的实质是「选一组好基让映射只剩骨架」——零空间的基排前面、值域的基接后面（引理 3.1.1 的证明）。
  2. 单侧逆 = 满秩的另一张脸：行满秩   ⟺  \iff 右逆   ⟺  \iff 满射；列满秩   ⟺  \iff 左逆   ⟺  \iff 单射；方阵上两者合一即「可逆」（定理 3.1.1 与注 1）。
  3. 满秩分解把 AA 拆成「基 ×\times 坐标」：BB 是骨架、CC 是图纸；不唯一的程度恰好是一个可逆矩阵 DD（过渡矩阵），一个分解即生成全部（定理 3.2.2、注 3）。
  4. QR = 满秩分解的正交版：GS 立轴、坐标上三角；「正线」把 2n2^n（实）种分解锁成唯一一种（定理 3.4.1 与 3.4.1 的本编补注）；QR 算法靠酉相似链把特征值挤上对角线，等模即卡死（QR 算法）。
  5. Schur 是对角化的保底：复方阵人人酉相似于上三角；实阵要过「特征值全实」这一关（定理 3.5.2、定理 3.5.3 与旋转阵反例）；它的证明就是对相似矩阵 PP 作 QR——上一节工具的第一次回厂。
  6. fAf_A 记全部、mAm_A 记必要：H–C 定理说 fA(A)=Of_A(A)=O（按次序乘因子逐列清零）；最小多项式与 fAf_A 同根、整除一切零化多项式——算 g(A)g(A)、A−1A^{-1}、AmA^m 时除以 mAm_A 永远不亏（定理 3.5.4、定理 3.5.5、求最小多项式：候选法）。

素材状态与后续

  • 3.1、3.2：课件整理完毕（原件在归档重组时移出工作区，正文、勘误与插图留档），均无录播；课件省略的证明已按「选基 ++ 换基 / 过渡矩阵」路线补全。
  • 3.4、3.5：课件已入库（_sources/matrix/3.4-QR分解.pdf 16 页、3.5-Schur分解.pdf 22 页），均无录播；课件省略的证明（定理 3.4.1 唯一性、推论 3.4.1、定理 3.5.1/3.5.3/3.5.4/3.5.5）已补全，课件笔误（E3.5–E3.7）见勘误与补注。
  • 待补：3.3 三角分解（课件暂缺）；3.6 及以后（奇异值分解、广义逆等）待素材到位后按同样流程补全。已铺好的地基：分块矩阵消元与单侧逆 / 秩等式（3.1）、满秩分解（3.2，SVD 与广义逆的中转站）、GS / QR（3.4，一切正交化的引擎）、Schur 型与最小多项式（3.5，特征值理论的收口）。

建议反复做的「母题」

母题一题串起什么做完应能复述
相抵分解全流程（习题 C1、C3、C10）分块矩阵消元、读块、回代验证「读出的 EE、FF 与 PP、QQ 是什么关系？」
相抵标准形解方程组（习题 C2）换元、可解判据、自由度数「为什么要看 PbP\boldsymbol{b} 的后 m−rm-r 个分量？」
左逆右逆的存在性（习题 A3、C5、C13）满秩判别、单侧逆公式、不唯一「方阵为什么只需要一个方向的条件？」
秩等式与闭式右逆（习题 B3、B9、C6）同解证明、正定性、可逆性转换「正定性用在哪一步？」
满秩分解三种算法（习题 C7、C8、C16）取列 / RREF / 从相抵分解读「主元列为什么是列空间的一组基？」
两种分解的换算（习题 C9、B5）过渡矩阵、DD 的可逆性「为什么一个 DD 就能生成全部？」
矩阵方程 AXA=AAXA=A（习题 C14、B8）满秩分解的应用、伪逆的雏形「为什么不能两边约掉 AA？」
GS 手算 QR（习题 C17、C18）GS 流程、RR 的读法、正线规约「rkkr_{kk} 为什么是残差的范数？」
数清全部 QR 分解（习题 A14、B11）对角酉阵自由度、唯一性证明「正线到底锁死了什么？」
QR 算法算特征值（习题 C22、B13）酉相似链、收敛条件、数值复核「为什么等模就卡死？」
带余除法算 g(A)g(A)（习题 C20、C23）H–C 降次、多项式除法「为什么除以 mAm_A 更省？」
最小多项式候选法（习题 C21、C24）fAf_A 因式分解、从低到高试算「重因子记的是什么账？」
高次幂两条路（习题 C19）H–C 递推 vs 对角化「递推路的适用面为什么更宽？」

学完之后

按下面的顺序收尾：先回忆、再自测、再竞技、后反查、最后串一遍。

  1. 闭卷回忆卡：先确认 8 张定义卡与 16 张定理卡能从空白纸上叫出来（相抵 → 满秩 → QR → Schur 全景图 + 三问加试）。
  2. 综合自测卷：闭卷计时（第一分卷 60 分钟覆盖 3.1–3.2；第二分卷 60 分钟覆盖 3.4–3.5）、100 分制。不看分数，看每道错题卡在哪一步。
  3. 考场竞技场：按必考点清单补漏后，跑一轮三轮计时赛（概念抢答 / 计算擂台 / 证明对决，自带计时器与记分牌），用段位表与评分细则定位「丢的是概念分、动作分还是时间分」；错题进抢救室，按重训日程（+3+3 天 / +7+7 天）回炉。
  4. 学习目标自检表：把失分点对到 K / S / A 目标，回到正文对应小节重读该节的「即时自测」。
  5. 习题集：只重做做过记号的题；B 组的证明题看自己能否写出结构完整、每步有依据的证明（尤其 定理 3.2.2、定理 3.4.1 唯一性、定理 3.5.4 与 定理 3.5.5）。
  6. 勘误与补注：把七条勘误与「本编补全清单」读一遍——能自己说清 EE、FF 与 PP、QQ 的对应关系、「充分条件」为什么其实是充要条件、课件例 3.5.3 的连环错错在哪一步，就算过关。
  7. 解题工具箱：把本章的流程卡（相抵 → 满秩 → QR → QR 算法 → 最小多项式 → H–C 三件套）与二级结论（分解专线 10 条）过一遍，每条验算式都亲手写一次。
  8. 第三章总览：最后用一句话把「相抵 → 满秩 → QR → Schur → 最小多项式」串成一条线，能自己复述即算过关。