クロネッカーのデルタ

Kronecker Delta

初級

概要

クロネッカーのデルタ（Kronecker Delta）は、2つの添字が等しいときに1、異なるときに0となる関数であり、線形代数、テンソル解析、物理学で広く用いられる基本的な記号である。Leopold Kronecker (1823–1891) にちなんで名付けられた。

クロネッカーのデルタは、単位行列の成分を表し、アインシュタインの縮約記法と組み合わせてテンソル計算を簡潔に記述する上で不可欠な道具である。

定義

定義：クロネッカーのデルタ

クロネッカーのデルタ $\delta_{ij}$ は、添字 $i, j$ に対して以下で定義される：

$$\delta_{ij} = \begin{cases} 1 & (i = j) \\ 0 & (i \neq j) \end{cases}$$

具体例

$i, j = 1, 2, 3$ の場合： $$\delta_{11} = 1, \quad \delta_{12} = 0, \quad \delta_{13} = 0$$ $$\delta_{21} = 0, \quad \delta_{22} = 1, \quad \delta_{23} = 0$$ $$\delta_{31} = 0, \quad \delta_{32} = 0, \quad \delta_{33} = 1$$

δ_ij のグリッド（i, j = 1, 2, 3, 4） j i 1 2 3 4 1 2 3 4 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 i = j → 1 i ≠ j → 0
図1: クロネッカーのデルタ δ_ij のグリッド表現。対角線上（i = j）のセルが 1（緑）、それ以外が 0（灰）で、単位行列の成分に対応する。

単位行列との関係

クロネッカーのデルタは、$n \times n$ 単位行列 $I$ の $(i, j)$ 成分である： $$I = (\delta_{ij})_{i,j=1}^{n} = \begin{pmatrix} 1 & 0 & \cdots & 0 \\ 0 & 1 & \cdots & 0 \\ \vdots & \vdots & \ddots & \vdots \\ 0 & 0 & \cdots & 1 \end{pmatrix}$$

性質

基本性質

  • 対称性: $\delta_{ij} = \delta_{ji}$
  • 冪等性: $\delta_{ij} \delta_{jk} = \delta_{ik}$ （繰り返し添字について和をとる）
  • トレース: $\displaystyle\sum_{i=1}^{n} \delta_{ii} = n$ （対角成分の和）

縮約規則

縮約公式

アインシュタインの縮約記法では、繰り返し添字について和をとる： $$\delta_{ij} v_j = v_i$$ すなわち、クロネッカーのデルタで縮約すると添字が置き換わる（添字の置換規則）。

縮約規則: δ_ij は添字を「置き換える」 δ₂ⱼ vⱼ を展開（i=2） j=1: δ₂₁ · v₁ = 0·v₁ j=2: δ₂₂ · v₂ = 1·v₂ j=3: δ₂₃ · v₃ = 0·v₃ δ が i≠j の項を消す → 結果 δ₂ⱼ vⱼ = v₂ 一般規則 δᵢⱼ vⱼ = vᵢ 「j を i に置き換える」 δᵢⱼ Aⱼₖ = Aᵢₖ δᵢⱼ δⱼₖ = δᵢₖ
図2: クロネッカーのデルタの縮約規則 $\delta_{ij}\,v_j = v_i$。$\delta_{ij}$ に $v_j$ を掛けて $j$ について和をとる（縮約する）と、$i \neq j$ の項はすべて 0 で消え、$j$ が $i$ に置き換わる。

例：ベクトルの成分表示

3次元ベクトル $\mathbf{v} = (v_1, v_2, v_3)$ に対して $$\delta_{ij} v_j = \delta_{i1}v_1 + \delta_{i2}v_2 + \delta_{i3}v_3 = v_i$$

行列積との関係

行列 $A$ と単位行列 $I = (\delta_{ij})$ の積は $$(AI)_{ik} = \displaystyle\sum_{j} A_{ij} \delta_{jk} = A_{ik}$$ これは $AI = A$ を成分表示したものである。

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

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

複数の添字に対する一般化クロネッカーのデルタ $\delta^{i_1 \cdots i_p}_{j_1 \cdots j_p}$ は

