Scisys-Math
La

行列式の性質（4）

行列式が、多重線型性と交代性を満たす写像（線型写像）であることを示します。

多重線型性と交代性は行列式を特徴づける基本的な性質です。行列式をこれらの性質を満たす写像として捉えることは、行列式に関する定理（積の行列式、三角行列の行列式など）の証明において大変役に立ちます。

写像としての行列式

定理 3.14（写像としての行列式）

nn 個の nn 次元数ベクトルの組 a1,a2,⋯ ,an\bm{a}_{1}, \bm{a}_{2}, \cdots, \bm{a}_{n} に対して、数 F(a1,a2,⋯ ,an)F (\bm{a}_{1}, \bm{a}_{2}, \cdots, \bm{a}_{n}) を対応させる写像 FF が次の 33 つの条件を満たすとき、FF は定数倍を除いて行列式に一致する。

（I\text{I}）nn 重線型性

(i)F(a1,⋯ ,ai+aj,⋯ ,an)=F(a1,⋯ ,ai,⋯ ,an)+F(a1,⋯ ,aj,⋯ ,an)(ii)    F(a1,⋯ ,c ai,⋯ ,an)=c F(a1,⋯ ,ai,⋯ ,an) \begin{align*} \begin{split} (\text{i}) \quad F (\bm{a}_{1}, \cdots, \bm{a}_{i} + \bm{a}_{j}, \cdots, \bm{a}_{n}) &= F (\bm{a}_{1}, \cdots, \bm{a}_{i}, \cdots, \bm{a}_{n}) \\ & \quad + F (\bm{a}_{1}, \cdots, \bm{a}_{j}, \cdots, \bm{a}_{n}) \\ \end{split} \tag{3.5.9} \\ \begin{split} (\text{ii}) \qquad \; \; F (\bm{a}_{1}, \cdots, c \, \bm{a}_{i}, \cdots, \bm{a}_{n}) &= c \, F (\bm{a}_{1}, \cdots, \bm{a}_{i}, \cdots, \bm{a}_{n}) \end{split} \tag{3.5.10} \end{align*}

（II\text{II}）交代性

(iii)F(aτ(1),⋯ ,aτ(n))=sgn(τ)  F(a1,⋯ ,an)(3.5.11) \begin{align*} (\text{iii}) \quad F (\bm{a}_{\tau(1)}, \cdots, \bm{a}_{\tau(n)}) = \text{sgn} (\tau) \; F (\bm{a}_{1}, \cdots, \bm{a}_{n}) \end{align*} \tag{3.5.11}

すなわち、FF に関して次が成り立つ。ただし、e1,e2,⋯ ,en\bm{e}_{1}, \bm{e}_{2}, \cdots, \bm{e}_{n} は nn 次元単位ベクトルを表す。

F(a1,⋯ ,an)=F(e1,⋯ ,en) det(a1,⋯ ,an)(3.5.12) \begin{equation} F (\bm{a}_{1}, \cdots, \bm{a}_{n}) = F (\bm{e}_{1}, \cdots, \bm{e}_{n}) \, \text{det} (\bm{a}_{1}, \cdots, \bm{a}_{n}) \end{equation} \tag{3.5.12}


解説

写像としての行列式（定理 3.14の意味）

定理 3.14（写像としての行列式）は、ある写像 FF が多重線型性と交代性を満たすならば、FF による像は行列式の値の定数倍になる、ということを意味しています。

逆にいえば、行列式の定義において、次の（3.4.1）式により定義した行列式は、多重線型性と交代性を満たす（定理 3.7、定理 3.8）ので、定理 3.14の条件を満たす写像であるということができます。

det⁡A=∑σ  ∈  Snsgn(σ)  a1σ(1)a2σ(2)⋯anσ(n) \begin{equation} \tag{3.4.1} \det A = \sum_{\sigma \; \in \; S_n} \text{sgn} (\sigma) \;a_{1 \sigma(1)} a_{2 \sigma(2)} \cdots a_{n \sigma(n)} \end{equation}

