Scisys-Math
La

行列式の性質（2）

行列式の交代性と呼ばれる性質について示します。

行列式が交代的であるとは、置換による行の入れ替えにより行列式の値の正負が入れ替わる（交代する）ことを意味しています。交代性は（多重線型性と合わせて）行列式を特徴づける基本的な性質の 11 つであり、行列式を計算する際のテクニックとしても有用です。

交代性

定理 3.9（行列式の交代性）

A=( aij )A = ( \, a_{i j} \, ) を nn 次の正方行列とする。置換 τ\tau によって AA の行の順序を変更して得られる行列の行列式は sgn(τ)  det⁡A\text{sgn} (\tau) \; \det A に等しい。

∣  aτ(1) 1aτ(1) 2⋯aτ(1) n    aτ(2) 1aτ(2) 2⋯aτ(2) n    ⋮⋮⋱⋮    aτ(n) 1aτ(n) 2⋯aτ(n) n  ∣=sgn(τ)∣  a11a12⋯a1n    a21a22⋯a2n    ⋮⋮⋱⋮    an1an2⋯ann  ∣ \begin{equation} \tag{3.5.4} \begin{vmatrix} \; a_{\tau(1) \, 1} & a_{\tau(1) \, 2} & \cdots & a_{\tau(1) \, n} \; \\ \; a_{\tau(2) \, 1} & a_{\tau(2) \, 2} & \cdots & a_{\tau(2) \, n} \; \\ \; \vdots & \vdots & \ddots & \vdots \; \\ \; a_{\tau(n) \, 1} & a_{\tau(n) \, 2} & \cdots & a_{\tau(n) \, n} \; \\ \end{vmatrix} = \text{sgn} (\tau) \begin{vmatrix} \; a_{11} & a_{12} & \cdots & a_{1n} \; \\ \; a_{21} & a_{22} & \cdots & a_{2n} \; \\ \; \vdots & \vdots & \ddots & \vdots \; \\ \; a_{n1} & a_{n2} & \cdots & a_{nn} \; \\ \end{vmatrix} \end{equation}



解説

行列式は交代的である

（3.5.4式）において、左辺は置換 τ\tau によって行の順序を入れ替えた行列の行列式です。すなわち、定理 3.9（行列式の交代性）は、置換 τ\tau による行の入れ替えによって行列式が sgn(τ)\text{sgn} (\tau) 倍されるということを示しています。

上記が成り立つとき、行列式は行について交代的（alternating\text{alternating}）であるといい、この性質を行列式の交代性と呼びます。

交代性の例（1つの互換の場合）

交代性という性質は、置換が簡単な互換の積で表せる場合について考えるとよりイメージしやすくなります。

先ず、置換 τ\tau が 11 つの互換で表せる場合を考えます。

例えば τ=( i  j )\tau = (\, i \; j \,) であるとすると、置換 τ\tau は AA の第 ii 行と第 jj 行のみを入れ替え、他の行は動かしません。このとき、元の行列式 det⁡A\det A に対して、22 つの行が入れ替えられた行列式を det⁡B\det B とすると、それぞれ次のように表せます。

det⁡A=∣  a11a12⋯a1n    ⋮⋮⋮    ai1ai2⋯ain    ⋮⋮⋮    aj1aj2⋯ajn    ⋮⋮⋮    an1an2⋯ann  ∣,det⁡B=∣  a11a12⋯a1n    ⋮⋮⋮    aj1aj2⋯ajn    ⋮⋮⋮    ai1ai2⋯ain    ⋮⋮⋮    an1an2⋯ann  ∣ \begin{align*} \det A &= \begin{vmatrix} \; a_{11} & a_{12} & \cdots & a_{1n} \; \\ \; \vdots & \vdots & & \vdots \; \\ \; a_{i1} & a_{i2} & \cdots & a_{in} \; \\ \; \vdots & \vdots & & \vdots \; \\ \; a_{j1} & a_{j2} & \cdots & a_{jn} \; \\ \; \vdots & \vdots & & \vdots \; \\ \; a_{n1} & a_{n2} & \cdots & a_{nn} \; \\ \end{vmatrix}, \\ \\ \det B &= \begin{vmatrix} \; a_{11} & a_{12} & \cdots & a_{1n} \; \\ \; \vdots & \vdots & & \vdots \; \\ \; a_{j1} & a_{j2} & \cdots & a_{jn} \; \\ \; \vdots & \vdots & & \vdots \; \\ \; a_{i1} & a_{i2} & \cdots & a_{in} \; \\ \; \vdots & \vdots & & \vdots \; \\ \; a_{n1} & a_{n2} & \cdots & a_{nn} \; \\ \end{vmatrix} \end{align*}

