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.2 满秩分解

3.1 的相抵分解把任何矩阵压成了标准形 A=P−1ΓQA=P^{-1}\Gamma Q,但代价是:关于 AA 的信息几乎全被搬进了两边的可逆矩阵里。Γ\Gamma 只记住了一个数——秩;而「AA 的列之间有什么线性关系」「哪些列构得成基」这些信息,要看 P−1P^{-1} 与 QQ 才知道。本节换一种拆法:不让可逆矩阵出场,而是把 AA 直接写成两个矩阵的乘积

A=BC,A=BC,

其中 BB 的列取 R(A)R(A) 的一组基(于是 BB 列满秩、m×rm\times r),CC 逐列记下 AA 的每一列在这组基下的坐标(于是 CC 行满秩、r×nr\times n)。这一下,AA 的「骨架」就摆在明面上了:列空间 R(A)=R(B)R(A)=R(B)、秩 =r==r= 中间因子的行列数、列之间的线性关系由 CC 逐列读出。这就是满秩分解(full rank factorization)。

和相抵分解一样,满秩分解也不唯一;但本节会把它不唯一的程度精确说清:任意两种分解之间只差一个可逆矩阵 DD(定理 3.2.2)。最后用它解一个矩阵方程 AXA=AAXA=A(例 3.2.2)——那是 3.1 结尾预告过的伪逆的第一次露面。

素材与说明(本节无录播)

本页依据课程第三章课件 3.2 满秩分解(9 页)整理。本节无对应录播,故不引用课堂口述与时间戳:课件的定理、注记与例题照录并保留原编号(定理 3.2.1、注 1–注 3、例 3.2.1、定理 3.2.2、例 3.2.2);课件省略的证明(定理 3.2.2 的证明、方法 2 中 rank⁡C=r\operatorname{rank}C=r 的理由)、只给结论没给过程的地方,由本编补出并逐处标注「本编补」。相关编号与表述问题见勘误与补注。

3.2.1 满秩分解定理

把上一节末尾的话接着说完:例 3.1.A 里 A=P−1ΓQA=P^{-1}\Gamma Q 的两个「碎片」P−1P^{-1} 的前 rr 列、QQ 的前 rr 行,乘起来恰好还原 AA。这不是那个例子的巧合,而是任何相抵分解都有的结构——相抵标准形 Γ\Gamma 本身可以拆成「竖条 ×\times 横条」:

Γ=[Ir000]m×n=[Ir0]m×r[Ir, 0]r×n,\Gamma=\begin{bmatrix}I_r&0\0&0\end{bmatrix}_{m\times n}=\begin{bmatrix}I_r\0\end{bmatrix}_{m\times r}\big[I_r,\ 0\big]_{r\times n},

于是 A=P−1ΓQA=P^{-1}\Gamma Q 自动是「m×rm\times r 的竖条」乘「r×nr\times n 的横条」。把这两块单独起名,就得到本节的中心定理。

定理 3.2.1 · 满秩分解定理

设 A∈Crm×nA\in\mathbb C^{m\times n}_r(r>0r>0),则存在列满秩矩阵 B∈Crm×rB\in\mathbb C^{m\times r}_r 和行满秩矩阵 C∈Crr×nC\in\mathbb C^{r\times n}_r 使得

A=BC.A=BC .

课件给出两条构造路线,一条从相抵分解搬过来(存在性最短),一条从列空间的基出发(几何含义最清楚、且直接给出算法)。两条都值得掌握。

构造法 1(利用相抵分解;课件原文,记号与引理 3.1.1 统一)

对 AA 作相抵分解 A=P−1ΓQA=P^{-1}\Gamma Q,把 Γ\Gamma 按上式拆开:

A=P−1[Ir000]Q=P−1[Ir0][Ir, 0]Q.A=P^{-1}\begin{bmatrix}I_r&0\\0&0\end{bmatrix}Q=P^{-1}\begin{bmatrix}I_r\\0\end{bmatrix}\big[I_r,\ 0\big]Q .

令

B=P−1[Ir0]∈Cm×r,C=[Ir, 0]Q∈Cr×n,B=P^{-1}\begin{bmatrix}I_r\\0\end{bmatrix}\in\mathbb C^{m\times r},\qquad C=\big[I_r,\ 0\big]Q\in\mathbb C^{r\times n},

则 A=BCA=BC。剩下的只需验证两者满秩:

  • BB 的列是可逆矩阵 P−1P^{-1} 的前 rr 列,线性无关(可逆矩阵的列构成基),故 rank⁡B=r\operatorname{rank}B=r,BB 列满秩;
  • CC 的行是可逆矩阵 QQ 的前 rr 行,同样线性无关,故 rank⁡C=r\operatorname{rank}C=r,CC 行满秩。

(这两句是课件「其中 BB 和 CC 分别是列满秩矩阵和行满秩矩阵」的展开。)∎

∎
构造法 2(列空间的基与坐标;课件路线,本编补全 rank⁡C=r\operatorname{rank}C=r 的理由)

取基:令 A=[a1,⋯ ,an]A=[\boldsymbol{a}_1,\cdots,\boldsymbol{a}_n]。按列空间的定义(定义 1.2.3、命题 1.2.1),

