线代--行列式

1、概念:

只有方阵A才有 \color{red} {\small 行列式},是方阵的一个属性,记作: det(A) 或写成 |A|,描述的是一个向量组的 \color{red} {\small 有向“体”积},矩阵的行列式计算结果是一个纯量,通过这个存量可以一定程度上刻画向量组之间的不同。概念上类似于研究一个数的时候,数有大小,符号,约数,是否素数等属性。

一个空间有无数组基,比如在二维空间中,描述生成二维空间的不同组基之间的差异,就可以通过计算每组基的向量所形成的 面积 这么一个 纯量 来反映基之间的差异。
对于一个三维空间,那么这个纯量 就是计算的由构成三维空间的一组基的3个向量所形成的体的一个体积;
推广到更高维的空间,空间的基所形成的这个"体"也是存在的,但无法用几何可视化。

二阶行列式的计算

示例: 计算二维空间一组基向量的对应方阵矩阵的 行列式

对于二维空间内的一组基,\vec u =(a,b)\vec v=(c,d),这组基的向量按行排列成方阵A = \begin{bmatrix} a&b \\ c&d \end{bmatrix}
则有\det (A) = |A| = (a+c)(b+d) - 2bc - cd -ab = ad -bc

\det (A)的结果可知对于一个二阶方阵,它的行列式的值就是主对角线上元素的乘积减去非主对角线上元素的乘积。

2、行列式是 \color{red} {\small 有向“体”积} 的概念:

通过求二阶方阵A = \begin{bmatrix} a&b \\ c&d \end{bmatrix}的一个行列式得到\det (A) = ad -bc
可以发现当交换矩阵A两行就有对于B= \begin{bmatrix} c&d \\ a&b \end{bmatrix}\det(B) = cd -ab = - \det(A) ,从而说明,\color{red} {\small 行列式} 作为矩阵的一个属性,不能简单的仅表示这组向量构成的空间体的体积,而是一组向量在空间中形成的 有向体积,这个有向指的是行列式计算结果这个 纯量 是一个有正负号(\color {darkred} {\pm})的值,不同于向量,向量的方向有无数个,而行列式的值是表示在一个一维空间的纯量,所以方向只有正负两种情况 。

所以在行列式中,向量的排列顺序是有意义的(\color {grey} {\small 行向量从上到下的排列顺序,任意交换两行,则行列式的值取反})。

3、行列式的基本性质

  • \det(I) = 1 单位矩阵的行列式的值是1 ;

  • 交换行列式的两行, 则行列式的值取反 ;

  • 方阵的某一行乘以一个数k,则其对应的行列式的值也缩放了k倍(对于k,如果是小数就是缩小,大于1就是放大)。 那么就有\det (kA) = k^{n} \cdot \det(A),即根据矩阵基础运算,矩阵乘以一个常数,就是所有行都乘以这个数,对一个n\times n矩阵的所有行都乘以一个常数k,就是对行列式的值缩放了k^{n}倍;

  • 当方阵的某一行加上一个等维向量,其行列式可以作如下拆分 | \begin{matrix} a+x&b+y \\ c&d \end{matrix} | = | \begin{matrix} a&b \\ c&d \end{matrix} | + | \begin{matrix} x&y \\ c&d \end{matrix} |

  • 如何行列式中存在 相同的两行 ,那么行列式的值为 0 :
    \because 对于一个存在相同行的矩阵A,当交换矩阵A内的相同行得到矩阵A',就有\det(A) = -\det(A')
    \therefore由于矩阵A'是矩阵A内交换相同两行得到的,那么矩阵A等于矩阵A',所以\det(A) = \det(A') = -\det(A') ,因此\det(A) = 0
    在二维空间,当两个向量共线,那么面积为0;
    在三维空间中,如果两个向量共线,形成的是一个平面,体积为0;
    高维空间中,如果两个向量共线,那么就会形成一个(n-1)维的”体“ ,那么这个体在n维空间中是没有体积的。
    \therefore 如果行列式内存在线性相关的行,也即一行是另一方的k倍,则行列式的值为0 ,可证如下:
    | \begin{matrix} ka&kb \\ a&b \end{matrix} | = k \cdot | \begin{matrix} a&b \\ a&b \end{matrix} | = k \cdot 0 = 0

  • 如果行列式中有一行为0,也即矩阵的行向量中出现零向量,那么行列式的值为 0
    \because 除开零向量,那么剩余的 n-1个向量在n维空间中最高只能形成一个n-1维的体,在n维空间中也是没有体积的。
    | \begin{matrix} a&b \\ 0&0 \end{matrix} | = | \begin{matrix} a&b \\ 0a&0b \end{matrix} | = 0 \cdot | \begin{matrix} a&b \\ a&b \end{matrix} | = 0

