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

闭卷回忆卡 · 第三章:定义、定理与第一行

这页不是摘要,而是一组检索练习。先只看问题,必须开口说或落笔写;「看着熟」不算会。每张卡答完再展开核对。

背不下来?先看速查背记卡。 那一页把每个定义、定理压成一句「最小可背诵单元」;这一页负责检验你有没有真的记住。第一章与第二章的对应卡片在第一章回忆卡与第二章回忆卡。

想做成间隔复习

本页每张卡可以导出成 Anki 卡组——命令与导入步骤见速查背记卡文末「导出到 Anki」(脚本会一次解析三章回忆卡)。

建议在学完当天、隔天、第 3 天、第 7 天各做一次。每次只记录三种结果:✓ 能完整写出;△ 有关键词但缺条件;× 完全想不起。下一轮只重做 △ 和 ×。

A. 定义卡

D1 · 相抵分解式与相抵标准形

写出分解式与标准形;「分解式不唯一」与「标准形唯一」各指什么?标准形由什么唯一决定?

D1 核对

A=P−1ΓQA=P^{-1}\Gamma Q,Γ=[Ir000]m×n\Gamma=\begin{bmatrix}I_r&0\\0&0\end{bmatrix}_{m\times n}(引理 3.1.1)。不唯一:PP、QQ 的取法无穷(同一分解上左乘吸收矩阵 [Ir∗0I]\begin{bmatrix}I_r&*\\0&I\end{bmatrix}、右乘 [Ir0∗I]\begin{bmatrix}I_r&0\\*&I\end{bmatrix} 仍是分解,分解唯一性问题);唯一:中间的 Γ\Gamma 由秩唯一决定,同型矩阵相抵   ⟺  \iff 同秩(本编补注)。两句话对象不同,别写反。

D2 · 右逆与左逆

各写出定义式;各自的充要条件是什么?方阵情形为什么合一?

D2 核对

AB=IAB=I 称 BB 是 AA 的右逆;BA=IBA=I 称左逆(定理 3.1.1)。判别:AA 有右逆   ⟺  \iff AA 行满秩;AA 有左逆   ⟺  \iff AA 列满秩。方阵情形:单侧满秩 == 双侧满秩(行数 == 列数),故单侧逆即双侧逆即「可逆」。易错:长方阵的 AB=IAB=I 不能推出 BA=IBA=I,也不能称 BB 为「逆」。

D3 · 满秩分解

写出分解式与 BB、CC 的形状、秩;几何读法一句话是什么?BB 的列必须取自 AA 的列吗?

D3 核对

A=BCA=BC:B∈Cm×rB\in\mathbb C^{m\times r} 列满秩(列是 R(A)R(A) 的一组基)、C∈Cr×nC\in\mathbb C^{r\times n} 行满秩(列是 AA 各列在该基下的坐标)(定理 3.2.1)。读法:BB 是骨架、CC 是图纸。BB 不必取自 AA 的列——A=I2AA=I_2A 也是合法分解(注 2)。前提 r>0r>0。

D4 · QR 分解

分别写出「酉三角分解」与「正交三角分解」的定义;「正线上三角阵」的「正线」指什么?不满秩方阵还有 QR 分解吗?

D4 核对

复方阵 A=QRA=QR(QQ 酉、RR 上三角)称 QR 分解 / 酉三角分解;实方阵时 QQ 正交称正交三角分解(定义 3.4.1)。正线 == 对角元素全为正实数(定理 3.4.1 首次使用)。不满秩仍有分解,丢的是唯一性——例 3.4.2 的 RR 出现零对角元、不再是正线(例 3.4.2)。

D5 · 列 / 行正交规范矩阵

写出定义;它与酉矩阵差在哪?它一定满秩吗?QQHQQ^{\mathrm H} 与 II 的关系?

D5 核对

