エディントンのイプシロン

**エディントンのイプシロン**は、数学で用いられる記号。**交代記号**、**順列記号**、**レヴィ＝チヴィタ記号**()、**レヴィ＝チヴィタの記号**、**レヴィ＝チヴィタの完全反対称テンソル**など様々な呼び名がある。
添字を使わないテンソル表記法においてはホッジ双対の概念に置き換えられる。名前はアーサー・エディントンとトゥーリオ・レヴィ＝チヴィタにちなむ。

## 定義
### 2階
2階のエディントンのイプシロンは次のように定義される。
: \varepsilon_{ij} = \begin{cases}
+1       & \text{if } (i, j) = (1, 2) \\
-1       & \text{if } (i, j) = (2, 1) \\
\;\;\,0  & \text{if } i = j
\end{cases}.
また、
: \varepsilon_{ij} = j-i.

これらの値は次の  反対称行列として表される。
:\begin{pmatrix}
\varepsilon_{11} & \varepsilon_{12} \\
\varepsilon_{21} & \varepsilon_{22}
\end{pmatrix} = \begin{pmatrix}
 0 & 1 \\
-1 & 0
\end{pmatrix}.

この2階のエディントンのイプシロンはあまり一般的ではないが、超対称性理論やツイスター理論の分野においては2成分スピノルの文脈でしばしば現れる。

### 3階
 はそれぞれ 1, 2, 3 のいずれかであるとする。このとき、
: \varepsilon_{ijk} = \begin{cases}
1  & \big(\, (i, j, k) = (1, 2, 3), (2, 3, 1), (3, 1, 2) \,\big) \\
-1 & \big(\, (i, j, k) = (1, 3, 2), (3, 2, 1), (2, 1, 3) \,\big) \\
0  & \mathrm{(otherwise)}
\end{cases}
つまり、添字が  の置換の場合はその符号を、添字に重複する数字を持つ場合は 0 を値に持つテンソルである。
符号関数 sgn を用いると
:\varepsilon_{ijk} = \operatorname{sgn}(j-i) \operatorname{sgn}(k-i) \operatorname{sgn}(k-j).

## 性質
:
\varepsilon_{ijk} = \varepsilon_{jki} = \varepsilon_{kij} = -\varepsilon_{ikj} = -\varepsilon_{jik} = -\varepsilon_{kji}

は基本的な性質である。

また、
:\begin{align}
\varepsilon_{ijk}\varepsilon_{lmn} 
&= \det \begin{bmatrix}
\delta_{il} & \delta_{im}& \delta_{in}\\
\delta_{jl} & \delta_{jm}& \delta_{jn}\\
\delta_{kl} & \delta_{km}& \delta_{kn}
\end{bmatrix}\\
&= \delta_{il}\left( \delta_{jm}\delta_{kn} - \delta_{jn}\delta_{km} \right) 
+  \delta_{im}\left( \delta_{jn}\delta_{kl} - \delta_{jl}\delta_{kn} \right) 
+  \delta_{in}\left( \delta_{jl}\delta_{km} - \delta_{jm}\delta_{kl} \right)
\\

\sum_{k} \varepsilon_{ijk}\varepsilon_{lmk} 
&= \det \begin{bmatrix}
\delta_{il} & \delta_{im}\\
\delta_{jl} & \delta_{jm}\\
\end{bmatrix}\\
&= \delta_{il}\delta_{jm} - \delta_{im}\delta_{jl} \\