小结论:一组线性相关的向量,它们按行排列构成的方阵行列式值为0,意味着矩阵不可逆。而行列式的不为0,表明矩阵可逆。(这条性质是求特征值特征向量的关键).
det(A) = 0 \to A 不可逆
det(A) \neq 0 \to A 可逆

4、行列式的标准计算方法

由行列式的基本性质,如果一个行列式的一行加(减)另一行的k倍,那么行列式的值不变:
| \begin{matrix} a&b&c \\ d&e&f \\ g&h&i \end{matrix} | = | \begin{matrix} a&b&c \\ d&e&f \\ g-ka&h-kb&i-kc \end{matrix} | = | \begin{matrix} a&b&c \\ d&e&f \\ g&h&i \end{matrix} | - k \cdot | \begin{matrix} a&b&c \\ d&e&f \\ a&b&c \end{matrix} |
因为k \cdot | \begin{matrix} a&b&c \\ d&e&f \\ a&b&c \end{matrix} | = 0
所以| \begin{matrix} a&b&c \\ d&e&f \\ g&h&i \end{matrix} | = | \begin{matrix} a&b&c \\ d&e&f \\ g-ka&h-kb&i-kc \end{matrix} |成立

这种通过执一行加(减)另一行的k倍,且保持行列式的值不变的处理方法也就是所谓的Guass 消元法。一个矩阵的行列式的值等同于其执行Guass-Jordan消元后的结果。但是这里对矩阵的行列式执行高斯消元的过程中不能执行归一化,也即不能对某一行乘以k倍(\color {grey} {\small 方阵的某一行乘以一个数k,则其对应的行列式的值也缩放了k倍}),可以执行行(列)的交换操作但是要注意变换结果的符号(奇数次交换行列式的值取负,偶数次取正)。

Guass 消元获得 上 三角矩阵U (矩阵主对角线上面的元素是非零的)
Guass-Jordan 过程获得 对角矩阵D (矩阵主对角线上的元素是非零的,其它位置的元素都为0)

如果矩阵A执行 高斯约旦消元后 出现零行,那么det(A) = 0
如果矩阵A执行 高斯约旦消元后 得到对角矩阵D,那么det(A)就是主对角线上所有元素的乘积:


那么对于一些特殊的矩阵,像下三角矩阵L和上三角矩阵U,我们可以不执行Jordan 消元过程,因为Jordan 消元过程并不影响下三角矩阵L和上三角矩阵U主对角线上的元素,所以对于一个下三角矩阵L或上三角矩阵U,它们的行列式的值就是主对角线上所有元素的乘积:

综上,计算一个矩阵A的行列式的值,只需要对矩阵A执行Guass消元处理得到上三角矩阵,然后乘积这个上三角矩阵主对角线上元素的结果就是矩阵A的行列式的值。

5、行列式与初等矩阵的联系

行列式的另一个重要性质: \det (A\cdot B) =\det (A) \cdot \det (B)
对于这个性质,从几何意义上也即用空间体的体积的乘积来理解,它的意义就不大明确。需要从代数角度进行证明和理解:

情况一,相乘的两矩阵AB中存在线性相关行
两个矩阵AB相乘,其中如果有一个矩阵内存在某一行和其它行线性相关的话,那么A \cdot B中原本线性相关的行还是保持线性相关的,所以\det (A \cdot B) = 0。所以就有\det (A) = 0\det (B) = 0 , 因此\det (A \cdot B) = 0 就能得证;

情况二,相乘的两矩阵AB中所有行都线性无关
那么对于一个方阵A,如果方阵内所有的行向量线性无关,那么执行高斯约旦消元后得到的矩阵行最简形式就是一个单位矩阵reff(A) = I,进而,也就意味着方阵A可以表示为系列初等矩阵的乘积的形式A = E_n \cdot E_{n-1} \cdots E_3 \cdot E_2 \cdot E_1;

