クロネッカーのデルタ

**クロネッカーのデルタ**（）とは、集合 （多くは自然数の部分集合）の元  に対して
:\delta_{ij} = \begin{cases} 1 & (i=j)\\ 0 & (i \ne j)\end{cases}
によって定義される二変数関数 \delta_{ij}:T\times T\rightarrow \{0,1\} のことをいう。つまり、 の対角成分の特性関数のことである。名称は、19世紀のドイツの数学者レオポルト・クロネッカーに因む。

アイバーソンの記法を用いると
:\delta_{ij} = [i=j ]\,
と書ける。

単純な記号だが、色々な場面で有用である。例えば、単位行列は  と書けたり、 次元直交座標の基底ベクトルの内積は、 と書ける。 

## 性質
:\begin{align}
\sum_{j} \delta_{ij} a_{j} &= a_{i}\\
\sum_{i} a_{i}\delta_{ij}  &= a_{j}
\end{align}
が成り立つ。これはベクトルに単位行列を作用させても不変であることに対応する。

:
\sum_{k} \delta_{ik} \delta_{kj} = \delta_{ij}

が成り立つ。これは単位行列に単位行列を掛けたものは単位行列であることに対応する。

## 一般化されたクロネッカーのデルタ
この節では、添字は  から  の間の値をとるものとする。

2階型テンソルとしてのクロネッカーのデルタは
:
\delta^{\mu}_{\nu} =
\begin{cases}
1 & \quad (\mu=\nu)\\
0 & \quad (\mu\ne\nu)
\end{cases}

である。

これを高階に拡張したものとして、 次元、 階の**一般化されたクロネッカーのデルタ**がある。これは  型テンソルで、上下それぞれの添字に対して反対称である。

### 定義
一般化されたクロネッカーのデルタの定義は
:
\delta^{\mu_1 \cdots \mu_p }_{\nu_1 \cdots \nu_p} =
\begin{cases}
+1    & \quad \text{(even)}\\
-1    & \quad \text{(odd) }\\
\;\;0 & \quad \text{(otherwise)}
\end{cases}

である。

なお、"\text{even}" は \nu_{1},\nu_{2},\dotsc ,\nu_{p} が全て異なり、かつ、 \mu_{1},\mu_{2},\dotsc ,\mu_{p} の偶置換の場合を指し、"\text{odd}" は \nu_{1},\nu_{2},\dotsc ,\nu_{p} が全て異なり、かつ、\mu_{1},\mu_{2},\dotsc ,\mu_{p} の奇置換の場合を指し、"\text{otherwise}" は上記以外のすべての場合を指す。

 \mathfrak{S}_p  を  次の対称群とすれば
:
\delta^{\mu_1 \cdots \mu_p}_{\nu_1 \cdots \nu_p} 
= \sum_{\sigma \in \mathfrak{S}_p} \sgn(\sigma)\,  
\delta^{\mu_{\sigma(1)}}_{\nu_1}\cdots\delta^{\mu_{\sigma(p)}}_{\nu_p} 
= \sum_{\sigma \in \mathfrak{S}_p} \sgn(\sigma)\,  
\delta^{\mu_1}_{\nu_{\sigma(1)}}\cdots\delta^{\mu_p}_{\nu_{\sigma(p)}} 

と表現でき、反対称化の記号を用いると：
:
\delta^{\mu_1 \cdots \mu_p}_{\nu_1 \cdots \nu_p} 
= p! \delta^{\lbrack \mu_1}_{        \nu_1} \cdots \delta^{\mu_p \rbrack}_{\nu_p        }
= p! \delta^{        \mu_1}_{\lbrack \nu_1} \cdots \delta^{\mu_p        }_{\nu_p \rbrack}

