前言
这几个秩不等式很常见,重要的是通过线性空间和线性映射的观点去证明。
命题
设 AAA, BBB 为 nnn 阶方阵,AB=0AB=0AB=0 ,则有
rank(A)+rank(B)≤nrank(A) + rank(B)\le nrank(A)+rank(B)≤n
分析
线性映射基本定理的简单应用。
证明
AB=0AB=0AB=0 说明 BBB 的每一列都被 BBB 映成零向量,从而 span(B)∈Ker(A)span(B) \in Ker(A)span(B)∈Ker(A) ,那么有
rank(B)=dimSpan(B)≤dimKer(A)rank(B)=dimSpan(B) \leq dimKer(A)rank(B)=dimSpan(B)≤dimKer(A)
由线性映射基本定理可得
rank(A)+rank(B)≤dimSpan(A)+dimKer(A)=nrank(A) + rank(B)\le dimSpan(A) +dimKer(A)=nrank(A)+rank(B)≤dimSpan(A)+dimKer(A)=n
于是得证。
命题
设 AAA, BBB 为 m×nm \times nm×n,n×pn \times pn×p 矩阵,则有
rank(AB)≤min{rank(A),rank(B)}rank(AB) \leq min\{rank(A), rank(B)\}rank(AB)≤min{rank(A),rank(B)}
分析
所谓的“秩越乘越小”。可以通过矩阵乘法运算得到这个结论,这里我们考虑另一种办法。
证明
ABABAB 乘一个列向量 α\alphaα 可以看作两步。第一步, BBB 乘 α\alphaα;第二步,AAA 再乘 BαB\alphaBα 。
第一步可以看作映射:
σ1:Fp→Fn,[x1⋮xp]↦B[x1⋮xp]\sigma_1:\mathbb{F}^{p}\to\mathbb{F}^{n}, \begin{bmatrix}
x_1\\
\vdots\\
x_p
\end{bmatrix}
\mapsto
B\begin{bmatrix}
x_1\\
\vdots\\
x_p
\end{bmatrix} σ1:Fp→Fn,x1⋮xp↦Bx1⋮xp
第二步可以看作映射,这一步的像集也就是 Im(AB)Im(AB)Im(AB) :
σ2:Span(B)→Fm,[x1⋮xn]↦A[x1⋮xm]\sigma_2:Span(B)\to\mathbb{F}^{m}, \begin{bmatrix}
x_1\\
\vdots\\
x_n
\end{bmatrix}
\mapsto
A \begin{bmatrix}
x_1\\
\vdots\\
x_m
\end{bmatrix} σ2:Span(B)→Fm,x1⋮xn↦Ax1⋮xm
所以
rank(AB)=dim(Span(A∣Im(B)))rank(AB)=dim(Span(A\big|_{Im(B)}))rank(AB)=dim(Span(AIm(B)))
由于
Span(A∣Im(B))∈Span(A)Span(A\big|_{Im(B)})\in Span(A)Span(AIm(B))∈Span(A)
从而 rank(AB)≤rank(A)rank(AB) \leq rank(A)rank(AB)≤rank(A)
由于转置运算不改变矩阵的秩,所以 rank(AB)=rank(BTAT)≤rank(BT)=rank(B)rank(AB)=rank(B^TA^T) \leq rank(B^T)=rank(B)rank(AB)=rank(BTAT)≤rank(BT)=rank(B)
整理即有 rank(AB)≤min{rank(A),rank(B)}rank(AB) \leq min\{rank(A), rank(B)\}rank(AB)≤min{rank(A),rank(B)}
命题(Sylvester不等式)
设 AAA, BBB 为 nnn 阶方阵,AB=0AB=0AB=0 ,则有
rank(AB)≥rank(A)+rank(B)−nrank(AB) \ge rank(A)+rank(B)-nrank(AB)≥rank(A)+rank(B)−n
分析
与上一个不等式的证明思路类似。
证明
即证明
n−rank(A)≥rank(B)−rank(AB)n - rank(A) \ge rank(B) - rank(AB)n−rank(A)≥rank(B)−rank(AB)
发现
左边=dimKer(A)≥右边=dimKer(A∣Im(B))左边 = dimKer(A)\geq右边=dimKer(A|_{Im(B)})左边=dimKer(A)≥右边=dimKer(A∣Im(B))
从而得到了证明。
命题
设 AAA, BBB 为 m×pm \times pm×p,m×qm \times qm×q 矩阵,则有
rank(A+B)≤rank(A∣B)≤rank(A)+rank(B)rank(A+B) \leq rank(A|B)\leq rank(A)+rank(B)rank(A+B)≤rank(A∣B)≤rank(A)+rank(B)
分析
将矩阵看作列向量组,然后观察它们的关系
证明
显然 A+BA+BA+B 的列向量组可以被 A∣BA|BA∣B 线性表出,故 rank(A+B)≤rank(A∣B)rank(A+B) \leq rank(A|B)rank(A+B)≤rank(A∣B),
设 A,BA,BA,B 的极大无关组分别是 (α1,α2,…,αs)(\alpha_1,\alpha_2,\dots,\alpha_s)(α1,α2,…,αs),(β1,β2,…,βk)(\beta_1,\beta_2,\dots,\beta_k)(β1,β2,…,βk) ,
那么 rank(A∣B)=rank(α1,α2,…,αs,β1,β2,…,βs)≤s+k=rank(A)+rank(B)rank(A|B) = rank(\alpha_1,\alpha_2,\dots,\alpha_s,\beta_1,\beta_2,\dots,\beta_s) \leq s+k=rank(A)+rank(B)rank(A∣B)=rank(α1,α2,…,αs,β1,β2,…,βs)≤s+k=rank(A)+rank(B),
于是得到了证明。
命题
设 AAA, BBB 为 s×ns \times ns×n,l×ml \times ml×m 矩阵,则有
rank(AOOB)=rank(A)+rank(B)rank \begin{pmatrix} A&O \\ O&B\\ \end{pmatrix} = rank(A)+rank(B)rank(AOOB)=rank(A)+rank(B)
分析
证明思路与上一题一致
证明
设 A,BA,BA,B 的极大无关组分别是 (α1,α2,…,αj)(\alpha_1,\alpha_2,\dots,\alpha_j)(α1,α2,…,αj),(β1,β2,…,βk)(\beta_1,\beta_2,\dots,\beta_k)(β1,β2,…,βk) ,所以
rank(AOOB)=rank((α10),(α20),…,(αj0),(0β1),(0β2),…,(0βk))rank \begin{pmatrix}
A&O \\
O&B\\
\end{pmatrix}=rank \begin{pmatrix}
\begin{pmatrix}
\alpha_1\\
0\\
\end{pmatrix},\begin{pmatrix}
\alpha_2\\
0\\
\end{pmatrix},\dots,
\begin{pmatrix}
\alpha_j\\
0\\
\end{pmatrix},
\begin{pmatrix}
0\\
\beta_1\\
\end{pmatrix},\begin{pmatrix}
0\\
\beta_2\\
\end{pmatrix},\dots,
\begin{pmatrix}
0\\
\beta_k\\
\end{pmatrix}
\end{pmatrix}rank(AOOB)=rank((α10),(α20),…,(αj0),(0β1),(0β2),…,(0βk))
由定义立得右边的向量组线性无关,所以
rank(AOOB)=j+k=rank(A)+rank(B)rank \begin{pmatrix}
A&O \\
O&B\\
\end{pmatrix}
= j+k=rank(A)+rank(B)rank(AOOB)=j+k=rank(A)+rank(B)
这样就证明了这个等式。
命题
设 A,B,CA,B,CA,B,C 为 s×n,l×m,s×ms \times n,l \times m,s \times ms×n,l×m,s×m 矩阵,则有
rank(AOCB)≥rank(A)+rank(B)rank \begin{pmatrix} A&O \\ C&B\\ \end{pmatrix} \ge rank(A)+rank(B)rank(ACOB)≥rank(A)+rank(B)
分析
证明思路与上一题没差多少
证明
设 A,BA,BA,B 的极大无关组分别是 (α1,α2,…,αj)(\alpha_1,\alpha_2,\dots,\alpha_j)(α1,α2,…,αj),(β1,β2,…,βk)(\beta_1,\beta_2,\dots,\beta_k)(β1,β2,…,βk) ,所以
rank(AOCB)≥rank((α1c1),(α2c2),…,(αjcj),(0β1),(0β2),…,(0βk))rank \begin{pmatrix}
A&O \\
C&B\\
\end{pmatrix} \ge rank \begin{pmatrix}
\begin{pmatrix}
\alpha_1\\
c_1\\
\end{pmatrix},\begin{pmatrix}
\alpha_2\\
c_2\\
\end{pmatrix},\dots,
\begin{pmatrix}
\alpha_j\\
c_j\\
\end{pmatrix},
\begin{pmatrix}
0\\
\beta_1\\
\end{pmatrix},\begin{pmatrix}
0\\
\beta_2\\
\end{pmatrix},\dots,
\begin{pmatrix}
0\\
\beta_k\\
\end{pmatrix}
\end{pmatrix}rank(ACOB)≥rank((α1c1),(α2c2),…,(αjcj),(0β1),(0β2),…,(0βk))
这是因为由定义立即知右边的向量组线性无关,而且 ((α1c1),(α2c2),…,(αjcj))(\begin{pmatrix}
\alpha_1\\
c_1\\
\end{pmatrix},\begin{pmatrix}
\alpha_2\\
c_2\\
\end{pmatrix},\dots,
\begin{pmatrix}
\alpha_j\\
c_j\\
\end{pmatrix})((α1c1),(α2c2),…,(αjcj)) 不一定张成 Span(AC)Span
\begin{pmatrix}
A\\C
\end{pmatrix}Span(AC),从而就不难得到
rank(AOCB)≥rank(A)+rank(B)rank \begin{pmatrix}
A&O \\
C&B\\
\end{pmatrix}
\ge rank(A)+rank(B)rank(ACOB)≥rank(A)+rank(B)