また、τ\tau は 11 つの互換で表せる（奇置換である）ため、置換の符号は sgn(τ)=−1\text{sgn} (\tau) = -1 となります。

したがって、置換 τ\tau が 11 つの互換で表せる場合、定理 3.9（行列式の交代性）の主張は det⁡B=−det⁡A\det B = - \det A が成り立つということに他なりません。

交代性の例（2つの互換の積の場合）

次に、置換 τ\tau が 22 つの互換の積で表せる場合を考えます。

例えば τ=( i  j )( i  j )\tau = (\, i \; j \,) (\, i \; j \,) であるとすると、置換 τ\tau は、AA の第 ii 行と第 jj 行を入れ替えた後、再び元に戻します。τ\tau による入れ替え（と元に戻す操作）を施した行列の行列式を det⁡C\det C とすると、これは明らかに元の行列式 det⁡A\det A に等しくなります。

det⁡C=∣  a11a12⋯a1n    ⋮⋮⋮    ai1ai2⋯ain    ⋮⋮⋮    aj1aj2⋯ajn    ⋮⋮⋮    an1an2⋯ann  ∣ \begin{align*} \det C = \begin{vmatrix} \; a_{11} & a_{12} & \cdots & a_{1n} \; \\ \; \vdots & \vdots & & \vdots \; \\ \; a_{i1} & a_{i2} & \cdots & a_{in} \; \\ \; \vdots & \vdots & & \vdots \; \\ \; a_{j1} & a_{j2} & \cdots & a_{jn} \; \\ \; \vdots & \vdots & & \vdots \; \\ \; a_{n1} & a_{n2} & \cdots & a_{nn} \; \\ \end{vmatrix} \end{align*}

また、このとき τ\tau は 22 つの互換により表せる（偶置換である）ため、置換の符号は sgn(τ)=+1\text{sgn} (\tau) = +1 となり、定理 3.9（行列式の交代性）の主張は det⁡C=det⁡A\det C = \det A となります。

交代性の意味

このような簡単な例からもわかる通り、行列式の交代性とは、置換による行の入れ替えによって行列式の値の正負が入れ替わる（交代する）ことを意味しています。

定理 3.9（行列式の交代性）は、このことが（上記の簡単な例を含む）一般の置換に対して成り立つことを主張しています。すなわち、22 つの行の入れ替えのみならず、全行が入れ替わる場合を含めて、置換により行が入れ替えられた行列の行列式は、元の行列式の sgn(τ)\text{sgn} (\tau) 倍に等しくなるということです。


証明（定理 3.9）

A=( aij ),  B=( bij )=( aτ(i) j )A = ( \, a_{i j} \, ), \; B = ( \, b_{i j} \, ) = ( \, a_{\tau(i) \, j} \, ) とすると、det⁡B\det B は次のように表せる。

det⁡B=∑σ  ∈  Snsgn(σ)  b1 σ(1)⋯bn σ(n)=∑σ  ∈  Snsgn(σ)  aτ(1) σ(1)⋯aτ(n) σ(n) \begin{split} \det B &= \sum_{\sigma \; \in \; S_n} \text{sgn} (\sigma) \; b_{1 \, \sigma(1)} \cdots b_{n \, \sigma(n)} \\ &= \sum_{\sigma \; \in \; S_n} \text{sgn} (\sigma) \; a_{\tau(1) \, \sigma(1)} \cdots a_{\tau(n) \, \sigma(n)} \\ \end{split}

ここで、各項における積の順序を τ(1),⋯ ,τ(n)\tau(1), \cdots, \tau(n) から 1,⋯ ,n1, \cdots, n に入れ替えることで、det⁡B\det B は次のようなる。

det⁡B=∑σ  ∈  Snsgn(σ)  aτ(1) σ(1)⋯aτ(n) σ(n)=∑σ  ∈  Snsgn(σ)  a1 στ−1(1)⋯an στ−1(n) \begin{split} \det B &= \sum_{\sigma \; \in \; S_n} \text{sgn} (\sigma) \; a_{\tau(1) \, \sigma(1)} \cdots a_{\tau(n) \, \sigma(n)} \\ &= \sum_{\sigma \; \in \; S_n} \text{sgn} (\sigma) \; a_{1 \, \sigma \tau^{-1} (1)} \cdots a_{n \, \sigma \tau^{-1} (n)} \\ \end{split}

いま、σ\sigma が SnS_n 全体をわたるならば στ−1\sigma \tau^{-1} も SnS_n 全体をわたり、sgn(σ)=sgn(στ−1 τ)=sgn(στ−1) sgn(τ)\text{sgn} (\sigma) = \text{sgn} (\sigma \tau^{-1} \, \tau) = \text{sgn} (\sigma \tau^{-1}) \, \text{sgn} (\tau) であるから、