QHQ=InQ^{\mathrm H}Q=I_n(Q∈Cm×nQ\in\mathbb C^{m\times n},不必方阵)称列正交规范,QHQ^{\mathrm H} 称行正交规范(定义 3.4.2)。酉矩阵要求方阵;m>nm>n 时 QQH≠ImQQ^{\mathrm H}\ne I_m(差一个投影)。自动列满秩(列标准正交),且保范 ∥Qx∥=∥x∥\|Q\boldsymbol x\|=\|\boldsymbol x\|;QHQ^{\mathrm H} 是它的一个左逆。

D6 · 矩阵多项式

写出定义;容易漏的一处是什么?它与 AA 可交换吗?

D6 核对

φ(λ)=∑aiλi\varphi(\lambda)=\sum a_i\lambda^i 给定后,φ(A)=anAn+⋯+a1A+a0I\varphi(A)=a_nA^n+\cdots+a_1A+a_0I(定义 3.5.1)。最容易漏:常数项要补成 a0Ia_0I。φ(A)\varphi(A) 是 AA 的多项式,故与 AA 可交换(Aφ(A)=φ(A)AA\varphi(A)=\varphi(A)A)——这是 H–C 证明里「因子按次序乘」的背景前提。

D7 · 零化多项式

定义是什么?一个矩阵的零化多项式有多少个?给出两个已知的零化多项式。

D7 核对

g(A)=Og(A)=O 则 gg 是 AA 的零化多项式(定义 3.5.2)。有无穷多个:若 gg 零化,则任意 ghgh 也零化([g(A)g(A) 与 h(A)h(A) 可交换])。两个现成成员:fAf_A(H–C 定理)与 mAm_A(本身)(注 5)。

D8 · 最小多项式

写出定义(「最小」指什么、「首 1」指什么);它与特征多项式的两项核心关系是什么?

D8 核对

零化多项式中次数最小的首 1(最高次项系数为 11)多项式,记 mAm_A(定义 3.5.3)。两项关系(定理 3.5.5):① mAm_A 唯一,且整除任何零化多项式——特别地 mA∣fAm_A\mid f_A;② mAm_A 与 fAf_A 根相同(不计重数)。mAm_A 的重数记「必要重数」:I2I_2 的 fA=(λ−1)2f_A=(\lambda-1)^2 而 mA=λ−1m_A=\lambda-1。

B. 定理卡

T1 · 引理 3.1.1(相抵标准形存在性)

证明第一行怎么做(选基路线)?零空间的基与值域的基各排在哪里?

T1 核对

把 AA 读成映射 TT,取出发端的一组基:核的基 ξ1,⋯ ,ξn−r\boldsymbol\xi_1,\cdots,\boldsymbol\xi_{n-r} 排前面、扩充的向量 ξn−r+1,⋯ ,ξn\boldsymbol\xi_{n-r+1},\cdots,\boldsymbol\xi_n 排后面;它们的像 fi=T(ξn−r+i)f_i=T(\boldsymbol\xi_{n-r+i}) 是 R(T)R(T) 的基(无关性由表示唯一性逼出),扩充为到达端的基。两组基下矩阵恰为 Γ\Gamma,换基公式收尾 A=P−1ΓQA=P^{-1}\Gamma Q(引理 3.1.1)。一句话:「零空间的基排前、值域的基接后,让映射只剩骨架」。

T2 · 定理 3.1.1(单侧逆判别)

陈述完整;两条充分性证明路线各是什么?「注 1」的三条存在性小结说了什么?

T2 核对

行满秩   ⟺  \iff 有右逆;列满秩   ⟺  \iff 有左逆(定理 3.1.1)。路线:法 1 用相抵构造(从 Γ\Gamma 的竖条横条拼出单侧逆);法 2 用闭式公式 B=AH(AAH)−1B=A^{\mathrm H}(AA^{\mathrm H})^{-1}、(AHA)−1AH(A^{\mathrm H}A)^{-1}A^{\mathrm H}。注 1:方阵时单侧即双侧(可逆);满秩非方阵的单侧逆不唯一(通式 B0+ZB_0+Z,ZZ 每列属于对应的零空间)。必要性证明:AB=IAB=I 时 BB 的列给出 AA 的行满秩结构(定理 3.1.1 的左右逆两条,左逆必要性本编补)。

