行列式の置換定義を完全理解！符号sgnとあみだくじの直感的理由

大学の線形代数で多くの学生が最初に突き当たる巨大な壁が、行列式の置換による定義（ライプニッツの公式）です。「なぜ急に順列や置換が出てくるのか」「$\mathrm{sgn}(\sigma)$ という符号は何を意味しているのか」と頭を抱えた経験を持つ方は少なくありません。

高校数学で学ぶサラスの公式（たすき掛けの計算）から一歩進み、$n$ 次の正方行列を一般化して扱うためには、置換の概念が欠かせません。この記事では、抽象的に見えがちな置換の符号や互換の仕組みを、幾何学的な直感や日常的な「あみだくじ」の構造と結びつけながら、論理の骨格をクリアに解き明かします。

📌 【この記事の重要ポイントまとめ】

• 要点1：置換の符号 $\mathrm{sgn}(\sigma)$ は、空間の「向き（右手系・左手系）」が反転する回数を数学的に管理する役割を持つ。
• 要点2：偶置換・奇置換の判別は「互換の積への分解」や「転倒数（反転数）」の偶奇を数えることで機械的に判定可能。
• 要点3：置換による定義（ライプニッツの公式）をマスターすることで、行の入れ替えによる符号変化や余因子展開など行列式の基本性質の本質がすべて見通せる。

【なぜ互換や符号sgnが必要なのか？】置換による定義の本質と直感的な理由

行列式（Determinant）の本質は、ベクトルが張る平行四辺形や平行六面体の「符号付き体積」の拡大率を測るツールです。2次元であれば2本のベクトルが成す面積、3次元であれば3本のベクトルが成す体積を表します。

ここで極めて重要なのが「符号付き」という点です。平面上の2つのベクトル $\mathbf{a}, \mathbf{b}$ について、$\mathbf{a}$ から $\mathbf{b}$ へ反時計回りに測る場合と、順序を逆にして $\mathbf{b}$ から $\mathbf{a}$ へ測る場合では、空間の向きが逆転します。3次元空間でも、右手系から左手系へ切り替わると体積の符号が反転する性質を持ちます。

一般の $n$ 次元空間において、行列の各列（または行）を入れ替える操作は、空間の「軸を入れ替えて向きを反転させる」操作に相当します。2つの成分を1回入れ替える操作を「互換（Transposition）」と呼びますが、この1回の入れ替えごとに体積の符号は必ずマイナスになります。

あらゆる成分の組み合わせ（各行・各列から1つずつ要素を選んで掛け合わせたもの）を足し合わせる際、標準的な並び順（$(1, 2, \dots, n)$）から何回入れ替えてその配置に至ったのかを記録し、プラスマイナスを決定する係数こそが置換の符号 $\mathrm{sgn}(\sigma)$ です。向きの反転を正確に数式へ反映させるために、置換という数学的道具が必然的に採用されています。

【置換の基礎知識】巡回置換の表記法と互換の積への分解テクニック

置換とは、有限個の元（ここでは $1$ から $n$ までの整数）の並び替えを定めた「1対1の全単射写像」を指します。数学ではこれを置換群（対称群 $S_n$）として体系化しています。

置換の表し方には、2段で上下に対応関係を書く標準的な記法と、要素が順繰りに移り変わる様子をまとめた巡回置換（Cycle）の表記法があります。

例えば、$1 \to 3, 3 \to 4, 4 \to 1$ のように循環し、$2$ は動かない置換は、巡回置換として次のようにスッキリ記述できます。

$$\sigma = (1\ 3\ 4)$$

任意の置換は、互いに共通の元を持たない巡回置換の積として一意に表せます。さらに重要な定理として、「どんな巡回置換も、2つの元だけを入れ替える『互換』の積に分解できる」という性質があります。長さ $k$ の巡回置換 $(i_1\ i_2\ \dots\ i_k)$ は、次のように $k-1$ 個の互換の積へと分解可能です。

$$(i_1\ i_2\ i_3\ \dots\ i_k) = (i_1\ i_k)(i_1\ i_{k-1})\dots(i_1\ i_2)$$

例えば、巡回置換 $(1\ 3\ 4)$ は $(1\ 4)(1\ 3)$ という2つの互換の積に分解できます。この互換の個数が、後述する偶奇の判定において決定的な役割を果たします。

【偶置換と奇置換の判別】転倒数（反転数）の数え方と「あみだくじ」の法則