\sum_{j,k} \varepsilon_{ijk}\varepsilon_{ljk} 
&= 2\delta_{il} 
\qquad \left(
\sum_{1 \le j
が成り立つ。ここで δ*ij* はクロネッカーのデルタである。

第1の公式より、
:\begin{align}
\varepsilon_{ijk} 
&= \det \begin{bmatrix}
\delta_{1i} & \delta_{1j}& \delta_{1k}\\
\delta_{2i} & \delta_{2j}& \delta_{2k}\\
\delta_{3i} & \delta_{3j}& \delta_{3k}
\end{bmatrix}
\end{align}
が導かれる。

## 使用例
3×3行列式は
:\begin{align}
\det \begin{bmatrix}
a_{11} & a_{12} & a_{13}\\
a_{21} & a_{22} & a_{23}\\
a_{31} & a_{32} & a_{33}
\end{bmatrix}
&=
\det \begin{bmatrix}
\sum_{i} \delta_{1i} a_{i1} & \sum_{j} \delta_{1j} a_{j2} & \sum_{k} \delta_{1k} a_{k3}\\
\sum_{i} \delta_{2i} a_{i1} & \sum_{j} \delta_{2j} a_{j2} & \sum_{k} \delta_{2k} a_{k3}\\
\sum_{i} \delta_{3i} a_{i1} & \sum_{j} \delta_{3j} a_{j2} & \sum_{k} \delta_{3k} a_{k3}
\end{bmatrix}\\
&=\sum_{i,j,k}
\det \begin{bmatrix}
\delta_{1i} & \delta_{1j} & \delta_{1k}\\
\delta_{2i} & \delta_{2j} & \delta_{2k}\\
\delta_{3i} & \delta_{3j} & \delta_{3k}
\end{bmatrix} a_{i1} a_{j2} a_{k3}\\
&= \sum_{i,j,k} \varepsilon_{ijk} a_{i1} a_{j2} a_{k3}
\end{align}
と表される。

ベクトル \boldsymbol{a} =(a_x, a_y, a_z), \boldsymbol{b} =(b_x, b_y, b_z) のベクトル積は
:
(\boldsymbol{a} \times \boldsymbol{b})_i = \sum_{j,k} \varepsilon_{ijk} a_j b_k

として表される。

スカラー三重積は
:
(\boldsymbol{a} \times \boldsymbol{b})\cdot\boldsymbol{c} = \sum_{i,j,k} \varepsilon_{ijk} a_i b_j c_k

となる。

ベクトル三重積の公式
: \boldsymbol a \times (\boldsymbol b \times \boldsymbol c) = \boldsymbol b\,(\boldsymbol a \cdot \boldsymbol c) - \boldsymbol c\,(\boldsymbol a \cdot \boldsymbol b)
は以下のように証明できる。
: \begin{align}
\left\{ \boldsymbol a \times (\boldsymbol b \times \boldsymbol c) \right\}_i
 &= \sum_{j,k} \varepsilon_{ijk} a_j (\boldsymbol b \times \boldsymbol c)_k \\
 &= \sum_{j,k} \varepsilon_{ijk} a_j \sum_{\ell,m} \varepsilon_{k\ell m} b_\ell c_m \\
 &= \sum_{j,\ell,m} \left(\sum_{k} \varepsilon_{ijk} \varepsilon_{k\ell m}\right) a_j b_\ell c_m \\
 &= \sum_{j,\ell,m} (\delta_{i\ell}\delta_{jm}-\delta_{im}\delta_{j\ell}) a_j b_\ell c_m \\
 &= \sum_{m} (a_m b_i c_m - a_m b_m c_i)\\
 &= \left\{ 
      \boldsymbol b\,(\boldsymbol a \cdot \boldsymbol c)-\boldsymbol c\,(\boldsymbol a \cdot \boldsymbol b)
 \right\}_i
\end{align}

## 高階への拡張
エディントンのイプシロンは*n*次元へ拡張することができる(**一般化されたエディントンのイプシロン**):
:
\varepsilon_{i_1 i_2 \dots i_n} = \varepsilon^{i_1 i_2 \dots i_n} =
\begin{cases}
+1 & ~\text{(even)}\\
-1 & ~\text{(odd) }\\
~0 & ~\text{(otherwise)}
\end{cases}

ただし、*i<sub>1</sub>*,*i<sub>2</sub>*,…,*i<sub>n</sub>* が1,2,…,*n* の偶置換の場合は (even) に、奇置換の場合は (odd) に、それ以外は (otherwise) に対応する。 

実際に 4 階に拡張したものは、相対論的にマクスウェル方程式を記述するのに用いられる。

### 一般化されたエディントンのイプシロンの性質
*n* 次元とし、すべての添字 *i<sub>1</sub>* ,…, *i<sub>n</sub>* , *j<sub>1</sub>* ,…, *j<sub>n</sub>* は 1, 2,…, *n* の範囲の値を取るとする。

δを階数*m* の一般化されたクロネッカーのデルタ
:\begin{align}
\delta^{j_1 \dots j_m}_{i_1 \dots i_m} 
&= m! \delta_{\lbrack i_1}^{j_1} \dots \delta_{i_m \rbrack}^{j_m} \\
&=
\det \begin{bmatrix}
\delta^{j_1}_{i_1} & \delta^{j_1}_{i_2} & \cdots & \delta^{j_1}_{i_m}\\
\delta^{j_2}_{i_1} & \delta^{j_2}_{i_2} & \cdots & \delta^{j_2}_{i_m}\\
\vdots             & \vdots             & \ddots & \vdots            \\
\delta^{j_m}_{i_1} & \delta^{j_m}_{i_2} & \cdots & \delta^{j_m}_{i_m}
\end{bmatrix}
\end{align}
とすると、
:
\varepsilon_{i_1 \dots i_n} = \delta^{1 \dots n}_{i_1 \dots i_n} 

:
\varepsilon^{j_1 \dots j_n}  = \delta^{j_1 \dots j_n}_{1 \dots n} 

が成り立つ。

また、以下の*n* + 1個の公式
:\begin{align}
\varepsilon_{i_1 \dots i_n}\, \varepsilon^{j_1 \dots j_n} 
&= \delta^{j_1 \dots j_n}_{i_1 \dots i_n} 
\\
\sum_{i_1 = 1}^{n}\dots\sum_{i_k = 1}^{n}
\varepsilon_{i_1 \dots i_k~i_{k+1}\dots i_n}\, 
\varepsilon^{i_1 \dots i_k~j_{k+1}\dots j_n} 
&= k!\, \delta^{j_{k+1} \dots j_n}_{i_{k+1} \dots i_n} 
\\
\sum_{i_1 = 1}^{n}\dots\sum_{i_n = 1}^{n}
\varepsilon_{i_1 \dots i_n}\, \varepsilon^{i_1 \dots i_n} 
&= n!
\end{align}
は#性質の節で述べた式の一般化である。

## テンソル密度
任意のにおいて、多様体の計量テンソルが
定義されていない場合でも上で定義したエディントンのイプシロンはテンソル密度(tensor density)であるとの異なる2つの解釈がある。
weight +1 の反変(contravariant) テンソル密度として
解釈可能であるし、
weight −1の共変(covariant) テンソル密度とも解釈可能である。

4次元では階数4の一般化されたクロネッカーのデルタを使って
:
\varepsilon^{\alpha \beta \gamma \delta} = \delta^{\alpha \beta \gamma \delta}_{0 1 2 3} \,

:
\varepsilon_{\alpha \beta \gamma \delta} = \delta^{0 1 2 3}_{\alpha \beta \gamma \delta} \,

と表せる。数値は同じであり、特に符号も等しいことに注意する。

### 通常のテンソル
計量テンソル場があり、その計量を用いて接ベクトル空間の正規直交基底が得られれば、エディントンのイプシロンに一致する通常の反変テンソル場および共変テンソル場を定義できる。これら2つを混同していけないし、上述のテンソル密度場と混同してもいけない。計量テンソルによる添字の上げ下げによって一方のテンソル場から他方のテンソル場に変換することは、計量テンソルに由来する符号を除いて、通常通り行える。
例えばミンコフスキー空間 (特殊相対論における4次元時空) では
:\begin{align}
E^{\alpha \beta \gamma \delta} E^{\rho \sigma \mu \nu} 
&= - g^{\alpha \zeta} g^{\beta \eta} g^{\gamma \theta} g^{\delta \iota} 
     \delta^{\rho \sigma \mu \nu}_{\zeta \eta \theta \iota} \,
\\
E_{\alpha \beta \gamma \delta} E_{\rho \sigma \mu \nu} 
&= - g_{\alpha \zeta} g_{\beta \eta} g_{\gamma \theta} g_{\delta \iota} 
     \delta^{\zeta \eta \theta \iota}_{\rho \sigma \mu \nu} \,
\\
E^{\alpha \beta \gamma \delta} 
&= - g^{\alpha \zeta} g^{\beta \eta} g^{\gamma \theta} g^{\delta \iota} 
E_{\zeta \eta \theta \iota} \,.
\end{align}
となる。(符号に注意)

これより、
:\begin{align}
E^{\alpha \beta \gamma \delta} &= \frac{1}{\sqrt{-g}} \varepsilon^{\alpha \beta \gamma \delta}\\
E_{\alpha \beta \gamma \delta} &= \sqrt{-g}           \varepsilon_{\alpha \beta \gamma \delta}\\
\mathrm{where~~} g &\equiv g_{\alpha 0} g_{\beta 1} g_{\gamma 2} g_{\delta 3} \varepsilon^{\alpha \beta \gamma \delta}
\end{align}
および
:
E^{\alpha \beta \gamma \delta} E_{\rho \sigma \mu \nu} = \delta^{\alpha \beta \gamma \delta}_{\rho \sigma \mu \nu}\,

が導かれる。

## 出典


## 関連項目
* ベクトル積
* 外積代数
* ホッジ作用素