三角矩阵.docVIP

三角矩阵 在 \o 线性代数 线性代数中，三角矩阵是 \o 矩阵 方形矩阵的一种，因其非零系数的排列呈三角形状而得名。三角矩阵分上三角矩阵和下三角矩阵两种。上三角矩阵的对角线左下方的系数全部为零，下三角矩阵的对角线右上方的系数全部为零。三角矩阵可以看做是一般方阵的一种简化情形。比如，由于带三角矩阵的矩阵方程容易求解，在解多元线性方程组时，总是将其系数矩阵通过初等变换化为三角矩阵来求解；又如三角矩阵的行列式就是其对角线上元素的乘积，很容易计算。有鉴于此，在 \o 数值分析 数值分析等分支中三角矩阵十分重要。一个可逆矩阵A可以通过 \o LU分解 LU分解变成一个下三角矩阵L与一个上三角矩阵U的乘积。 描述 一个如下形状的 \o 矩阵 矩阵： 被称为下三角矩阵；同样的，一个如下形状的矩阵： 被称为上三角矩阵。 上（下）三角矩阵乘以系数后也是上（下）三角矩阵；上（下）三角矩阵间的加减法和 \o 矩阵乘法 乘法运算的结果仍是上（下）三角矩阵；上（下）三角矩阵的逆也仍然是上（下）三角矩阵。这些事实说明：所有上（下）三角矩阵的集合以及相应的运算构成一个方形矩阵集合的一个子代数。然而要注意的是上三角矩阵与下三角矩阵的乘积一般并不是三角矩阵。 特殊的三角矩阵 严格三角矩阵 一个上（下）三角矩阵是严格上（下）三角矩阵 \o 当且仅当 当且仅当其 \o 矩阵 主对角线上的系数都为零。所有的是严格上（下）三角矩阵也形成一个子代数。所有的严格三角矩阵都是 \o 幂零矩阵 幂零矩阵。 单位三角矩阵 一个上（下）三角矩阵是单位上（下）三角矩阵 \o 当且仅当 当且仅当其 \o 矩阵 主对角线上的系数都为1。单位三角矩阵都是幺幂矩阵。 高斯矩阵 高斯矩阵是是单位三角矩阵中的一种，除了一列的系数以外，其他系数都是零。这类矩阵是 \o 高斯消去法 高斯消去法中基本操作的矩阵体现，因此也叫做基元矩阵或高斯变换矩阵。一个下三角的高斯矩阵为： 高斯矩阵的逆仍然是高斯矩阵。实际上， 即是说一个高斯矩阵的逆是将其非对角线上元素加上负号后得到的矩阵。 性质 一个同时是上三角矩阵和下三角矩阵的矩阵必然是 \o 对角矩阵 对角矩阵。 \o 单位矩阵 单位矩阵是唯一同时为单位上三角矩阵和单位下三角矩阵的矩阵。 分别计算乘积A*A 与 AA*的系数并进行比较后就可以发现：一个同时为三角矩阵和 \o 正规矩阵 正规矩阵的矩阵也必然是对角矩阵（因为正规矩阵满足A*A=AA*）。 上三角矩阵的 \o 转置矩阵 转置矩阵是下三角矩阵，反之亦然。 三角矩阵的 \o 行列式 行列式等于其对角线上所有元素之乘积。对于三角矩阵A，其 \o 特征多项式 特征多项式xI ? A也是三角矩阵。三角矩阵的对角线元素的集合实际上是它的 \o 特征值 特征值的集合（其重数为在特征多项式中的重数） [1]。 矩阵的三角化 每个复系数矩阵都与一个三角矩阵 \o 相似矩陣 相似 [1]。实际上，如果矩阵A的特征值都包含于其系数 \o 域 域中（比如一个 \o 代数封闭 代数闭域），那么A相似于一个三角矩阵。这个性质可以用归纳法证明。一个更进一步的结论是由 \o 若尔当标准形 若尔当标准形定理得出，说明了A实际上相似于一个十分特别的上三角矩阵（若尔当形） [1] [2]。 在复系数的情况下，每个方阵A都有一个舒尔分解，即A酉相似（即在 \o 酉矩阵 酉矩阵的基变换下）于一个上三角矩阵。 求三角矩阵的逆比求一般矩阵的逆要简单很多，可以直接逐个元素算出，而不必用 \o 高斯消去法 高斯消去法。 一般用L来做下三角矩阵的记号，因为英文中的“下”为“Lower”，首字母为L。同样的，上三角矩阵的记号通常是U。 推广 上三角矩阵构成了一个矩阵上的代数，因此在 \o 泛函分析 泛函分析中有一个自然的推广，即无穷维 \o 希尔伯特空间 希尔伯特空间上的套代数。 可逆上（下）三角矩阵的集合构成了一个 \o 群 群。它是 \o 一般线性群 一般线性群的一个 \o 子群 子群。2×2的上（下）三角矩阵构成的群 \o 同构 同构与系数域的 \o 加法群 加法群。当系数域是复数时，就成为了抛物线型 \o 莫比乌斯变换 莫比乌斯变换。3×3的上三角矩阵构成了 \o 海森堡群 海森堡群。 向前与向后替换 矩阵方程和有着非常简洁的解法 [3] 。对于包含下三角矩阵的方程，可以使用所谓的“向后替换法”，即是在解出了第一个未知数x1后，将它代入下一个方程（向后），解出下一个未知数x2，依此类推，直到解出xn。对于方程，则使用“向前替换法”，即将上面的方法倒过来，从后向前解出未知数。 注意这里不需要求矩阵的逆，因此复杂度大大下降。 向后替换 矩阵方程Lx = b可以清楚地写