Levi-Civita symbol: Difference between revisions

From Citizendium
Jump to navigation Jump to search
imported>John R. Brews
(→‎Levi-Civita tensor: pseudotensor)
mNo edit summary
 
(18 intermediate revisions by 2 users not shown)
Line 1: Line 1:
{{subpages}}
{{subpages}}
<br/>
{{TOC|right}}
{{TOC|right}}
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>
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. It is named after the Italian mathematician and physicist [[Tullio Levi-Civita]].  
</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>


The symbol can be generalized to ''n''-dimensions, as completely antisymmetric in its indices with &epsilon;<sub>123...''n''</sub>&nbsp;=&nbsp;1. More specifically, the symbol is one for even [[Permutation group|permutations]] of the indices, −1 for odd permutations, and 0 otherwise.
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===
===Levi-Civita tensor===


The Levi-Civita symbol also is used to denote the components of the ''Levi-Civita tensor'', sometimes called the ''Levi-Civita form'' and in ''n'' dimensions this tensor is an invariant of the special unitary group [[SU(n)]].<ref name=Vaughn>
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>.


{{cite book |title=Introduction to mathematical physics |author=Michael T. Vaughn |pages=p. 484 |url=http://books.google.com/books?id=E6_DiJDIptoC&pg=PA484 |isbn=3527406271 |publisher=Wiley-VCH |year=2007}}
The generalized symbol gives rise to an ''n''-dimensional completely antisymmetric (or alternating) pseudotensor.
 
</ref> Consequently it flips sign under reflections, and physicists call it a ''pseudo''-tensor.<ref name=Felsager>
 
{{cite book |title=Geometry, particles, and fields |author=Bjørn Felsager |pages=p. 358 |url=http://books.google.com/books?id=R1XkarKY7AwC&pg=PA358 |year=1998 |isbn=0387982671 |publisher=Springer}}
 
</ref>  It also is called the ''alternating tensor''<ref name=Sharma>
 
{{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}}
 
 
</ref>  or the ''completely antisymmetric tensor'' with ''n'' indices in ''n'' dimensions. 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>
 
{{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 with three indices 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 11: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.