R(A)=span⁡{a1,⋯ ,an},rank⁡A=dim⁡R(A)=r.R(A)=\operatorname{span}\{\boldsymbol{a}_1,\cdots,\boldsymbol{a}_n\},\qquad \operatorname{rank}A=\dim R(A)=r .

任取 R(A)R(A) 的一组基 b1,⋯ ,br\boldsymbol{b}_1,\cdots,\boldsymbol{b}_r(存在性由 dim⁡R(A)=r\dim R(A)=r 保证;特别注意:这组基不必是 AA 的列向量,见 注 2)。

记坐标:每个 ai∈R(A)\boldsymbol{a}_i\in R(A) 在这组基下的坐标唯一(定理 1.3.2),记为 ci∈Cr\boldsymbol{c}_i\in\mathbb C^r:

ai=[b1,⋯ ,br]ci,i=1,⋯ ,n.\boldsymbol{a}_i=[\boldsymbol{b}_1,\cdots,\boldsymbol{b}_r]\boldsymbol{c}_i,\qquad i=1,\cdots,n .

拼成大矩阵:定义

B=[b1,⋯ ,br]∈Cm×r,C=[c1,⋯ ,cn]∈Cr×n,B=[\boldsymbol{b}_1,\cdots,\boldsymbol{b}_r]\in\mathbb C^{m\times r},\qquad C=[\boldsymbol{c}_1,\cdots,\boldsymbol{c}_n]\in\mathbb C^{r\times n},

按分块乘法逐列对照即得

A=[a1,⋯ ,an]=[b1,⋯ ,br][c1,⋯ ,cn]=BC.A=[\boldsymbol{a}_1,\cdots,\boldsymbol{a}_n]=[\boldsymbol{b}_1,\cdots,\boldsymbol{b}_r][\boldsymbol{c}_1,\cdots,\boldsymbol{c}_n]=BC .

验证满秩:BB 的列是 R(A)R(A) 的基,线性无关,故 rank⁡B=dim⁡R(B)=r\operatorname{rank}B=\dim R(B)=r ✓。CC 的秩要两边夹(课件写「又知」,本编补出理由):

  • rank⁡C≤r\operatorname{rank}C\le r:CC 只有 rr 行(行秩 ≤\le 行数);
  • rank⁡C≥rank⁡A=r\operatorname{rank}C\ge\operatorname{rank}A=r:若 Cx=0C\boldsymbol{x}=\boldsymbol{0} 则 Ax=BCx=0A\boldsymbol{x}=BC\boldsymbol{x}=\boldsymbol{0},即 N(C)⊆N(A)N(C)\subseteq N(A);由亏加秩定理(定理 2.2.5),

rank⁡C=n−dim⁡N(C) ≥ n−dim⁡N(A)=rank⁡A=r.\operatorname{rank}C=n-\dim N(C)\ \ge\ n-\dim N(A)=\operatorname{rank}A=r .

故 rank⁡C=r\operatorname{rank}C=r,CC 行满秩。∎

∎
读法(本编提炼)· 满秩分解把 AA 拆成了「基 ×\times 坐标」

把两条构造路线合起来看,满秩分解说的是同一件事的两面:

A=BCA=BC 中:BB 的列 == 列空间 R(A)R(A) 的一组基;CC 的列 == AA 的各列在这组基下的坐标。

于是 AA 的每一列都是「同一组基的不同坐标书写」——列之间的所有线性关系(哪几列相关、相关的系数是多少)原封不动保存在 CC 里:由 ai=Bci\boldsymbol{a}_i=B\boldsymbol{c}_i 得 ∑ikiai=B∑ikici\sum_ik_i\boldsymbol{a}_i=B\sum_ik_i\boldsymbol{c}_i,因此

∑ikiai=0  ⟺  ∑ikici=0\sum_ik_i\boldsymbol{a}_i=\boldsymbol{0}\iff\sum_ik_i\boldsymbol{c}_i=\boldsymbol{0}

(「⟸\Longleftarrow」直接代入;「⟹\Longrightarrow」提取 BB 之后由 BB 的列无关、Bz=0B\boldsymbol{z}=\boldsymbol{0} 只有零解得到)。这正是「行变换保持列之间的线性关系」的正式版本,也是下一小节 RREF 算法的原理。

对照记忆:相抵分解 A=P−1ΓQA=P^{-1}\Gamma Q 把 AA 的列空间「搬走」了(要问 P−1P^{-1} 才知道),满秩分解 A=BCA=BC 把列空间留在 BB 里。

注 1(课件原文)· 满秩分解不唯一,且证明即算法

由于列空间 R(A)R(A) 的基选取不同,矩阵 AA 的满秩分解也不唯一。实际上,上述证明也提供了一种满秩分解的计算方法。

不唯一的自由度到底有多大?注 1 只说「基选得不同,分解就不同」;3.2.3 的 定理 3.2.2 会把这句话精确成「任意两种分解只差一个可逆矩阵 DD」。

3.2.2 满秩分解怎么算

课件用构造法 2 现场算了一个例子——它示范了标准的手工流程:选定一组好用的基(用列向量看相关关系)→\to 逐个写出坐标 →\to 拼成 BB、CC。

例 3.2.1(课件原文)· 求矩阵的满秩分解

求矩阵