det⁡B=∑σ  ∈  Snsgn(σ)  a1 στ−1(1)⋯an στ−1(n)=sgn(τ)∑στ−1  ∈  Snsgn(στ−1)  a1 στ−1(1)⋯an στ−1(n)=sgn(τ)  det⁡A \begin{split} \det B &= \sum_{\sigma \; \in \; S_n} \text{sgn} (\sigma) \; a_{1 \, \sigma \tau^{-1} (1)} \cdots a_{n \, \sigma \tau^{-1} (n)} \\ &= \text{sgn} (\tau) \sum_{\sigma \tau^{-1} \; \in \; S_n} \text{sgn} (\sigma \tau^{-1}) \; a_{1 \, \sigma \tau^{-1} (1)} \cdots a_{n \, \sigma \tau^{-1} (n)} \\ &= \text{sgn} (\tau) \; \det A \end{split}

したがって、det⁡B=sgn(τ)  det⁡A\det B = \text{sgn} (\tau) \; \det A が成り立つ。□\quad \square


証明の考え方（定理 3.9）

行列式の定義と置換の符号の性質を用いて示します。

（11）置換による行の入れ替えを行った後の行列式において（22）各項の積の順序を入れ替えることで、（33）元の行列式の形（行列式の定義の形）を抽出します。

（1）置換による入れ替え後の行列式

  • まず、行の順序が入れ替えられた行列の行列式を行列式の定義に従って示します。

    • 置換 τ\tau によって行の順序が入れ替えられる前の行列を A=( aij )A = ( \, a_{i j} \, )、行の順序が入れ替えられた後の行列を B=( bij )B = ( \, b_{i j} \, ) とします。
    • 行列 AA に対して、行列 BB では、置換 τ\tau によって行の順序が 1,⋯ ,n1, \cdots, n から τ(1),⋯ ,τ(n)\tau(1), \cdots, \tau(n) に入れ替えられているので、次が成り立つはずです。
      B=( bij )=( aτ(i) j ) \begin{gather*} B = ( \, b_{i j} \, ) = ( \, a_{\tau(i) \, j} \, ) \end{gather*}

  • det⁡B\det B を行列式の定義に従って示すと、次のようになります。

    det⁡B=(i)∑σ  ∈  Snsgn(σ)  b1 σ(1)⋯bn σ(n)=(ii)∑σ  ∈  Snsgn(σ)  aτ(1) σ(1)⋯aτ(n) σ(n) \begin{split} \det B &\overset{(\text{i})}{=} \sum_{\sigma \; \in \; S_n} \text{sgn} (\sigma) \; b_{1 \, \sigma(1)} \cdots b_{n \, \sigma(n)} \\ &\overset{(\text{ii})}{=} \sum_{\sigma \; \in \; S_n} \text{sgn} (\sigma) \; a_{\tau(1) \, \sigma(1)} \cdots a_{\tau(n) \, \sigma(n)} \\ \end{split}

    • （i\text{i}）行列式の定義そのものです。
    • （ii\text{ii}）AA と BB の置き方にしたがって、BB の成分を AA の成分で表し直しています。