T3 · 命题 3.1.1(秩等式链)

写出四项链;证明第一行是什么(同解路线)?正定性用在哪一步?这条结论为什么叫「可逆性转换器」?

T3 核对

rank⁡(A)=rank⁡(AHA)=rank⁡(AAH)=rank⁡(AH)\operatorname{rank}(A)=\operatorname{rank}(A^{\mathrm H}A)=\operatorname{rank}(AA^{\mathrm H})=\operatorname{rank}(A^{\mathrm H})(命题 3.1.1)。证明入口:证 N(A)=N(AHA)N(A)=N(A^{\mathrm H}A)——「⊆\subseteq」显然,「⊇\supseteq」由 AHAx=0A^{\mathrm H}A\boldsymbol x=\boldsymbol 0 左乘 xH\boldsymbol x^{\mathrm H} 得 (Ax,Ax)=0(A\boldsymbol x,A\boldsymbol x)=0,正定性逼出 Ax=0A\boldsymbol x=\boldsymbol 0。用途:把长方阵的满秩问题转成方阵 AHAA^{\mathrm H}A 的可逆问题——单侧逆公式、伪逆、最小二乘都从它出发。

T4 · 定理 3.2.1(满秩分解)

两条构造路线各是什么?RREF 算法怎么取 BB 和 CC?

T4 核对

A=BCA=BC 存在,BB 列满秩、CC 行满秩(定理 3.2.1)。构造法 1(相抵):A=P−1[Ir0][Ir,0]QA=P^{-1}\begin{bmatrix}I_r\\0\end{bmatrix}[I_r,0]Q,取前 rr 列 / 前 rr 行;构造法 2(列空间基):任取 R(A)R(A) 的基拼成 BB、坐标拼成 CC——rank⁡C=r\operatorname{rank}C=r 要两边夹(行数上界 ++ N(C)⊆N(A)N(C)\subseteq N(A) 下界)。RREF 算法(用 RREF 批量求满秩分解):BB 取 AA 的主元列、CC 取 RREF 的非零行;原理是「行变换保持列间线性关系」。

T5 · 定理 3.2.2(满秩分解的唯一性)

陈述;证明的两步各是什么?DD 的身份是什么?

T5 核对

两种满秩分解相差一个可逆因子:B1=B2DB_1=B_2D、C1=D−1C2C_1=D^{-1}C_2(定理 3.2.2)。证明第一步:C1C_1 行满秩(满射)⇒R(B1)=R(B1C1)=R(A)\Rightarrow R(B_1)=R(B_1C_1)=R(A),同理 R(B2)=R(A)R(B_2)=R(A)——两组 BB 的列是同一个子空间 R(A)R(A) 的两组基;第二步:取过渡矩阵 DD(必可逆),再由 B2(C2−DC1)=OB_2(C_2-DC_1)=O 与 B2B_2 列无关得 C2=DC1C_2=DC_1。DD 的身份:R(A)R(A) 两组基之间的过渡矩阵(注 3:一个分解生成全部)。

T6 · 定理 3.4.1(QR 分解定理)

陈述(存在 + 唯一);分析里的「RR 是过渡矩阵」指哪两组基之间?GS 给出的 RR 的元素公式是什么?

T6 核对

满秩复方阵存在酉阵 QQ 与正线上三角阵 RR 使 A=QRA=QR,且唯一(定理 3.4.1)。读法:记 A=[a1,⋯ ,an]A=[\boldsymbol a_1,\cdots,\boldsymbol a_n]、Q=[z1,⋯ ,zn]Q=[\boldsymbol z_1,\cdots,\boldsymbol z_n],则 [a1,⋯ ]=[z1,⋯ ]R[\boldsymbol a_1,\cdots]=[\boldsymbol z_1,\cdots]R——RR 是从 z\boldsymbol z 基到 a\boldsymbol a 基的过渡矩阵。GS 公式:对角元 rkk=∥yk∥r_{kk}=\|\boldsymbol y_k\|(残差的范数,不是 ∥ak∥\|\boldsymbol a_k\|),上三角元 rik=(ak,zi)r_{ik}=(\boldsymbol a_k,\boldsymbol z_i)(i<ki&lt;k)。

