|
|
|
|
@ -407,9 +407,9 @@ $$
|
|
|
|
|
#### 2. 再证$\operatorname{rank}(AB) \leq \operatorname{rank}(B)$
|
|
|
|
|
|
|
|
|
|
- 考虑$C$的行向量:
|
|
|
|
|
设$A = \begin{bmatrix} a_1^T \\ a_2^T \\ \vdots \\ a_m^T \end{bmatrix}$,则
|
|
|
|
|
设$A = \begin{bmatrix} a_1 \\ a_2 \\ \vdots \\ a_m \end{bmatrix}$,则
|
|
|
|
|
$$
|
|
|
|
|
C = \begin{bmatrix} a_1^T B \\ a_2^T B \\ \vdots \\ a_m^T B \end{bmatrix}.
|
|
|
|
|
C = \begin{bmatrix} a_1 B \\ a_2 B \\ \vdots \\ a_m B \end{bmatrix}.
|
|
|
|
|
$$
|
|
|
|
|
因此$C$的每一行都是$B$的行向量的线性组合。
|
|
|
|
|
- 所以$C$的行空间是$B$的行空间的子空间,故
|
|
|
|
|
@ -490,15 +490,6 @@ $$
|
|
|
|
|
$$
|
|
|
|
|
这是因为$M$左上块为$A$,右下块为$B$,中间有单位矩阵,所以$A$和$B$的秩可以同时取到。
|
|
|
|
|
|
|
|
|
|
更严格地,我们可以直接写:
|
|
|
|
|
$$
|
|
|
|
|
\operatorname{rank}(M) \ge \operatorname{rank}\begin{bmatrix}
|
|
|
|
|
A \\
|
|
|
|
|
I_n
|
|
|
|
|
\end{bmatrix} + \operatorname{rank}\begin{bmatrix}
|
|
|
|
|
I_n & B
|
|
|
|
|
\end{bmatrix} - n
|
|
|
|
|
$$
|
|
|
|
|
但更简单的常用方法是利用:
|
|
|
|
|
$$
|
|
|
|
|
\operatorname{rank}\begin{bmatrix}
|
|
|
|
|
@ -511,16 +502,7 @@ $$
|
|
|
|
|
---
|
|
|
|
|
|
|
|
|
|
#### 4. 从变换后的矩阵得到下界
|
|
|
|
|
观察变换后的矩阵:
|
|
|
|
|
$$
|
|
|
|
|
\operatorname{rank}\begin{bmatrix}
|
|
|
|
|
A & -AB \\
|
|
|
|
|
I_n & O
|
|
|
|
|
\end{bmatrix}
|
|
|
|
|
\ge \operatorname{rank}\begin{bmatrix}
|
|
|
|
|
I_n & O
|
|
|
|
|
\end{bmatrix} + \operatorname{rank}([-AB])
|
|
|
|
|
$$
|
|
|
|
|
|
|
|
|
|
实际上更直接的方法是注意到:
|
|
|
|
|
$$
|
|
|
|
|
\operatorname{rank}\begin{bmatrix}
|
|
|
|
|
@ -530,7 +512,7 @@ I_n & O
|
|
|
|
|
= \operatorname{rank}\begin{bmatrix}
|
|
|
|
|
O & -AB \\
|
|
|
|
|
I_n & O
|
|
|
|
|
\end{bmatrix} \quad (\text{列变换})
|
|
|
|
|
\end{bmatrix} \quad (\text{行变换})
|
|
|
|
|
$$
|
|
|
|
|
即:
|
|
|
|
|
$$
|
|
|
|
|
|