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

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

定義

2階

2階のエディントンのイプシロンは次のように定義される。

${\epsilon }_{ij}=\{\begin{array}{cc}+1& \text{if }(i,j)=(1,2)\\ -1& \text{if }(i,j)=(2,1)\\ 0& \text{if }i=j\end{array}$.

また、

${\epsilon }_{ij}=j-i.$

これらの値は次の テンプレート:Math 反対称行列として表される。

$\left(\begin{array}{cc}{\epsilon }_{11}& {\epsilon }_{12}\\ {\epsilon }_{21}& {\epsilon }_{22}\end{array}\right)=\left(\begin{array}{cc}0& 1\\ -1& 0\end{array}\right)$.

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

3階

テンプレート:Math はそれぞれ 1, 2, 3 のいずれかであるとする。このとき、

${\epsilon }_{ijk}=\{\begin{array}{cc}1& ((i,j,k)=(1,2,3),(2,3,1),(3,1,2))\\ -1& ((i,j,k)=(1,3,2),(3,2,1),(2,1,3))\\ 0& \mathrm{(}\mathrm{o}\mathrm{t}\mathrm{h}\mathrm{e}\mathrm{r}\mathrm{w}\mathrm{i}\mathrm{s}\mathrm{e}\mathrm{)}\end{array}$

つまり、添字が テンプレート:Math の置換の場合はその符号を、添字に重複する数字を持つ場合は 0 を値に持つテンソルである。 符号関数 sgn を用いると

${\epsilon }_{ijk}=\mathrm{sgn}(j-i)\mathrm{sgn}(k-i)\mathrm{sgn}(k-j).$

性質

${\epsilon }_{ijk}={\epsilon }_{jki}={\epsilon }_{kij}=-{\epsilon }_{ikj}=-{\epsilon }_{jik}=-{\epsilon }_{kji}$

は基本的な性質である。

また、

$\begin{array}{cc}{\epsilon }_{ijk}{\epsilon }_{lmn}& =\det \left[\begin{array}{ccc}{\delta }_{il}& {\delta }_{im}& {\delta }_{in}\\ {\delta }_{jl}& {\delta }_{jm}& {\delta }_{jn}\\ {\delta }_{kl}& {\delta }_{km}& {\delta }_{kn}\end{array}\right]\\ & ={\delta }_{il}({\delta }_{jm}{\delta }_{kn}-{\delta }_{jn}{\delta }_{km})+{\delta }_{im}({\delta }_{jn}{\delta }_{kl}-{\delta }_{jl}{\delta }_{kn})+{\delta }_{in}({\delta }_{jl}{\delta }_{km}-{\delta }_{jm}{\delta }_{kl})\\ \sum _k{\epsilon }_{ijk}{\epsilon }_{lmk}& =\det \left[\begin{array}{cc}{\delta }_{il}& {\delta }_{im}\\ {\delta }_{jl}& {\delta }_{jm}\end{array}\right]\\ & ={\delta }_{il}{\delta }_{jm}-{\delta }_{im}{\delta }_{jl}\\ \sum _{j,k}{\epsilon }_{ijk}{\epsilon }_{ljk}& =2{\delta }_{il}(\sum _{1\le j<k\le 3}{\epsilon }_{ijk}{\epsilon }_{ljk}={\delta }_{il})\\ \sum _{i,j,k}{\epsilon }_{ijk}{\epsilon }_{ijk}& =6(\sum _{1\le i<j<k\le 3}{\epsilon }_{ijk}{\epsilon }_{ijk}=1)\end{array}$

が成り立つ。ここで δ_ij はクロネッカーのデルタである。

第1の公式より、

$\begin{array}{cc}{\epsilon }_{ijk}& =\det \left[\begin{array}{ccc}{\delta }_{1i}& {\delta }_{1j}& {\delta }_{1k}\\ {\delta }_{2i}& {\delta }_{2j}& {\delta }_{2k}\\ {\delta }_{3i}& {\delta }_{3j}& {\delta }_{3k}\end{array}\right]\end{array}$

が導かれる。

使用例

3×3行列式は

$\begin{array}{cc}\det \left[\begin{array}{ccc}{a}_{11}& a_{12}& a_{13}\\ a_{21}& a_{22}& a_{23}\\ a_{31}& a_{32}& a_{33}\end{array}\right]& =\det \left[\begin{array}{ccc}\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{array}\right]\\ & =\sum _{i,j,k}\det \left[\begin{array}{ccc}{\delta }_{1i}& {\delta }_{1j}& {\delta }_{1k}\\ {\delta }_{2i}& {\delta }_{2j}& {\delta }_{2k}\\ {\delta }_{3i}& {\delta }_{3j}& {\delta }_{3k}\end{array}\right]a_{i1}{a}_{j2}{a}_{k3}\\ & =\sum _{i,j,k}{\epsilon }_{ijk}{a}_{i1}{a}_{j2}{a}_{k3}\end{array}$

と表される。

ベクトル $𝒂=(a_x,a_y,a_z),𝒃=(b_x,b_y,b_z)$ のベクトル積は

$(𝒂\times 𝒃{)}_i=\sum _{j,k}{\epsilon }_{ijk}{a}_j{b}_k$

として表される。

スカラー三重積は

$(𝒂\times 𝒃)\cdot 𝒄=\sum _{i,j,k}{\epsilon }_{ijk}{a}_i{b}_j{c}_k$

となる。

ベクトル三重積の公式

$𝒂\times (𝒃\times 𝒄)=𝒃(𝒂\cdot 𝒄)-𝒄(𝒂\cdot 𝒃)$

は以下のように証明できる。

$\begin{array}{cc}{\{𝒂\times (𝒃\times 𝒄)\}}_i& =\sum _{j,k}{\epsilon }_{ijk}{a}_j(𝒃\times 𝒄{)}_k\\ & =\sum _{j,k}{\epsilon }_{ijk}{a}_j\sum _{\ell ,m}{\epsilon }_{k\ell m}{b}_{\ell }{c}_m\\ & =\sum _{j,\ell ,m}\left(\sum _k{\epsilon }_{ijk}{\epsilon }_{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)\\ & ={\{𝒃(𝒂\cdot 𝒄)-𝒄(𝒂\cdot 𝒃)\}}_i\end{array}$

高階への拡張

エディントンのイプシロンはn次元へ拡張することができる(一般化されたエディントンのイプシロン):

${\epsilon }_{i_1{i}_2\dots i_n}={\epsilon }^{i_1{i}_2\dots i_n}=\{\begin{array}{cc}+1& \text{(even)}\\ -1& \text{(odd) }\\ 0& \text{(otherwise)}\end{array}$

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

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

一般化されたエディントンのイプシロンの性質

n 次元とし、すべての添字 i₁ ,…, i_n , j₁ ,…, j_n は 1, 2,…, n の範囲の値を取るとする。

δテンプレート:Suを階数m の一般化されたクロネッカーのデルタ

$\begin{array}{cc}{\delta }_{i_1\dots i_m}^{j_1\dots j_m}& =m!{\delta }_{[i_1}^{j_1}\dots {\delta }_{i_m]}^{j_m}\\ & =\det \left[\begin{array}{cccc}{\delta }_{i_1}^{j_1}& {\delta }_{i_2}^{j_1}& \cdots & {\delta }_{i_m}^{j_1}\\ {\delta }_{i_1}^{j_2}& {\delta }_{i_2}^{j_2}& \cdots & {\delta }_{i_m}^{j_2}\\ ⋮& ⋮& \ddots & ⋮\\ {\delta }_{i_1}^{j_m}& {\delta }_{i_2}^{j_m}& \cdots & {\delta }_{i_m}^{j_m}\end{array}\right]\end{array}$

とすると、

${\epsilon }_{i_1\dots i_n}={\delta }_{i_1\dots i_n}^{1\dots n}$

${\epsilon }^{j_1\dots j_n}={\delta }_{1\dots n}^{j_1\dots j_n}$

が成り立つ。

また、以下のn + 1個の公式

$\begin{array}{cc}{\epsilon }_{i_1\dots i_n}{\epsilon }^{j_1\dots j_n}& ={\delta }_{i_1\dots i_n}^{j_1\dots j_n}\\ \sum _{i_1=1}^n\dots \sum _{i_k=1}^n{\epsilon }_{i_1\dots i_k{i}_{k+1}\dots i_n}{\epsilon }^{i_1\dots i_k{j}_{k+1}\dots j_n}& =k!{\delta }_{i_{k+1}\dots i_n}^{j_{k+1}\dots j_n}\\ \sum _{i_1=1}^n\dots \sum _{i_n=1}^n{\epsilon }_{i_1\dots i_n}{\epsilon }^{i_1\dots i_n}& =n!\end{array}$

は#性質の節で述べた式の一般化である。

テンソル密度

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

4次元では階数4の一般化されたクロネッカーのデルタを使って

${\epsilon }^{\alpha \beta \gamma \delta }={\delta }_{0123}^{\alpha \beta \gamma \delta }$

${\epsilon }_{\alpha \beta \gamma \delta }={\delta }_{\alpha \beta \gamma \delta }^{0123}$

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

通常のテンソル

計量テンソル場があり、その計量を用いて接ベクトル空間の正規直交基底が得られれば、エディントンのイプシロンに一致する通常の反変テンソル場および共変テンソル場を定義できる。これら2つを混同していけないし、上述のテンソル密度場と混同してもいけない。計量テンソルによる添字の上げ下げによって一方のテンソル場から他方のテンソル場に変換することは、計量テンソルに由来する符号を除いて、通常通り行える。 例えばミンコフスキー空間 (特殊相対論における4次元時空) では

$\begin{array}{cc}{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 }{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 }& =-g^{\alpha \zeta }{g}^{\beta \eta }{g}^{\gamma \theta }{g}^{\delta \iota }{E}_{\zeta \eta \theta \iota }.\end{array}$

となる。(符号に注意)

これより、

$\begin{array}{cc}{E}^{\alpha \beta \gamma \delta }& =\frac{1}{\sqrt{-g}}{\epsilon }^{\alpha \beta \gamma \delta }\\ E_{\alpha \beta \gamma \delta }& =\sqrt{-g}{\epsilon }_{\alpha \beta \gamma \delta }\\ \mathrm{w}\mathrm{h}\mathrm{e}\mathrm{r}\mathrm{e}g& \equiv g_{\alpha 0}{g}_{\beta 1}{g}_{\gamma 2}{g}_{\delta 3}{\epsilon }^{\alpha \beta \gamma \delta }\end{array}$

および

$E^{\alpha \beta \gamma \delta }{E}_{\rho \sigma \mu \nu }={\delta }_{\rho \sigma \mu \nu }^{\alpha \beta \gamma \delta }$

が導かれる。

関連項目

• ベクトル積
• 外積代数
• ホッジ作用素