初等矩阵E是对单位矩阵I执行初等行变换的结果矩阵,对于初等矩阵的行列式就只有三种形式:

  • 如果E是单位矩阵的某一行乘以k ,那么det (E) = k ;
  • 如果E是单位矩阵的某两行交换, 那么 det (E) = -1 ;
  • 如果E是单位矩阵的某行加(减)零一行的k倍, 那么 det (E) = 1;

对于一个初等矩阵E 乘以 一个方阵B ,如果E是单位矩阵的某一行乘以k ,这样E \cdot B 的结果就是对矩阵 B中的某一行乘以常数k,那么\det (E \cdot B) = k \cdot \det (B) = \det (E) \cdot \det (B)

进而,对于\det (E_n \cdot E_{n-1} \cdots E_3 \cdot E_2 \cdot E_1 \cdot B)
E_{n-1} \cdots E_3 \cdot E_2 \cdot E_1 \cdot B = B'
就有 \det (E_n \cdot E_{n-1} \cdots E_3 \cdot E_2 \cdot E_1 \cdot B) = \det (E_n \cdot B') = \det (E_n) \cdot \det (B') ,,, 依此类推
可以得出 \det (E_n \cdot E_{n-1} \cdots E_3 \cdot E_2 \cdot E_1 \cdot B) = \det (E_n) \cdot \det (E_{n-1}) \cdots \det (E_2) \cdot \det (E_1) \cdot \det (B)

进而,对于\det (A \cdot B),由于两矩阵AB中所有行都线性无关,所以AB都可以拆分成系列初等矩阵的乘积
那么就有 \det (A) = \det (E_k \cdot E_{k-1} \cdots E_2 \cdot E_1 \cdot I) = \det (E_k ) \cdot \det (E_{k-1} ) \cdots \det (E_2 ) \cdot \det (E_1 ) \cdot 1
\therefore \det (A \cdot B) =\det (E_k \cdot E_{k-1} \cdots E_2 \cdot E_1 \cdot I \cdot B) = \det (E_k ) \cdot \det (E_{k-1} ) \cdots \det (E_2 ) \cdot \det (E_1 ) \cdot \det (B) = \det (A) \cdot \det (B)

根据性质\det (A\cdot B) =\det (A) \cdot \det (B),可以推出 \det (A \cdot A^{-1}) = \det (A) \cdot \det (A^{-1}) = \det (I) = 1
从而 \det (A^{-1}) = \frac {1}{\det (A)},这个结论意味着 如果矩阵A的存在逆的话,它的行列式的值不能为零

1、概念:

只有方阵A才有 \color{red} {\small 行列式},是方阵的一个属性,记作: det(A) 或写成 |A|,描述的是一个向量组的 \color{red} {\small 有向“体”积},矩阵的行列式计算结果是一个纯量,通过这个存量可以一定程度上刻画向量组之间的不同。概念上类似于研究一个数的时候,数有大小,符号,约数,是否素数等属性。

一个空间有无数组基,比如在二维空间中,描述生成二维空间的不同组基之间的差异,就可以通过计算每组基的向量所形成的 面积 这么一个 纯量 来反映基之间的差异。
对于一个三维空间,那么这个纯量 就是计算的由构成三维空间的一组基的3个向量所形成的体的一个体积;
推广到更高维的空间,空间的基所形成的这个"体"也是存在的,但无法用几何可视化。

二阶行列式的计算

示例: 计算二维空间一组基向量的对应方阵矩阵的 行列式

对于二维空间内的一组基,\vec u =(a,b)\vec v=(c,d),这组基的向量按行排列成方阵A = \begin{bmatrix} a&b \\ c&d \end{bmatrix}
则有\det (A) = |A| = (a+c)(b+d) - 2bc - cd -ab = ad -bc

\det (A)的结果可知对于一个二阶方阵,它的行列式的值就是主对角线上元素的乘积减去非主对角线上元素的乘积。

2、行列式是 \color{red} {\small 有向“体”积} 的概念:

通过求二阶方阵A = \begin{bmatrix} a&b \\ c&d \end{bmatrix}的一个行列式得到\det (A) = ad -bc
可以发现当交换矩阵A两行就有对于B= \begin{bmatrix} c&d \\ a&b \end{bmatrix}\det(B) = cd -ab = - \det(A) ,从而说明,\color{red} {\small 行列式} 作为矩阵的一个属性,不能简单的仅表示这组向量构成的空间体的体积,而是一组向量在空间中形成的 有向体积,这个有向指的是行列式计算结果这个 纯量 是一个有正负号(\color {darkred} {\pm})的值,不同于向量,向量的方向有无数个,而行列式的值是表示在一个一维空间的纯量,所以方向只有正负两种情况 。