A=[i111−i1]A=\begin{bmatrix}\mathrm i&1&1\\ 1&-\mathrm i&1\end{bmatrix}

的满秩分解。

解答(课件原文,本编补验算与一处细节)

第一步(找基):令 A=[a1,a2,a3]A=[\boldsymbol{a}_1,\boldsymbol{a}_2,\boldsymbol{a}_3],其中 a1=(i,1)T\boldsymbol{a}_1=(\mathrm i,1)^{\mathrm T}、a2=(1,−i)T\boldsymbol{a}_2=(1,-\mathrm i)^{\mathrm T}、a3=(1,1)T\boldsymbol{a}_3=(1,1)^{\mathrm T}。观察:

a2=−i a1((−i)(i,1)T=(1,−i)T ✓),\boldsymbol{a}_2=-\mathrm i\,\boldsymbol{a}_1\quad\big((-\mathrm i)(\mathrm i,1)^{\mathrm T}=(1,-\mathrm i)^{\mathrm T}\ \checkmark\big),

故 a1,a2\boldsymbol{a}_1,\boldsymbol{a}_2 线性相关;而 a1,a3\boldsymbol{a}_1,\boldsymbol{a}_3 不成比例,线性无关。于是 a1,a3\boldsymbol{a}_1,\boldsymbol{a}_3(共 22 个无关向量,达到 rank⁡A=2\operatorname{rank}A=2)构成 R(A)R(A) 的一组基。

第二步(写坐标):定义 B=[a1,a3]B=[\boldsymbol{a}_1,\boldsymbol{a}_3]。三个列向量在基 a1,a3\boldsymbol{a}_1,\boldsymbol{a}_3 下的坐标依次是

c1=[10] (a1=a1),c2=[−i0] (a2=−i a1),c3=[01] (a3=a3).\boldsymbol{c}_1=\begin{bmatrix}1\\0\end{bmatrix}\ (\boldsymbol{a}_1=\boldsymbol{a}_1),\qquad \boldsymbol{c}_2=\begin{bmatrix}-\mathrm i\\0\end{bmatrix}\ (\boldsymbol{a}_2=-\mathrm i\,\boldsymbol{a}_1),\qquad \boldsymbol{c}_3=\begin{bmatrix}0\\1\end{bmatrix}\ (\boldsymbol{a}_3=\boldsymbol{a}_3).

第三步(拼装):定义 C=[c1,c2,c3]C=[\boldsymbol{c}_1,\boldsymbol{c}_2,\boldsymbol{c}_3],则 A=BCA=BC 是 AA 的一个满秩分解:

B=[i111],C=[1−i0001],BC=[i111][1−i0001]=[i111−i1]=A ✓B=\begin{bmatrix}\mathrm i&1\\ 1&1\end{bmatrix},\qquad C=\begin{bmatrix}1&-\mathrm i&0\\ 0&0&1\end{bmatrix},\qquad BC=\begin{bmatrix}\mathrm i&1\\ 1&1\end{bmatrix}\begin{bmatrix}1&-\mathrm i&0\\ 0&0&1\end{bmatrix}=\begin{bmatrix}\mathrm i&1&1\\ 1&-\mathrm i&1\end{bmatrix}=A\ \checkmark

(验算由本编补:逐行列乘可得。另外这里的 BB 恰好取成了 AA 的第 11、33 列——取 A 自己的列做基是最顺手的选法,但只是选法之一,见 注 2。)∎

注 2(课件原文)· 挑 R(A)R(A) 的基时,不一定从 AA 的列向量中选取

在挑选列空间 R(A)R(A) 的基时,并不一定从 AA 的列向量选取。

本例中,BB 可选取为单位阵 I2I_2;此时 I2I_2 的任一列均不是 AA 的列向量。但

A=I2 AA=I_2\,A

也是 AA 的满秩分解:式中 I2I_2 是列满秩矩阵,AA(2×32\times3、秩 22,行数 =2=r=2=r)是行满秩矩阵。

注 2 的份量(本编):A=I2AA=I_2A 这样的分解看似「什么都没做」,却说明了 BB、CC 的角色可以互相转嫁——同一个 AA,左边多一点、右边就少一点,只要乘积不变、两边满秩。它同时是最好的反例素材:谁若声称「满秩分解唯一」,A=[a1,a3]⋅CA=[\boldsymbol{a}_1,\boldsymbol{a}_3]\cdot C 与 A=I2⋅AA=I_2\cdot A 就把他驳倒了。

手工计算时还有一条更省事的路:行简化阶梯形(RREF)一次给出全部答案。它的原理正是上面的「读法」——行变换不改变列之间的线性关系。

用 RREF 批量求满秩分解(本编整理)

设 AA 经行变换化为行简化阶梯形 RR(记 r=rank⁡Ar=\operatorname{rank}A):

  1. BB 取 AA 的主元列:RR 中主元(首个非零元)所在的列号 p1<⋯<prp_1&lt;\cdots&lt;p_r,取 AA 的第 p1,⋯ ,prp_1,\cdots,p_r 列拼成 BB;
  2. CC 取 RR 的非零行:C=RC=R 的前 rr 行。

则 A=BCA=BC。