（2）各項の積の順の入れ替え

  • 次に、BB の行列式の積の順序を並び替え、行番号が τ(1),τ(2),⋯ ,τ(n)\tau(1), \tau(2), \cdots, \tau(n) の順に並んでいる成分が、1,2,⋯ ,n1, 2, \cdots, n の順に並ぶようにします。

  • 並び替えにより各成分がどのように順序になるかは、下のような対応をとるとわかりやすいです。それぞれの対応において、上段（row\text{row}）は行番号、下段（col\text{col}）は列番号を示しています。

    rowτ(1)⋯τ(i)⋯τ(n)colσ(1)⋯σ(i)⋯σ(n)↓↓↓row1⋯i⋯ncolστ−1(1)⋯στ−1(1)⋯στ−1(n) \begin{gather*} \begin{matrix} \text{row} & \tau(1) & \cdots & \tau(i) & \cdots & \tau(n) \\ \text{col} & \sigma(1) & \cdots & \sigma(i) & \cdots & \sigma(n) \\ \\ & \downarrow & & \downarrow & & \downarrow \\ \\ \text{row} & 1 & \cdots & i & \cdots & n \\ \text{col} & \sigma \tau^{-1} (1) & \cdots & \sigma \tau^{-1} (1) & \cdots & \sigma \tau^{-1} (n) \\ \end{matrix} \end{gather*}

    • τ\tau は全単射なので、{τ(1),⋯ ,τ(n)}\lbrace \tau(1), \cdots, \tau(n) \rbrace は集合として {1,⋯ ,n}\lbrace 1, \cdots, n \rbrace に一致します。つまり、{τ(1),⋯ ,τ(n)}\lbrace \tau(1), \cdots, \tau(n) \rbrace において τ(i)=1\tau(i) = 1 となる ii が必ず存在します。

    • いま、τ(i)=1\tau(i) = 1 として、ii 番目に並んでいる aτ(i) σ(i)a_{\tau(i) \, \sigma(i)} という成分を 11 番目に持っていくことを考えます。

    • ことのとき、τ(i)=1⇒i=τ−1(1)\tau(i) = 1 \Rightarrow i = \tau^{-1} (1) であることから、次が成り立ちます。

      σ(i)=σ(τ−1(1))=στ−1(1) \begin{split} \sigma(i) &= \sigma( \tau^{-1} (1) ) \\ &= \sigma \tau^{-1} (1) \\ \end{split}

    • したがって、もともと aτ(i) σ(i)a_{\tau(i) \, \sigma(i)} と表されていた成分は、並び替えにより 11 番目にくることで a1 στ−1(1)a_{1 \, \sigma \tau^{-1} (1)} となります。並び替えにより添え字が変わっただけで、成分自体は変わりません。

    • 同様の操作を繰り返すことで、積の順序は τ(1),τ(2),⋯ ,τ(n)\tau(1), \tau(2), \cdots, \tau(n) 順から 1,2,⋯ ,n1, 2, \cdots, n 順へ並び替えられます。

  • 積の順序の並び替えの結果、行列式の各項において、次が成り立つことがわかります。

    aτ(1) σ(1)⋯aτ(n) σ(n)=a1 στ−1(1)⋯an στ−1(n) \begin{gather*} a_{\tau(1) \, \sigma(1)} \cdots a_{\tau(n) \, \sigma(n)} = a_{1 \, \sigma \tau^{-1} (1)} \cdots a_{n \, \sigma \tau^{-1} (n)} \end{gather*}

  • よって、det⁡B\det B は次のようになります。

    det⁡B=∑σ  ∈  Snsgn(σ)  aτ1 σ(1)⋯aτn σ(n)=∑σ  ∈  Snsgn(σ)  a1 στ−1(1)⋯an στ−1(n) \begin{split} \det B &= \displaystyle \sum_{\sigma \; \in \; S_n} \text{sgn} (\sigma) \; a_{\tau{1} \, \sigma(1)} \cdots a_{\tau{n} \, \sigma(n)} \\ &= \sum_{\sigma \; \in \; S_n} \text{sgn} (\sigma) \; a_{1 \, \sigma \tau^{-1} (1)} \cdots a_{n \, \sigma \tau^{-1} (n)} \\ \end{split}

（3）元の行列式（定義式の形）の抽出

  • 最後に、もとの行列の行列式 det⁡A\det A の形を抽出します。

  • 上記の考察と置換の符号の性質を用いて detA\text{det} A の形を作ります。

    det⁡B=(i)∑σ  ∈  Snsgn(σ)  a1 στ−1(1)⋯an στ−1(n)=(ii)∑σ  ∈  Snsgn(στ−1) sgn(τ)  a1 στ−1(1)⋯an στ−1(n)=(iii)sgn(τ)∑σ  ∈  Snsgn(στ−1)  a1 στ−1(1)⋯an στ−1(n)=(iv)sgn(τ)∑στ−1  ∈  Snsgn(στ−1)  a1 στ−1(1)⋯an στ−1(n)=(v)sgn(τ)  det⁡A \begin{split} \det B &\overset{(\text{i})}{=} \sum_{\sigma \; \in \; S_n} \text{sgn} (\sigma) \; a_{1 \, \sigma \tau^{-1} (1)} \cdots a_{n \, \sigma \tau^{-1} (n)} \\ &\overset{(\text{ii})}{=} \sum_{\sigma \; \in \; S_n} \text{sgn} (\sigma \tau^{-1}) \, \text{sgn} (\tau) \; a_{1 \, \sigma \tau^{-1} (1)} \cdots a_{n \, \sigma \tau^{-1} (n)} \\ &\overset{(\text{iii})}{=} \text{sgn} (\tau) \sum_{\sigma \; \in \; S_n} \text{sgn} (\sigma \tau^{-1}) \; a_{1 \, \sigma \tau^{-1} (1)} \cdots a_{n \, \sigma \tau^{-1} (n)} \\ &\overset{(\text{iv})}{=} \text{sgn} (\tau) \sum_{\sigma \tau^{-1} \; \in \; S_n} \text{sgn} (\sigma \tau^{-1}) \; a_{1 \, \sigma \tau^{-1} (1)} \cdots a_{n \, \sigma \tau^{-1} (n)} \\ &\overset{(\text{v})}{=} \text{sgn} (\tau) \; \det A \end{split}

    • （i\text{i}）上記の考察（11）（22）より得られた形のままです。

    • （ii\text{ii}）置換の符号の性質より、次が成り立つことによります。

      sgn(σ)=sgn(στ−1 τ)=sgn(στ−1) sgn(τ) \begin{split} \text{sgn} (\sigma) &= \text{sgn} (\sigma \tau^{-1} \, \tau) \\ &= \text{sgn} (\sigma \tau^{-1}) \, \text{sgn} (\tau) \\ \end{split}

      • 置換の積の符号は置換の符号の積に等しくなります（定理 3.6（置換の符号））。
      • この変形は少し突飛に見えますが、最終的に得たい形 det⁡B=sgn(τ)  det⁡A\det B = \text{sgn} (\tau) \; \det A を作るために、置換の積を切り分けていると考えれば納得できるかと思います。

    • （iii\text{iii}）和の記号 σ∈Sn\sigma \in S_n に関係ない sgn(τ)\text{sgn} (\tau) をくくり出します。

    • （iv\text{iv}）和の記号の対象を変更します。

      • τ,σ\tau, \sigma が全単射であることから στ−1\sigma \tau^{-1} も全単射であり、σ\sigma が SnS_n 全体をわたるとき στ−1\sigma \tau^{-1} もまた SnS_n 全体をわたります。
      • したがって、σ∈Sn\sigma \in S_n に関する和は、στ−1∈Sn\sigma \tau^{-1} \in S_n に関する和として置き換えても問題ないというわけです。

    • （v\text{v}）ここまでの変形により、元の行列 AA の行列式の形が得られましたので、これを抽出します。次の式は AA の行列式の定義式に他なりません。

      det⁡A=∑στ−1  ∈  Snsgn(στ−1)  a1 στ−1(1)⋯an στ−1(n) \begin{gather*} \det A = \displaystyle \sum_{\sigma \tau^{-1} \; \in \; S_n} \text{sgn} (\sigma \tau^{-1}) \; a_{1 \, \sigma \tau^{-1} (1)} \cdots a_{n \, \sigma \tau^{-1} (n)} \end{gather*}

  • 以上から det⁡B=sgn(τ)  det⁡A\det B = \text{sgn} (\tau) \; \det A となり、題意が示されました。