行列式は線型写像

定理 3.7（多重線型性）でも見た通り、写像としての行列式は特に線型写像になります。

多重線型性に関する 22 つの条件（i\text{i}）（ii\text{ii}）を満たすことから、和とスカラー倍の演算を保存するためです。

「定数倍を除いて行列式に一致する」の意味

多重線型性と交代性を満たす写像 FF による像は、行列式の値の定数倍になります。FF に関して成り立つ（3.5.12）式を行列により表し直すと、このことがよくわかります。

いま、列ベクトルにより表された行列を、A=(a1,⋯ ,an),A = (\bm{a}_{1}, \cdots, \bm{a}_{n}),  En=(e1,⋯ ,en)\, E_{n} = (\bm{e}_{1}, \cdots, \bm{e}_{n})（単位行列）とすると、（3.5.12）式は次のように簡潔になります。

F(A)=F(En) det(A) \begin{align*} F (A) = F (E_{n}) \, \text{det} (A) \end{align*}

これは、（左辺）FF による AA の像が（右辺）行列式の値の F(En)F (E_{n}) 倍に等しい、ということを意味しています。FF は列に対してある値（スカラー）を対応させる写像ですので、F(En)F (E_{n}) はある定数（スカラー）に等しくなります。

行列式の定義から、上記の（3.4.1）式により定義した行列式においては、F(E)=1F(E) = 1 が成り立ちます。（単位行列の行列式は 11 に等しくなります。）しかしながら、定理 3.14（写像としての行列式）において、多重線型性と交代性のみを満たす写像 FF では必ずしも F(E)=1F(E) = 1 が成り立つわけではありません。

そのような意味で、定理 3.14の主張において、写像 FF の像（値）は「定数倍を除いて行列式に一致する」と表現されています。

定理 3.14は行列式の定義とほぼ同等

定理 3.14（写像としての行列式）は行列式の定義とほぼ同等の命題といえます。

上記の考察より、多重線型性と交代性を満たす写像 FF は「定数倍を除いて」行列式に一致する（すなわち FF による像は行列式の定数倍になる）ことがわかりました。FF による行列の像は行列式の値の F(En)F (E_{n}) 倍に等しくなり、F(En)=1F (E_{n}) = 1 が常に成り立つとは限らないためです。

したがって、写像 FF に求める条件として、（I\text{I}）多重線型性（II\text{II}）交代性に加えて、（III\text{III}）F(E)=1F(E) = 1 を加えれば、FF は行列式に完全に一致することがわかります。

実際に、多重線型性と交代性を満たし、かつ F(E)=1F (E) = 1 であるような写像 F:Kn×⋯×Kn→KF : K^n \times \cdots \times K^n \to K として行列式を定義することもできます。F(E)=1F (E) = 1 を条件に加えることで、行列式が一意に定まることを担保し「⋯\cdots 定数倍を除いて ⋯\cdots」という多義性を免れることができます。

行列式の定義と導出の流れ

天下り式の定義

[1], [2], [3]など、多くの線型代数学の教科書で（3.4.1）式により行列式を定義しています。そして、その定義にしたがって、行列式の基本的性質として多重線型性や交代性などを導くような流れを採っています。

このような行列式の定義の仕方は若干天下り的ではあるものの、はじめから行列式を具体的に計算する方法が与えられている分、理解しやすいものです。

写像による定義

一方で、[4]や、代数学の教科書（[12], [13]など）では、多重線型性や交代性を満たす写像として行列式を定義し、そのような行列式が存在し（3.4.1）式に一致するという順に導出されているものもあります。

このように、はじめから写像として行列式を定義する仕方は本質的ではあるものの、難解すぎるきらいがあります。具体的な行列式の計算より前に多重線型性や交代性などの要件について考察する必要があるためです。また、これらの条件を満たす行列式が存在し、かつ一意に定まることを証明する必要があり（これがなかなか大変）、初学時にこの流れで論理展開を追うのはかなり困難だと思います。

