文章目录

  • 三角行列式🎈
  • 概念
  • 主对角线三角行列式👺
  • 解法1:
  • 解法2:
  • 副对角线三角行列式
  • 对角行列式
  • 特殊的拉普拉斯`行列式`展开🎈
  • 形式1
  • 形式2


三角行列式🎈

概念

  • In linear algebra, the main diagonal (sometimes :principal diagonal, primary diagonal, leading diagonal, major diagonal, or good diagonal) of a matrix A is the list of entries LA@三角行列式_三角行列式whereLA@三角行列式_三角行列式_02.
  • All off-diagonal elements are zero in a diagonal matrix.
  • 副对角线(antidiagonal)
  • The antidiagonal (sometimes counter diagonal, secondary diagonal, trailing diagonal, minor diagonal, off diagonal, or bad diagonal) of an order N square matrix B(N阶方阵B) is the collection of entries LA@三角行列式_线性代数_03,such that LA@三角行列式_线性代数_04 for all LA@三角行列式_线性代数_05.
  • That is ,it runs from the top right corner to the bottom left corner.

主对角线三角行列式👺

  • 记为LA@三角行列式_ci_06(triangular determinant)
  • 主对角线三角行列式的值等于主对角线元素的乘积,(包括上三角和下三角行列式)
  • LA@三角行列式_线性代数_07
  • LA@三角行列式_线性代数_08

解法1:

  • 由行列式公式LA@三角行列式_ci_09
  • 其中:LA@三角行列式_线性代数_10LA@三角行列式_三角行列式_11的某个排列;LA@三角行列式_线性代数_12排列LA@三角行列式_线性代数_10逆序数;LA@三角行列式_三角行列式_14是来自不同行不同列的n个元素的乘积
  • 容易观察到,三角行列式的第一列只有第一个元素可能非0,其余全为0
  • 如果LA@三角行列式_ci_15LA@三角行列式_ci_16那么LA@三角行列式_线性代数_17中有且只有一个会等于1,而这些元素分别来自第2至第n行,因此一定有某个元素LA@三角行列式_三角行列式_18
  • 这种情况下,LA@三角行列式_线性代数_19一定会取0
  • 只有当LA@三角行列式_三角行列式_20,LA@三角行列式_ci_21才可能发生(LA@三角行列式_线性代数_22,LA@三角行列式_三角行列式_23)
  • 这种情况下,LA@三角行列式_三角行列式_24也必须是LA@三角行列式_线性代数_25才可能使LA@三角行列式_三角行列式_26,否则LA@三角行列式_线性代数_27中一定会有一个元素取2,使得矩阵A中某个元素LA@三角行列式_三角行列式_28,导致LA@三角行列式_ci_29
  • 类似的,只有排列LA@三角行列式_线性代数_30,使得LA@三角行列式_三角行列式_31可能不为0(LA@三角行列式_三角行列式_32)
  • 容易球得LA@三角行列式_ci_33,LA@三角行列式_三角行列式_34表示求逆序数
  • 从而LA@三角行列式_三角行列式_35

解法2:

  • 利用拉普拉斯降阶展开,对第一列进行展开可知,只有第一个元素可能产生非零项:LA@三角行列式_ci_36
  • 由于LA@三角行列式_线性代数_37依然是一个上三角行列式,因此类似的有:LA@三角行列式_ci_38
  • 类似的:LA@三角行列式_ci_39,LA@三角行列式_ci_40
  • LA@三角行列式_三角行列式_41
  • LA@三角行列式_三角行列式_42
  • 从而LA@三角行列式_ci_43

副对角线三角行列式

  • LA@三角行列式_三角行列式_44
  • LA@三角行列式_ci_45
  • 其中逆序数的计算:
    LA@三角行列式_三角行列式_46
  • 可以通过行列式性质将副对角线三角行列式转换为主对角线行列式.
  • 只需执行若干次行互换即可

对角行列式

  • 特别的,非0元素仅出现在对角线上的行列式称为对角行列式
  • LA@三角行列式_三角行列式_47

特殊的拉普拉斯行列式展开🎈

形式1

  • 准主三角行列式:
  • 设方阵A是LA@三角行列式_ci_48阶的矩阵,且LA@三角行列式_ci_49可以被划分为如下形式
  • LA@三角行列式_线性代数_50
  • LA@三角行列式_三角行列式_51分布在副对角线上(LA@三角行列式_线性代数_52的有上角或左下角有一个零方阵)
  • 以"下三角"的情况为例:
  • LA@三角行列式_线性代数_53
  • 分块矩阵中的方阵A:可以通过若干次行倍增操作(LA@三角行列式_ci_54)将A化为行列式等值的小下三角阵.
  • LA@三角行列式_三角行列式_55
  • 分块矩阵中的方阵B:可以通过若干次列倍增操作(LA@三角行列式_线性代数_56)将B化为小下三角阵.(逐行的将B的右上角元素化为0)
  • LA@三角行列式_三角行列式_57
  • 将上述2组变换对LA@三角行列式_线性代数_58执行一遍,得到
  • LA@三角行列式_三角行列式_59
  • Note:分块LA@三角行列式_三角行列式_60LA@三角行列式_线性代数_61经过两组变换后并不受影响(将任意行列式化为等值的三角行列式只需要行倍增或列倍增中的一种即可实现)
  • 可见LA@三角行列式_三角行列式_62

形式2

  • 准副三角行列式
  • LA@三角行列式_三角行列式_63
  • 其证明原理和形式1中的相仿,根据都是行列式的等值变换
  • 类似于上述情况,通过若干行变换和列变换,转换为副对角线行列式:
  • 这里方阵LA@三角行列式_三角行列式_64LA@三角行列式_ci_65阶的(为了计算或理解方便,可以令LA@三角行列式_三角行列式_66)
  • LA@三角行列式_线性代数_67
  • 该公式中的指数部分涉及表达式:LA@三角行列式_线性代数_68,由于我们仅关心LA@三角行列式_三角行列式_69的奇偶性,可对其形式进行变形
  • LA@三角行列式_ci_70=LA@三角行列式_线性代数_71
  • LA@三角行列式_线性代数_72
  • LA@三角行列式_三角行列式_73=LA@三角行列式_ci_74
  • LA@三角行列式_ci_75