矩阵秩的不等式证明

最新推荐文章于 2024-01-06 11:12:32 发布

白茶.清欢

最新推荐文章于 2024-01-06 11:12:32 发布

阅读量4.7k

点赞数 13

分类专栏： # 线性代数考研文章标签：线性代数

本文链接：https://blog.csdn.net/baidu_41922918/article/details/116453437

版权

矩阵秩的不等式及其证明

$B)^{\mathrm{T}}=B^{\mathrm{T}} A^{\mathrm{T}}$

证明：设 $A=\left(a_{i j}\right)_{m \times s}, B=\left(b_{i j}\right)_{s \times n}$ ，记 $B=C=\left(c_{i j}\right)_{m \times n}, B^{T} A^{T}=D=\left(d_{i j}\right)_{n \times m}$ ,于是根据矩阵乘法公式，有
$c_{j i}=\sum_{k=1}^{s} a_{j k} b_{k i}$
而 $\boldsymbol{B}^{\mathbf{T}}$ 的第 $i$ 行为 $\left(b_{1 i}, \cdots, b_{s i}\right), \boldsymbol{A}^{\mathrm{T}}$ 的第 $j$ 列为 $\left(a_{j 1}, \cdots, a_{j s}\right)^{T}$ ，因此
$d_{i j}=\sum_{k=1}^{s} b_{k i} a_{j k}=\sum_{k=1}^{s} a_{j k} b_{k i}$
所以
$d_{i j}=c_{j i} \quad(i=1,2, \cdots, n ; j=1,2, \cdots, m)$
即 $D=C^{\mathrm{T}}$

$\leqslant r(A) \leqslant \min \{m, n\}$

这个由定义就很容易理解，不再证明

$\leqslant \min \{r(\boldsymbol{A}), r(\boldsymbol{B})\}$

分析：对于向量组 $\alpha_{1}, \alpha_{2}, \cdots, \alpha_{s}$ 及 $\beta_{1}, \beta_{2}, \cdots, \beta_{t}$ ，若任一 $\boldsymbol{\beta}_{i}(i=1,2, \cdots, t)$ 均可由 $\alpha_{1}, \alpha_{2}, \cdots, \alpha_{s}$ 线性表出，则 $r\left(\boldsymbol{\beta}_{1}, \boldsymbol{\beta}_{2}, \cdots, \boldsymbol{\beta}_{t}\right) \leqslant r\left(\boldsymbol{\alpha}_{1}, \boldsymbol{\alpha}_{2}, \cdots, \boldsymbol{\alpha}_{s}\right)$ ，这是本题证明的关键依据

**证明：**不妨设 $A_{m \times n}, B_{n \times s}$ ，将 $B, A B$ 按行分块为 $B=\left[\begin{array}{c}\beta_{1} \\ \beta_{2} \\ \vdots \\ \beta_{n}\end{array}\right], A B=C=\left[\begin{array}{c}\gamma_{1} \\ \gamma_{2} \\ \vdots \\ \gamma_{m}\end{array}\right]$

最低0.47元/天解锁文章