所以在行列式中,向量的排列顺序是有意义的(\color {grey} {\small 行向量从上到下的排列顺序,任意交换两行,则行列式的值取反})。

3、行列式的基本性质

  • \det(I) = 1 单位矩阵的行列式的值是1 ;

  • 交换行列式的两行, 则行列式的值取反 ;

  • 方阵的某一行乘以一个数k,则其对应的行列式的值也缩放了k倍(对于k,如果是小数就是缩小,大于1就是放大)。 那么就有\det (kA) = k^{n} \cdot \det(A),即根据矩阵基础运算,矩阵乘以一个常数,就是所有行都乘以这个数,对一个n\times n矩阵的所有行都乘以一个常数k,就是对行列式的值缩放了k^{n}倍;

  • 当方阵的某一行加上一个等维向量,其行列式可以作如下拆分 | \begin{matrix} a+x&b+y \\ c&d \end{matrix} | = | \begin{matrix} a&b \\ c&d \end{matrix} | + | \begin{matrix} x&y \\ c&d \end{matrix} |

  • 如何行列式中存在 相同的两行 ,那么行列式的值为 0 :
    \because 对于一个存在相同行的矩阵A,当交换矩阵A内的相同行得到矩阵A',就有\det(A) = -\det(A')
    \therefore由于矩阵A'是矩阵A内交换相同两行得到的,那么矩阵A等于矩阵A',所以\det(A) = \det(A') = -\det(A') ,因此\det(A) = 0
    在二维空间,当两个向量共线,那么面积为0;
    在三维空间中,如果两个向量共线,形成的是一个平面,体积为0;
    高维空间中,如果两个向量共线,那么就会形成一个(n-1)维的”体“ ,那么这个体在n维空间中是没有体积的。
    \therefore 如果行列式内存在线性相关的行,也即一行是另一方的k倍,则行列式的值为0 ,可证如下:
    | \begin{matrix} ka&kb \\ a&b \end{matrix} | = k \cdot | \begin{matrix} a&b \\ a&b \end{matrix} | = k \cdot 0 = 0

  • 如果行列式中有一行为0,也即矩阵的行向量中出现零向量,那么行列式的值为 0
    \because 除开零向量,那么剩余的 n-1个向量在n维空间中最高只能形成一个n-1维的体,在n维空间中也是没有体积的。
    | \begin{matrix} a&b \\ 0&0 \end{matrix} | = | \begin{matrix} a&b \\ 0a&0b \end{matrix} | = 0 \cdot | \begin{matrix} a&b \\ a&b \end{matrix} | = 0

小结论:一组线性相关的向量,它们按行排列构成的方阵行列式值为0,意味着矩阵不可逆。而行列式的不为0,表明矩阵可逆。(这条性质是求特征值特征向量的关键).
det(A) = 0 \to A 不可逆
det(A) \neq 0 \to A 可逆

4、行列式的标准计算方法

由行列式的基本性质,如果一个行列式的一行加(减)另一行的k倍,那么行列式的值不变:
| \begin{matrix} a&b&c \\ d&e&f \\ g&h&i \end{matrix} | = | \begin{matrix} a&b&c \\ d&e&f \\ g-ka&h-kb&i-kc \end{matrix} | = | \begin{matrix} a&b&c \\ d&e&f \\ g&h&i \end{matrix} | - k \cdot | \begin{matrix} a&b&c \\ d&e&f \\ a&b&c \end{matrix} |
因为k \cdot | \begin{matrix} a&b&c \\ d&e&f \\ a&b&c \end{matrix} | = 0
所以| \begin{matrix} a&b&c \\ d&e&f \\ g&h&i \end{matrix} | = | \begin{matrix} a&b&c \\ d&e&f \\ g-ka&h-kb&i-kc \end{matrix} |成立

这种通过执一行加(减)另一行的k倍,且保持行列式的值不变的处理方法也就是所谓的Guass 消元法。一个矩阵的行列式的值等同于其执行Guass-Jordan消元后的结果。但是这里对矩阵的行列式执行高斯消元的过程中不能执行归一化,也即不能对某一行乘以k倍(\color {grey} {\small 方阵的某一行乘以一个数k,则其对应的行列式的值也缩放了k倍}),可以执行行(列)的交换操作但是要注意变换结果的符号(奇数次交换行列式的值取负,偶数次取正)。