T7 · QR 唯一性的证明与「不唯一的精确刻画」

唯一性证明的第一行怎么做?在哪一步用到「正线」?去掉正线后,任意两种分解相差什么?实方阵一共几种?

T7 核对

第一行:设 A=Q1R1=Q2R2A=Q_1R_1=Q_2R_2,则 W=Q2HQ1=R2R1−1W=Q_2^{\mathrm H}Q_1=R_2R_1^{-1}(满秩保证 RiR_i 可逆)——WW 双重身份:酉阵之积(酉)++ 上三角之积之逆(上三角)。引理:上三角 ∧\wedge 酉 ⇒\Rightarrow 对角且 ∣wii∣=1|w_{ii}|=1(逐列归纳);正线在最后一步把 wii=1w_{ii}=1 逼出来 ⇒W=I\Rightarrow W=I。去正线后:任意两种分解相差一个对角酉阵 W=diag⁡(wi)W=\operatorname{diag}(w_i)、∣wi∣=1|w_i|=1;实方阵恰 2n2^n 种(例 3.4.1 的 I2I_2 两种即 n=1n=1 情形;例 3.4.B(新增 给出完整四种)。

T8 · 推论 3.4.1(长方阵完全分解)

陈述;构造证明的三步;RR 的形状。

T8 核对

A∈Cnm×nA\in\mathbb C^{m\times n}_n(列满秩,n≤mn\le m)可分解为 A=URA=UR,UU 是 mm 阶酉阵、R=[R1O]R=\begin{bmatrix}R_1\\O\end{bmatrix} 上块为正线上三角(推论 3.4.1)。三步:① GS 得 A=Q1R1A=Q_1R_1(Q1Q_1 列正交规范);② 基扩充把列补成标准正交基;③ 拼 U=[z1,⋯ ,zm]U=[\boldsymbol z_1,\cdots,\boldsymbol z_m],U[R1O]=[z1,⋯ ,zn]R1=AU\begin{bmatrix}R_1\\O\end{bmatrix}=[\boldsymbol z_1,\cdots,\boldsymbol z_n]R_1=A。要点:补齐时对扩充后整组重新 GS,前缀因「张成不变」原样保留。

T9 · QR 算法

写出迭代式与全文最重要的那条恒等式;收敛条件是什么(充分还是必要)?等模时会怎样,反例是什么?

T9 核对

A1=AA_1=A,Ak=QkRkA_k=Q_kR_k,Ak+1=RkQkA_{k+1}=R_kQ_k(QR 算法)。关键恒等式:Ak+1=QkHAkQkA_{k+1}=Q_k^{\mathrm H}A_kQ_k——每步都是酉相似,特征值全程不变;链式 Ak=(Q1⋯Qk−1)HA(Q1⋯Qk−1)A_k=(Q_1\cdots Q_{k-1})^{\mathrm H}A(Q_1\cdots Q_{k-1})。收敛条件:「各特征值模值互不相同」——充分不必要;模互异时收敛于上三角阵、对角元即特征值(按模从大到小排定)。等模可卡死:旋转阵 A=[0−110]A=\begin{bmatrix}0&amp;-1\\1&amp;0\end{bmatrix} 的正线 QR 是 A=A⋅IA=A\cdot I,故 A2=AA_2=A 原地不动(例 3.4.4 的本编注)。

T10 · 定理 3.5.1(Schur 引理,相似版)

陈述;证明的归纳策略(每步吃掉什么)?对角元为何是特征值?

T10 核对

任意复方阵相似于上三角阵:P−1AP=ΛP^{-1}AP=\Lambda,Λ\Lambda 对角元为特征值(定理 3.5.1)。归纳:取特征值 λ1\lambda_1 与特征向量 x1\boldsymbol x_1(复方阵必有)→\to 扩充为基、相似变换得 [λ1β0A1]\begin{bmatrix}\lambda_1&amp;\boldsymbol\beta\\\boldsymbol 0&amp;A_1\end{bmatrix} →\to 对 A1A_1 用归纳假设 →\to 分块对角拼收尾。对角元是特征值:分块三角行列式 fA=(λ−λ1)fA1f_A=(\lambda-\lambda_1)f_{A_1} ++ 相似不改特征多项式。对照注 1:三角化人人有份,对角化不是(注 1)。

T11 · 定理 3.5.2(Schur 引理,酉版)

陈述;证明只用了哪三行(对谁作 QR)?为什么它比定理 3.5.1「更便利」?

T11 核对

任意复方阵酉相似于上三角阵:UHAU=ΛU^{\mathrm H}AU=\Lambda(定理 3.5.2)。证明:对定理 3.5.1 的可逆阵 PP 作 QR 分解 P=URP=UR(UU 酉、RR 正线上三角)→\to 代入得 UHAU=RΛR−1U^{\mathrm H}AU=R\Lambda R^{-1} →\to 上三角对乘法、求逆封闭,右边仍上三角。便利之处(注 2):酉矩阵保范、条件数 1,数值稳定——可逆阵 PP 的列可以接近相关,酉阵不会。

T12 · 定理 3.5.3(实方阵 Schur 引理)

陈述前提;反例分析的三步(为什么实旋转阵不行)?注 3 的警告怎么复述?

T12 核对

实方阵且特征值均为实数时,存在正交阵 QQ 使 QTAQQ^{\mathrm T}AQ 为上三角(定理 3.5.3)。反例(注 3):A=[0−110]A=\begin{bmatrix}0&amp;-1\\1&amp;0\end{bmatrix},fA=λ2+1f_A=\lambda^2+1,λ=±i\lambda=\pm\mathrm i;若存在实正交 QQ,则 QTAQQ^{\mathrm T}AQ 必为实阵,实上三角阵的特征值(对角元)全实,与 ±i\pm\mathrm i 矛盾。警告:实阵的特征值不全是实数,处理实矩阵时不要轻易套用复矩阵结论——前提「特征值全实」不可丢。

T13 · 推论 3.5.1(谱映射)

陈述;证明的三行框架;注 4 的「继承」是单向还是双向?举例说明反向为什么失败。

T13 核对

AA 的特征值 λi\lambda_i ⇒\Rightarrow φ(A)\varphi(A) 的特征值为 φ(λi)\varphi(\lambda_i),特别地 AmA^m 的特征值为 λim\lambda_i^m(推论 3.5.1)。证明:Schur 型 A=UΛUHA=U\Lambda U^{\mathrm H} →\to φ(A)=U(∑aiΛi)UH\varphi(A)=U\left(\sum a_i\Lambda^i\right)U^{\mathrm H}(上三角的幂仍是上三角,对角元取幂)→\to 相似不改特征值。注 4(注 4):AA 的特征向量也是 φ(A)\varphi(A) 的(Akα=λkαA^k\boldsymbol\alpha=\lambda^k\boldsymbol\alpha 归纳);反向不成立——φ\varphi 会把不同特征值黏起来:A=diag⁡(1,−1)A=\operatorname{diag}(1,-1)、φ=λ2\varphi=\lambda^2 时 φ(A)=I\varphi(A)=I,一切向量都是它的特征向量。

T14 · 定理 3.5.4(Hamilton–Cayley)

陈述;证明为什么不能只验「对角元全零」?正确的证明心脏是什么(次序 + 什么性质)?

T14 核对

fA(A)=Of_A(A)=O(定理 3.5.4)。只验对角元不够:对角元全零的上三角阵可以非零(反例 [0100]\begin{bmatrix}0&amp;1\\0&amp;0\end{bmatrix},特征值全零却非零)。证明心脏:在 Schur 型 Λ\Lambda 上把 fA(Λ)=∏i(Λ−λiI)f_A(\Lambda)=\prod_i(\Lambda-\lambda_iI) 的因子按 λ1,λ2,⋯\lambda_1,\lambda_2,\cdots 的次序从右往左乘,归纳证明第 kk 个部分积清掉前 kk 列——关键用到 Λ\Lambda 上三角(Λej\Lambda\boldsymbol e_j 不漏到后面的分量)。AA 的情形由 fA(A)=UfA(Λ)UHf_A(A)=Uf_A(\Lambda)U^{\mathrm H} 归结。

T15 · 推论 3.5.2(逆矩阵公式)

写出公式;a0a_0 与可逆性什么关系?证明只有两行,第一行是什么?

T15 核对

A−1=−1a0(An−1+an−1An−2+⋯+a1I)A^{-1}=-\dfrac{1}{a_0}\big(A^{n-1}+a_{n-1}A^{n-2}+\cdots+a_1I\big)(推论 3.5.2)。a0=fA(0)=(−1)ndet⁡Aa_0=f_A(0)=(-1)^n\det A,故 a0≠0  ⟺  Aa_0\ne0\iff A 可逆。证明第一行:H–C 给出 An+an−1An−1+⋯+a0I=OA^n+a_{n-1}A^{n-1}+\cdots+a_0I=O,提取 AA 得 A(⋯ )=−a0IA(\cdots)=-a_0I,两边除以 −a0-a_0。用途(例 3.5.3):把求逆变成算多项式——例 3.5.3 双路验算(公式 ++ 几何级数 I+N+N2+⋯I+N+N^2+\cdots)。

T16 · 定理 3.5.5(最小多项式的性质)与候选法

两条性质;证明「同根」的反方向用哪条工具?候选法的三步流程?

T16 核对

(1)mAm_A 唯一、整除一切零化多项式(特别地 mA∣fAm_A\mid f_A);(2)fAf_A 与 mAm_A 同根(不计重数)(定理 3.5.5)。整除证明:带余除法 g=qmA+rg=qm_A+r,代入得 r(A)=Or(A)=O,若 r≠0r\ne0 违反最小性。同根反方向:mA(A)α=mA(λ0)α=0m_A(A)\boldsymbol\alpha=m_A(\lambda_0)\boldsymbol\alpha=\boldsymbol 0,用特征向量继承(注 4)。候选法(求最小多项式:候选法):① 求 fAf_A 并因式分解;② 列候选(每个根取重数 1 到 djd_j,共 ∏dj\prod d_j 个);③ 从低次到高次逐个试 g(A)=Og(A)=O,第一个通过的即 mAm_A——次序不能反(低次通过则高次必通过)。

C. 一张白纸的最终测试

在白纸中央写「矩阵分解」,闭卷画出下面这张全景图,并在每条箭头上写出「工具」与「唯一性」两个标注:

相抵 (A=P−1ΓQ)⟶满秩 (A=BC)⟶QR (A=QR/UR)⟶Schur (UHAU=Λ). \text{相抵}\ (A=P^{-1}\Gamma Q) \longrightarrow \text{满秩}\ (A=BC) \longrightarrow \text{QR}\ (A=QR/UR) \longrightarrow \text{Schur}\ (U^{\mathrm H}AU=\Lambda).

「工具」依次是:分块消元 → 选列空间基(RREF)→ GS 正交化(++ 基扩充)→ 对相似阵作 QR。「唯一性」依次是:分解不唯一 / 标准形唯一 → 差可逆因子 DD → 正线唯一(去正线差对角酉阵)→ 对角元为特征值、顺序由 UU 定。

然后默写 T2、T4、T6、T9、T14、T16 六条定理。它们分别负责本章最常见的六类动作:构造、分解、掰直、迭代、降次、记账。最后加试三问(对着竞技场的必考点清单自评):① rkkr_{kk} 何时等于 ∥ak∥&#124;\boldsymbol a_k&#124;?② 去掉「正线」两个字,I2I_2 有几种 QR 分解、复方阵有几种?③ fAf_A 与 mAm_A 各自「记」什么——用 I2I_2 和旋转阵各说一句。三问全答对,本章才算「可以调用」。