在线性代数中,三角矩阵是方形矩阵的一种,因其非零系数的排列呈三角形状而得名。三角矩阵分上三角矩阵和下三角矩阵两种。上三角矩阵的对角线左下方的系数全部为零,下三角矩阵的对角线右上方的系数全部为零。
三角矩阵可以看做是一般方阵的一种简化情形。比如,由于带三角矩阵的矩阵方程容易求解,在解多元线性方程组时,总是将其系数矩阵通过初等变换化为三角矩阵来求解;又如三角矩阵的行列式就是其对角线上元素的乘积,很容易计算。有鉴于此,在数值分析等分支中三角矩阵十分重要。一个可逆矩阵A可以通过LU分解变成一个下三角矩阵L与一个上三角矩阵U的乘积。
上三角矩阵和下三角矩阵
一个如下形状的矩阵:
L=⎣⎡l1,1l2,1l3,1vdotsln,1l2,2l3,2⋮ln,2⋯⋱⋱…(0)⋱ln,n−10⋮ln,n⎦⎤
被称为下三角矩阵;同样的,一个如下形状的矩阵:
U=⎣⎡u1,1⋮0u1,2u2,2(0)u1,3u2,3⋱⋯……⋱⋱u1,nu2,n⋮un−1,nun,n⎦⎤
被称为上三角矩阵。
上(下)三角矩阵的性质:
- 上(下)三角矩阵乘以系数后也是上(下)三角矩阵;
- 上(下)三角矩阵间的加减法和乘法运算的结果仍是上(下)三角矩阵;
- 上(下)三角矩阵的逆也仍然是上(下)三角矩阵。
这些事实说明:所有上(下)三角矩阵的集合以及相应的运算构成一个方形矩阵集合的一个子代数。然而要注意的是上三角矩阵与下三角矩阵的乘积一般并不是三角矩阵。
特殊的三角矩阵
严格三角矩阵
一个上(下)三角矩阵是严格上(下)三角矩阵当且仅当其主对角线上的系数都为零。所有的是严格上(下)三角矩阵也形成一个子代数。所有的严格三角矩阵都是幂零矩阵。
单位三角矩阵
一个上(下)三角矩阵是单位上(下)三角矩阵当且仅当其主对角线上的系数都为1。单位三角矩阵都是幺幂矩阵。
高斯矩阵
高斯矩阵是是单位三角矩阵中的一种,除了一列的系数以外,其他系数都是零。这类矩阵是高斯消元法中基本操作的矩阵体现,因此也叫做基元矩阵或高斯变换矩阵。一个下三角的高斯矩阵为:
Li=
⎣⎡1000⋮0⋱⋱⋱…1000⋮0…1li+1,ili+2,i⋮ln,i10⋮0⋱⋱…1001⎦⎤.
高斯矩阵的逆仍然是高斯矩阵。实际上,
Li−1=
⎣⎡1000⋮0⋱⋱⋱…1000⋮01−li+1,i−li+2,i⋮−ln,i10⋮0⋱⋱…1001⎦⎤,
即是说一个高斯矩阵的逆是将其非对角线上元素加上负号后得到的矩阵。
三角矩阵的性质
一个同时是上三角矩阵和下三角矩阵的矩阵必然是对角矩阵。单位矩阵是唯一同时为单位上三角矩阵和单位下三角矩阵的矩阵。
分别计算乘积A*A 与 AA*的系数并进行比较后就可以发现:一个同时为三角矩阵和正规矩阵的矩阵也必然是对角矩阵(因为正规矩阵满足A∗A=’AA∗)。
上三角矩阵的转置矩阵是下三角矩阵,反之亦然。
三角矩阵的行列式等于其对角线上所有元素之乘积。对于三角矩阵A,其特征多项式xI−A也是三角矩阵。三角矩阵的对角线元素的集合实际上是它的特征值的集合(其重数为在特征多项式中的重数)。