线性代数--01 方程组的几何解释

麻省理工公开课《线性代数导论》学习笔记以及个人总结

二元一次方程组与矩阵

$$\{\begin{array}{l}2x-y=0\\ -x+2y=3\end{array}⟹\left[\begin{array}{cc}2& -1\\ -1& 2\end{array}\right]\ast \left[\begin{array}{c}x\\ y\end{array}\right]=\left[\begin{array}{c}0\\ 3\end{array}\right]\text{\hspace{1em}(1)}$$

二元一次方程组（1），可以在二维平面直角坐标系中这样表示，两条直线的交点即为二元一次方程组的解。

图中红线表示$-x+2y=3$，黄线表示$2x-y=0$，两条线的交点$(1,2)$即为这个方程组的解。此图以方程组中的每一个方程组图，即一行一个图，也可以称为row picture。

换个角度，我们可以把多个方程的同样元素的系数一起处理，如下
$$x\left[\begin{array}{c}2\\ -1\end{array}\right]+y\left[\begin{array}{c}-1\\ 2\end{array}\right]=\left[\begin{array}{c}0\\ 3\end{array}\right]\text{\hspace{1em}(2)}$$
理解成多个列向量线性组合得到右边的向量$[0;3]$，如图所示${\mathbf{a}}_1$与${\mathbf{a}}_2$经过线性组合得到$\mathbf{b}$。

让$\mathbf{A}$代表系数矩阵$\left[\begin{array}{cc}2& -1\\ -1& 2\end{array}\right]$，让$\mathbf{x}$代表参数矩阵$\left[\begin{array}{c}x\\ y\end{array}\right]$，让$\mathbf{b}$代表右侧结果$\left[\begin{array}{c}0\\ 3\end{array}\right]$，则以上方程组可以简化为$\mathbf{A}\mathbf{x}=\mathbf{b}$。

$$\left[\begin{array}{cc}2& -1\\ -1& 2\end{array}\right]\left[\begin{array}{c}x\\ y\end{array}\right]=\left[\begin{array}{c}0\\ 3\end{array}\right]⟺x\left[\begin{array}{c}2\\ -1\end{array}\right]+y\left[\begin{array}{c}-1\\ 2\end{array}\right]=\left[\begin{array}{c}0\\ 3\end{array}\right]\text{\hspace{1em}(3)}$$

公式(3)可以理解成矩阵乘法的一种计算方法，即每个列向量分别对应的参数相乘然后相加(重要，即矩阵乘法为矩阵列向量的线性组合)。矩阵乘法的另一个计算方法是矩阵的每一个行向量分别与参数向量相乘，分别得到对应维数的值。

是否对于任意的$\mathbf{b}$都有解，即通过对$\mathbf{A}$中列表示的向量进行线性组合是否可以得到$\mathbf{b}$，更进一步的是否矩阵列向量的线性组合能够覆盖整个二维平面。对于例子中的矩阵，答案是肯定的，表明这个矩阵是非奇异矩阵，且该矩阵可逆。

但是某些矩阵不具有这个“能力”，例如$\left[\begin{array}{cc}2& 3\\ 0& 0\end{array}\right]$，其中一个列向量可以被另一个列向量通过缩放得到，二者的线性组合只能落在一条直线上，不能够覆盖整个二维平面，所以如果$\mathbf{b}$没有落在这条直线上，那么将会无解。这样的矩阵称为奇异矩阵，同时是不可逆矩阵。

如果是$3\ast 3$矩阵表示三个三维向量，其中某个列向量被另外两个列向量通过线性组合得到，那么三个列向量的线性组合最多能张成一个平面，如果$\mathbf{b}$不在该平面内，那么方程同样无解，该$3\ast 3$矩阵也是奇异矩阵，同时是不可逆矩阵。可以依次类比其他维数多个向量的线性组合问题。