$$\delta^{i_1 \cdots i_p}_{j_1 \cdots j_p} = \begin{cases} +1 & \text{$(i_1, \ldots, i_p)$ が $(j_1, \ldots, j_p)$ の偶置換} \\ -1 & \text{$(i_1, \ldots, i_p)$ が $(j_1, \ldots, j_p)$ の奇置換} \\ 0 & \text{それ以外} \end{cases}$$

$p = 2$ の場合、 $$\delta^{ij}_{kl} = \delta^i_k \delta^j_l - \delta^i_l \delta^j_k$$ これは外積や行列式の計算で現れる。

応用

アインシュタイン記法

テンソル計算において、クロネッカーのデルタは添字の縮約を簡潔に記述する： $$A^i_j B^j_k = C^i_k \quad \text{（行列積）}$$ $$A_{ij} B^{ij} = \text{Tr}(AB^T) \quad \text{（トレース）}$$

ベクトル解析

ベクトル $\mathbf{a} = (a_1, a_2, a_3)$ の成分は基底ベクトル $\mathbf{e}_i$ を用いて $$\mathbf{a} = \displaystyle\sum_{i=1}^{3} a_i \mathbf{e}_i = a_i \mathbf{e}_i$$ と書ける（最後はEinstein記法）。このとき $$\mathbf{e}_i \cdot \mathbf{e}_j = \delta_{ij}$$ （正規直交基底の条件）

量子力学

離散的な固有状態 $|i\rangle$ に対する完全性関係 $$\displaystyle\sum_i |i\rangle\langle i| = I$$ において、$\langle i | j \rangle = \delta_{ij}$ （正規直交条件）が成り立つ。

偏微分方程式

Diracのデルタ関数 $\delta(x - y)$ の離散版として、クロネッカーのデルタが差分法で用いられる。

グラフ理論

隣接行列 $A_{ij}$ と次数行列 $D_{ii} = \displaystyle\sum_j A_{ij}$ から、Laplacian行列 $$L_{ij} = D_{ii}\delta_{ij} - A_{ij}$$ が定義される。

関連する記号

Diracのデルタ関数

連続変数に対する類似物として、Diracのデルタ関数 $\delta(x)$ がある： $$\displaystyle\int_{-\infty}^{\infty} f(x) \delta(x - a) \, dx = f(a)$$ クロネッカーのデルタはその離散版と見なせる。

Levi-Civita記号

Levi-Civita記号 $\varepsilon_{ijk}$ （完全反対称テンソル）は、ベクトルの外積や行列式を記述する： $$(\mathbf{a} \times \mathbf{b})_i = \varepsilon_{ijk} a_j b_k$$ クロネッカーのデルタとLevi-Civita記号の間には $$\varepsilon_{ijk}\varepsilon_{ilm} = \delta_{jl}\delta_{km} - \delta_{jm}\delta_{kl}$$ という関係式がある。

Iverson括弧

命題 $P$ に対して $$[P] = \begin{cases} 1 & (P \text{ が真}) \\ 0 & (P \text{ が偽}) \end{cases}$$ とすると、$\delta_{ij} = [i = j]$ と書ける。

プログラミングでの実装

Python (NumPy)

import numpy as np

# 3x3単位行列（クロネッカーのデルタ）
delta = np.eye(3)
print(delta)
# [[1. 0. 0.]
#  [0. 1. 0.]
#  [0. 0. 1.]]

# 特定の成分
delta_12 = delta[0, 1]  # 0.0
delta_22 = delta[1, 1]  # 1.0

数式処理システム (SymPy)

from sympy import KroneckerDelta

i, j = symbols('i j')
delta_ij = KroneckerDelta(i, j)

# 評価
print(delta_ij.subs({i: 1, j: 1}))  # 1
print(delta_ij.subs({i: 1, j: 2}))  # 0

参考文献

  • Strang, G. (2016). Introduction to Linear Algebra (5th ed.). Wellesley-Cambridge Press.
  • Arfken, G. B., Weber, H. J., & Harris, F. E. (2012). Mathematical Methods for Physicists (7th ed.). Academic Press.
  • Weisstein, E. W. "Kronecker Delta." From MathWorld--A Wolfram Web Resource.