Levi-Civita symbol: Difference between revisions

From Citizendium
Jump to navigation Jump to search
imported>John R. Brews
m (123 & xyz)
mNo edit summary
 
(30 intermediate revisions by 2 users not shown)
Line 1: Line 1:
The '''Levi-Civita symbol''', usually denoted as &epsilon;<sub>ijk</sub> equals one if ''i,j,k = 1,2,3'' or any permutation that keeps the same cyclic order,<ref name=cyclic>
{{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 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.}}
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.}}


</ref> or minus one if the order is different, or zero if any two of the indices are the same. The Levi-Civita symbol also is known as the ''alternating tensor''<ref name=Sharma>
</ref>-->
* 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.
Thus
: <math>
      \varepsilon_{ijk} = \begin{cases}
                    \ \  1 & (ijk) = (123),(231),(312) \\
                        -1 & (ijk) = (132),(213),(321) \\
                    \ \  0 & \text{else}
                          \end{cases}
</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>


{{cite book |title=Matrix Methods and Vector Spaces in Physics |author=Vinod K. Sharma |url=http://books.google.com/books?id=Kg2ZjUmOB9EC&pg=PT386 |pages=p. 370|chapter=§9.2 Alternating tensor (or Levi-Civita symbol) |isbn=8120338669 |publisher=Prentice-Hall of India Pvt.Ltd |year=2009}}
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''.


===Levi-Civita tensor===


</ref> or the ''completely antisymmetric tensor'' with three indices in three dimensions.  
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>.


The completely antisymmetric tensor with ''N'' indices in ''N''-dimensions has only one independent component, and is denoted in two, three and four dimensions as &epsilon;<sub>ij</sub>, &epsilon;<sub>ijk</sub>, &epsilon;<sub>ijkl</sub>.<ref name=Padmanabhan>
The generalized symbol gives rise to an ''n''-dimensional completely antisymmetric (or alternating) pseudotensor.
 
{{cite book |title=Gravitation: Foundations and Frontiers |author=T. Padmanabhan |url=http://books.google.com/books?id=BSfe2MjbQ3gC&pg=PA22 |pages=p. 22 |isbn=0521882230 |publisher=Cambridge University Press |year=2010}}
 
</ref> Consequently, in three dimensions the completely antisymmetric tensor is entirely specified by stating &epsilon;<sub>123</sub>&nbsp;=&nbsp;&epsilon;<sub>xyz</sub>&nbsp;=&nbsp;1 in [[Cartesian coordinates]].


==Notes==
==Notes==
<references/>
<references/>[[Category:Suggestion Bot Tag]]

Latest revision as of 12:00, 11 September 2024

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.