Merge remote-tracking branch 'origin/develop' into develop

编写小组/讲义/线性方程组的解与秩的不等式（解析版）.md

@@ -241,12 +241,14 @@ $$
 
 (B)等价的矩阵只需要是经过初等变换可以变成同一个矩阵就行了，但齐次线性方程组同解需要只经过初等行变换就能变成同一个矩阵才行，后一个条件明显更强，所以后一种更“难”达成，B就不对。
 
-(C)方程$\boldsymbol{A}\boldsymbol{X}=\boldsymbol{B}$有解$\Leftrightarrow\mathrm{rank}[\boldsymbol{A\ B}]=\mathrm{rank}\boldsymbol{A}$,方程$\boldsymbol{B}\boldsymbol{Y}=\boldsymbol{A}$无解$\Leftrightarrow\mathrm{rank}\boldsymbol{B}<\mathrm{rank}[\boldsymbol{B\ A}]$,而$\mathrm{rank}[\boldsymbol{A\ B}]=\mathrm{rank}[\boldsymbol{B\ A}]$,故C正确。这是纯形式化的解答，不过当然是正确的。但是怎么理解这个结果呢？$\boldsymbol{A}\boldsymbol{X}=\boldsymbol{B}$有解，就是说我们可以用矩阵$\boldsymbol{A}$表示矩阵$\boldsymbol{B}$,也就是说，$\boldsymbol{A}$中包含了$\boldsymbol{B}$中的所有信息，也就是$\mathrm{rank}\boldsymbol{A}\ge\mathrm{rank}\boldsymbol{B}$；另一方面，$\boldsymbol{BY}=\boldsymbol{A}$无解说明我们无法用矩阵$\boldsymbol{B}$表示矩阵$\boldsymbol{A}$，也就是说，$\boldsymbol{B}$中没有包含$\boldsymbol{A}$中的所有信息，那么$\mathrm{rank}\boldsymbol{B}<\mathrm{rank}\boldsymbol{A}$；再加上有解的充要条件得出C正确。
+(C)方程$\boldsymbol{A}\boldsymbol{X}=\boldsymbol{B}$有解$\Leftrightarrow\mathrm{rank}[\boldsymbol{A\ B}]=\mathrm{rank}\boldsymbol{A}$,方程$\boldsymbol{B}\boldsymbol{Y}=\boldsymbol{A}$无解$\Leftrightarrow\mathrm{rank}\boldsymbol{B}<\mathrm{rank}[\boldsymbol{B\ A}]$,而$\mathrm{rank}[\boldsymbol{A\ B}]=\mathrm{rank}[\boldsymbol{B\ A}]$,故C正确。
+这是纯形式化的解答，不过当然是正确的。但是怎么理解这个结果呢？$\boldsymbol{A}\boldsymbol{X}=\boldsymbol{B}$有解，就是说我们可以用矩阵$\boldsymbol{A}$表示矩阵$\boldsymbol{B}$,也就是说，$\boldsymbol{A}$中包含了$\boldsymbol{B}$中的所有信息，也就是$\mathrm{rank}\boldsymbol{A}\ge\mathrm{rank}\boldsymbol{B}$；另一方面，$\boldsymbol{BY}=\boldsymbol{A}$无解说明我们无法用矩阵$\boldsymbol{B}$表示矩阵$\boldsymbol{A}$，也就是说，$\boldsymbol{B}$中没有包含$\boldsymbol{A}$中的所有信息，那么$\mathrm{rank}\boldsymbol{B}<\mathrm{rank}\boldsymbol{A}$；再加上有解的充要条件得出正向是正确的。
+反过来，如果$\mathrm{rank}{A}=\mathrm{rank}[{A\ B}]$，说明$A$中已经包含了矩阵$[A\ B]$的所有信息，所以$A$中就也包含了$B$中的所有信息，所以方程组$AX=B$有解；而如果又有$\mathrm{rank}B<\mathrm{rank}A$，则$B$没有完全包含$A$中的所有信息，或者说，$B$的信息真包含于$A$的信息，所以无法用$B$表示$A$，即$BY=A$无解。
 
 (D)我们同样有两种方法去解这道题，一种是形式化的、严谨的，另一种是理解性的、直观的。
 1)线性方程组$\boldsymbol{A}\boldsymbol{x}=\boldsymbol{\beta_1}$与$\boldsymbol{A}\boldsymbol{x}=\boldsymbol{\beta_2}$同时有解$\Leftrightarrow\mathrm{rank}\boldsymbol{A}=\mathrm{rank}[\boldsymbol{A\ \beta_1}]=\mathrm{rank}[\boldsymbol{A\ \beta_2}]$,故$\mathrm{rank}\boldsymbol{A}=\mathrm{rank}[\boldsymbol{A\ \beta_1\ \beta_2}]$。