どちらの方向からも導出できることが理想的ではありますが、ここでは、理解のしやすさから前者の流れに沿って（3.4.1）式による定義を採用しています。

行列式を写像として捉えることの意義

上記の考察の通り、定理 3.14（写像としての行列式）は論理的な意義の大きい定理ではありますが、他の定理の証明等においても大変便利で有用な定理です。

定理 3.14により、行列式を写像として捉えることで、行列式の積に関する定理や三角行列の行列式に関する定理など、定義からの導出が難しい（大変な）命題をきわめて簡潔に導出できます。


証明

nn 次元数ベクトル a1,⋯ ,an\bm{a}_{1}, \cdots, \bm{a}_{n} について、それぞれ aj=∑iai j ei\bm{a}_{j} = \displaystyle \sum_{i} a_{i \, j} \, \bm{e}_{i} が成り立つとすると、FF が nn 重線型性を満たすことから、次が成り立つ。

F(a1,⋯ ,an)=F(∑i1ai11 ei1,⋯ ,∑inainn ein)=∑i1⋯∑inai11⋯ainn  F(ei1,⋯ ,ein) \begin{split} F (\bm{a}_{1}, \cdots, \bm{a}_{n}) &= F (\sum_{i_1} a_{i_1 1} \, \bm{e}_{i_1}, \cdots, \sum_{i_n} a_{i_n n} \, \bm{e}_{i_n}) \\ &= \sum_{i_1} \cdots \sum_{i_n} a_{i_1 1} \cdots a_{i_n n} \; F (\bm{e}_{i_1}, \cdots, \bm{e}_{i_n}) \\ \end{split}

ここで、FF が交代性を満たすことから、i1,⋯ ,ini_{1}, \cdots, i_{n} のうちに等しいものがあれば F(ei1,⋯ ,ein)=0F (\bm{e}_{i_1}, \cdots, \bm{e}_{i_n}) = 0 となる。したがって、上式における和は i1,⋯ ,ini_{1}, \cdots, i_{n} がすべて異なる場合のみを加えればよい。したがって、次が成り立つ。

F(a1,⋯ ,an)=∑i1⋯∑inai11⋯ainn  F(ei1,⋯ ,ein)=∑σ∈Snaσ(1)1⋯aσ(n)n F(eσ(1),⋯ ,eσ(n)) \begin{split} F (\bm{a}_{1}, \cdots, \bm{a}_{n}) &= \sum_{i_1} \cdots \sum_{i_n} a_{i_1 1} \cdots a_{i_n n} \; F (\bm{e}_{i_1}, \cdots, \bm{e}_{i_n}) \\ &= \sum_{\sigma \in S_n} a_{\sigma(1) 1} \cdots a_{\sigma(n) n} \, F (\bm{e}_{\sigma(1)}, \cdots, \bm{e}_{\sigma(n)}) \end{split}

また、再び FF の交代性から、F(eσ(1),⋯ ,eσ(n))=sgn(σ) F(e1,⋯ ,en)F (\bm{e}_{\sigma(1)}, \cdots, \bm{e}_{\sigma(n)}) = \text{sgn} (\sigma) \, F (\bm{e}_{1}, \cdots, \bm{e}_{n}) であるから、

F(a1,⋯ ,an)=∑σ∈Snaσ(1)1⋯aσ(n)n sgn(σ) F(e1,⋯ ,en)=F(e1,⋯ ,en) det (a1,⋯ ,an)□ \begin{split} F (\bm{a}_{1}, \cdots, \bm{a}_{n}) &= \sum_{\sigma \in S_n} a_{\sigma(1) 1} \cdots a_{\sigma(n) n} \, \text{sgn} (\sigma) \, F (\bm{e}_{1}, \cdots, \bm{e}_{n}) \\ &= F (\bm{e}_{1}, \cdots, \bm{e}_{n}) \, \text{det} \, (\bm{a}_{1}, \cdots, \bm{a}_{n}) \quad \quad \quad \square \\ \end{split}


証明の考え方

写像 FF が多重線型性と交代性の条件を満たすことを利用して（3.5.12）式を導きます。