となる。また、 行列式で表現すると：
:
\delta^{\mu_1 \cdots \mu_p }_{\nu_1 \cdots \nu_p} =
\begin{vmatrix}
\delta^{\mu_1}_{\nu_1} & \cdots & \delta^{\mu_1}_{\nu_p} \\
\vdots                 & \ddots & \vdots                 \\
\delta^{\mu_p}_{\nu_1} & \cdots & \delta^{\mu_p}_{\nu_p}
\end{vmatrix}

となる。

行列式の余因子展開を用いると再帰的な定義：
:\begin{align}
\delta^{\mu_1 \cdots \mu_p}_{\nu_1 \dots \nu_p} 
& = \sum_{k=1}^p (-1)^{p+k} \delta^{\mu_p}_{\nu_k} 
\delta^{\mu_1 \cdots \mu_{k} \cdots \check\mu_p}_{\nu_1 \cdots \check\nu_k \cdots \nu_{p}}
\end{align}
が得られる。ただし、チェック(\check{})が付いた項は式から外されるとする。

 の場合、(高階に拡張された)エディントンのイプシロンを使えば：
:
\delta^{\mu_1 \cdots \mu_n}_{\nu_1 \cdots \nu_n} 
= \varepsilon^{\mu_1 \cdots \mu_n}\varepsilon_{\nu_1 \cdots \nu_n}

となる。

逆にエディントンのイプシロンの定義と考えることもできる。
:
\varepsilon^{\mu_1 \cdots \mu_n} = \delta^{\mu_1 \cdots \mu_n}_{1 \cdots n} 

:
\varepsilon_{\nu_1 \cdots \nu_n} = \delta^{1 \cdots n}_{\nu_1 \cdots \nu_n} 


### 演算規則
反対称化を一般化されたクロネッカーのデルタを使って定義すると
:\begin{align}
\frac{1}{p!}\sum_{\nu_1,\dots,\nu_p=1}^{n}\delta^{\mu_1 \cdots \mu_p}_{\nu_1 \cdots \nu_p}
a^{\nu_1 \cdots \nu_p} 
&= 
a^{\lbrack \mu_1 \cdots \mu_p \rbrack}
\\ 
\frac{1}{p!}\sum_{\mu_1,\dots,\mu_p=1}^{n}\delta^{\mu_1 \cdots \mu_p}_{\nu_1 \cdots \nu_p}
a_{\mu_1 \cdots \mu_p} 
&= 
a_{\lbrack \nu_1 \cdots \nu_p \rbrack}
\end{align}
となる。

これより、以下の演算規則が導かれる。
:\begin{align}
\sum_{1 \le \nu_1 
これらは#性質の節の内容の一般化であり、3番目の式はコーシー・ビネの公式に対応する。

添字の縮約については   として、
:
 \sum_{\rho_{m+1}=1}^{n}
 \cdots
 \sum_{\rho_{k}=1}^{n}
 \delta^{\mu_1 \cdots \mu_m~\rho_{m+1}\cdots \rho_k}_{\nu_1 \cdots \nu_m~\rho_{m+1}\cdots \rho_k}\, 
= \frac{(n-m)!}{(n-k)!} \delta^{\mu_{1} \cdots \mu_{m}}_{\nu_{1} \cdots \nu_{m}}

あるいは
:
\sum_{1 \le \rho_{m+1}
が成立する。

特に  のとき、
:\sum_{1 \le \rho_{m+1}
あるいは
:
\sum_{1 \le \rho_{m+1}
:
\sum_{\rho_{m+1},\dots,\rho_n=1}^{n}
\varepsilon^{\mu_1 \cdots \mu_m~\rho_{m+1}\cdots \rho_n}~ 
\varepsilon_{\nu_1 \cdots \nu_m~\rho_{m+1}\cdots \rho_n}\, 
= (n-m)! ~ \delta^{\mu_{1} \cdots \mu_{m}}_{\nu_{1} \cdots \nu_{m}}

が成立する。

## 出典


## 関連項目
*ディラックのデルタ関数
*対角線論法
*黒猫の三角 - タイトル、登場する黒猫は、ともにクロネッカーのデルタからの引用