クロネッカーのデルタ

クロネッカーのデルタ（英: Kronecker delta）とは、集合 T（多くは自然数の部分集合）の元 i, j に対して

[math]\delta_{ij} = \begin{cases} 1 & (i=j)\\ 0 & (i \ne j)\end{cases}[/math]

によって定義される二変数関数 δ_ij: T×T → {0, 1} のことをいう。つまり、T×T の対角成分の特性関数のことである。名称は、19世紀のドイツの数学者レオポルト・クロネッカーに因む。

アイバーソンの記法を用いると

[math]\delta_{ij} = [i=j ]\,[/math]

と書ける。

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

性質

[math]\begin{align} \sum_{j} \delta_{ij} a_{j} &= a_{i}\\ \sum_{i} a_{i}\delta_{ij} &= a_{j} \end{align}[/math]

が成り立つ。これはベクトルに単位行列を作用させても不変であることに対応する。

[math] \sum_{k} \delta_{ik} \delta_{kj} = \delta_{ij} [/math]

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

一般化されたクロネッカーのデルタ

この節では、添字は 1 から n の間の値をとるものとする。

2階(1,1)型テンソルとしてのクロネッカーのデルタは

[math] \delta^{\mu}_{\nu} = \begin{cases} 1 & \quad (\mu=\nu)\\ 0 & \quad (\mu\ne\nu) \end{cases} [/math]

である。

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

定義

一般化されたクロネッカーのデルタの定義は

[math] \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} [/math]

である。 なお、 "even" はν₁, …, ν_p が全て異なり、かつ、μ₁, …, μ_p の偶置換の場合を指し、"odd" はν₁, …, ν_p が全て異なり、かつ、μ₁, …, μ_p の奇置換の場合を指し、"otherwise" は上記以外のすべての場合を指す。

[math] \mathfrak{S}_p [/math] を p 次の対称群とすれば

[math] \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)}} [/math]

と表現でき、反対称化の記号を用いると:

[math] \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} [/math]

となる。また、p × p 行列式で表現すると:

[math] \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} [/math]

となる。

行列式の余因子展開を用いると再帰的な定義:

[math]\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}[/math]

が得られる。ただし、チェックが付いた項は式から外されるとする。

n = p の場合、(高階に拡張された)エディントンのイプシロンを使えば:

[math] \delta^{\mu_1 \cdots \mu_n}_{\nu_1 \cdots \nu_n} = \varepsilon^{\mu_1 \cdots \mu_n}\varepsilon_{\nu_1 \cdots \nu_n} [/math]

となる。

逆にエディントンのイプシロンの定義と考えることもできる。

[math] \varepsilon^{\mu_1 \cdots \mu_n} = \delta^{\mu_1 \cdots \mu_n}_{1 \cdots n} [/math]

[math] \varepsilon_{\nu_1 \cdots \nu_n} = \delta^{1 \cdots n}_{\nu_1 \cdots \nu_n} [/math]

演算規則

反対称化を一般化されたクロネッカーのデルタを使って定義すると

[math]\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}[/math]

となる。

これより、以下の演算規則が導かれる。

[math]\begin{align} \sum_{1 \le \nu_1 \lt \dots \lt \nu_p \le n}\delta^{\mu_1 \cdots \mu_p}_{\nu_1 \cdots \nu_p} a^{\lbrack \nu_1 \cdots \nu_p \rbrack} &= a^{\lbrack \mu_1 \cdots \mu_p \rbrack} \\ \sum_{1 \le \mu_1 \lt \dots \lt \mu_p \le n}\delta^{\mu_1 \cdots \mu_p}_{\nu_1 \cdots \nu_p} a_{\lbrack \mu_1 \cdots \mu_p \rbrack} &= a_{\lbrack \nu_1 \cdots \nu_p \rbrack} \\ \sum_{1 \le \nu_1 \lt \dots \lt \nu_p \le n} \delta^{\mu_1 \cdots \mu_p}_{\nu_1 \cdots \nu_p} \delta^{\nu_1 \cdots \nu_p}_{\rho_1 \cdots \rho_p} &= \delta^{\mu_1 \cdots \mu_p}_{\rho_1 \cdots \rho_p} \end{align}[/math]

これらは#性質の節の内容の一般化であり、3番めの式はコーシー・ビネの公式に対応する。

添字の縮約については 0 ≤ m < k ≤ n として、

[math] \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}} [/math]

あるいは

[math] \sum_{1 \le \rho_{m+1}\lt \dots \lt \rho_k \le n} \delta^{\mu_1 \cdots \mu_m~\rho_{m+1}\cdots \rho_k}_{\nu_1 \cdots \nu_m~\rho_{m+1}\cdots \rho_k}\, = \begin{pmatrix}n-m \\ k-m \end{pmatrix}\delta^{\mu_{1} \cdots \mu_{m}}_{\nu_{1} \cdots \nu_{m}} [/math]

が成立する。

特に k = n のとき、

[math]\sum_{1 \le \rho_{m+1}\lt \cdots \lt \rho_n \le n} \delta^{\mu_1 \cdots \mu_m~\rho_{m+1}\cdots \rho_n}_{\nu_1 \cdots \nu_m~\rho_{m+1}\cdots \rho_n}\, = \delta^{\mu_{1} \cdots \mu_{m}}_{\nu_{1} \cdots \nu_{m}} [/math]

あるいは

[math] \sum_{1 \le \rho_{m+1}\lt \cdots \lt \rho_n \le 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}\, = \delta^{\mu_{1} \cdots \mu_{m}}_{\nu_{1} \cdots \nu_{m}} [/math]

[math] \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}} [/math]

が成立する。

関連項目

• ディラックのデルタ関数
• 対角線論法