有关秩的等式和不等式

最初的定义

行秩：矩阵行向量的最大线性无关组中向量的数量
列秩：矩阵列向量的最大线性无关组中向量的数量
秩：行秩和列秩都称为秩。且二者相等。

矩阵的秩和基础解系个数的关系
如果是一个$m\times n$的矩阵$A$
方程组中未知数的个数等于列数$n$
此时如果其基础解系个数是$r$个
那么它的秩是$n-r$
因为秩为$r$所以可以确定的未知量有$r$个,也就是说有$n-r$个自由未知量,对这些未知量进行赋值就可以得出$n-r$个基础解系了

矩阵分块法

假设有矩阵

$$A_{m\times n}=\begin{pmatrix}a_{11}&a_{12}&\cdots&a_{1n}\\ a_{21}&a_{22}&\cdots&a_{2n}\\ \vdots&\vdots&\ddots&\vdots\\ a_{m1}&a_{m2}&\cdots&a_{mn}\\ \end{pmatrix}$$

有关秩的等式和不等式

设$A$是$m\times n$矩阵，$B$是满足有关矩阵运算要求的矩阵，则
$r(\mathbf{A})\leq\min(m,n)$
$r(\mathbf{A})=r(\mathbf{A}^T)$
$r(\mathbf{A}+\mathbf{B})\leq r(\mathbf{A})+r(\mathbf{B})$

r(AOOB)=r(AA+BOB)=r(A)+r(B)∴r(A+B)≤r(A)+r(B) r ( A O O B ) = r ( A O A + B B ) = r ( A ) + r ( B ) ∴ r ( A + B ) ≤ r ( A ) + r ( B )

$$r\begin{pmatrix}A&O\\ O&B\end{pmatrix}=r\begin{pmatrix}A&O\\ A+B&B\end{pmatrix}=r(A)+r(B)\\ \therefore r(A+B)\leq r(A)+r(B)$$

$r(\mathbf{A},\mathbf{B})\leq r(\mathbf{A})+r(\mathbf{B})$

设：$\alpha_1,\cdots,\alpha_r$,是矩阵$A$的列向量的最大无关组，$\beta_1,\cdots,\beta_s$是矩阵$B$列向量的最大无关组，于是在新的矩阵$(A,B)$中，所有新的列向量都可以使用$\alpha_1,\cdots,\alpha_r+\beta_1,\cdots,\beta_s$来表示
$r(A,B)\leq r(\alpha_1,\cdots,\alpha_r,\beta_1,\cdots,\beta_s)\leq r(A)+r(B)$

$r(k\mathbf{A})=r(\mathbf{A})(k\neq0)$
$r(\mathbf{A}\mathbf{B})\leq\min(r(\mathbf{A}),r(\mathbf{B}))$

对于线性方程组$B\mathbf{x}=0$，其解一定是$AB\mathbf{x}=0$的解，所以$B\mathbf{x}=0$的基础解系包含在$AB\mathbf{x}=0$的基础解系里，于是 $$n-r(B)\leq n-r(AB)\Rightarrow r(AB)\leq r(B)$$
同理对于$A^T\mathbf{x}=0$，其解一定是$(AB)^T\mathbf{x}=0$的解，于是得到：
$$m-r(A^T)\leq m-r\left((AB)^T\right)\Rightarrow r\left((AB)^T\right)\leq r(A^T)$$
根据$r\left((AB)^T\right)=r\left(AB\right)$且$r(A^T)=r(A)$
于是得到：
$r(\mathbf{A}\mathbf{B})\leq\min(r(\mathbf{A}),r(\mathbf{B}))$

如果$A$是方阵
$r(AA^T)=r(A)$

证明同上。

$r(\mathbf{A}\mathbf{\mathbf{B}})\geq r(\mathbf{A})+r(\mathbf{B})-n$

证明：分块矩阵法

(Am×nBn×sOn×sOm×nEn×n)∼(Am×nBn×sOn×sAm×nEn×n)∼(Om×s−Bn×sAm×nEn×n) ( A m × n B n × s O m × n O n × s E n × n ) ∼ ( A m × n B n × s A m × n O n × s E n × n ) ∼ ( O m × s A m × n − B n × s E n × n )