別の証明方法（列に関する交代性）

次項で改めて詳しくみますが、行について成り立つ行列式の性質は列についても成り立ちます（定理 3.13（転置行列の行列式））。

したがって、行に関する交代性（定理 3.9（行列式の交代性））に相当する性質が列についても成り立ちます。行列式は行についても、列についても交代的であるということです。

そして、行列の交代性は、行に関して証明するよりも列に関して証明する方が簡単です。上記の証明で行ったような積の順序の入れ替えが必要がなく、少ない手順で証明が完了できるからです。


交代性から直ちに導かれる性質

定理 3.9（行列式の交代性）から直ちに導かれる系として、次のようなものがあります。

  • 22 つの行を入れ替えると行列式は −1-1 倍になる（系 3.10）。
  • 22 つの行が等しい行列式の値は 00 である（系 3.11）。
  • ある行を定数倍したものを他の行に加えても行列式の値は変わらない（系 3.12）。

これらは、行列式を計算する際のテクニックとしても便利で、よく用いられます。


系 3.10

22 つの行を入れ替えると、行列式は −1-1 倍になる。

∣  a11a12⋯a1n    ⋮⋮⋮    aj1aj2⋯ajn    ⋮⋮⋮    ai1ai2⋯ain    ⋮⋮⋮    an1an2⋯ann  ∣=−∣  a11a12⋯a1n    ⋮⋮⋮    ai1ai2⋯ain    ⋮⋮⋮    aj1aj2⋯ajn    ⋮⋮⋮    an1an2⋯ann  ∣ \begin{equation} \tag{3.5.5} \begin{vmatrix} \; a_{1 1} & a_{1 2} & \cdots & a_{1 n} \; \\ \; \vdots & \vdots & & \vdots \; \\ \; a_{j 1} & a_{j 2} & \cdots & a_{j n} \; \\ \; \vdots & \vdots & & \vdots \; \\ \; a_{i 1} & a_{i 2} & \cdots & a_{i n} \; \\ \; \vdots & \vdots & & \vdots \; \\ \; a_{n 1} & a_{n 2} & \cdots & a_{n n} \; \\ \end{vmatrix} = - \begin{vmatrix} \; a_{1 1} & a_{1 2} & \cdots & a_{1 n} \; \\ \; \vdots & \vdots & & \vdots \; \\ \; a_{i 1} & a_{i 2} & \cdots & a_{i n} \; \\ \; \vdots & \vdots & & \vdots \; \\ \; a_{j 1} & a_{j 2} & \cdots & a_{j n} \; \\ \; \vdots & \vdots & & \vdots \; \\ \; a_{n 1} & a_{n 2} & \cdots & a_{n n} \; \\ \end{vmatrix} \end{equation}

