1. 矩阵乘法
如果矩阵 的列为 ,那么 的列就是 。
- 置换矩阵(permutation matrix)
在消元的过程中,如果遇到了某一行主元的位置为 0,而其下面一行对应的位置不为 0,我们就可以通过行交换来继续进行消元。
如下的矩阵 可以实现将向量或者矩阵的第 2 、 3 行进行交换。
置换矩阵 就是将单位矩阵的第 行和第 行进行互换,当交换矩阵乘以另一个矩阵时,它的作用就是交换那个矩阵的第 行和第 行。
- 增广矩阵(augmented matrix)
在消元的过程中,方程两边的系数 和 都要进行同样的变换,这样,我们可以把 作为矩阵 的额外的一列,然后,就可以用消元矩阵 乘以这个增广的矩阵一次性完成左右两边的变换。
- 矩阵乘法的四种理解
如果矩阵 有 列, 有 行,那么我们可以进行矩阵乘法 。
假设矩阵 有 行 列,矩阵 有 行 列,那么 是 行 列的。
矩阵乘法的第一种理解方式就是一个一个求取矩阵 位于 处的元素
第二种理解,矩阵 的列是 的列的线性组合
第三种理解,矩阵 的行是 的行的线性组合
第四种理解,矩阵 是所有 的列与 的行的乘积的和
其中,一列乘以一行称为外积(outer product),(n×1)(1×n)=(n, n),结果为一个 n×n 的矩阵。
- 矩阵乘法的性质
结合律:
交换律:
交换律:
- 分块矩阵
矩阵还可以被划分为小块,其中每个小块都是一个更小的矩阵。
如果对矩阵 的列的划分和对矩阵 的行的划分正好匹配,那么每个块之间就可以进行矩阵乘法。
一种特殊的划分就是矩阵 的每个小块都是 的一列,矩阵 的每个小块都是 的一行,这种情况就是我们上面说的矩阵相乘的第四种理解。
同样地,在消元的时候,我们也可以按块对系数矩阵进行消元。
2. 矩阵的逆
假设 是一个方阵,如果存在一个矩阵 ,使得
那么,矩阵 就是可逆的, 称为 的逆矩阵。
逆矩阵的逆就是进行和原矩阵相反的操作。消元矩阵 的作用是第二个方程减去第一个方程的 2 倍。
其逆矩阵 的作用则是第二个方程加上第一个方程的 2 倍。
当且仅当在消元过程中产生 个主元的时候(允许行交换),矩阵 的逆才存在。
矩阵 不可能有两个不同的逆矩阵,左逆等于右逆。假设 , ,那么一定有 。
如果矩阵 是可逆的,那么 有唯一解 。
如果存在一个非零向量 使得 ,那么 不可逆,因为没有矩阵可以将零向量变成一个非零向量。
- 一个 2×2 的矩阵是可逆的,当且仅当 非零。
- 一个对角化矩阵如果其对角线上元素非零,那么其有逆矩阵。
如果矩阵 和矩阵 都是可逆的,那么它们的乘积 也是可逆的。
同样地,针对三个或更多矩阵的乘积,有
3. 高斯-若尔当消元法(Gauss-Jordan Elimination)求矩阵的逆
我们可以通过消元法来求解矩阵 的逆矩阵。思路是这样的,假设 是一个 3×3 的矩阵,那么我们可以建立三个方程来分别求出 的三列。
而高斯-若尔当消元法则是一次性求解出这些方程,之前我们求解一个方程的时候,将 作为 的一列组成增广矩阵,而现在我们则是把 三列一起放入 中形成一个增广矩阵,然后进行消元。
到这里,我们已经得到了一个下三角矩阵 ,高斯就会停在这里然后用回带法求出方程的解,但若尔当将会继续进行消元,直到得到简化阶梯形式(reduced echelon form)。
最后,我们将每行都除以主元得到新的主元都为 1,此时,增广矩阵的前一半矩阵就是 ,而后一半矩阵就是 。
我们用分块矩阵就可以很容易地理解高斯-若尔当消元法,消元的过程就相当于乘以了一个 将 变成了 ,将 变成了 。
获取更多精彩,请关注「seniusen」!