Σύμβολο μετάθεσης

Στα μαθηματικά, το **σύμβολο μετάθεσης** (ή **μετάταξης**, επίσης γνωστό ως **σύμβολο του Levi-Civita** ή **αντισυμμετρικό σύμβολο**) είναι ένα μαθηματικό σύμβολο που συναντάται συχνά στον τανυστικό λογισμό.

## Ορισμός

Το σύμβολο μετάθεσης συναντάται κυρίως στις τρεις, στις τέσσερις και σε κάποιο βαθμό στις δύο διαστάσεις. Ωστόσο, ο ορισμός του συμβόλου μετάθεσης γενικεύεται για οποιαδήποτε διάσταση.

### Δύο διαστάσεις

Το διδιάστατο σύμβολο Levi-Civita ορίζεται ως:

: \varepsilon_{ij} =
  \begin{cases}
    +1      & \text{αν } (i, j) = (1, 2) \\
   -1       & \text{αν } (i, j) = (2, 1) \\
    \;\;\,0 & \text{αν } i = j
  \end{cases}


Οι τιμές μπορούν να διαταχθούν σε έναν 2&nbsp;×&nbsp;2 αντισυμμετρικό πίνακα:

:\begin{pmatrix}
    \varepsilon_{11} & \varepsilon_{12} \\
    \varepsilon_{21} & \varepsilon_{22}
  \end{pmatrix} = \begin{pmatrix}
     0 & 1 \\
    -1 & 0
\end{pmatrix}

Η χρήση του διδιάστατου συμβόλου είναι σχετικά ασυνήθιστη, παρόλα αυτά, σε ορισμένες εξεζητημένες περιοχές όπως η υπερσυμμετρία και στη θεωρία twistor εμφανίζεται στο πλαίσιο των 2-σπινόρων. Τα σύμβολα Levi-Civita χρησιμοποιούνται ευρύτερα στις τρεις ή περισσότερες διαστάσεις.

### Τρεις διαστάσεις

Το σύμβολο μετάθεσης στην τριδιάστατη εκδοχή του ((i,j,k)={1,2,3}) ορίζεται μαθηματικά με τον ακόλουθο τρόπο:

:  \epsilon_{ijk}=\begin{cases} +1, & \ \alpha\nu \ (i,j,k)=(1,2,3),(3,1,2) \ \acute{\eta} \ (2,3,1) \\ -1, & \ \alpha\nu \ (i,j,k)=(1,3,2),(2,1,3) \ \acute{\eta} \ (3,2,1) \\ 0, & \ \alpha\nu \ i=j, \ i=k \ \acute{\eta} \ j=k \end{cases} 

Δηλαδή, το σύμβολο μετάθεσης εijk ισούται με μονάδα αν η τριάδα (i,j,k) είναι μία άρτια μετάθεση (ή μετάταξη) των (1,2,3), -1 στην περίπτωση που είναι περιττή μετάθεση αυτών και 0 όταν οποιοσδήποτε από τους δείκτες επαναλαμβάνεται.

Η τιμή του συμβόλου μετάταξης συναρτήσει των τιμών των δεικτών i,j,k δίνεται από τον τύπο:

:   \epsilon_{ijk}=\frac{\left( i-j \right)\left( j-k \right)\left( k-i \right)}{2} 

Κατ' αναλογία με τους πίνακες δύο διαστάσεων, οι τιμές του τριδιάστατου συμβόλου Levi-Civita μπορούν να παρασταθούν σε μια διάταξη :

:

όπου  είναι το βάθος (μπλε, =1; κόκκινο, =2; πράσινο, =3),  η σειρά and  η στήλη.

Μερικά παραδείγματα:

:\begin{align}
  \varepsilon_{\color{BrickRed}{1}  \color{Violet}{3}  \color{Orange}{2}} = -\varepsilon_{\color{BrickRed}{1}  \color{Orange}{2}\color{Violet}{3}} &= - 1 \\
  \varepsilon_{  \color{Violet}{3}\color{BrickRed}{1}  \color{Orange}{2}} = -\varepsilon_{  \color{Orange}{2}\color{BrickRed}{1}\color{Violet}{3}} &= -(-\varepsilon_{\color{BrickRed}{1}\color{Orange}{2}\color{Violet}{3}}) = 1 \\
  \varepsilon_{  \color{Orange}{2}  \color{Violet}{3}\color{BrickRed}{1}} = -\varepsilon_{\color{BrickRed}{1}  \color{Violet}{3}\color{Orange}{2}} &= -(-\varepsilon_{\color{BrickRed}{1}\color{Orange}{2}\color{Violet}{3}}) = 1 \\
  \varepsilon_{  \color{Orange}{2}  \color{Violet}{3}  \color{Orange}{2}} = -\varepsilon_{  \color{Orange}{2}  \color{Violet}{3}\color{Orange}{2}} &= 0
\end{align}

### Τέσσερις διαστάσεις
Στις τέσσερις διαστάσεις, το σύμβολο Levi-Civita ορίζεται ως:
:\varepsilon_{ijkl } =
\begin{cases}
+1 & \text{αν }(i,j,k,l) \text{ είναι άρτια μετάθεση των } (1,2,3,4) \\
-1 & \text{αν }(i,j,k,l) \text{ είναι περιττή μετάθεση των } (1,2,3,4) \\
\;\;\,0 & \text{διαφορετικά}
\end{cases}


Αυτές οι τιμές μπορούν να παρασταθούν σε μια  διάταξη, παρόλα αυτά στις 4 ή ανώτερες διαστάσεις, αυτό δύσκολα μπορεί να σχεδιαστεί.

Μερικά παραδείγματα:

:\begin{align}
\varepsilon_{\color{BrickRed}{1}\color{RedViolet}{4}\color{Violet}{3}\color{Orange}{\color{Orange}{2}}} = -\varepsilon_{\color{BrickRed}{1}\color{Orange}{\color{Orange}{2}}\color{Violet}{3}\color{RedViolet}{4}} &= - 1\\
\varepsilon_{\color{Orange}{\color{Orange}{2}}\color{BrickRed}{1}\color{Violet}{3}\color{RedViolet}{4}} = -\varepsilon_{\color{BrickRed}{1}\color{Orange}{\color{Orange}{2}}\color{Violet}{3}\color{RedViolet}{4}} &= -1\\
\varepsilon_{\color{RedViolet}{4}\color{Violet}{3}\color{Orange}{\color{Orange}{2}}\color{BrickRed}{1}} = -\varepsilon_{\color{BrickRed}{1}\color{Violet}{3}\color{Orange}{\color{Orange}{2}}\color{RedViolet}{4}} &= -(-\varepsilon_{\color{BrickRed}{1}\color{Orange}{\color{Orange}{2}}\color{Violet}{3}\color{RedViolet}{4}}) = 1\\
\varepsilon_{\color{Violet}{3}\color{Orange}{\color{Orange}{2}}\color{RedViolet}{4}\color{Violet}{3}} = -\varepsilon_{\color{Violet}{3}\color{Orange}{\color{Orange}{2}}\color{RedViolet}{4}\color{Violet}{3}} &= 0
\end{align}

### Γενίκευση στις '''' διαστάσεις
Το σύμβολο μετάθεσης Levi-Civita μπορεί να γενικευθεί στις  διαστάσεις:

:\varepsilon_{a_1 a_2 a_3 \ldots a_n} =
\begin{cases}
+1 & \text{αν }(a_1 , a_2 , a_3 , \ldots , a_n) \text{ είναι άρτια μετάθεση των } (1,2,3,\dots,n) \\
-1 & \text{αν }(a_1 , a_2 , a_3 , \ldots , a_n) \text{ είναι περιττή μετάθεση των } (1,2,3,\dots,n) \\
\;\;\,0 & \text{διαφορετικά}
\end{cases}