解説（系 3.10）

置換が1つの互換で表せる場合

系 3.10は、定理 3.9（行列式の交代性）において τ=( i  j )\tau = (\, i \; j \,) とした場合に他なりません。つまり、置換が 11 つの互換で表せる場合です。

11 つの互換で表せる置換は奇置換であり、sgn(( i  j ))=−1\text{sgn} ((\, i \; j \,)) = -1 となります。系 3.10は、11 度の行の入れ替えにより行列式の符号が入れ替わる（−1-1 倍される）ことを示しています。


証明（系 3.10）

定理 3.9（行列式の交代性）より、次が成り立つ。

∣  a11a12⋯a1n    ⋮⋮⋮    aj1aj2⋯ajn    ⋮⋮⋮    ai1ai2⋯ain    ⋮⋮⋮    an1an2⋯ann  ∣=sgn(( i  j ))∣  a11a12⋯a1n    ⋮⋮⋮    ai1ai2⋯ain    ⋮⋮⋮    aj1aj2⋯ajn    ⋮⋮⋮    an1an2⋯ann  ∣=−∣  a11a12⋯a1n    ⋮⋮⋮    ai1ai2⋯ain    ⋮⋮⋮    aj1aj2⋯ajn    ⋮⋮⋮    an1an2⋯ann  ∣□ \begin{split} \begin{vmatrix} \; a_{1 1} & a_{1 2} & \cdots & a_{1 n} \; \\ \; \vdots & \vdots & & \vdots \; \\ \; a_{j 1} & a_{j 2} & \cdots & a_{j n} \; \\ \; \vdots & \vdots & & \vdots \; \\ \; a_{i 1} & a_{i 2} & \cdots & a_{i n} \; \\ \; \vdots & \vdots & & \vdots \; \\ \; a_{n 1} & a_{n 2} & \cdots & a_{n n} \; \\ \end{vmatrix} &= \text{sgn} ((\, i \; j \,)) \begin{vmatrix} \; a_{1 1} & a_{1 2} & \cdots & a_{1 n} \; \\ \; \vdots & \vdots & & \vdots \; \\ \; a_{i 1} & a_{i 2} & \cdots & a_{i n} \; \\ \; \vdots & \vdots & & \vdots \; \\ \; a_{j 1} & a_{j 2} & \cdots & a_{j n} \; \\ \; \vdots & \vdots & & \vdots \; \\ \; a_{n 1} & a_{n 2} & \cdots & a_{n n} \; \\ \end{vmatrix} \\ &= - \begin{vmatrix} \; a_{1 1} & a_{1 2} & \cdots & a_{1 n} \; \\ \; \vdots & \vdots & & \vdots \; \\ \; a_{i 1} & a_{i 2} & \cdots & a_{i n} \; \\ \; \vdots & \vdots & & \vdots \; \\ \; a_{j 1} & a_{j 2} & \cdots & a_{j n} \; \\ \; \vdots & \vdots & & \vdots \; \\ \; a_{n 1} & a_{n 2} & \cdots & a_{n n} \; \\ \end{vmatrix} \quad \quad \quad \square \end{split}

系 3.11

22 つの行が等しい行列式の値は 00 である。すなわち、ai k=aj k  (1⩽k⩽n)a_{i \, k} = a_{j \, k} \; (1 \leqslant k \leqslant n) ならば、次が成り立つ。

∣  a11a12⋯a1n    ⋮⋮⋮    ai1ai2⋯ain    ⋮⋮⋮    aj1aj2⋯ajn    ⋮⋮⋮    an1an2⋯ann  ∣=0 \begin{equation} \tag{3.5.6} \begin{vmatrix} \; a_{1 1} & a_{1 2} & \cdots & a_{1 n} \; \\ \; \vdots & \vdots & & \vdots \; \\ \; a_{i 1} & a_{i 2} & \cdots & a_{i n} \; \\ \; \vdots & \vdots & & \vdots \; \\ \; a_{j 1} & a_{j 2} & \cdots & a_{j n} \; \\ \; \vdots & \vdots & & \vdots \; \\ \; a_{n 1} & a_{n 2} & \cdots & a_{n n} \; \\ \end{vmatrix} = 0 \end{equation}


解説（系 3.11）

交代性の別表現

系 3.11は、行列の交代性を定理 3.9（行列式の交代性）とは別の形で表現したものといえます。

すなわち、系 3.11と定理 3.9は同等の命題であり、「22 つの行が等しい行列式の値は 00 である」という性質を指して行列式の交代性と呼ぶこともあります。

交代性を導出する流れ

系 3.11と定理 3.9（行列式の交代性）が同等であるということは、互いに、一方から他方を導くことができるということです。

