三角矩阵
三角矩阵是方形矩阵的一种,因其非零系数的排列呈三角形状而得名。三角矩阵分上三角矩阵和下三角矩阵两种。上三角矩阵的对角线左下方的系数全部为零,下三角矩阵的对角线右上方的系数全部为零。三角矩阵可以看做是一般方阵的一种简化情形。比如,由于带三角矩阵的矩阵方程容易求解,在解多元线性方程组时,总是将其系数矩阵通过初等变换化为三角矩阵来求解;又如三角矩阵的行列式就是其对角线上元素的乘积,很容易计算。有鉴于此,在数值分析等分支中三角矩阵十分重要。一个所有顺序主子式不为零的可逆矩阵A可以通过LU分解变成一个下三角矩阵L与一个上三角矩阵U的乘积。
性质
三角矩阵的性质包括:
- 一个同时是上三角矩阵和下三角矩阵的矩阵必然是对角矩阵。
- 单位矩阵是唯一同时为单位上三角矩阵和单位下三角矩阵的矩阵。
- 上三角矩阵的转置矩阵是下三角矩阵,反之亦然。
- 三角矩阵的行列式等于其对角线上所有元素之乘积。
- 对于三角矩阵A,其特征多项式{\displaystyle xI-A}也是三角矩阵。
- 三角矩阵的对角线元素的集合实际上是它的特征值的集合(其重数为在特征多项式中的重数)。
分类
以主对角线划分,三角矩阵有上三角矩阵和下三角矩阵两种。
①上三角矩阵
它的主对角线以下(不包括主对角线)的元素均为常数0。
②下三角矩阵
与上三角矩阵相反,它的主对角线上方均为常数0。
特殊的三角矩阵
严格三角矩阵
一个上(下)三角矩阵是严格上(下)三角矩阵当且仅当其主对角线上的系数都为零。所有的严格上(下)三角矩阵也形成一个子代数。所有的严格三角矩阵都是幂零矩阵。
单位三角矩阵
一个上(下)三角矩阵是单位上(下)三角矩阵当且仅当其主对角线上的系数都为1。单位三角矩阵都是幺幂矩阵。
高斯矩阵
高斯矩阵是单位三角矩阵中的一种,除了一列的系数以外,其他系数都是零。这类矩阵是高斯消去法中基本操作的矩阵体现,因此也叫做基元矩阵或高斯变换矩阵。高斯矩阵的逆仍然是高斯矩阵,即是说一个高斯矩阵的逆是将其非对角线上元素加上负号后得到的矩阵。