ある置換 $\sigma$ を互換の積として表す方法は1通りではありません。しかし、「何通りの分解を行っても、使われる互換の個数の偶奇（偶数か奇数か）は絶対に変わらない」という極めて強固な数学的不変性（パリティ）が存在します。

偶数個の互換の積で表せる置換を偶置換（Even permutation）、奇数個の互換の積で表せる置換を奇置換（Odd permutation）と呼び、符号関数 $\mathrm{sgn}(\sigma)$ は次のように厳密に定義されます。

$$\mathrm{sgn}(\sigma) = \begin{cases} +1 & (\sigma \text{ が偶置換のとき}) \\ -1 & (\sigma \text{ が奇置換のとき}) \end{cases}$$

この偶奇を素早く判定する代表的な手段が転倒数（反転数 / Inversion number）の計算です。置換によって並び替えた数列において、「左側にあるのに右側の数より大きくなっているペア」の総数をカウントします。

例えば、$(1, 2, 3, 4)$ を $\sigma$ によって $(3, 1, 4, 2)$ に並び替えたケースを考えます。大小関係が逆転しているペアを左から順に数え上げると：

• $3$ より後ろにある $3$ 未満の数：$1, 2$（2個）
• $1$ より後ろにある $1$ 未満の数：なし（0個）
• $4$ より後ろにある $4$ 未満の数：$2$（1個）
• $2$ より後ろにある $2$ 未満の数：なし（0個）

転倒数の合計は $2 + 0 + 1 + 0 = 3$ となります。転倒数が奇数（3）であるため、この置換は奇置換であり、$\mathrm{sgn}(\sigma) = -1$ と即座に判定できます。

この転倒数は、日本の伝統的な「あみだくじ」の横線の本数と全く同じ原理です。あみだくじにおいて横線を1本引く行為は、隣り合う2本の縦棒の行き先を入れ替える「隣接互換」に他なりません。ゴール地点の並び順を作るために必要な最小の横線数が転倒数であり、横線の総数が偶数本なら偶置換（$+1$）、奇数本なら奇置換（$-1$）となります。

【ライプニッツの公式】行列式の置換による定義式とサラスの公式の繋がり

準備が整ったところで、$n$ 次正方行列 $A = (a_{ij})$ に対する行列式の置換による一般定義（ライプニッツの公式）を確認します。

$$\det(A) = |A| = \sum_{\sigma \in S_n} \mathrm{sgn}(\sigma) \, a_{1\sigma(1)} a_{2\sigma(2)} \dots a_{n\sigma(n)}$$

この数式が主張しているルールは非常に明快です。

1. 行列の各行（$1$ 行目から $n$ 行目まで）から、互いに異なる列 $\sigma(1), \sigma(2), \dots, \sigma(n)$ の要素を1つずつ選んで掛け合わせる。
2. 列の選び方は全部で $n!$（$n$ の階乗）通り存在する。
3. その選び方ごとに置換 $\sigma$ の符号 $\mathrm{sgn}(\sigma)$（$+1$ または $-1$）を掛け、すべてのパターンの総和を取る。

身近な $2 \times 2$ 行列と $3 \times 3$ 行列でこの定義を検証してみると、初等数学で親しんだ公式が自然に浮かび上がります。

■ $2 \times 2$ 行列の場合（$2! = 2$ 通り）
置換は恒等置換 $(1, 2) \to (1, 2)$［偶置換：$+1$］と、入れ替え $(1, 2) \to (2, 1)$［奇置換：$-1$］の2つです。

$$\det(A) = (+1)a_{11}a_{22} + (-1)a_{12}a_{21} = a_{11}a_{22} - a_{12}a_{21}$$

■ $3 \times 3$ 行列の場合（$3! = 6$ 通り）
対称群 $S_3$ には6つの置換が含まれます。

• 偶置換（$+1$）：恒等置換 $(1,2,3)$、巡回置換 $(2,3,1)$、巡回置換 $(3,1,2)$
• 奇置換（$-1$）：互換 $(1,3,2)$、互換 $(3,2,1)$、互換 $(2,1,3)$

これらを公式に当てはめると、高校で習うサラスの公式（Sarrus' rule）のプラス3項・マイナス3項の合計6項と完全に一致します。

$$|A| = (a_{11}a_{22}a_{33} + a_{12}a_{23}a_{31} + a_{13}a_{21}a_{32}) - (a_{11}a_{23}a_{32} + a_{12}a_{21}a_{33} + a_{13}a_{22}a_{31})$$