Guass 消元获得 上 三角矩阵U (矩阵主对角线上面的元素是非零的)
Guass-Jordan 过程获得 对角矩阵D (矩阵主对角线上的元素是非零的,其它位置的元素都为0)

如果矩阵A执行 高斯约旦消元后 出现零行,那么det(A) = 0
如果矩阵A执行 高斯约旦消元后 得到对角矩阵D,那么det(A)就是主对角线上所有元素的乘积:


那么对于一些特殊的矩阵,像下三角矩阵L和上三角矩阵U,我们可以不执行Jordan 消元过程直接计算行列式的值,因为即使执行Jordan 消元过程化为了对角矩阵,但是该过程却并不改变下三角矩阵L和上三角矩阵U主对角线上的元素,所以对于一个下三角矩阵L或上三角矩阵U,它们的行列式的值就是主对角线上所有元素的乘积:

综上,计算一个矩阵A的行列式的值,只需要对矩阵A执行Guass消元处理得到上三角矩阵,然后乘积这个上三角矩阵主对角线上元素的结果就是矩阵A的行列式的值。

5、行列式与初等矩阵的联系

行列式的另一个重要性质: \det (A\cdot B) =\det (A) \cdot \det (B)
对于这个性质,从几何意义上也即用空间体的体积的乘积来理解,它的意义就不大明确。需要从代数角度进行证明和理解:

情况一,相乘的两矩阵AB中存在线性相关行
两个矩阵AB相乘,其中如果有一个矩阵内存在某一行和其它行线性相关的话,那么A \cdot B中原本线性相关的行还是保持线性相关的,所以\det (A \cdot B) = 0。所以就有\det (A) = 0\det (B) = 0 , 因此\det (A \cdot B) = 0 就能得证;

情况二,相乘的两矩阵AB中所有行都线性无关
那么对于一个方阵A,如果方阵内所有的行向量线性无关,那么执行高斯约旦消元后得到的矩阵行最简形式就是一个单位矩阵reff(A) = I,进而,也就意味着方阵A可以表示为系列初等矩阵的乘积的形式A = E_n \cdot E_{n-1} \cdots E_3 \cdot E_2 \cdot E_1;

初等矩阵E是对单位矩阵I执行初等行变换的结果矩阵,对于初等矩阵的行列式就只有三种形式:

  • 如果E是单位矩阵的某一行乘以k ,那么det (E) = k ;
  • 如果E是单位矩阵的某两行交换, 那么 det (E) = -1 ;
  • 如果E是单位矩阵的某行加(减)零一行的k倍, 那么 det (E) = 1;

对于一个初等矩阵E 乘以 一个方阵B ,如果E是单位矩阵的某一行乘以k ,这样E \cdot B 的结果就是对矩阵 B中的某一行乘以常数k,那么\det (E \cdot B) = k \cdot \det (B) = \det (E) \cdot \det (B)

进而,对于\det (E_n \cdot E_{n-1} \cdots E_3 \cdot E_2 \cdot E_1 \cdot B)
E_{n-1} \cdots E_3 \cdot E_2 \cdot E_1 \cdot B = B'
就有 \det (E_n \cdot E_{n-1} \cdots E_3 \cdot E_2 \cdot E_1 \cdot B) = \det (E_n \cdot B') = \det (E_n) \cdot \det (B') ,,, 依此类推
可以得出 \det (E_n \cdot E_{n-1} \cdots E_3 \cdot E_2 \cdot E_1 \cdot B) = \det (E_n) \cdot \det (E_{n-1}) \cdots \det (E_2) \cdot \det (E_1) \cdot \det (B)

进而,对于\det (A \cdot B),由于两矩阵AB中所有行都线性无关,所以AB都可以拆分成系列初等矩阵的乘积
那么就有 \det (A) = \det (E_k \cdot E_{k-1} \cdots E_2 \cdot E_1 \cdot I) = \det (E_k ) \cdot \det (E_{k-1} ) \cdots \det (E_2 ) \cdot \det (E_1 ) \cdot 1
\therefore \det (A \cdot B) =\det (E_k \cdot E_{k-1} \cdots E_2 \cdot E_1 \cdot I \cdot B) = \det (E_k ) \cdot \det (E_{k-1} ) \cdots \det (E_2 ) \cdot \det (E_1 ) \cdot \det (B) = \det (A) \cdot \det (B)

