An Short and Simple Intro To Index Notation
An Short and Simple Intro To Index Notation
Fall 2002
Notes 3
The Levi-Civita Symbol
The Levi-Civita symbol is useful for converting cross products and curls into the lan-
guage of tensor analysis, and for many other purposes. The following is a summary of its
most useful properties in three-dimensional Euclidean space.
The Levi-Civita symbol is defined by
1, if (ijk) is an even permutation of (123);
ijk = −1, if (ijk) is an odd permutation of (123); (3.1)
0, otherwise.
It has 27 components, of which only 6 are nonzero. It follows directly from this definition
that ijk changes sign if any two of its indices are exchanged,
The Levi-Civita symbol is convenient for expressing cross products and curls in tensor
notation. For example, if A and B are two vectors, then
and
∂Bk
(∇×B)i = ijk . (3.4)
∂xj
Any combination of an even number of Levi-Civita symbols (or an even number of cross
products and curls) can be reduced to dot products with the following system of identities.
Similarly, any combination of an odd number of Levi-Civita symbols (or an odd number of
cross products and curls) can be reduced to a single Levi-Civita symbol (or a cross product
or a curl) plus dot products. The first is the most general:
Notice that the indices (ijk) label the rows, while (`mn) label the columns. If this is
contracted on i and l, we obtain
δjm δjn
ijk imn = = δjm δkn − δjn δkm . (3.6)
δkm δkn
–2–
This identity is the one used most often, for boiling down two cross products that have one
index in common, such as ∇×(A×B). By contracting Eq. (3.6) in j and m we obtain
Xi = Aij Yj (3.11)
then
X = Y×A. (3.12)
Similarly, if A and B are two vectors, then
and
∂Bj ∂Bi
− = ijk (∇×B)k . (3.14)
∂xi ∂xj
Finally, if Mij is a 3 × 3 matrix (or tensor), then
1
det M = ijk M1i M2j M3k = ijk `mn Mi` Mjm Mkn . (3.15)
6
The Levi-Civita symbol has been defined here only on 3 , but most of the properties
above are easily generalized to n (including the case n = 2). It only transforms as a
tensor under proper orthogonal changes of coordinates, which is why we are calling it a
“symbol” instead of a “tensor.” It can, however, be used to create so-called tensor densities
on arbitrary manifolds with a metric, and has fascinating applications in Hodge-de Rham
theory in differential geometry.