$$\begin{aligned} \begin{pmatrix}A_{m\times n}B_{n\times s}&O_{m\times n}\\ O_{n\times s}&\color{red}{E_{n\times n}}\end{pmatrix}\sim\begin{pmatrix}A_{m\times n}B_{n\times s}&A_{m\times n}\\ O_{n\times s}&\color{red}{E_{n\times n}}\end{pmatrix}\sim\begin{pmatrix}O_{m\times s}&A_{m\times n}\\ -B_{n\times s}&\color{red}{E_{n\times n}}\end{pmatrix} \end{aligned}$$
可以得到
$$r\begin{pmatrix}A_{m\times n}B_{n\times s}&O_{m\times n}\\ O_{n\times s}&\color{red}{E_{n\times n}}\end{pmatrix}=r\begin{pmatrix}O_{m\times s}&A_{m\times n}\\ -B_{n\times s}&\color{red}{E_{n\times n}}\end{pmatrix}$$
$$r\begin{pmatrix}A_{m\times n}B_{n\times s}&O_{m\times n}\\ O_{n\times s}&\color{red}{E_{n\times n}}\end{pmatrix}=r(AB)+r(E_{n\times n})=r(AB)+n$$
$$r\begin{pmatrix}O_{m\times s}&A_{m\times n}\\ -B_{n\times s}&\color{red}{E_{n\times n}}\end{pmatrix}\geq r(A)+r(B)$$
于是乎得到：
$r(AB)+n\geq r(A)+r(B)\color{red}\Rightarrow r(AB)\geq r(A)+r(B)-n$

更一般的情况

$r(\mathbf{A}\mathbf{B}\mathbf{C})\geq r(\mathbf{AB})+r(\mathbf{BC})-r(\mathbf{B})$

证明：分块矩阵法

(Am×nBn×sCs×tOn×tOm×sBn×s)∼(Am×nBn×sCs×tOn×sAm×nBn×sBn×s)∼(Om×t−Bn×sCs×tAm×nBn×sBn×s) ( A m × n B n × s C s × t O m × s O n × t B n × s ) ∼ ( A m × n B n × s C s × t A m × n B n × s O n × s B n × s ) ∼ ( O m × t A m × n B n × s − B n × s C s × t B n × s )

$$\begin{aligned} \begin{pmatrix}A_{m\times n}B_{n\times s}C_{s\times t}&O_{m\times s}\\ O_{n\times t}&\color{red}{B_{n\times s}}\end{pmatrix}\sim\begin{pmatrix}A_{m\times n}B_{n\times s}C_{s\times t}&A_{m\times n}B_{n\times s}\\ O_{n\times s}&\color{red}{B_{n\times s}}\end{pmatrix}\sim\begin{pmatrix}O_{m\times t}&A_{m\times n}B_{n\times s}\\ -B_{n\times s}C_{s\times t}&\color{red}{B_{n\times s}}\end{pmatrix} \end{aligned}$$
可以得到
$$r\begin{pmatrix}A_{m\times n}B_{n\times s}C_{s\times t}&O_{m\times s}\\ O_{n\times t}&\color{red}{B_{n\times s}}\end{pmatrix}=r\begin{pmatrix}O_{m\times t}&A_{m\times n}B_{n\times s}\\ -B_{n\times s}C_{s\times t}&\color{red}{B_{n\times s}}\end{pmatrix}$$
$$r\begin{pmatrix}A_{m\times n}B_{n\times s}C_{s\times t}&O_{m\times s}\\ O_{n\times t}&\color{red}{B_{n\times s}}\end{pmatrix}=r(ABC)+r(B)$$
$$r\begin{pmatrix}O_{m\times t}&A_{m\times n}B_{n\times s}\\ -B_{n\times s}C_{s\times t}&\color{red}{B_{n\times s}}\end{pmatrix}\geq r(AB)+r(BC)$$
于是乎得到：
$r(ABC)+r(B)\geq r(AB)+r(BC)\color{red}\Rightarrow r(ABC)\geq r(AB)+r(BC)-r(B)$

$\mathbf{A}\mathbf{B}=\mathbf{O}$时， $r(\mathbf{A})+r(\mathbf{B})\leq n$, $n$是$\mathbf{A}$的列数(或 $\mathbf{B}$的行数)
$$r\left(\left[\begin{matrix}\mathbf{A}&\mathbf{O}\\ \mathbf{O}&\mathbf{B}\\\end{matrix}\right]\right)=r(\mathbf{A})+r(\mathbf{B})$$
$$r(\mathbf{A})+r(\mathbf{B})\leq r\left(\left[\begin{matrix}\mathbf{A}&\mathbf{O}\\ \mathbf{C}&\mathbf{B}\\\end{matrix}\right]\right)\leq r(\mathbf{A})+r(\mathbf{B})+r(\mathbf{C})$$
$$r(\mathbf{A}^*)=\left\{\begin{aligned}&n,&r(\mathbf{A})=n,\\ &1,&r(\mathbf{A})=n-1&其中\mathbf{A}是n阶方阵\\ &0,&r(\mathbf{A})<n-1\\ \end{aligned}\right.$$

---