根据性质\det (A\cdot B) =\det (A) \cdot \det (B),可以推出 \det (A \cdot A^{-1}) = \det (A) \cdot \det (A^{-1}) = \det (I) = 1
从而 \det (A^{-1}) = \frac {1}{\det (A)},这个结论意味着 如果矩阵A的存在逆的话,它的行列式的值不能为零

6、行列式的行式与列式概念

上面所有讨论的都是将待研究向量组按行的形式排列来看行列式,也就是"行式"的概念,但是对于行列式的值来说,向量组按行排列或按列向量的形式排列来计算的话,其结果是一样的,也即: \det \left ( \begin{array} \ a&b \\ c&d \end{array} \right ) = \det \left ( \begin{array} \ a&c \\ b&d \end{array} \right ) ,这就是行列式的 "行式" 即 "列式"概念

行列式的行式 即 列式 换一种表达方式即 : \det (A) = \det (A^{T}),矩阵的转置 指沿着矩阵主对角线交换上下两边的元素位置。

6、行列式的行式与列式概念

上面所有讨论的都是将待研究向量组按行的形式排列来看行列式,也就是"行式"的概念,但是对于行列式的值来说,向量组按行排列或按列向量的形式排列来计算的话,其结果是一样的,也即: \det \left ( \begin{array} \ a&b \\ c&d \end{array} \right ) = \det \left ( \begin{array} \ a&c \\ b&d \end{array} \right ) ,这就是行列式的 "行式" 即 "列式"概念

行列式的行式 即 列式 换一种表达方式即 : \det (A) = \det (A^{\intercal}),矩阵的转置 指沿着矩阵主对角线交换上下两边的元素位置。
对于任意一个矩阵A,可以通过执行LU分解成A=P \cdot LU \cdot P',其中P是行变换矩阵,P'是列变换矩阵:
从而,\det (A) = \det (PLUP') = \det (P) \cdot \det (L) \cdot \det (U) \cdot \det (P')