-2)也可以从初等变换的角度来理解，方程$\boldsymbol{A}\boldsymbol{x}=\boldsymbol{\beta_1}$有解说明$\boldsymbol{\beta_1}$可以用$\boldsymbol{A}$的列向量线性表示，从而$[\boldsymbol{A\ \beta_1}]$可以通过初等列变换变成$[\boldsymbol{A\ O}]$，故$\mathrm{rank}\boldsymbol{A}=\mathrm{rank}[\boldsymbol{A\ \beta_1}]$；同理可以得出关于$\boldsymbol{\beta_2}$的结论。
-3)同样，怎么直观地理解？我们一样用信息量的观点去看。方程$\boldsymbol{A}\boldsymbol{x}=\boldsymbol{\beta_1}$有解，意味着$\boldsymbol{A}$中包含了$\boldsymbol{\beta_1}$中的所有信息，同理，$\boldsymbol{A}$中也包含了$\boldsymbol{\beta_2}$中的所有信息，这就意味着矩阵$[\boldsymbol{A\ \beta_1\ \beta_2}]$中所有的信息其实只需要用$\boldsymbol{A}$就可以表示，故$\mathrm{rank}\boldsymbol{A}=\mathrm{rank}[\boldsymbol{A\ \beta_1\ \beta_2}]$,反过来也是一样的。这就说明D是正确的。
+2)也可以从初等变换的角度来解答，方程$\boldsymbol{A}\boldsymbol{x}=\boldsymbol{\beta_1}$有解说明$\boldsymbol{\beta_1}$可以用$\boldsymbol{A}$的列向量线性表示，从而$[\boldsymbol{A\ \beta_1}]$可以通过初等列变换变成$[\boldsymbol{A\ O}]$，故$\mathrm{rank}\boldsymbol{A}=\mathrm{rank}[\boldsymbol{A\ \beta_1}]$；同理可以得出关于$\boldsymbol{\beta_2}$的结论。
+3)同样，怎么直观地理解？我们一样用信息量的观点去看。方程$\boldsymbol{A}\boldsymbol{x}=\boldsymbol{\beta_1}$有解，意味着$\boldsymbol{A}$中包含了$\boldsymbol{\beta_1}$中的所有信息，同理，$\boldsymbol{A}$中也包含了$\boldsymbol{\beta_2}$中的所有信息，这就意味着矩阵$[\boldsymbol{A\ \beta_1\ \beta_2}]$中所有的信息其实只需要用$\boldsymbol{A}$就可以表示，故$\mathrm{rank}\boldsymbol{A}=\mathrm{rank}[\boldsymbol{A\ \beta_1\ \beta_2}]$。反过来也一样，如果有$\mathrm{rank}{A}=\mathrm{rank}[{A\ \boldsymbol{\beta_1\ \beta_2}}]$，那么$A$中就包含了$\boldsymbol{\beta_1},\boldsymbol{\beta_2}$中的所有的信息，所以可以用$A$去表示向量$\boldsymbol{\beta_1}$和$\boldsymbol{\beta_2}$，也就是方程组$\boldsymbol{A}\boldsymbol{x}=\boldsymbol{\beta_1}$与$\boldsymbol{A}\boldsymbol{x}=\boldsymbol{\beta_2}$同时有解。这就说明D是正确的。
 
 # 矩阵秩与线性方程组解的关系图解说明
 
@@ -254,7 +256,7 @@ $$
 
 ## 概念回顾
 
-- **rank[A]** 代表矩阵$A$的秩。
+- __$\mathrm{rank}A$__ 代表矩阵$A$的秩。
 - 秩的定义：矩阵列向量组中**极大线性无关组所含列向量的个数**。
 - 可以用“圆”或“空间”来表示矩阵列向量组张成的向量空间。