ここでは、まず行列式の定義から定理 3.9（行列式の交代性）を示し、定理 3.9から系 3.11を導出しています。証明の流れは下記の通りです。（なお、証明では、定理 3.9を直接用いるのではなく、定理 3.9の系である系 3.10を用いています。）

逆に、まず行列式の定義から系 3.11を示し、系 3.11と前項の定理 3.7（行列式の多重線型性）から定理 3.9を導くこともできます。

教科書による違い

どちらの流れで行列の交代性を導出しているかは教科書によります。

[1], [2], [3] では概ね前者の流れで論理が展開されています。定理 3.9（行列式の交代性）に相当する命題を示した後に、それを利用して系 3.11に相当する命題を導出しています。

一方で、[4], [6] は大まかにいえば後者に近い流れとなっています。多重線型性と（系 3.11に相当する）交代性を満たす線型写像として行列式を定義し、そこで定義された行列式の性質から定理 3.9に相当する命題を導いています。


証明（系 3.11）

正方行列 A=( aij )A = (\, a_{i j} \,) において ii 列と jj 列が等しいとする。すなわち ai k=aj k  (1⩽k⩽n)a_{i \, k} = a_{j \, k} \; (1 \leqslant k \leqslant n) であるとすると、系 3.10より det⁡A=−det⁡A\det A = - \det A が成り立つ。したがって、det⁡A=0\det A = 0 。□\quad \square


系 3.12

ある行を定数倍したものを他の行に加えても、行列式の値は変わらない。

∣  a11⋯a1n    ⋮⋮    ai1+c  aj1⋯ain+c  ajn    ⋮⋮    an1⋯ann  ∣=∣  a11⋯a1n    ⋮⋮    ai1⋯ain    ⋮⋮    an1⋯ann  ∣ \begin{align*} \tag{3.5.7} \begin{vmatrix} \; a_{1 1} & \cdots & a_{1 n} \; \\ \; \vdots & & \vdots \; \\ \; a_{i 1} + c \; a_{j 1} & \cdots & a_{i n} + c \; a_{j n} \; \\ \; \vdots & & \vdots \; \\ % \; a_{j 1} & \cdots & a_{j n} \; \\ % \; \vdots & & \vdots \; \\ \; a_{n 1} & \cdots & a_{n n} \; \\ \end{vmatrix} = \begin{vmatrix} \; a_{1 1} & \cdots & a_{1 n} \; \\ \; \vdots & & \vdots \; \\ \; a_{i 1} & \cdots & a_{i n} \; \\ \; \vdots & & \vdots \; \\ % \; a_{j 1} & \cdots & a_{j n} \; \\ % \; \vdots & & \vdots \; \\ \; a_{n 1} & \cdots & a_{n n} \; \\ \end{vmatrix} \end{align*}


解説（系 3.12）

行列式を計算するのための技法（テクニック）

系 3.12は、行列式を計算する際の技法（テクニック）として非常に重要です。

ある行（または列）を定数倍したものを他の行（または列）に加えて 00 に等しい成分を増やすことで、行列式をより計算しやすい形に変形することができるからです。

下記の証明からもわかる通り、この操作の正当性は、多重線型性と交代性という行列式の最も基本的な性質により与えられています。

証明（系 3.12）

∣  a11⋯a1n    ⋮⋮    ai1+c  aj1⋯ain+c  ajn    ⋮⋮    aj1⋯ajn    ⋮⋮    an1⋯ann  ∣=∣  a11⋯a1n    ⋮⋮    ai1⋯ain    ⋮⋮    aj1⋯ajn    ⋮⋮    an1⋯ann  ∣+c  ∣  a11⋯a1n    ⋮⋮    aj1⋯ajn    ⋮⋮    aj1⋯ajn    ⋮⋮    an1⋯ann  ∣=∣  a11⋯a1n    ⋮⋮    ai1⋯ain    ⋮⋮    aj1⋯ajn    ⋮⋮    an1⋯ann  ∣□ \begin{split} \begin{vmatrix} \; a_{1 1} & \cdots & a_{1 n} \; \\ \; \vdots & & \vdots \; \\ \; a_{i 1} + c \; a_{j 1} & \cdots & a_{i n} + c \; a_{j n} \; \\ \; \vdots & & \vdots \; \\ \; a_{j 1} & \cdots & a_{j n} \; \\ \; \vdots & & \vdots \; \\ \; a_{n 1} & \cdots & a_{n n} \; \\ \end{vmatrix} &= \begin{vmatrix} \; a_{1 1} & \cdots & a_{1 n} \; \\ \; \vdots & & \vdots \; \\ \; a_{i 1} & \cdots & a_{i n} \; \\ \; \vdots & & \vdots \; \\ \; a_{j 1} & \cdots & a_{j n} \; \\ \; \vdots & & \vdots \; \\ \; a_{n 1} & \cdots & a_{n n} \; \\ \end{vmatrix} + c \; \begin{vmatrix} \; a_{1 1} & \cdots & a_{1 n} \; \\ \; \vdots & & \vdots \; \\ \; a_{j 1} & \cdots & a_{j n} \; \\ \; \vdots & & \vdots \; \\ \; a_{j 1} & \cdots & a_{j n} \; \\ \; \vdots & & \vdots \; \\ \; a_{n 1} & \cdots & a_{n n} \; \\ \end{vmatrix} \\ &= \begin{vmatrix} \; a_{1 1} & \cdots & a_{1 n} \; \\ \; \vdots & & \vdots \; \\ \; a_{i 1} & \cdots & a_{i n} \; \\ \; \vdots & & \vdots \; \\ \; a_{j 1} & \cdots & a_{j n} \; \\ \; \vdots & & \vdots \; \\ \; a_{n 1} & \cdots & a_{n n} \; \\ \end{vmatrix} \quad \quad \quad \square \end{split}