Έτσι, πρόκειται για το πρόσημο της μετάθεσης, στη περίπτωση της μετάθεσης και μηδέν σε κάθε άλλη περίπτωση.

Χρησιμοποιώντας το συμβολισμό του πολλαπλασιασμού  για το συνήθη πολλαπλασιασμό αριθμών, μπορεί να διατυπωθεί μια πολύ σαφής έκφραση:

: \begin{align}
  \varepsilon_{a_1 a_2 a_3 \ldots a_n} & = \prod_{1\leq i 

όπου το γινόμενο είναι συνολικά αντισυμμετρικό σε όλους τους δείκτες και το σύμβολο  υποδηλώνει τη συνάρτηση προσήμου, η οποία εξάγει το πρόσημο κάθε διαφοράς, απορρίπτοντας τις απόλυτες τιμές. Ο τύπος ισχύει για κάθε τιμή δείκτη και για κάθε  (όταν &nbsp;= 0 ή 1, τότε πρόκειται για το "άδειο" γινόμενο (empty product). Ωστόσο, το να υπολογίσει κανείς αφελώς την παραπάνω έκφραση, απαιτείται χρονική πολυπλοκότητα τάξης , ενώ, χρησιμοποιώντας διακριτούς κύκλους μετάθεσης (disjoint cycles),  απαιτείται ένα κόστος τάξης μόλις .

## Ιδιότητες
Σε δύο διαστάσεις ((i,j)={1,2}), το σύμβολο μετάθεσης ικανοποιεί τις παρακάτω ιδιότητες:

:  \begin{align} \epsilon_{ij}\epsilon_{mn} &= \delta_{im}\delta_{jn}-\delta_{in}\delta_{jm} \\ \epsilon_{ij}\epsilon_{in} &= \delta_{jn} \\ \epsilon_{ij}\epsilon_{ij} &= 2 \end{align} 

Αντίστοιχα σε τρεις διαστάσεις ((i,j,k)={1,2,3}),

:  \begin{align} \epsilon_{ijk}\epsilon_{mnk} &= \delta_{im}\delta_{jn}-\delta_{in}\delta_{jm} \\ \epsilon_{imn}\epsilon_{jmn} &= 2\delta_{ij} \\ \epsilon_{ijk}\epsilon_{ijk} &= 6 \end{align} 

Σε όλες τις παραπάνω σχέσεις το σύμβολο δ αναφέρεται στο δέλτα του Κρόνεκερ, ενώ υπονοείται κάθε φορά η σύμβαση άθροισης του Αϊνστάιν.

## Χρήσεις

### Διανυσματικός λογισμός
Στον διανυσματικό λογισμό, το εξωτερικό γινόμενο μεταξύ δύο διανυσμάτων **Α**=(a1,a2,a3) και **Β**=(b1,b2,b3) μπορεί να γραφτεί υπό μορφή ορίζουσας πίνακα ως εξής:

:  \mathbf{A}\times\mathbf{B}=\begin{vmatrix} \mathbf{e}_1 & \mathbf{e}_2 & \mathbf{e}_3 \\ a_1 & a_2 & a_3 \\ b_1 & b_2 & b_3 \\ \end{vmatrix} 

όπου (**e**1,**e**2,**e**3) μία βάση ορθομοναδιαίων διανυσμάτων. Βάσει του ορισμού του συμβόλου μετάθεσης, η παραπάνω σχέση μπορεί να γραφτεί επίσης κατά τον ακόλουθο συμπαγή τρόπο:

:  \mathbf{A}\times\mathbf{B}=\epsilon_{ijk}\mathbf{e}_{i}a_{j}b_{k} 

Εν γένει, αν **C**=**A**×**B** (όπου **C**=(c1,c2,c3)) τότε:

:  c_{i}=\epsilon_{ijk}a_{j}b_{k} 

## Δείτε επίσης
*Δέλτα του Κρόνεκερ

## Παραπομπές


## Πηγές
* 

Κατηγορία:Γραμμική άλγεβρα
Κατηγορία:Τανυστές