【01方程组的几何解释】

定义一个线性方程组如下： { 2 x − y = 0 − x + 2 y = 3 \left\{

\right. {2x−y=0−x+2y=3​​

我们用矩阵形式表达可以得到： [    2 − 1 − 1     2 ] [ x y ] = [ 0 3 ] \left[ {

} \right]\left[ { } \right]=\left[ { } \right] [  2−1−1   2​][xy​]=[03​]

• 我们称 [    2 − 1 − 1     2 ] \left[ {
    2−1−1   2$$\begin{array}{c}2-1\\ -12\end{array}$$
  } \right] [  2−1−1   2​] 为系数矩阵，通常用$A$表示
• [ x y ] \left[ {
  xy$$\begin{array}{c}x\\ y\end{array}$$
  } \right] [xy​]为未知数向量，通常用$\text{X}$表示
• [ 0 3 ] \left[ {
  03$$\begin{array}{c}0\\ 3\end{array}$$
  } \right] [03​]为常数向量，通常用$b$表示

因此我们的的线性方程组可以写成$A\text{X}=b$

下面我们再来观察这两个式子的行图像：

• 可以看到这两条直线相交于点$(1,2)$，因此$(1,2)$就是这个方程的解
• 其意义就是两条直线的交点

下面我们再来看列图像：

• 我们可以将式子写成 x [ 2 − 1 ] + y [ − 1 2 ] = [ 0 3 ] x\left[ {

  2−1$$\begin{array}{c}2\\ -1\end{array}$$
  } \right]+y\left[ {
  −12$$\begin{array}{c}-1\\ 2\end{array}$$
  } \right]=\left[ {
  03$$\begin{array}{c}0\\ 3\end{array}$$
  } \right] x[2−1​]+y[−12​]=[03​]

• 因此我们的目的就变成了寻找正确的线性组合，使得向量 [ 2 − 1 ] \left[ {

  2−1$$\begin{array}{c}2\\ -1\end{array}$$
  } \right] [2−1​]和向量 [ − 1 2 ] \left[ {
  −12$$\begin{array}{c}-1\\ 2\end{array}$$
  } \right] [−12​] 来表示向量 [ 0 3 ] \left[ {
  03$$\begin{array}{c}0\\ 3\end{array}$$
  } \right] [03​]

• 我们对两个系数向量作图可得：
  

• 前面我们已经求解$x=1,y=2$，因此我们不妨画出 [ 2 − 1 ] + y [ − 1 2 ] \left[ {

  2−1$$\begin{array}{c}2\\ -1\end{array}$$
  } \right]+y\left[ {
  −12$$\begin{array}{c}-1\\ 2\end{array}$$
  } \right] [2−1​]+y[−12​]可以看到：
  

• 正好得到我们的向量 [ 0 ： 3 ] \left[ {

  0：3$$\begin{array}{c}0\\ ：3\end{array}$$
  } \right] [0：3​]

• 其意义就是线性空间中用适当的线性组合用两个任意不平行的向量表示任意其他向量

• 如果我们选择任意的$x$和$y$就能得到任意的$b$，其可能结果将会充满整个向量空间

同时我们可以将上述两种理解方式扩展到高维

• 假设是$n$维空间
• 那么通过行图像来看就是$n$个超平面的交点坐标
• 通过列图像来看就是求得一组适当的线性组合用$n$个互不平行的系数向量来表示解向量$b$

现在我们考虑一个问题，我们对于任意的$b$，是否都能取得适当的$\text{X}$使得$A\text{X}=b$？
或者说列的线性组合是否能覆盖整个$n$维空间？

• 如果是的话，那么我们理论上就可以用消元法来求解任意的$b$
• 对于非奇异矩阵或者说可逆矩阵或者说满秩矩阵这个问题的答案是yes
• 或者说$A$中所有的列向量都是互不平行的这个答案是yes

前面有提到$A\text{X}=b$，这是一个矩阵乘向量的问题，那么他该如何进行计算呢？

假设我们要进行如下计算： [ 2 5 1 3 ] [ 1 2 ] \left[ {

} \right]\left[ { } \right] [2513​][12​]

那么我们将有两种计算方法：

• 按列计算：
  [ 2 5 1 3 ] [ 1 2 ] = 1 [ 2 1 ] + 2 [ 5 3 ] = [ 12 7 ] \left[ {

  2513$$\begin{array}{c}25\\ 13\end{array}$$
  } \right]\left[ {
  12$$\begin{array}{c}1\\ 2\end{array}$$
  } \right]=1\left[ {
  21$$\begin{array}{c}2\\ 1\end{array}$$
  } \right]+2\left[ {
  53$$\begin{array}{c}5\\ 3\end{array}$$
  } \right]=\left[ {
  127$$\begin{array}{c}12\\ 7\end{array}$$
  } \right] [2513​][12​]=1[21​]+2[53​]=[127​]

• 按行计算：
  [ 2 5 1 3 ] [ 1 2 ] = [ 2 × 1 + 5 × 2 1 × 1 + 3 × 2 ] = [ 12 7 ] \left[ {

  2513$$\begin{array}{c}25\\ 13\end{array}$$
  } \right]\left[ {
  12$$\begin{array}{c}1\\ 2\end{array}$$
  } \right]=\left[ {
  2×1+5×21×1+3×2$$\begin{array}{c}2\times 1+5\times 2\\ 1\times 1+3\times 2\end{array}$$
  } \right]=\left[ {
  127$$\begin{array}{c}12\\ 7\end{array}$$
  } \right] [2513​][12​]=[2×1+5×21×1+3×2​]=[127​]