本 Wiki 开启了 HTTPS。但由于同 IP 的 Blog 也开启了 HTTPS,因此本站必须要支持 SNI 的浏览器才能浏览。为了兼容一部分浏览器,本站保留了 HTTP 作为兼容。如果您的浏览器支持 SNI,请尽量通过 HTTPS 访问本站,谢谢!
这是本文档旧的修订版!
Week 2 Notes
Linear system 指的是一个包含了多个相同变量的等式的方程组。以矩阵的方式来看,Linear system 可以写作 $Ax=b$ 的形式:
$A$ 对应运算,$x$ 对应变量,$b$ 对应结果。
Gaussian Elimination(高斯消元法)是一种通过抵消 linear system 中等式系数的方式来达到求行列式(矩阵)解的方法。其最终目的是将某个(通常是最下方的)方程组中的变量减少到一个,再将该结果带入到其他方程组中,从而求出最后的结果。表现上,高斯消元法会将 $A$ 变换为一个上三角矩阵。比如上面的例子:
此时最后一行即为 $-2x_3 = 2$,将以次带入之前的等式即可求出结果。
还是以之前的例子为例,首先需要消除两个 $x_1$,也就是 $a_{12}$ 与 $a_{13}$。设行为 $L$,消除的参考等式是 $L_1$,消除的方式是对矩阵中每个对应的元素进行乘法和加法的运算。本例中的运算过程为:
得到的结果是: $$ \begin{pmatrix} -3 & 2 & -1&-1 \\ 6& -6& 7& -7\\ 3& -4& 4&-6 \end{pmatrix} \Rightarrow \begin{pmatrix} -3 & 2 & -1&-1 \\ 0& -2& 5& -9\\ 0& -2& 3&-7 \end{pmatrix} $$ $x_1$ 处理完毕之后,为了得到目标中的上三角矩阵,我们需要继续消除 $L_3$ 中的 $x_2$,也就是 $a_{32}$。该变量的系数可以通过:
的运算得到。进过这一轮的消元,我们已经得到了带上三角矩阵的形式了:
$$
\begin{pmatrix}
-3 & 2 & -1&-1 \\
0& -2& 5& -9\\
0& -2& 3&-7
\end{pmatrix}
\Rightarrow
\begin{pmatrix}
-3 & 2 & -1&-1 \\
0& -2& 5& -9\\
0& 0& -2&2
\end{pmatrix}
$$
得到上面的形式后,我们将其转化为带变量的 linear system形式:
\[
\begin{align}
-3x_1+2x_2-x_3&=-1
\\-2x_2+5x_3&=-9
\\-2x_3&=2
\end{align}
\]
将最后一行的等式依次往上带入,即可得到最后的结果。因为这种带入的方式是自底向上的,因此被称为 back substitution。
Reduced Row Echelon Form(简化列阶梯形矩阵)指满足下面两个条件的矩阵:
由逆矩阵的定义可知,$AA^{-1}=I$。而 $AA^{-1}$ 可以被视作一个 linear system,即 $A$ 与 $A^{-1}$ 中对应的列进行相乘,得到 $I$ 中的对应列的,多个等式组成的系统:
也就是说,在这个系统(方程组)里,我们知道了未知数的系数,也知道了每一个方程的结果,那么整个求逆矩阵的过程实际上就转化为了解方程组的过程。因此,我们可以将 $A$ 视作已知矩阵,将 $I$ 视作结果组成一个 Augmented martix,并使用高斯消元来计算出 $A^{-1}$。
按照上述的思路,如果使用 RREF,上述的过程会变得更加简单。对于可逆矩阵 $A$,其 RREF 必然是一个单位矩阵。因此由 $AI$ 组成 Augmented martix,当 $A$ 变为 $I$ 时:$$AI \to IA^{-1}$$
那么整个过程则是对整个 Augmented martix 进行 RREF 的变形;当 $A$ 转变为 $rref$ 形式时,Augmented matrix 右边的部分即为 $A^{-1}$:
在高斯消元法中,我们通常用到的有两种操作:
这两种操作被称为初等变换。如果将这类运算以矩阵的形式表现出来,那么我们称这类矩阵为初等矩阵(Elementry Matrix)。从表现上来看,该类矩阵是由单位矩阵 $I$ 变换而来。具体的变换规则如下:
以 $I$ 作为基础:
高斯消元法是对行进行操作。因此使用初等矩阵作为变换方式,需要进行左乘。