Symbole de Levi-Civita

Le symbole de Levi-Civita, noté ε (lettre grecque epsilon), est un indicateur antisymétrique d'ordre 3 qui peut être exprimé à partir du symbole de Kronecker :

Visualisation d'un symbole de Levi-Civita en 3 dimensions.(i d'avant en arrière, j de haut en bas et k de gauche à droite)

$\varepsilon_{ijk} =\begin{vmatrix} \delta_{i1} & \delta_{i2}& \delta_{i3} \\ \delta_{j1} & \delta_{j2}& \delta_{j3} \\ \delta_{k1} & \delta_{k2}& \delta_{k3} \end{vmatrix}$

Ainsi ε_ijk ne peut prendre que trois valeurs : -1, 0 ou 1.

En 3 dimensions on peut figurer le symbole de Levi-Civita comme suit :

$\varepsilon_{ijk} = \begin{cases} +1 & \mbox{si } (i,j,k) \mbox{ est } (1,2,3), (2,3,1) \mbox{ ou } (3,1,2), \\ -1 & \mbox{si } (i,j,k) \mbox{ est } (3,2,1), (1,3,2) \mbox{ ou } (2,1,3), \\ 0 & \mbox{autrement: }i=j \mbox{ ou } j=k \mbox{ ou } k=i, \end{cases}$

La relation du symbole Levi-Civita au symbole de Kronecker:

ε_ijkε_lmn = δ_ilδ_jmδ_kn + δ_imδ_jnδ_kl + δ_inδ_jlδ_km − δ_ilδ_jnδ_km − δ_inδ_jmδ_kl − δ_imδ_jlδ_kn

$\sum_{i=1}^3 \varepsilon_{ijk}\varepsilon_{imn} = \delta_{jm}\delta_{kn} - \delta_{jn}\delta_{km}$

$\sum_{i,j=1}^3 \varepsilon_{ijk}\varepsilon_{ijn} = 2\delta_{kn}$

On peut démontrer que:

$\sum_{i,j,k,\dots=1}^n \varepsilon_{ijk\dots}\varepsilon_{ijk\dots} = n!$

est vrai en n dimensions.

Interprétation

Dans une base orthonormée directe $\vec{e_1}, \vec{e_2}, \vec{e_3},$,
ε_ijk représente le volume orienté du parallépipède construit à partir des vecteurs $\vec{e_i}, \vec{e_j}, \vec{e_k},$.

D'où une valeur égale à 0 si i=j, ou j=k, ou i=k.

Voir aussi

• Algèbre multilinéaire
• Symbole de Kronecker
• Symbole de Levi-Civita d'ordre N