Blog Post

行列式2-性质

  • note
  • Math
  • LinearAlgebra
  • 行列式

行列式的性质

作者:Eric

创建时间:2026-07-24 09:09

这篇记什么

  • 行列式更一般的定义
  • 行列式的 7 条性质

主要内容

更一般的 nn 阶行列式定义

前文[[行列式1-定义]]中要求元素按行指标成自然序排列位置,但若是元素任意排列,则需要更一般的定义。

由先前定义(1)中, nn 阶行列式中的一项为

(1)τ(j1j2...jn)a1j1a2j2...anjn(-1)^{\tau(j_1j_2...j_n)}a_{1j_1}a_{2j_2}...a_{nj_n}

经过 ss 次两个元素交换位置

行排列指标: 12...ns次变换i1i2...in12...n \xrightarrow[]{\text{s次变换}} i_1i_2...i_n

列排列指标: j1j2...jns次变换k1k2...knj_1j_2...j_n \xrightarrow[]{\text{s次变换}} k_1k_2...k_n

对换后的奇偶性由原排列的奇偶性和变换次数决定

对于变换后的行指标:(1)τ(i1i2...in)=1(1)s(-1)^{\tau(i_1i_2...i_n)}=1\cdot(-1)^s

对于变换后的列指标:(1)τ(k1k2...kn)=(1)s(1)τ(j1j2...jn)(-1)^{\tau(k_1k_2...k_n)}=(-1)^s\cdot(-1)^{\tau(j_1j_2...j_n)}

两边相乘,

(1)τ(i1i2...in)+τ(k1k2...kn)=(1)2s+τ(j1j2...jn)=(1)τ(j1j2...jn)(-1)^{\tau(i_1i_2...i_n)+\tau(k_1k_2...k_n)}=(-1)^{2s+\tau(j_1j_2...j_n)}=(-1)^{\tau(j_1j_2...j_n)}

因此经过 ss 次随意变换后,nn 阶行列式中的一项为

(1)τ(i1i2...in)+τ(k1k2...kn)ai1k1ai2k2...ainkn(-1)^{\tau(i_1i_2...i_n)+\tau(k_1k_2...k_n)}a_{i_1k_1}a_{i_2k_2}...a_{i_nk_n}

因此,nn 阶行列式的定义可改写为

n!(1)τ(i1i2...in)+τ(k1k2...kn)ai1k1ai2k2...ainkn\boxed{\sum_{n!} (-1)^{\tau(i_1i_2...i_n)+\tau(k_1k_2...k_n)}a_{i_1k_1}a_{i_2k_2}...a_{i_nk_n}}

特别地, nn 阶矩阵 A=(aij)A=(a_{ij}) 的行列式

detA=i1i2...in(1)τ(i1i2...in)+0ai11ai22...ainndet A=\sum_{i_1i_2...i_n}(-1)^{\tau(i_1i_2...i_n)+0}a_{i_1\color{red}1}a_{i_2\color{red}2}...a_{i_n\color{red}n}

以上为按照列指标自然序的行列式计算

行列式的性质

  1. 转置不变性: det(A)=det(AT)det(A)=det(A^T)

    转置矩阵:行列交换,即 aij交换ajia_{ij}\xleftrightarrow{\text{交换}}a_{ji} ,此时列指标在第一个位置,行指标在第二个位置

    detATdetA^T 按照列指标自然序计算,

    detAT=i1i2...in(1)τ(i1i2...in)+0a1i1a2i2...anin=detAdet A^T=\sum_{i_1i_2...i_n}(-1)^{\tau(i_1i_2...i_n)+0}a_{1i_1}a_{2i_2}...a_{ni_n}=detA
  2. A第 i 行乘上 kBA \xrightarrow[]{\text{第 }i\text{ 行乘上 }k} BdetB=kdetAdet B=k\cdot detA

    detB=j1j2...jn(1)τ(j1j2...jn)a1j1...kaiji...anjndet B = \sum_{j_1j_2...j_n}(-1)^{\tau(j_1j_2...j_n)}a_{1j_1}...ka_{ij_i}...a_{nj_n}

    提取一个 kk 出来,得 detB=kdetAdet B = k detA

  3. AA 中的第 ii 行中的元素可拆分成两数之和,则 AA 可拆分为两行列式之和。

    即第 ii 行元素 aj=bj+cja_{j} = b_{j}+c_{j}

    证明思路同 2.中内容。

  4. A第 i 行与第 k 行互换CA \xrightarrow[]{\text{第 }i\text{ 行与第 }k\text{ 行互换}} CdetC=detAdetC=-detA

    CC 可写作如下,

    detC=j1...ji...jk...jn(1)τ(j1...ji...jk...jn)a1j1...akji第 i 行...aijk第 k 行...anjndet C=\sum_{j_1...j_i...j_k...j_n}(-1)^{\tau(j_{\color{red}1}...j_{\color{red}i}...j_{\color{red}k}...j_{\color{red}n})}a_{1j_{\color{red}1}}...\overbrace{a_{kj_{\color{red}i}}}^{\text{第 }i\text{ 行}}...\overbrace{a_{ij_{\color{red}k}}}^{\text{第 }k\text{ 行}}...a_{nj_{\color{red}n}}

    由于乘法可交换元素次序(akjia_{kj_i}aijka_{ij_k} 交换),因此, CC 可写作

    detC=j1...ji...jk...jn(1)τ(j1...ji...jk...jn)a1j1...aijk...akji...anjndet C=\sum_{j_1...j_i...j_k...j_n}(-1)^{\tau(j_1...j_i...j_k...j_n)}a_{1j_1}...a_{i j_k}...a_{kj_i}...a_{nj_n}

    交换排列 j1...ji...jk...jnj_1...j_i...j_k...j_n 中的 jij_ijkj_k 以对应前面乘法交换的元素,又由[[行列式1-定义]]中定理1:(1)τ(j1...ji...jk...jn)=(1)(1)τ(j1...jk...ji...jn)(-1)^{\tau(j_1...j_i...j_k...j_n)} = (-1)\cdot(-1)^{\tau(j_1...j_k...j_i...j_n)}

    因此,

    detC=j1...jk...ji...jn(1)(1)τ(j1...jk...ji...jn)a1j1...aijk...akji...anjn=(1)detAdet C = \sum_{j_1...j_k...j_i...j_n}(-1)\cdot(-1)^{\tau(j_{\color{red}1}...j_{\color{red}k}...j_{\color{red}i}...j_{\color{red}n})}a_{1j_{\color{red}1}}...a_{i j_{\color{red}k}}...a_{kj_{\color{red}i}}...a_{nj_{\color{red}n}}=(-1)\cdot det A
  5. 两行相等,行列式为 00

    由性质4,交换相等的两行(假定为第 ii 行和第 kk 行)

    因此,

    detA=detAdet A=-det A

    得到 detA=0det A=0

  6. 两行成比例 ll,行列式为 00

    性质2,提出 ll,原行列式转化为 lldetAdetA' 相乘,AA' 为有两行相等的行列式

    再由 性质5detA=0detA'=0,因此

    detA=ldetA=0detA = l\cdot detA'=0
  7. A将第 i 行的 l 倍,加到第 k 行BA \xrightarrow[]{\text{将第 }i\text{ 行的 }l\text{ 倍,加到第 }k\text{ 行}} B,行列式不变

    性质3性质6BB 可拆分为

    detB=detA+0=detAdet B = detA + 0=detA

相关

  • 高等代数(上册) - 丘维声著. 北京:清华大学出版社,2010.6