具体的には、（11）写像 FF の像を行列の成分の積の和として表し（22）多重線型性と交代性を満たすことを用いて和を精査することで（33）行列式の定義の形を抽出します。

（1）FF の像を行列の成分により表す

  • nn 次元数ベクトル a1⋯ ,an\bm{a}_{1} \cdots, \bm{a}_{n} を単位ベクトル e1,⋯ ,en\bm{e}_{1}, \cdots, \bm{e}_{n} を用いて表すと次のようになります。

    a1=∑i1ai11ei1,a2=∑i2ai22ei2,    ⋮ \begin{align*} \bm{a}_{1} &= \displaystyle \sum_{i_1} a_{i_1 1} \bm{e}_{i_1}, \\ \bm{a}_{2} &= \displaystyle \sum_{i_2} a_{i_2 2} \bm{e}_{i_2}, \\ & \; \; \vdots \\ \end{align*}

    • 11 つのベクトル aj\bm{a}_{j} は、次のように単位ベクトルの線型結合として表せます。

      aj=(a1j⋮anj)=a1j(1⋮0)+⋯+anj(0⋮1)=∑iaijei \begin{split} \bm{a}_{j} &= \begin{pmatrix} a_{1 j} \\ \vdots \\ a_{n j} \end{pmatrix} = a_{1 j} \begin{pmatrix} 1 \\ \vdots \\ 0 \end{pmatrix} + \cdots + a_{n j} \begin{pmatrix} 0 \\ \vdots \\ 1 \end{pmatrix} \\ &= \sum_{i} a_{i j} \bm{e}_{i} \\ \end{split}

    • j=1,⋯ ,nj = 1, \cdots, n それぞれに対して i=1,⋯ ,ni = 1, \cdots, n がありますので、これを iji_j のように表すとすると、a1⋯ ,an\bm{a}_{1} \cdots, \bm{a}_{n} は上記のように表せます。

  • よって、F(a1,⋯ ,an)F (\bm{a}_{1}, \cdots, \bm{a}_{n}) は次のようになります。

    F(a1,⋯ ,an)=F(∑i1ai11ei1,⋯ ,∑inainnein) \begin{align*} F (\bm{a}_{1}, \cdots, \bm{a}_{n}) = F (\sum_{i_1} a_{i_1 1} \bm{e}_{i_1}, \cdots, \sum_{i_n} a_{i_n n} \bm{e}_{i_n} ) \\ \end{align*}