为什么(三行):行变换 EE(可逆)把 AA 化成 R=EAR=EA,而 R=[CO]R=\begin{bmatrix}C\\O\end{bmatrix}(rr 行非零)。因为 EE 可逆,A=E−1R=E−1[CO]=E[:,1:r]−1 CA=E^{-1}R=E^{-1}\begin{bmatrix}C\\O\end{bmatrix}=E^{-1}_{[:,1:r]}\,C,所以只要认出 E[:,1:r]−1E^{-1}_{[:,1:r]} 就是 AA 的主元列:RR 的主元列是 e1,⋯ ,er\boldsymbol{e}_1,\cdots,\boldsymbol{e}_r,而 R=EAR=EA 给出 EA[:,pk]=ekEA_{[:,p_k]}=\boldsymbol{e}_k,故 A[:,pk]=E−1ek=E[:,k]−1A_{[:,p_k]}=E^{-1}\boldsymbol{e}_k=E^{-1}_{[:,k]} ✓。于是 A=BCA=BC,且 BB(AA 的 rr 个无关列)列满秩、CC(RR 的前 rr 行,含 rr 阶单位块)行满秩。

它相对于「逐个写坐标」的好处:一次消元同时得到 BB 和 CC,且 CC 的各列就是各 ai\boldsymbol{a}_i 的坐标——RREF 的非零行读出来就是坐标表。

例 3.2.A(新增)· RREF 法算一个 3×43\times4 矩阵

求 A=[123124731220]A=\begin{bmatrix}1&amp;2&amp;3&amp;1\\ 2&amp;4&amp;7&amp;3\\ 1&amp;2&amp;2&amp;0\end{bmatrix} 的满秩分解。

解答 · 例 3.2.A

化 RREF(用 RREF 批量求满秩分解):r2←r2−2r1r_2\leftarrow r_2-2r_1 得 [123001122]\begin{bmatrix}1&amp;2&amp;3\\0&amp;0&amp;1\\1&amp;2&amp;2\end{bmatrix} 的后续一步 r3←r3−r1r_3\leftarrow r_3-r_1 为 (0,0,−1)(0,0,-1),再 r3←r3+r2r_3\leftarrow r_3+r_2 清零;接着回代把第一行第三列约成 00(r1←r1−3r2r_1\leftarrow r_1-3r_2):

A ⇝ R=[120−200110000],r=2, 主元列=1,3.A\ \rightsquigarrow\ R=\begin{bmatrix}1&amp;2&amp;0&amp;-2\\ 0&amp;0&amp;1&amp;1\\ 0&amp;0&amp;0&amp;0\end{bmatrix},\qquad r=2,\ \text{主元列}=1,3 .

取 BB(AA 的第 1、3 列):

B=[132712].B=\begin{bmatrix}1&amp;3\\ 2&amp;7\\ 1&amp;2\end{bmatrix}.

取 CC(RR 的前两行):

C=[120−20011].C=\begin{bmatrix}1&amp;2&amp;0&amp;-2\\ 0&amp;0&amp;1&amp;1\end{bmatrix}.

回代验证:

BC=[132712][120−20011]=[123124731220]=A ✓BC=\begin{bmatrix}1&amp;3\\ 2&amp;7\\ 1&amp;2\end{bmatrix}\begin{bmatrix}1&amp;2&amp;0&amp;-2\\ 0&amp;0&amp;1&amp;1\end{bmatrix} =\begin{bmatrix}1&amp;2&amp;3&amp;1\\ 2&amp;4&amp;7&amp;3\\ 1&amp;2&amp;2&amp;0\end{bmatrix}=A\ \checkmark

读信息:R(B)=R(A)=span⁡{(1,2,1)T,(3,7,2)T}R(B)=R(A)=\operatorname{span}\{(1,2,1)^{\mathrm T},(3,7,2)^{\mathrm T}\}(R(A)R(A) 的一组基);CC 的第二列 c2=(2,0)T\boldsymbol{c}_2=(2,0)^{\mathrm T} 说明 a2=2a1\boldsymbol{a}_2=2\boldsymbol{a}_1,第四列 c4=(−2,1)T\boldsymbol{c}_4=(-2,1)^{\mathrm T} 说明 a4=−2a1+a3\boldsymbol{a}_4=-2\boldsymbol{a}_1+\boldsymbol{a}_3——两条关系直接验算即知 ✓。∎

本编补注 · 给定了 BB(或 CC),另一半就被唯一决定

由 A=BCA=BC 与 3.1 的单侧逆(定理 3.1.1):

  • 给定 BB:两式两边左乘 BB 的左逆 (BHB)−1BH(B^{\mathrm H}B)^{-1}B^{\mathrm H}(BB 列满秩,BHBB^{\mathrm H}B 可逆,命题 3.1.1),得

C=(BHB)−1BHA;C=(B^{\mathrm H}B)^{-1}B^{\mathrm H}A;

  • 给定 CC:两边右乘 CC 的右逆 CH(CCH)−1C^{\mathrm H}(CC^{\mathrm H})^{-1}(CC 行满秩,CCHCC^{\mathrm H} 可逆),得

B=A CH(CCH)−1.B=A\,C^{\mathrm H}(CC^{\mathrm H})^{-1}.

