エディントンのイプシロンは、数学で用いられる記号。交代記号、順列記号、レヴィ=チヴィタ記号(英語: Levi-Civita symbol)、レヴィ=チヴィタの記号、レヴィ=チヴィタの完全反対称テンソルなど様々な呼び名がある。
添字を使わないテンソル表記法においてはホッジ双対の概念に置き換えられる。名前はアーサー・エディントンとトゥーリオ・レヴィ=チヴィタにちなむ。
2階のエディントンのイプシロンは次のように定義される。
.
また、
![{\displaystyle \varepsilon _{ij}=j-i.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/383a15e1ff81d34918af1506123016b284353eee)
これらの値は次の 2×2 反対称行列として表される。
.
この2階のエディントンのイプシロンはあまり一般的ではないが、超対称性理論[1]やツイスター理論[2]の分野においては2成分スピノルの文脈でしばしば現れる。
i, j, k はそれぞれ 1, 2, 3 のいずれかであるとする。このとき、
![{\displaystyle \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}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9f90e7e26aa1a6037ab88964176addc163683446)
つまり、添字が (1, 2, 3) の置換の場合はその符号を、添字に重複する数字を持つ場合は 0 を値に持つテンソルである。
符号関数 sgn を用いると
![{\displaystyle \varepsilon _{ijk}=\operatorname {sgn} (j-i)\operatorname {sgn} (k-i)\operatorname {sgn} (k-j).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/481e94ff38a613d7d3e0f9bdfc842e9648d17c8e)
![{\displaystyle \varepsilon _{ijk}=\varepsilon _{jki}=\varepsilon _{kij}=-\varepsilon _{ikj}=-\varepsilon _{jik}=-\varepsilon _{kji}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8c0f39dab716f01bc76b79c59f3f0d02861e7d17)
は基本的な性質である。
また、
![{\displaystyle {\begin{aligned}\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\leq j<k\leq 3}\varepsilon _{ijk}\varepsilon _{ljk}=\delta _{il}\right)\\\sum _{i,j,k}\varepsilon _{ijk}\varepsilon _{ijk}&=6\quad \qquad \left(\sum _{1\leq i<j<k\leq 3}\varepsilon _{ijk}\varepsilon _{ijk}=1\right)\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fe5291fba37d636ae7bcf815e824f82ba63977a7)
が成り立つ。ここで δij はクロネッカーのデルタである。
第1の公式より、
![{\displaystyle {\begin{aligned}\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{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b59a91f2bdabbb7d7dcb4a31d5ddce7a679cfc7a)
が導かれる。
使用例[編集]
3×3行列式は
![{\displaystyle {\begin{aligned}\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{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/32452b60e804013da9bd232d7e241c91e7e7dba5)
と表される。
ベクトル
のベクトル積は
![{\displaystyle ({\boldsymbol {a}}\times {\boldsymbol {b}})_{i}=\sum _{j,k}\varepsilon _{ijk}a_{j}b_{k}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0b67e8b3e3ba356e2c1acd3da2811266ddec78ff)
として表される。
スカラー三重積は
![{\displaystyle ({\boldsymbol {a}}\times {\boldsymbol {b}})\cdot {\boldsymbol {c}}=\sum _{i,j,k}\varepsilon _{ijk}a_{i}b_{j}c_{k}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/abcfb65372decbd2f9ccea841d9e28c48581eb40)
となる。
ベクトル三重積の公式
![{\displaystyle {\boldsymbol {a}}\times ({\boldsymbol {b}}\times {\boldsymbol {c}})={\boldsymbol {b}}\,({\boldsymbol {a}}\cdot {\boldsymbol {c}})-{\boldsymbol {c}}\,({\boldsymbol {a}}\cdot {\boldsymbol {b}})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3e627d14e3eb64111ce026edcbeda227b6a7c90c)
は以下のように証明できる。
![{\displaystyle {\begin{aligned}\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{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3c626b11130f66569c0e6ab950be396a07fd871b)
高階への拡張[編集]
エディントンのイプシロンはn次元へ拡張することができる(一般化されたエディントンのイプシロン)[3]:
![{\displaystyle \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}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bc4f1cd3449bf9846f19c2cf3f2c24b74f5c6a98)
ただし、i1,i2,…,in が1,2,…,n の偶置換の場合は (even) に、奇置換の場合は (odd) に、それ以外は (otherwise) に対応する。
実際に 4 階に拡張したものは、相対論的にマクスウェル方程式を記述するのに用いられる。
一般化されたエディントンのイプシロンの性質[編集]
n 次元とし、すべての添字 i1 ,…, in , j1 ,…, jn は 1, 2,…, n の範囲の値を取るとする。
δj1j2…jm
i1i2…imを階数m の一般化されたクロネッカーのデルタ
![{\displaystyle {\begin{aligned}\delta _{i_{1}\dots i_{m}}^{j_{1}\dots j_{m}}&=m!\delta _{\lbrack i_{1}}^{j_{1}}\dots \delta _{i_{m}\rbrack }^{j_{m}}\\&=\det {\begin{bmatrix}\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}}\\\vdots &\vdots &\ddots &\vdots \\\delta _{i_{1}}^{j_{m}}&\delta _{i_{2}}^{j_{m}}&\cdots &\delta _{i_{m}}^{j_{m}}\end{bmatrix}}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b0b755a988da617169ca51160b7f3439a518c020)
とすると、
![{\displaystyle \varepsilon _{i_{1}\dots i_{n}}=\delta _{i_{1}\dots i_{n}}^{1\dots n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/186d8140f8f5c39104d22291aa5a3b426b04afe0)
![{\displaystyle \varepsilon ^{j_{1}\dots j_{n}}=\delta _{1\dots n}^{j_{1}\dots j_{n}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9db4501de463616f4c65c40e8a71e59154078f77)
が成り立つ。
また、以下のn + 1個の公式
![{\displaystyle {\begin{aligned}\varepsilon _{i_{1}\dots i_{n}}\,\varepsilon ^{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}\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 _{i_{k+1}\dots i_{n}}^{j_{k+1}\dots j_{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{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/05996a5823d2c310143ffeb8aa51e13d2dd0d83f)
は#性質の節で述べた式の一般化である。
テンソル密度[編集]
任意の曲線座標系(英語版)において、多様体の計量テンソルが
定義されていない場合でも上で定義したエディントンのイプシロンはテンソル密度(tensor density)であるとの異なる2つの解釈がある。
weight +1 の反変(contravariant) テンソル密度として
解釈可能であるし、
weight −1の共変(covariant) テンソル密度とも解釈可能である。
4次元では階数4の一般化されたクロネッカーのデルタを使って
![{\displaystyle \varepsilon ^{\alpha \beta \gamma \delta }=\delta _{0123}^{\alpha \beta \gamma \delta }\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2165ceca64c8255c92db2c0f290a9d3510833be9)
![{\displaystyle \varepsilon _{\alpha \beta \gamma \delta }=\delta _{\alpha \beta \gamma \delta }^{0123}\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cfe3385dfa5f80081ed4809a57500e9ea1e3c2c1)
と表せる。数値は同じであり、特に符号も等しいことに注意する。
通常のテンソル[編集]
計量テンソル場があり、その計量を用いて接ベクトル空間の正規直交基底が得られれば、エディントンのイプシロンに一致する通常の反変テンソル場および共変テンソル場を定義できる。これら2つを混同していけないし、上述のテンソル密度場と混同してもいけない。計量テンソルによる添字の上げ下げによって一方のテンソル場から他方のテンソル場に変換することは、計量テンソルに由来する符号を除いて、通常通り行える。
例えばミンコフスキー空間 (特殊相対論における4次元時空) では
![{\displaystyle {\begin{aligned}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{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/78720e3f51dda38be508b262fbfdf1da01532ca3)
となる。(符号に注意)
これより、
![{\displaystyle {\begin{aligned}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{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d6c52c7591b1da83dcd87a79c668cedeb6b9ea6c)
および
![{\displaystyle E^{\alpha \beta \gamma \delta }E_{\rho \sigma \mu \nu }=\delta _{\rho \sigma \mu \nu }^{\alpha \beta \gamma \delta }\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/880687d2c04ee54a7c026528d0611ef574dd84e2)
が導かれる。
- ^ Labelle, P. (2010). Supersymmetry. Demystified. McGraw-Hill. pp. 57–58. ISBN 978-0-07-163641-4
- ^ Hadrovich, F.. “Twistor Primer”. 2013年9月3日閲覧。
- ^ D.C. Kay (1988). Tensor Calculus. Schaum’s Outlines, McGraw Hill (USA). ISBN 0-07-033484-6
関連項目[編集]