（2）多重線型性と交代性を用いた和の精査

  • まず、多重線型性（条件（i\text{i}）（ii\text{ii}） ）を繰り返し適用して、F(a1,⋯ ,an)F (\bm{a}_{1}, \cdots, \bm{a}_{n}) を簡単にすると、次のようになります。

    F(a1,⋯ ,an)=F(∑i1ai11ei1,⋯ ,∑inainnein)=∑i1⋯∑inai11⋯ainn  F(ei1,⋯ ,ein) \begin{align*} \begin{split} F (\bm{a}_{1}, \cdots, \bm{a}_{n}) &= F (\sum_{i_1} a_{i_1 1} \bm{e}_{i_1}, \cdots, \sum_{i_n} a_{i_n n} \bm{e}_{i_n}) \\ &= \sum_{i_1} \cdots \sum_{i_n} a_{i_1 1} \cdots a_{i_n n} \; F (\bm{e}_{i_1}, \cdots, \bm{e}_{i_n}) \\ \end{split} \end{align*}

    • 条件（i\text{i}）より、ベクトルの和の像はそれぞれの像の和になりますので、∑ij\displaystyle \sum_{i_j} は FF の外に出ます。
    • 同様に、条件（ii\text{ii}）より、ベクトルの定数倍の像はそれぞれの像の定数倍になりますので、ai ja_{i \, j} は FF の外に出ます。

  • 次に、交代性（条件（iii\text{iii}））を用いて和の対象を精査します。

  • 和の対象を整理することで、F(a1,⋯ ,an)F (\bm{a}_{1}, \cdots, \bm{a}_{n}) は更に次のようになります。

    F(a1,⋯ ,an)=∑i1⋯∑inai11⋯ainn  F(ei1,⋯ ,ein)=∑σ∈Snaσ(1)1⋯aσ(n)n  F(eσ(1),⋯ ,eσ(n)) \begin{align*} \begin{split} F (\bm{a}_{1}, \cdots, \bm{a}_{n}) &= \sum_{i_1} \cdots \sum_{i_n} a_{i_1 1} \cdots a_{i_n n} \; F (\bm{e}_{i_1}, \cdots, \bm{e}_{i_n}) \\ &= \sum_{\sigma \in S_n} a_{\sigma(1) 1} \cdots a_{\sigma(n) n} \; F (\bm{e}_{\sigma(1)}, \cdots, \bm{e}_{\sigma(n)}) \\ \end{split} \end{align*}

  • 条件（iii\text{iii}）から、直ちに、i1,i2,⋯ ,ini_{1}, i_{2}, \cdots, i_{n} のうちに等しいものがあれば F(ei1,ei2,⋯ ,ein)=0F (\bm{e}_{i_1}, \bm{e}_{i_2}, \cdots, \bm{e}_{i_n}) = 0 となります。まず、このことを用います。

  • いま、i1,⋯ ,ini_{1}, \cdots, i_{n} のそれぞれについて 1∼n1 \sim n の和をとるわけですが、i1,⋯ ,ini_{1}, \cdots, i_{n} のうちに 11 組でも同じものが含まれれば、F(ei1,⋯ ,ein)=0F (\bm{e}_{i_1}, \cdots, \bm{e}_{i_n}) = 0 となるので、この場合は和に含めなくてもよいことがわかります。

  • つまり、i1,⋯ ,ini_{1}, \cdots, i_{n} がすべて異なる場合に限って和をとればよいわけですが、これは、nn 文字の置換全体についての和をとることに等しいです。

    • このことは、次のような nn 文字の置換 σ\sigma を考えるとわかりやすいです。

      σ=(12⋯ni1i2⋯in) \begin{align*} \sigma = \begin{pmatrix} 1 & 2 & \cdots & n \\ i_1 & i_2 & \cdots & i_n \\ \end{pmatrix} \end{align*}

    • 置換は全単射であることから、i1,i2,⋯ ,ini_1, i_2, \cdots, i_n は互いに相異なり（単射）、{1,2,⋯ ,n}\{ 1, 2, \cdots, n \} のすべての元をわたります（全射）。

    • したがって、nn 文字の置換全体についての和をとることは、i1,⋯ ,ini_{1}, \cdots, i_{n} がすべて異なる場合に限って和をとることに等しくなります。

    • i1,⋯ ,ini_1, \cdots, i_n の置換が、i1,⋯ ,ini_1, \cdots, i_n の順列と 11 対 11 に対応していることからも、このことが理解できます。

  • 以上の考察から、i1,⋯ ,ini_{1}, \cdots, i_{n} に関するの和は σ∈Sn\sigma \in S_n に関するの和に見直せます。これにより、もともとの n×⋯×n=nnn \times \cdots \times n = n^n 個の和（11 行目）だったものは、n!n! 個の和（22 行目）に精査されます。

    F(a1,⋯ ,an)=∑i1⋯∑inai11⋯ainn  F(ei1,⋯ ,ein)=∑σ∈Snaσ(1)1⋯aσ(n)n  F(eσ(1),⋯ ,eσ(n)) \begin{align*} \begin{split} F (\bm{a}_{1}, \cdots, \bm{a}_{n}) &= \sum_{i_1} \cdots \sum_{i_n} a_{i_1 1} \cdots a_{i_n n} \; F (\bm{e}_{i_1}, \cdots, \bm{e}_{i_n}) \\ &= \sum_{\sigma \in S_n} a_{\sigma(1) 1} \cdots a_{\sigma(n) n} \; F (\bm{e}_{\sigma(1)}, \cdots, \bm{e}_{\sigma(n)}) \\ \end{split} \end{align*}

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

  • 交代性（条件（iii\text{iii}））を再び用いて、行列式の定義 det (a1,⋯ ,an)\text{det} \, (\bm{a}_{1}, \cdots, \bm{a}_{n}) の形を抽出します。

  • 上記の式において、FF による像 F(eσ(1),eσ(2),⋯ ,eσ(n))F (\bm{e}_{\sigma(1)}, \bm{e}_{\sigma(2)}, \cdots, \bm{e}_{\sigma(n)}) に条件（iii\text{iii}）を適用すると次のようになります。

    F(eσ(1),eσ(2),⋯ ,eσ(n))=sgn(σ)  F(e1,e2,⋯ ,en) \begin{align*} F (\bm{e}_{\sigma(1)}, \bm{e}_{\sigma(2)}, \cdots, \bm{e}_{\sigma(n)}) = \text{sgn} (\sigma) \; F (\bm{e}_{1}, \bm{e}_{2}, \cdots, \bm{e}_{n}) \end{align*}

    • これは、σ(1),⋯ ,σ(n)\sigma(1), \cdots, \sigma(n) 順に並んでいた列ベクトルを 1,⋯ ,n1, \cdots, n 順に並び替えたことに相当します。
    • この並び替えにより sgn(σ)\text{sgn} (\sigma) が出てくるとともに、σ\sigma に依存しない F(e1,⋯ ,en)F (\bm{e}_{1}, \cdots, \bm{e}_{n}) が得られます。
    • F(e1,⋯ ,en)F (\bm{e}_{1}, \cdots, \bm{e}_{n}) が σ\sigma に依存しないということは、この項を σ\sigma による和の外に出しても良いということです。

  • これにより、行列式の定義の形が得られ、（3.5.12）式が導かれます。

    F(a1,⋯ ,an)=∑σ∈Snaσ(1)1⋯aσ(n)n  F(eσ(1),⋯ ,eσ(n))=∑σ∈Snaσ(1)1⋯aσ(n)n  sgn(σ) F(e1,⋯ ,en)=F(e1,⋯ ,en)∑σ∈Sn sgn(σ) aσ(1)1⋯aσ(n)n=F(e1,⋯ ,en)  det(a1,a2,⋯ ,an) \begin{split} F (\bm{a}_{1}, \cdots, \bm{a}_{n}) &= \sum_{\sigma \in S_n} a_{\sigma(1) 1} \cdots a_{\sigma(n) n} \; F (\bm{e}_{\sigma(1)}, \cdots, \bm{e}_{\sigma(n)}) \\ &= \sum_{\sigma \in S_n} a_{\sigma(1) 1} \cdots a_{\sigma(n) n} \; \text{sgn} (\sigma) \, F (\bm{e}_{1}, \cdots, \bm{e}_{n}) \\ &= F (\bm{e}_{1}, \cdots, \bm{e}_{n}) \sum_{\sigma \in S_n} \, \text{sgn} (\sigma) \, a_{\sigma(1) 1} \cdots a_{\sigma(n) n} \\ &= F (\bm{e}_{1}, \cdots, \bm{e}_{n}) \; \text{det} (\bm{a}_{1}, \bm{a}_{2}, \cdots, \bm{a}_{n}) \\ \end{split}

  • 以上で、題意が示されました。


まとめ

  • 多重線型性と交代性を満たす写像 F:Kn×⋯×Kn→KF : K^n \times \cdots \times K^n \to K は、定数倍を除いて行列式に一致する。
    F(a1,⋯ ,an)=F(e1,⋯ ,en)  det (a1,⋯ ,an) \begin{align*} F (\bm{a}_{1}, \cdots, \bm{a}_{n}) = F (\bm{e}_{1}, \cdots, \bm{e}_{n}) \; \text{det} \, (\bm{a}_{1}, \cdots, \bm{a}_{n}) \\ \end{align*}

参考文献

[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-03   |   改訂：2024-11-11
Prev
行列式の性質（3）
Next
行列式の性質（5）