两条都是「一句话验算」:代回便分别得到 (BHB)−1BHBC=C(B^{\mathrm H}B)^{-1}B^{\mathrm H}BC=C、BCCH(CCH)−1=BBCC^{\mathrm H}(CC^{\mathrm H})^{-1}=B。含义:满秩分解的不唯一,唯一地来自 BB(即 R(A)R(A) 的基)的选取——选好基,CC 就被算出来了。这也再次印证注 1:不唯一的自由度 == 选基的自由度。

3.2.3 唯一性:任意两种满秩分解只差一个可逆因子

「不唯一」如果只说成「可以有很多种」,就没有信息量。真正有用的问题是:这些分解之间有没有统一的关系? 答案很干净——它们全部由一个可逆矩阵串起来。

定理 3.2.2 · 满秩分解的唯一性(相差一个可逆矩阵)

设 A∈Crm×nA\in\mathbb C^{m\times n}_r(r>0r&gt;0),A=B1C1A=B_1C_1 和 A=B2C2A=B_2C_2 是矩阵 AA 的两种不同的满秩分解,则存在可逆矩阵 D∈Cr×rD\in\mathbb C^{r\times r} 使得

B1=B2D,C1=D−1C2.B_1=B_2D,\qquad C_1=D^{-1}C_2 .

证明(课件未给,本编补:两组基之间的过渡矩阵)

第一步(两种分解的列空间相同):因为 C1C_1 行满秩,C1C_1 作为映射 Cn→Cr\mathbb C^n\to\mathbb C^r 是满射(定理 3.1.1:行满秩   ⟺  \iff 有右逆);于是

R(B1)=R(B1C1)=R(A)R(B_1)=R(B_1C_1)=R(A)

(⊆\subseteq 显然;⊇\supseteq:任取 y=B1C1x∈R(A)\boldsymbol{y}=B_1C_1\boldsymbol{x}\in R(A),它已经是 B1B_1 的列的线性组合)。同理 R(B2)=R(A)R(B_2)=R(A)。两种分解的 BB 的列张成同一个子空间。

第二步(过渡矩阵):B1B_1、B2B_2 的列分别是同一个 rr 维子空间 R(A)R(A) 的基(列满秩 ⇒\Rightarrow 列无关,且共 rr 列)。由过渡矩阵的定义与性质(定义 1.3.5、命题 1.3.1),存在可逆矩阵 DD 使得

B1=B2D.B_1=B_2D .

(DD 就是「由 B2B_2 的列构成的基到由 B1B_1 的列构成的基」的过渡矩阵——这正是注 3 的第一句话。)

第三步(CC 随之确定):由 B2C2=A=B1C1=B2DC1B_2C_2=A=B_1C_1=B_2DC_1 得

B2 (C2−DC1)=O.B_2\,(C_2-DC_1)=O .

B2B_2 列满秩,其列线性无关,故 B2X=OB_2X=O 只有零解(逐列用 定理 1.3.2 的表示唯一性,或 定理 2.2.2 单射判据),即 C2−DC1=OC_2-DC_1=O,C2=DC1C_2=DC_1,等价地

C1=D−1C2.C_1=D^{-1}C_2 .

(DD 可逆由第一步已证。)∎

证明的要点:不唯一性被「基的选择」吃掉了。BB 一旦取定,CC 就唯一(本编补注);两种取法之间由基过渡矩阵连接,CC 也随之被 D−1D^{-1} 折算。所以满秩分解的全部变化,就是 R(A)R(A) 的全部基的变化。

∎
注 3(课件原文)· DD 的身份与「一个生成无穷个」

矩阵 DD 是以 B2B_2 所有列构成的基到以 B1B_1 所有列构成的基的过渡矩阵。只要找到矩阵 AA 的一个满秩分解式,就可以构造无数个满秩分解。

为什么无穷多(本编补一句):反过来看,任取可逆矩阵 D∈Cr×rD\in\mathbb C^{r\times r},

A=B1C1=(B1D)(D−1C1),A=B_1C_1=(B_1D)(D^{-1}C_1),

而 B1DB_1D 仍列满秩、D−1C1D^{-1}C_1 仍行满秩(可逆矩阵不改变秩),所以这也是一组满秩分解。Cr×r\mathbb C^{r\times r} 中可逆矩阵有无穷多个,故分解无穷多——这正是注 3 末句的出处。

例 3.2.B(新增 · 承接例 3.2.1)· 亲手验证定理 3.2.2

在 例 3.2.1 的矩阵 A=[i111−i1]A=\begin{bmatrix}\mathrm i&amp;1&amp;1\\ 1&amp;-\mathrm i&amp;1\end{bmatrix} 上,有两种满秩分解:

A=B1C1 (B1=[a1,a3], C1=[1−i0001]),A=B2C2 (B2=I2, C2=A).A=B_1C_1\ \big(B_1=[\boldsymbol{a}_1,\boldsymbol{a}_3],\ C_1=\begin{bmatrix}1&amp;-\mathrm i&amp;0\\ 0&amp;0&amp;1\end{bmatrix}\big),\qquad A=B_2C_2\ \big(B_2=I_2,\ C_2=A\big).

求出 定理 3.2.2 中的 DD,并验证 B1=B2DB_1=B_2D 与 C1=D−1C2C_1=D^{-1}C_2。