証明の考え方（系 3.12）

正方行列 AA の jj 行目を cc 倍したものを ii 行目に加えた行列の行列式について考えます。

  • まず、定理 3.8（多重線型性）より、左辺は 22 つの行列式の和に分解できます。
  • 次に、系 3.11より同じ行を含む行列式は 00 になりますので、右辺の第 22 項の値は 00 になります。
  • 結果として、行列式は、元の正方行列 AA の行列式に等しくなります。

まとめ

  • 置換 τ\tau によって行の順序を変更すると、行列式は sgn(τ)\text{sgn} (\tau) 倍になる。

    ∣  aτ(1) 1aτ(1) 2⋯aτ(1) n    aτ(2) 1aτ(2) 2⋯aτ(2) n    ⋮⋮⋱⋮    aτ(n) 1aτ(n) 2⋯aτ(n) n  ∣=sgn(τ)∣  a11a12⋯a1n    a21a22⋯a2n    ⋮⋮⋱⋮    an1an2⋯ann  ∣ \begin{equation*} \begin{vmatrix} \; a_{\tau(1) \, 1} & a_{\tau(1) \, 2} & \cdots & a_{\tau(1) \, n} \; \\ \; a_{\tau(2) \, 1} & a_{\tau(2) \, 2} & \cdots & a_{\tau(2) \, n} \; \\ \; \vdots & \vdots & \ddots & \vdots \; \\ \; a_{\tau(n) \, 1} & a_{\tau(n) \, 2} & \cdots & a_{\tau(n) \, n} \; \\ \end{vmatrix} = \text{sgn} (\tau) \begin{vmatrix} \; a_{11} & a_{12} & \cdots & a_{1n} \; \\ \; a_{21} & a_{22} & \cdots & a_{2n} \; \\ \; \vdots & \vdots & \ddots & \vdots \; \\ \; a_{n1} & a_{n2} & \cdots & a_{nn} \; \\ \end{vmatrix} \end{equation*}

  • 22 つの行を入れ替えると、行列式は −1-1 倍になる。

  • 22 つの行が等しい行列式の値は 00 である。

  • ある行を定数倍したものを他の行に加えても、行列式の値は変わらない。


参考文献

[1] 齋藤正彦. 線型代数入門. 東京大学出版会. 1966.
[2] 永田雅宣 他. 理系のための線型代数の基礎. 紀伊國屋書店. 1986.
[3] 川久保勝夫. 線形代数学 [新装版]. 日本評論社. 2010.
[4] 松坂和夫. 線型代数入門 [新装版]. 岩波書店. 2018.
[5] 三宅敏恒. 線形代数学 初歩からジョルダン標準形へ. 培風館. 2008.
[6] S. Lang. Linear Algebra Third Edition. Springer. 1987.
[7] T. Miyake. Linear Algebra From the Beginnings to the Jordan Normal. Springer. 2022.
[8] 雪江明彦. 代数学 11 群論入門. 日本評論社. 2010.
[9] 雪江明彦. 代数学 22 環と体とガロア理論. 日本評論社. 2010.
[10] 桂利行. 代数学 I\text{I} 群と環. 東京大学出版会. 2004.
[11] 松坂和夫. 代数系入門. 岩波書店. 1976.
[12] 高木貞治. 代数学講義 [改訂新版]. 共立出版. 1965.
[13] S. Lang. Algebra Revised Third Edition. Springer. 2002.
[14] M. Artin. Algebra Second Edition. Pearson Education Limited. 2014.
[15] 青本和彦 他. 数学入門辞典. 岩波書店. 2005.


初版：2022-12-01   |   改訂：2024-11-28
Prev
行列式の性質（1）
Next
行列式の性質（3）