那么就有,\det (A^\intercal) = \det ( \ (PLUP')^\intercal \ ) ,由矩阵的基本运算,(PLUP')^\intercal = P'^\intercal \cdot U^\intercal \cdot L^\intercal \cdot P^\intercal
从而,\det (A^\intercal) = \det ( \ (PLUP')^\intercal \ ) = \det (P'^\intercal \cdot U^\intercal \cdot L^\intercal \cdot P^\intercal) = \det (P'^\intercal) \cdot \det(U^\intercal) \cdot \det (L^\intercal) \cdot \det (P^\intercal)

矩阵分解出来的LU矩阵都属于三角矩阵,而对于转置后的L^\intercalU^\intercal矩阵,由于转置变换并不改变矩阵主对角线上元素的位置,所以由行列式的标准计算方法可得 \det (L) = \det (L^\intercal) , \det (U) = \det (U^\intercal)

由标准单位矩阵交换某两行之后得到初等变换矩阵E,行变换初等矩阵E上的元素关于矩阵主对角线对称,因此执行转置之后的结果还是E,即E^\intercal = E \to \det (E^\intercal) = \det (E),从而矩阵分解的行变换矩阵P的转置矩阵的行列式\det (P^\intercal) = \det (E^\intercal_k \cdot E^\intercal_{k-1} \cdots E_{2}^\intercal \cdot E^\intercal_{1}) = \det (P)

由于单位矩阵I既可以从行向量,也可以从列向量上看,转置意味着行向量与列向量的互换,那么其中交换任意两个列向量的位置,转置后的结果等价于交换两个行向量的位置,所以列交换矩阵P'的转置P'^T是行交换矩阵,那么就有\det (P'^\intercal) = \det (\ (P'^\intercal)^\intercal \ ) = \det (P')

综上,\det (L) = \det (L^\intercal) ; \det (U) = \det (U^\intercal) ; \det (P) = \det (P^\intercal) ; \det (P') = \det (P'^\intercal)
所以,\det (A) = \det (PLUP') = \det ( \ (PLUP')^\intercal \ ) = \det (A^\intercal),矩阵的行列式的“行式”与“列式”等价;

列式的视角看待行列式,那么转换出行列式的行式基本性质:

  • 行列式交换两列,则行列式的值取反;
  • 行列式一列乘以常数k,则行列式缩放k
  • 当行列式的某一列加上一个等维向量,其行列式可以作如下拆分 | \begin{matrix} a+x&c \\ b+y&d \end{matrix} | = | \begin{matrix} a&c \\ b&d \end{matrix} | + | \begin{matrix} x&c \\ y&d \end{matrix} |
  • 行列式的一列是其它列的线性组合,则行列式的值为0
  • 如果一列加减另一列的k倍,行列式的值不变
  • \cdots

7、行列式的代数理论与相关结论

以下相关结论一般不用作复杂计算,计算量太高,无实际上的应用价值 !!!

(1)、行列式的代数表达式 \det{\begin{vmatrix} a_{11}&a_{12}&\cdots &a_{1n}\\ a_{21}&a_{22}&\cdots &a_{2n}\\ \cdots &\cdots &\cdots &\cdots \\ a_{n1}&a_{n2}&\cdots &a_{nn}\end{vmatrix}} = \sum_{i=1}^{n} a_{1i}A_{1i} ,意思是每次取方阵的中第一行的一列,乘以A_{1i}并累加计算出行列式的值
其中 ,A_{1i} = (-1)^{i+1} M_{1i}
A_{1i}叫做“代数余子式”,是 "余子式" 的代数结果(乘以了一个系数1或-1) ;
M_{1i}是对方阵删除当前计算的a_{1i}元素所在行和列后得到的 n-1 阶方阵的行列式的值,称为 "余子式" 。
这条公式的计算涉及非常大量的递归操作,计算难度非常高。

(2)、通过行列式的值求矩阵的逆: A^{-1} =\frac {1}{\begin{vmatrix} A \end{vmatrix}} \cdot A^{*}A^{*}叫做伴随矩阵
A^{*} =\begin{bmatrix} A_{11}&A_{12}&\cdots &A_{1n}\\ A_{21}&A_{22}&\cdots &A_{2n}\\ \cdots &\cdots &\cdots &\cdots \\ A_{n1}&A_{n2}&\cdots &A_{nn}\end{bmatrix},伴随矩阵内的元素A_{ij}是每个原矩阵A中每个元素的代数余子式,计算复杂度相当高。

(3)、Cramer 法则,用于求解线性系统A \vec x = \vec b ,
x_{i} = \frac {\begin{vmatrix} A_{i}(b)\end{vmatrix}}{\begin{vmatrix} A\end{vmatrix}} ,其中A_{i}(b) 是将系数矩阵A中的第i列的元素换成b,计算\det (A)\det (A_{i}(b))的比值得到第x_{i}的值。

最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 203,456评论 5 477
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 85,370评论 2 381
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 150,337评论 0 337
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 54,583评论 1 273
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 63,596评论 5 365
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 48,572评论 1 281
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 37,936评论 3 395
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 36,595评论 0 258
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 40,850评论 1 297
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 35,601评论 2 321
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 37,685评论 1 329
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 33,371评论 4 318
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 38,951评论 3 307
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 29,934评论 0 19
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 31,167评论 1 259
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 43,636评论 2 349
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 42,411评论 2 342

推荐阅读更多精彩内容

  • 行列式及其性质 前面的章节已经学习了大量关于矩阵的知识,现在我们来集中探讨一下方阵的性质,其中行列式和特征值是重中...
    AlbertLiDesign阅读 2,081评论 0 1
  • 作为一个工科的学生,我们长期以来会使用比如像是矩阵以及行列式这些在线性代数上的知识,在这篇文章中,我想来聊一聊这些...
    云时之间阅读 15,210评论 0 11
  • 二阶行列式 一般来说,我们解二元方程组采用的都是消元法,简单来说,就是先想办法消除一个未知数,然后求解出另一未知数...
    逸无无争阅读 2,535评论 0 1
  • 2023线性代数考研笔记 序:踏踏实实,久久为功,重剑无锋,大工不巧。 前言:导学课 时间:2022.1.3下午 ...
    敬天爱人道法自然_b0c2阅读 761评论 0 0
  • 1、和号的性质: ※与下标无关公共量提出 ※每一项都可以拆开则可拆开后分别∑ ※∑号可以改变顺序 2、行列式的行列...
    渠大侠阅读 1,707评论 1 4