解答 · 例 3.2.B(新增

求 DD:由 B1=B2DB_1=B_2D 与 B2=I2B_2=I_2,得 D=B1=[i111]D=B_1=\begin{bmatrix}\mathrm i&amp;1\\ 1&amp;1\end{bmatrix},det⁡D=i−1≠0\det D=\mathrm i-1\neq0,可逆 ✓。

验证 C1=D−1C2C_1=D^{-1}C_2:

D−1A=1i−1[1−1−1i][i111−i1]=1i−1[i−11+i000i−1]=[1−i0001]=C1 ✓D^{-1}A=\frac{1}{\mathrm i-1}\begin{bmatrix}1&amp;-1\\ -1&amp;\mathrm i\end{bmatrix}\begin{bmatrix}\mathrm i&amp;1&amp;1\\ 1&amp;-\mathrm i&amp;1\end{bmatrix} =\frac{1}{\mathrm i-1}\begin{bmatrix}\mathrm i-1&amp;1+\mathrm i&amp;0\\ 0&amp;0&amp;\mathrm i-1\end{bmatrix} =\begin{bmatrix}1&amp;-\mathrm i&amp;0\\ 0&amp;0&amp;1\end{bmatrix}=C_1\ \checkmark

(其中用到了 1+ii−1=−i\dfrac{1+\mathrm i}{\mathrm i-1}=-\mathrm i:分子分母同乘 (−1−i)(-1-\mathrm i) 化简即得。)

解读 DD:按注 3,DD 是「由 B2B_2 的列(即标准基 e1,e2\boldsymbol{e}_1,\boldsymbol{e}_2)到由 B1B_1 的列(即 a1,a3\boldsymbol{a}_1,\boldsymbol{a}_3)」的过渡矩阵——即 (a1,a3)=(e1,e2)D(\boldsymbol{a}_1,\boldsymbol{a}_3)=(\boldsymbol{e}_1,\boldsymbol{e}_2)D ✓,与 定义 1.3.5 的记号完全一致。同一个 AA,两种「基的选法」,被一个过渡矩阵精确地换算。∎

3.2.4 应用:矩阵方程 AXA=AAXA=A 的一个解

最后一个例子把满秩分解用到「方程」上。要解的方程是 AXA=AAXA=A——未知量是矩阵 XX。它与普通的线性方程组有两点不同:① 未知量本身是矩阵;② 不能像数一样两边「约掉」AA,因为 AA 一般不可逆。可恨的是,这个「不能约掉」恰好是突破口:既然是「AA 不可逆」造成的,那就把 AA 拆成可逆方向的积 A=BCA=BC,让 BB、CC 各自把该约的约掉。

例 3.2.2(课件原文)· 求矩阵方程 AXA=AAXA=A 的一个解

设 A∈Crm×nA\in\mathbb C^{m\times n}_r(r>0r&gt;0),求矩阵方程

AXA=AAXA=A

的一个解。

解答(课件路线,本编补出每一步的验证)

分析(课件原文):不能左乘或右乘消除方程左边的 AA 阵(AA 不是方阵、或即便方阵也未必可逆)。

第一步(代入满秩分解):取 A=BCA=BC(定理 3.2.1),方程变为

BCXBC=BC.BCXBC=BC .

式中 CXB∈Cr×rCXB\in\mathbb C^{r\times r}——降到了 rr 阶方阵上的问题。

第二步(从「约掉」到「凑出单位阵」):上式成立的一个充分条件是

CXB=Ir.CXB=I_r .

(若如此,则 BCXBC=B (CXB) C=BC=ABCXBC=B\,(CXB)\,C=BC=A ✓。注意这里「约」得很小心:我们不是从 BCXBC=BCBCXBC=BC 两边划掉 BB、CC,而是把 CXBCXB 整块换成 IrI_r——这一步只用到块乘法的结合性,不需要 AA 可逆。)

第三步(构造 XX):要 CXB=IrCXB=I_r,只需让 CC 与 XX 相乘时「抵消成 II」、BB 与 XX 相乘时也「抵消成 II」。分别取两对抵消器(课件原文):

CCH(CCH)−1=I,(BHB)−1BHB=I,CC^{\mathrm H}(CC^{\mathrm H})^{-1}=I,\qquad (B^{\mathrm H}B)^{-1}B^{\mathrm H}B=I,

(可逆性:CC 行满秩 ⇒CCH\Rightarrow CC^{\mathrm H} 可逆;BB 列满秩 ⇒BHB\Rightarrow B^{\mathrm H}B 可逆,均由 命题 3.1.1 保证。)于是取

X=CH(CCH)−1(BHB)−1BH,X=C^{\mathrm H}(CC^{\mathrm H})^{-1}(B^{\mathrm H}B)^{-1}B^{\mathrm H},

验证(本编补):

CXB=CCH(CCH)−1⏟Ir (BHB)−1BHB⏟Ir=Ir⟹AXA=BCXBC=B Ir C=BC=A ✓CXB=\underbrace{CC^{\mathrm H}(CC^{\mathrm H})^{-1}}_{I_r}\ \underbrace{(B^{\mathrm H}B)^{-1}B^{\mathrm H}B}_{I_r}=I_r\quad\Longrightarrow\quad AXA=BCXBC=B\,I_r\,C=BC=A\ \checkmark ∎

本编补注 · 课件的「充分条件」其实是充要条件

课件写「上式成立的一个充分条件为 CXB=IrCXB=I_r」。追踪两条单侧逆可以发现,条件还可以反过来:

AXA=A  ⟺  CXB=Ir.AXA=A\iff CXB=I_r .

「⟸\Longleftarrow」已在上方验证。「⟹\Longrightarrow」(本编补):设 BCXBC=BCBCXBC=BC。左乘 BB 的左逆 BL=(BHB)−1BHB^{\mathrm L}=(B^{\mathrm H}B)^{-1}B^{\mathrm H}(存在性由 BB 列满秩,定理 3.1.1):

BLBCXBC=BLBC ⟹ CXBC=C;B^{\mathrm L}BCXBC=B^{\mathrm L}BC\ \Longrightarrow\ CXBC=C ;

再右乘 CC 的右逆 CR=CH(CCH)−1C^{\mathrm R}=C^{\mathrm H}(CC^{\mathrm H})^{-1}(CC 行满秩):

CXBCCR=CCR ⟹ CXB=Ir.CXBCC^{\mathrm R}=CC^{\mathrm R}\ \Longrightarrow\ CXB=I_r .

为什么值得补这一句:等价关系把 AXA=AAXA=A 这个「矩阵方程」完整翻译成了关于 XX 的线性方程组 CXB=IrCXB=I_r(r2r^2 个数量方程)——解集非空,且是 Cn×m\mathbb C^{n\times m} 中的一个仿射子空间。例 3.2.2 给出的 XX 因此不是「碰巧的一个解」,而是这个解集中由两条单侧逆自然选出的那个点(也正是下框预告的伪逆 A+A^+)。

课程预告 · 这个 XX 就是伪逆 A+A^+

例 3.2.2 构造的

X=CH(CCH)−1(BHB)−1BHX=C^{\mathrm H}(CC^{\mathrm H})^{-1}(B^{\mathrm H}B)^{-1}B^{\mathrm H}

其实与 BB、CC 的具体选法无关(换一种满秩分解,由 定理 3.2.2 只差一个 DD,代入后 DD 与 D−1D^{-1} 正好抵消),它是矩阵 AA 的一个固有对象——Moore–Penrose 伪逆 A+A^+。A+A^+ 满足四条 Penrose 条件,AXA=AAXA=A 只是第一条;它同时扮演着 3.1 预告过的「最好的单侧逆」:当 AA 可逆时 A+=A−1A^+=A^{-1};当 AA 列满秩时 A+=(AHA)−1AHA^+=(A^{\mathrm H}A)^{-1}A^{\mathrm H}(左逆);当 AA 行满秩时 A+=AH(AAH)−1A^+=A^{\mathrm H}(AA^{\mathrm H})^{-1}(右逆)。四条条件的逐条验证、XX 与分解选取无关的核算以及唯一性证明见附录 A.8;广义逆与最小二乘的完整理论是本章后续内容的主干,此处只留一个锚点:满秩分解是构造伪逆最短的桥。

3.2 小结与常见错误

  • 一条主线:Γ\Gamma 拆成竖条 ×\times 横条 ⇒\Rightarrow 满秩分解定理 A=BCA=BC(定理 3.2.1;BB 列满秩 == 列空间的基,CC 行满秩 == 坐标表)⇒\Rightarrow 两条算法(相抵分解法;RREF 法:BB 取主元列、CC 取非零行)⇒\Rightarrow 不唯一的精确刻画(定理 3.2.2:任意两种分解相差可逆因子 DD,DD 是过渡矩阵,注 3)⇒\Rightarrow 应用:AXA=AAXA=A 的解与伪逆雏形(例 3.2.2)。
  • 两句话记住它:BB 是「骨架」,CC 是「图纸」——BB 的列摆出 R(A)R(A) 的形状,CC 逐列记下 AA 的每根「梁」怎么搭上去。AA 的全部列关系都在 CC 里。
常见错误清单 · 自查五条
  1. 形状与满秩方向写反:BB 是 m×rm\times r 且列满秩(rr 列无关),CC 是 r×nr\times n 且行满秩(rr 行无关);若算出 BB 是 r×mr\times m,说明乘法顺序已写反;
  2. 以为 R(A)R(A) 的基必须从 AA 的列里选:注 2 的反例 A=I2AA=I_2A 说明不必——3.2.2 的 例 3.2.A 用 AA 的列、3.2.2 的 例 3.2.1 也可改用单位阵,都是合法的满秩分解;
  3. 把「满秩分解不唯一」写成「随便」:不唯一的程度是恰好相差一个可逆矩阵 DD(定理 3.2.2);忘了检验 DD 可逆,或者把 B1=B2DB_1=B_2D、C1=D−1C2C_1=D^{-1}C_2 的 DD 与 D−1D^{-1} 写反,都是常见失分点;
  4. 对 AXA=AAXA=A 强行约 AA:从 BCXBC=BCBCXBC=BC 推不出 XBA=IXBA=I 之类,只能整块替换 CXBCXB;答案中的 XX 也必须逐个因子验算 CXB=IrCXB=I_r(本题的 CHC^{\mathrm H}、(CCH)−1(CC^{\mathrm H})^{-1}、(BHB)−1(B^{\mathrm H}B)^{-1}、BHB^{\mathrm H} 四个因子顺序不能颠倒);
  5. 忘记前提 r>0r&gt;0:定理 3.2.1、3.2.2 与例 3.2.2 都要求 r>0r&gt;0(A=OA=O 时不存在列满秩的 BB);遇到零矩阵要单独处理(A=OA=O 时 AXA=AAXA=A 对任何 XX 成立)。
即时自测(不看上文,5 分钟)
  1. 写出满秩分解的形状条件,并说出 BB、CC 的几何含义;
  2. A=[1111]A=\begin{bmatrix}1&amp;1\\1&amp;1\end{bmatrix}:写出两种不同的满秩分解,并求出 定理 3.2.2 中的 DD;
  3. 用 RREF 法求 [123247]\begin{bmatrix}1&amp;2&amp;3\\2&amp;4&amp;7\end{bmatrix} 的满秩分解(写出 RR、主元列与 BB、CC);
  4. 复述 定理 3.2.2 证明的第一步:为什么 R(B1)=R(A)R(B_1)=R(A) 需要 C1C_1 行满秩?
解答 · 即时自测
  1. A=BCA=BC,B∈Crm×rB\in\mathbb C^{m\times r}_r 列满秩(其列是 R(A)R(A) 的一组基),C∈Crr×nC\in\mathbb C^{r\times n}_r 行满秩(其列是 AA 各列在该基下的坐标);乘积 ⇒\Rightarrow R(A)=R(B)R(A)=R(B),rank⁡A=r\operatorname{rank}A=r。
  2. 取 b1=(1,1)T\boldsymbol{b}_1=(1,1)^{\mathrm T}(R(A)=span⁡{b1}R(A)=\operatorname{span}\{\boldsymbol{b}_1\},故 r=1r=1,BB 可以取 R(A)R(A) 中任一非零向量)。分解一:B1=[11]B_1=\begin{bmatrix}1\\1\end{bmatrix},C1=[1  1]C_1=[1\ \ 1](A=B1C1A=B_1C_1 ✓)。分解二:取 B2=[22]B_2=\begin{bmatrix}2\\2\end{bmatrix}(同一个方向的另一把尺子),对应 C2=[12  12]C_2=[\tfrac12\ \ \tfrac12](验算 B2C2=AB_2C_2=A ✓)。DD:由 B1=B2DB_1=B_2D 得 D=12D=\tfrac12(r=1r=1,DD 是 1×11\times1 可逆矩阵);验证 C1=D−1C2=2⋅[12  12]=[1  1]C_1=D^{-1}C_2=2\cdot[\tfrac12\ \ \tfrac12]=[1\ \ 1] ✓。推广:r=1r=1 时全部满秩分解为 B=c[11]B=c\begin{bmatrix}1\\1\end{bmatrix}、C=1c[1  1]C=\tfrac1c[1\ \ 1](c≠0c\neq0),任意两种之间正好差 D=c1/c2D=c_1/c_2。
  3. 先化 RREF:r2←r2−2r1r_2\leftarrow r_2-2r_1 得 [123001]\begin{bmatrix}1&amp;2&amp;3\\ 0&amp;0&amp;1\end{bmatrix},再回代 r1←r1−3r2r_1\leftarrow r_1-3r_2 得 R=[120001]R=\begin{bmatrix}1&amp;2&amp;0\\ 0&amp;0&amp;1\end{bmatrix}。r=2r=2,主元列 =1,3=1,3(RREF 中单位块所在的列号),故 B=[1327]B=\begin{bmatrix}1&amp;3\\2&amp;7\end{bmatrix}(AA 的第 1、3 列)、C=[120001]C=\begin{bmatrix}1&amp;2&amp;0\\ 0&amp;0&amp;1\end{bmatrix}(RR 的非零行);验算 BC=[123247]=ABC=\begin{bmatrix}1&amp;2&amp;3\\2&amp;4&amp;7\end{bmatrix}=A ✓(CC 的第二列 (2,0)T(2,0)^{\mathrm T} 正说明 AA 的第二列 =2×=2\times 第一列)。要点:主元列要先把 RREF 化干净再取——若停在 [123001]\begin{bmatrix}1&amp;2&amp;3\\0&amp;0&amp;1\end{bmatrix} 就选错列。
  4. 这一半要证 R(B1)⊆R(A)R(B_1)\subseteq R(A):任取 y=B1u∈R(B1)\boldsymbol{y}=B_1\boldsymbol{u}\in R(B_1),要把它写成 B1C1B_1C_1 乘某一向量的样子,就得先解方程 C1x=uC_1\boldsymbol{x}=\boldsymbol{u}——这对每个 u\boldsymbol{u} 都要有解,即 C1C_1 作为映射是满射;而「行满秩   ⟺  \iff 有右逆   ⟺  \iff 满射」正是 定理 3.1.1 与单侧逆的映射含义所断言的。反向 R(A)⊆R(B1)R(A)\subseteq R(B_1) 不需要任何前提:B1C1x=B1(C1x)B_1C_1\boldsymbol{x}=B_1(C_1\boldsymbol{x}) 本来就是 B1B_1 的列组合。