サラスの公式は $4 \times 4$ 以上の行列には適用できませんが、置換による定義式（ライプニッツの公式）であれば、$4 \times 4$（24項）、$5 \times 5$（120項）と、どんな高次元行列であっても破綻することなく普遍的に適用できます。

【実戦的な計算への応用】行列式の展開と基本性質のスマートな証明

置換による定義を理解する最大のメリットは、行列式が持つ重要な基本性質をすっきりと証明・納得できる点にあります。

例えば、実戦計算で頻繁に利用する以下の基本性質は、置換定義からダイレクトに導かれます。

1. 行（または列）を入れ替えると符号が反転する
行列の第 $i$ 行と第 $j$ 行を入れ替える操作は、展開式の各項において置換 $\sigma$ に互換 $(i\ j)$ を合成することに相当します。互換を1つ掛けると置換のパリティが反転するため、$\mathrm{sgn}$ のプラスマイナスがすべて逆転し、行列式全体に $-1$ が掛かります。

2. 同じ行（または列）が2つ存在すると行列式は $0$ になる
2つの行が同一である場合、その2行を入れ替えても行列自体の値は変わりません。しかし上記の性質より、入れ替えると符号が反転して $\det(A) = -\det(A)$ となるため、$2\det(A) = 0$、すなわち $\det(A) = 0$ が確定します。

3. 転置行列の行列式は元の行列式と等しい（$\det({}^t\!A) = \det(A)$）
置換 $\sigma$ の逆写像 $\sigma^{-1}$ の符号は、元の置換の符号と常に一致します（$\mathrm{sgn}(\sigma^{-1}) = \mathrm{sgn}(\sigma)$）。行と列の添字を入れ替える転置操作を行っても、総和全体で見れば同じ項を足し上げていることになるため、値は完全に一致します。

実際の数値計算において $n!$ 項を律儀に足し算することは計算量の観点から現実的ではありません（$10 \times 10$ 行列では $10! \approx 362$ 万項）。そのため、基本変形を用いて上三角行列に変形してから対角成分を掛け合わせる方法や、余因子展開（Laplace expansion）が実務上活用されます。しかし、それらすべての計算アルゴリズムの正当性を背後で保証している土台こそが、この置換による定義です。

【行列式の置換】に関するよくある質問（FAQ）

Q1：置換の積の符号を計算するとき、簡単な計算規則はありますか？
A1：2つの置換 $\sigma, \tau$ を合成した積 $\sigma \tau$ の符号には、$\mathrm{sgn}(\sigma \tau) = \mathrm{sgn}(\sigma)\mathrm{sgn}(\tau)$ という極めて重要な乗法性が成り立ちます。「偶置換 $\times$ 偶置換 $=$ 偶置換」「偶置換 $\times$ 奇置換 $=$ 奇置換」「奇置換 $\times$ 奇置換 $=$ 偶置換」となり、通常の整数のプラス・マイナスの掛け算（$(+1)\times(-1)=-1$ など）と完全に一致します。

Q2：互換への分解方法が何通りもあるのに、なぜ符号が一意に決まるのですか？
A2：差積（差の積 $\prod_{i < j} (x_j - x_i)$）を用いた数学的証明が有名です。変数に置換を作用させたとき、差積に掛かる符号の変化を調べることで、互換を奇数回適用すると必ず全体の符号が反転し、偶数回では元に戻ることが代数的に証明されています。分解の仕方が無数にあっても、偶奇のパリティだけは絶対に揺らぎません。

Q3：あみだくじで横線を追加したとき、なぜ必ず奇置換・偶置換が切り替わるのですか？
A3：あみだくじの横線1本は、隣り合う列の要素を入れ替える「隣接互換」です。隣接する2つの数字を入れ替えると、全体の転倒数は必ず「$+1$」または「$-1$」のどちらか一方だけ変化します（奇数増減する）。したがって、横線を1本足すごとに転倒数の偶奇が確実に反転するため、符号が必ず入れ替わります。

まとめ：置換の理解が行列式マスターへの最短ルート

一見すると難解で抽象的な記号の羅列に思える「行列式の置換による定義」ですが、その根底にあるのは「空間の向きを保ちながら、$n$ 次元の体積を過不足なく足し合わせる」という明快な幾何学的要請です。

巡回置換の分解、転倒数の数え上げ、そしてあみだくじの直感を繋ぎ合わせることで、$\mathrm{sgn}(\sigma)$ の役割は驚くほど自然に理解できるようになります。置換の構造を正しく把握し、線形代数のさらなる応用分野や高度な数学の扉を自信を持って開いてください。 （出典: 行列 式 置換（Yahoo!ニュース））