Levi-Civita symbol: Difference between revisions

From Citizendium
Jump to navigation Jump to search
imported>Peter Schmitt
(rewritten - removed: L-C tensor (separate page))
imported>John R. Brews
(ToC)
 
(14 intermediate revisions by 2 users not shown)
Line 1: Line 1:
{{subpages}}
{{subpages}}
{{TOC|right}}
The '''Levi-Civita symbol''', usually denoted as &epsilon;<sub>''ijk''</sub>, is a notational convenience (similar to the [[Kronecker delta]] &delta;<sub>''ij''</sub>). Its value is:
* equal to 1, if the indices are pairwise distinct and in [[cyclic order]],<!--<ref name=cyclic>


The '''Levi-Civita symbol''', usually denoted as &epsilon;<sub>''ijk''</sub>, is a conventional abbreviation
The term "cyclic order" imagines the items in a list, say ''a, b, c, ...'' arranged in a circle. Then all sequences that could be encountered by going once around the circle in the direction of the sequence ''a, b, c, ...'' are in cyclic order, regardless of the starting point. See {{cite book |title=An exercise book in algebra |author=Scoby McCurdy |url=http://books.google.com/books?id=0RMAAAAAYAAJ&pg=PA59 |pages=p. 59 |chapter=Cyclic order |year=1894 |publisher=D. C. Heath & Co.}}
(similar to the [[Kronecker delta]] &delta;<sub>''ij''</sub>).
 
It equals either 1, &minus;1, or 0 depending on the values (1, 2, or 3) taken by the indices ''i'', ''j'', and ''k''.
</ref>-->
It is
* equal to 1, if the indices are pairwise distinct and in [[cyclic order]],
* equal to &minus;1, if the indices are pairwise distinct but not in cyclic order, and
* equal to &minus;1, if the indices are pairwise distinct but not in cyclic order, and
* equal to 0, if two of the indices are equal.
* equal to 0, if two of the indices are equal.
Line 16: Line 17:
                           \end{cases}
                           \end{cases}
</math>
</math>
The Levi-Civita symbol changes sign whenever two of the indices are interchanged, that is, it is antisymmetric.  In different words, the Levi-Civita symbol with three indices equals the ''sign'' of the [[permutation]] (''ijk'').<ref name=permutation>The sign of a permutation is 1 for even, &minus;1 for odd permutations and 0 if two indices are equal. An ''even'' permutation is a sequence (''ijk...r'') that can be restored to (123...''n'') using an even number of interchanges of pairs, while an odd permutation requires an odd number.</ref>


'''Remarks:'''
The symbol has been generalized to ''n'' dimensions, denoted as &epsilon;<sub>''ijk...r''</sub> and depending on ''n'' indices taking values from 1 to ''n''.
 
It is determined by being antisymmetric in the indices and by &epsilon;<sub>123...''n''</sub>&nbsp;=&nbsp;1. The generalized symbol equals the sign of the permutation (''ijk...r'') or, equivalently, the [[determinant]] of the corresponding unit vectors. Therefore the symbols also are called (Levi-Civita) ''permutation symbols''.
The symbol changes sign whenever two of the indices are interchanged.


The Levi-Civita symbol is a special case (for ''n''=3, because it involves three indices) of a more general notion:
===Levi-Civita tensor===
<br>&nbsp;&nbsp; It equals the sign of the [[permutation]] (''ijk''). Therefore it is also called (Levi-Civita) ''permutation symbol''.


The Levi-Civita symbol is used in the definiton of the [[Levi-Civita tensor]] that is also denoted as denoted as &epsilon;<sub>''ijk''</sub>.
The Levi-Civita symbol&mdash;named after the Italian mathematician and physicist [[Tullio Levi-Civita]]&mdash;occurs mainly in differential geometry and mathematical physics where it is used to define the components of the (three-dimensional) [[Levi-Civita tensor|Levi-Civita (pseudo)tensor]] that conventionally also is denoted by &epsilon;<sub>''ijk''</sub>.


Both the symbol and the tensor are named after the Italian mathematician and physicist [[Tullio Levi-Civita]].  
The generalized symbol gives rise to an ''n''-dimensional completely antisymmetric (or alternating) pseudotensor.


<!--
==Notes==
{{cite book |title=An exercise book in algebra |author=Scoby McCurdy |url=http://books.google.com/books?id=0RMAAAAAYAAJ&pg=PA59 |pages=p. 59 |chapter=Cyclic order |year=1894 |publisher=D. C. Heath & Co.}}
<references/>
-->

Latest revision as of 11:35, 12 March 2011

This article is developing and not approved.
Main Article
Discussion
Related Articles  [?]
Bibliography  [?]
External Links  [?]
Citable Version  [?]
 
This editable Main Article is under development and subject to a disclaimer.

The Levi-Civita symbol, usually denoted as εijk, is a notational convenience (similar to the Kronecker delta δij). Its value is:

  • equal to 1, if the indices are pairwise distinct and in cyclic order,
  • equal to −1, if the indices are pairwise distinct but not in cyclic order, and
  • equal to 0, if two of the indices are equal.

Thus

The Levi-Civita symbol changes sign whenever two of the indices are interchanged, that is, it is antisymmetric. In different words, the Levi-Civita symbol with three indices equals the sign of the permutation (ijk).[1]

The symbol has been generalized to n dimensions, denoted as εijk...r and depending on n indices taking values from 1 to n. It is determined by being antisymmetric in the indices and by ε123...n = 1. The generalized symbol equals the sign of the permutation (ijk...r) or, equivalently, the determinant of the corresponding unit vectors. Therefore the symbols also are called (Levi-Civita) permutation symbols.

Levi-Civita tensor

The Levi-Civita symbol—named after the Italian mathematician and physicist Tullio Levi-Civita—occurs mainly in differential geometry and mathematical physics where it is used to define the components of the (three-dimensional) Levi-Civita (pseudo)tensor that conventionally also is denoted by εijk.

The generalized symbol gives rise to an n-dimensional completely antisymmetric (or alternating) pseudotensor.

Notes

  1. The sign of a permutation is 1 for even, −1 for odd permutations and 0 if two indices are equal. An even permutation is a sequence (ijk...r) that can be restored to (123...n) using an even number of interchanges of pairs, while an odd permutation requires an odd number.