线性代数2：梯队矩阵形式

图片来自 Europeana on Unsplash

一、前言

欢迎阅读的系列文章的第二篇文章，内容是线性代数的基础知识，线性代数是机器学习背后的基础数学。在我之前的文章中，我介绍了线性方程和系统、矩阵符号和行缩减运算。本文将介绍梯队矩阵形式：行梯队形式和行缩减梯队形式，以及如何使用两者来解决线性系统。本文最好与David C. Lay，Steven R. Lay和Judi J. McDonald的线性代数及其应用一起阅读。将此系列视为外部配套资源。

二、行梯队形式

高斯消除法是一种使用行运算将矩阵转换为一种形式的过程，在这种形式中，解决方案可以在一些反向替换后被检索。

回顾一下，行缩减操作是：

替换：“将一行替换为其自身和另一行的总和。*
交换：“交换两排。”*
缩放：“将一行中的所有条目乘以非零常量。*

上述操作可以应用于矩阵，以将该矩阵转换为其行梯队形式。给定的 m x n 矩阵，其中 m 是行数，n 是列数，在以下情况下称为行梯队形式：

所有条目均为零的任何行都位于至少一个条目为非零的行下方。
行的所有前导条目（左起第一个非零条目）都位于其上方行右侧的列中。
前导条目下方列中的所有条目均为零。

以下是行梯队形式（REF）中的矩阵示例。

花点时间了解一下，虽然矩阵的大小和条目存在差异，但根据上述标准，所有矩阵都被视为行梯队形式。注意到突出显示的引导条目下方的类似楼梯的图案了吗？这就是执行高斯消除将矩阵转换为行梯队形式自然而然的结果。这种形式的名字很贴切：梯队这个词来源于法语eschelon，意思是梯子的梯级，后来的意思是“台阶”。

将矩阵转换为行缩减形式的高斯消除背后的基本思想是选择一个枢轴（枢轴一词用于指代前导条目：该条目将是其行中的第一个非零条目），然后消除下面的所有条目，将枢轴下方列中的所有内容清零。要了解为什么此步骤在将矩阵转换为精简梯队形式方面取得进展，请重新访问缩减梯队形式的定义：在行梯队形式中，前导条目下方列中的所有条目均为零。然后针对每一行再次迭代此步骤，但要谨慎！我们必须确保每次枢轴选择时，我们都不会违反行梯队形式的核心特征之一;行的所有前导条目都位于其上方行右侧的列中。 考虑到此规则，通常最好从第一行中的第一个条目开始旋转，然后从右到左沿着行向下移动。

让我们再次考虑前面提到的行梯队形式的目的：将表示线性系统的给定矩阵转换为解决方案可以轻松读取的形式。为了更好地理解行梯队形式的基本效用，请考虑示例 1。

当我们执行高斯消除时，我们正在操纵矩阵以呈现对称但更易于破译的形式。使用从示例 1 获得的行梯队形式，我们现在可以使用反向替换来逐步获得每个解决方案。

从上面可以看到，这并不理想。这需要额外的不整洁的工作。减少行梯队也需要额外的工作，但符号更简洁，出错的余地更小。一旦我们将矩阵简化为减少的行梯队形式，我们就可以轻松地读取我们的解决方案，我们将解析线性系统。

三、减少行梯队形式

当将矩阵简化为缩减的行梯队形式时，使用高斯-乔丹消除。该算法将表示线性系统的给定矩阵转换为简化梯队形式，其中解决方案可以通过应用一系列行缩减操作变得易于阅读。无需额外的反向替换。

如果给定的 m x n 矩阵满足行梯队形式的先决条件，则称其为缩减行梯队形式，此外，还满足以下标准：

每行中的前导条目为 1。
前导条目下方和上方列中的所有条目均为零。（前导条目是列中唯一的非零条目）

让我们通过一个将矩阵缩减为缩减行梯队形式的示例。

阅读我们的简化行梯队形式矩阵，现在很明显我们的解决方案是 x₁ = -3， x₂ = -12， x₃ = -3。

四、梯队形式的独特性

到目前为止，我们已经为行梯队形式和缩减行梯队形式各计算了一个示例。您可能想尝试单独减少行梯队形式的行作为练习，结果却得到不同的行梯队形式矩阵。不用担心，这是很有可能的，只要正确执行计算并涵盖所有三个规则，两个版本都是同样正确的。这是一个奇妙的情况！它引导我们走向一个重要的定理：

定理（1）

矩阵可以有多个行梯队形式;行梯队形式不是唯一的。可以通过应用行操作顺序的变化来获得不同但同样有效的梯队形式。

减少的行梯队形式不是这种情况，而是减少的行梯队形式的情况相反。

定理（2）

矩阵只能有一个缩减的行梯队形式;减少的行梯队形式是唯一的。

为什么我们看到两种形式之间唯一性的差异的根源是由于我们对缩减的行梯队形式施加的额外限制。也就是说，围绕前导条目的要求等于 1。一旦我们将矩阵简化为行梯队形式，我们就可以将每行乘以任何非零常量，它仍然是行梯队形式，因为缩放矩阵不会破坏行梯队形式的任何规则。减少梯队的形式是不可能的，因为主要条目必须是一个。下面我用一个具体的例子进一步说明这一点。