P8 Ax=b可行解及解的结构
求解Ax=b 增广矩阵
我们在上一节中尝试了求解Ax=0的解法,我们知道还有Ax=b的形式,Ax=0只是b=0时的一种特殊情况。在上一节中也有带着提到Ax=b时如果对A进行行化简那么b也要进行着相应的化简。才能保证左右等式相等。
通解=(特解 + 零空间解)
我们记得在求解Ax=0时,我们将自由列 设为 1 0 0,0 1 0,0 0 1形式求特解,但是好像并没有0 0 0求解,为什么呢?因为在Ax=0中一但将全部自由列设置为0的话x就只能为0了,没什么太大意义,而在Ax=b中就不一样的,所以将自由列全部设为0 的解为Ax=b的特解,通解 特解 + 零空间解就好了。
m*n矩阵与秩r的关系
刚看见可能看见下面的这些情况会说草泥马怎么记,但是我们要从特解+零空间解来看,
从求特解是是否满足n个式子n个未知数
+是否有自由列
来进行判断解个数的情况。如果不太理解就多看看,思考思考,但无论理解还是不理解,如果为了应试我想我们应该把它记住。
列满秩 行不满
:当列满秩的时候会发生什么,用Ax=b求通解来想想,没错他没有自由列共我们使用,当求特解可能不满足n个式子n个未知数,所以是一个解或没有解
。例如方程组 x1 + x2=0 x1+x2=1 2x1+3x2=2 这样的情况虽然求特解有n * n式子,但有一个式子是不成立的,所以无解。
行满秩 列不满
:当行满秩时,每一行都有主元,那么就肯定有自由列进行使用了,那么零空间解就有无数个解,因为特解一定能解出来,因为求特解时一定有n个未知数n个方程。所以是有无穷解
。当行满秩时能够保证求特解是 n * n的式子是全部有效的。
行列都满秩
:那就是有一个解
,因为求特解时有n个式子n个未知数,一定能求出特解。
行不满秩 列不满秩
:肯定有自由列使用,在求特解时可能能求出也可能求不出,一旦求出就是无数个解,求不出就是无解,那么就是无解或者无数个解
。