Levi-Civita-Symbol: Unterschied zwischen den Versionen

Aus cosmos-indirekt.de
imported>Benji
Als Komponenten einer Pseudotensordichte: Das Levi-Civita-Symbol in der ART, Abschnitt hinzugefügt. Passt hier am ehesten.
 
imported>Wassermaus
K Formatierung
 
Zeile 1: Zeile 1:
Das '''Levi-Civita-Symbol''' <math>\varepsilon_{i_1i_2\dots i_n}</math>, auch '''Permutationssymbol''', (ein wenig nachlässig) '''total antisymmetrischer Tensor''' oder '''[[Epsilon]]-Tensor''' genannt, ist ein Symbol, das in der [[Physik]] bei der [[Vektor]]- und [[Tensor]]rechnung nützlich ist. Es ist nach dem italienischen Mathematiker [[Tullio Levi-Civita|Tullio Levi-Civita]] benannt. Betrachtet man in der [[Mathematik]] allgemein [[Permutation]]en, spricht man meist stattdessen vom [[Vorzeichen (Permutation)|Vorzeichen]] der entsprechenden Permutation. In der [[Differentialgeometrie]] betrachtet man koordinatenunabhängig die [[Antisymmetrisierungsabbildung]] und den [[Hodge-Stern]].
Das '''Levi-Civita-Symbol''' <math>\varepsilon_{i_1i_2\dots i_n}</math>, auch '''Permutationssymbol''', (ein wenig nachlässig) '''total antisymmetrischer Tensor''' oder '''[[Epsilon]]-Tensor''' genannt, ist ein Symbol, das in der [[Physik]] bei der [[Vektor]]- und [[Tensor]]rechnung nützlich ist. Es ist nach dem italienischen Mathematiker [[Tullio Levi-Civita]] benannt. Betrachtet man in der [[Mathematik]] allgemein [[Permutation]]en, spricht man stattdessen meist vom [[Vorzeichen (Permutation)|Vorzeichen]] der entsprechenden Permutation. In der [[Differentialgeometrie]] betrachtet man koordinatenunabhängig die [[Antisymmetrisierungsabbildung]] und den [[Hodge-Stern]].


Die <math>n</math> [[Index_(Mathematik)|Indizes]] <math>i_1</math> bis <math>i_n</math> haben Werte von 1 bis <math>n</math>. Haben zwei oder mehr Indizes denselben Wert, so ist <math>\varepsilon_{i_1\dots i_n}=0</math>. Sind die Werte der Indizes verschieden, so gibt das Symbol an, ob eine gerade (<math>\varepsilon_{i_1\dots i_n}=+1</math>) oder eine ungerade (<math>\varepsilon_{i_1\dots i_n}=-1</math>) Anzahl von [[Vertauschung]]en der Indizes nötig ist, um die Werte aufsteigend anzuordnen. Zum Beispiel ist <math>\varepsilon_{132}=-1</math>, da eine einzige Vertauschung nötig ist, um 132 in die Reihenfolge 123 zu bringen.
Die <math>n</math> [[Index (Mathematik)|Indizes]] <math>i_1</math> bis <math>i_n</math> haben Werte von 1 bis <math>n</math>. Haben zwei oder mehr Indizes denselben Wert, so ist <math>\varepsilon_{i_1\dots i_n}=0</math>. Sind die Werte der Indizes verschieden, so gibt das Symbol an, ob eine gerade (<math>\varepsilon_{i_1\dots i_n}=+1</math>) oder eine ungerade (<math>\varepsilon_{i_1\dots i_n}=-1</math>) Anzahl von [[Vertauschung]]en der Indizes nötig ist, um die Werte aufsteigend anzuordnen. Zum Beispiel ist <math>\varepsilon_{132}=-1</math>, da eine einzige Vertauschung nötig ist, um 132 in die Reihenfolge 123 zu bringen.


== Definition ==
== Definition ==
 
Das Levi-Civita-Symbol in <math>n</math> Dimensionen hat <math>n</math> Indizes, die gewöhnlich von 1 bis <math>n</math> (für manche Anwendungen auch von 0 bis <math>n-1</math>) laufen. Es wird durch folgende Eigenschaften definiert:
Das Levi-Civita-Symbol in ''n'' Dimensionen hat ''n'' Indizes, die gewöhnlich von 1 bis ''n'' (für manche Anwendungen auch von 0 bis ''n''-1) laufen. Es wird durch folgende Eigenschaften definiert:
* <math>\varepsilon_{12\dots n} = 1</math>.
* <math>\varepsilon_{12\dots n} = 1</math>.
* Unter Vertauschung zweier Indizes ändert es das [[Vorzeichen (Zahl)|Vorzeichen]]: <math>\varepsilon_{ij\dots u\dots v\dots} = -\varepsilon_{ij\dots v\dots u\dots}</math>.
* Unter Vertauschung zweier Indizes ändert es das [[Vorzeichen (Zahl)|Vorzeichen]]: <math>\varepsilon_{ij\dots u\dots v\dots} = -\varepsilon_{ij\dots v\dots u\dots}</math>.
Zeile 15: Zeile 14:
   \varepsilon_{ijk\dots} =
   \varepsilon_{ijk\dots} =
   \begin{cases}
   \begin{cases}
     +1, & \mbox{falls }(i,j,k,\dots) \mbox{ eine gerade Permutation von } (1,2,3,\dots) \mbox{ ist,} \\
     +1, & \text{wenn }(i,j,k,\dots) \text{ eine gerade Permutation von } (1,2,3,\dots) \text{ ist,} \\
     -1, & \mbox{falls }(i,j,k,\dots) \mbox{ eine ungerade Permutation von } (1,2,3,\dots) \mbox{ ist,} \\
     -1, & \text{wenn }(i,j,k,\dots) \text{ eine ungerade Permutation von } (1,2,3,\dots) \text{ ist,} \\
     0,  & \mbox{wenn mindestens zwei Indizes gleich sind.}
     0,  & \text{wenn mindestens zwei Indizes gleich sind.}
   \end{cases}
   \end{cases}
</math>
</math>
Zeile 28: Zeile 27:
</math>.
</math>.


Es bezeichne <math>N=\{1,\dots,n\}</math> die Menge der natürlichen Zahlen von 1 bis <math>n</math>. Man kann das Levi-Civita-Symbol als eine [[Funktion_(Mathematik)|Abbildung]] <math>\varepsilon:\{i|i:N\rightarrow N\}\rightarrow\{-1,0,+1\}\subset\mathbb{R}</math> auffassen mit <math>\varepsilon(i)=0</math>, falls <math>i</math> nicht [[Bijektivität|bijektiv]] ist, und <math>\varepsilon(i)=\sgn(i)</math> sonst (also das Vorzeichen von <math>i</math>, falls <math>i</math> eine Permutation ist).
Es bezeichne <math>N=\{1,\dots,n\}</math> die Menge der natürlichen Zahlen von 1 bis <math>n</math>. Man kann das Levi-Civita-Symbol als eine [[Funktion (Mathematik)|Abbildung]] <math>\varepsilon:\{i|i:N\rightarrow N\}\rightarrow\{-1,0,+1\}\subset\mathbb{R}</math> auffassen mit <math>\varepsilon(i)=0</math>, falls <math>i</math> nicht [[Bijektivität|bijektiv]] ist, und <math>\varepsilon(i)=\sgn(i)</math> sonst (also das Vorzeichen von <math>i</math>, falls <math>i</math> eine Permutation ist).


== Zusammenhang mit der Determinante ==
== Zusammenhang mit der Determinante ==
Die [[Determinante (Mathematik)|Determinante]] einer <math>n \times n</math>-[[Matrix (Mathematik)|Matrix]] <math>A = \left(A_{ij}\right)</math> kann mit dem Levi-Civita-Symbol und der [[Einsteinsche Summenkonvention|Summenkonvention]] wie folgt geschrieben werden:
Die [[Determinante (Mathematik)|Determinante]] einer <math>n \times n</math>-[[Matrix (Mathematik)|Matrix]] <math>A = \left(A_{ij}\right)</math> kann mit dem Levi-Civita-Symbol und der [[Einsteinsche Summenkonvention|Summenkonvention]] wie folgt geschrieben werden:


:<math>
:<math>
   \det A = \varepsilon_{j_1 \dots j_n}  
   \det A = \varepsilon_{j_1 \dots j_n}
           A_{1j_1} \dots A_{nj_n} \;.
           A_{1j_1} \dots A_{nj_n} \;.
</math>
</math>
Zeile 59: Zeile 57:
</math>.
</math>.


Dabei sind die Zeilen der Matrix die Einheitsvektoren aus der [[Euklidischer_Raum#Der_reelle_Koordinatenraum|Standardbasis]] <math>\{e_1,\dots,e_n\}</math> des <math>\mathbb R^n</math>. Diese Matrix ist also diejenige [[Permutationsmatrix]], welche den Vektor <math>\begin{pmatrix}x_1&x_2&\dots&x_n\end{pmatrix}^T</math> auf <math>\begin{pmatrix}x_{i_1}&x_{i_2}&\dots&x_{i_n}\end{pmatrix}^T</math> abbildet. Daraus erhält man mit Hilfe der [[Determinante#Determinantenproduktsatz|Produktregel für Determinanten]] einen Ausdruck für das folgende [[Tensorprodukt]]:
Dabei sind die Zeilen der Matrix die Einheitsvektoren aus der [[Euklidischer Raum#Der reelle Koordinatenraum|Standardbasis]] <math>\{e_1,\dots,e_n\}</math> des <math>\mathbb R^n</math>. Diese Matrix ist also diejenige [[Permutationsmatrix]], welche den Vektor <math>\begin{pmatrix}x_1&x_2&\dots&x_n\end{pmatrix}^T</math> auf <math>\begin{pmatrix}x_{i_1}&x_{i_2}&\dots&x_{i_n}\end{pmatrix}^T</math> abbildet. Daraus erhält man mit Hilfe der [[Determinante#Determinantenproduktsatz|Produktregel für Determinanten]] einen Ausdruck für das folgende [[Tensorprodukt]]:


:<math>
:<math>
Zeile 71: Zeile 69:
</math>.
</math>.


Unter Verwendung des [[Determinante_(Mathematik)#Laplacescher_Entwicklungssatz|laplaceschen Entwicklungssatzes]] erhält man daraus die folgende Beziehung, wenn man über die jeweils ersten <math>k</math> Indizes beider Tensoren [[Tensorverjüngung|verjüngt]]:
Unter Verwendung des [[Determinante (Mathematik)#Laplacescher Entwicklungssatz|laplaceschen Entwicklungssatzes]] erhält man daraus die folgende Beziehung, wenn man über die jeweils ersten <math>k</math> Indizes beider Tensoren [[Tensorverjüngung|verjüngt]]:


:<math>
:<math>
Zeile 86: Zeile 84:
  \operatorname{adj}(A)_{ij} = \dfrac{1}{(n-1)!}
  \operatorname{adj}(A)_{ij} = \dfrac{1}{(n-1)!}
   \varepsilon_{i\, i_2 \dots i_n}
   \varepsilon_{i\, i_2 \dots i_n}
   \varepsilon_{j\, j_2 \dots j_n}  
   \varepsilon_{j\, j_2 \dots j_n}
   A_{j_2 i_2} \dots A_{j_n i_n}
   A_{j_2 i_2} \dots A_{j_n i_n}
</math>.
</math>.


=== Speziell in drei Dimensionen ===
=== Speziell in drei Dimensionen ===
Das Levi-Civita-Symbol lässt sich als [[Spatprodukt]] dreier [[Orthogonalität|orthogonaler]] [[Einheitsvektor]]en darstellen:
Das Levi-Civita-Symbol lässt sich als [[Spatprodukt]] dreier [[Orthogonalität|orthogonaler]] [[Einheitsvektor]]en darstellen:


Zeile 122: Zeile 119:


== Als Komponenten einer Pseudotensordichte ==
== Als Komponenten einer Pseudotensordichte ==
Definiert man eine <math>n</math>-fach kovariante [[Pseudotensordichte]] vom Gewicht -1, indem man für eine gegebene geordnete Basis des <math>R^n</math> und alle <math>(i_1,\ldots,i_n) \in\{1,\ldots,n\}^n</math> ihre Komponenten durch <math>\varepsilon_{i_1...i_n}</math> festlegt, so ändern sich die Komponenten dieser Pseudotensordichte bei einem Basiswechsel nicht. In diesem Sinn stellt also das Levi-Civita-Symbol bezüglich beliebiger Basen die Komponenten einer Pseudotensordichte dar. Daraus folgt insbesondere, dass das Symbol die Komponenten eines [[Tensor]]s beschreibt, wenn man nur Orthonormalbasen positiver Orientierung betrachtet.
Definiert man eine <math>n</math>-fach kovariante [[Pseudotensordichte]] vom Gewicht -1, indem man für eine gegebene geordnete Basis des <math>R^n</math> und alle <math>(i_1,\ldots,i_n) \in\{1,\ldots,n\}^n</math> ihre Komponenten durch <math>\varepsilon_{i_1...i_n}</math> festlegt, so ändern sich die Komponenten dieser Pseudotensordichte bei einem Basiswechsel nicht. In diesem Sinn stellt also das Levi-Civita-Symbol bezüglich beliebiger Basen die Komponenten einer Pseudotensordichte dar. Daraus folgt insbesondere, dass das Symbol die Komponenten eines [[Tensor]]s beschreibt, wenn man nur Orthonormalbasen positiver Orientierung betrachtet.


In ähnlicher Weise kann im <math>R^n</math> oder allgemeiner auf einer <math>n</math>-dimensionalen orientierbaren [[Pseudo-Riemannsche Mannigfaltigkeit|semi-riemannschen Mannigfaltigkeit]] das Levi-Civita-Symbol zur Definition der [[Indexnotation von Tensoren|Komponenten]] eines kovarianten total schiefsymmetrischen [[Tensorfeld]]es <math>n</math>-ter Stufe, einer sogenannten [[Differentialform]], benutzt werden. Eine solche Differentialform ist nur bis auf einen [[Skalar_(Mathematik)|skalaren]] Faktor bestimmt. Die Wahl des Vorfaktors fixiert die Volumeneinheit und definiert die Differentialform als [[Volumenform]]. Im [[Euklidischer_Raum|euklidischen Raum]] steht das Levi-Civita-Symbol für die Komponenten des Standardvolumens in der Standardbasis <math>\{e_i,\dots,e_n\}</math>. Bezüglich einer anderen [[Basis_(Vektorraum)|Basis]] <math>e'_i=C_{ji}e_j</math> hat derselbe Tensor offenbar die Komponenten <math>(\det C^{-1})\varepsilon_{i_1\dots i_n}</math>, wobei <math>C=(C_{ij})</math> und <math>C^{-1}</math> die dazu [[inverse Matrix]] ist. Ist die Basis nicht [[Orthonormalität|orthonormal]] bezüglich des [[Standardskalarprodukt]]s, dann unterscheiden sich entsprechend [[Tensor#Ko- und Kontravarianz|ko- und kontravariante]] Komponenten des Tensors. Der Vorfaktor hängt von den [[Koordinatensystem|Koordinaten]] ab, wenn [[Krummlinige_Koordinaten|krummlinige Koordinaten]] verwendet werden oder der zugrunde liegende Basisraum eine ([[Orientierung_(Mathematik)#Orientierung_einer_Mannigfaltigkeit|orientierbare]]) [[Mannigfaltigkeit]] ist. Für eine semi-riemannsche Mannigfaltigkeit mit [[Metrischer Tensor|metrischem Tensor]] <math>g</math> und der zugehörigen riemannschen Volumenform (siehe [[Hodge-Stern-Operator]]) ist der Vorfaktor gegeben durch <math>\pm\sqrt{\det g}</math>. Das Vorzeichen hängt von der gewählten [[Orientierung_(Mathematik)#Orientierung_einer_Mannigfaltigkeit|Orientierung]] ab. Der Zusammenhang zwischen Levi-Civita-Symbol und [[Kronecker-Delta]] verallgemeinert sich zu
In ähnlicher Weise kann im <math>R^n</math> oder allgemeiner auf einer <math>n</math>-dimensionalen orientierbaren [[Pseudo-Riemannsche Mannigfaltigkeit|semi-riemannschen Mannigfaltigkeit]] das Levi-Civita-Symbol zur Definition der [[Indexnotation von Tensoren|Komponenten]] eines kovarianten total schiefsymmetrischen [[Tensorfeld]]es <math>n</math>-ter Stufe, einer sogenannten [[Differentialform]], benutzt werden. Eine solche Differentialform ist nur bis auf einen [[Skalar (Mathematik)|skalaren]] Faktor bestimmt. Die Wahl des Vorfaktors fixiert die Volumeneinheit und definiert die Differentialform als [[Volumenform]]. Im [[Euklidischer Raum|euklidischen Raum]] steht das Levi-Civita-Symbol für die Komponenten des Standardvolumens in der Standardbasis <math>\{e_i,\dots,e_n\}</math>. Bezüglich einer anderen [[Basis (Vektorraum)|Basis]] <math>e'_i=C_{ji}e_j</math> hat derselbe Tensor offenbar die Komponenten <math>(\det C^{-1})\varepsilon_{i_1\dots i_n}</math>, wobei <math>C=(C_{ij})</math> und <math>C^{-1}</math> die dazu [[inverse Matrix]] ist. Ist die Basis nicht [[Orthonormalität|orthonormal]] bezüglich des [[Standardskalarprodukt]]s, dann unterscheiden sich entsprechend [[Tensor#Ko- und Kontravarianz von Vektoren|ko- und kontravariante]] Komponenten des Tensors. Der Vorfaktor hängt von den [[Koordinatensystem|Koordinaten]] ab, wenn [[krummlinige Koordinaten]] verwendet werden oder der zugrunde liegende Basisraum eine ([[Orientierung (Mathematik)#Orientierung einer Mannigfaltigkeit|orientierbare]]) [[Mannigfaltigkeit]] ist. Für eine semi-riemannsche Mannigfaltigkeit mit [[Metrischer Tensor|metrischem Tensor]] <math>g</math> und der zugehörigen riemannschen Volumenform (siehe [[Hodge-Stern-Operator]]) ist der Vorfaktor gegeben durch <math>\pm\sqrt{\det g}</math>. Das Vorzeichen hängt von der gewählten [[Orientierung (Mathematik)#Orientierung einer Mannigfaltigkeit|Orientierung]] ab. Der Zusammenhang zwischen Levi-Civita-Symbol und [[Kronecker-Delta]] verallgemeinert sich zu
:<math>
:<math>
  (\det g)\varepsilon_{i_1 \dots i_n}\varepsilon_{j_1 \dots j_n}=
  (\det g)\varepsilon_{i_1 \dots i_n}\varepsilon_{j_1 \dots j_n}=
Zeile 136: Zeile 132:


=== Das Levi-Civita-Symbol in der allgemeinen Relativitätstheorie ===
=== Das Levi-Civita-Symbol in der allgemeinen Relativitätstheorie ===
In der allgemeinen Relativitätstheorie ist auch die Notation <math>[ \alpha, \beta, \gamma, \cdots ]</math> gebräuchlich. Sie kennzeichnet in der Regel das Levi-Civita-Symbol im flachen Raum<ref>[[Éric Gourgoulhon]]: The 3+1 Formalism in General Relativity, Springer 2012, ISBN 978-3-642-24524-1</ref> und wird mit der Definition (hier konventionell in 3D)
In der allgemeinen Relativitätstheorie ist auch die Notation <math>[ \alpha, \beta, \gamma, \cdots ]</math> gebräuchlich. Sie kennzeichnet in der Regel das Levi-Civita-Symbol im flachen Raum<ref>[[Éric Gourgoulhon]]: ''The 3+1 Formalism in General Relativity.'' Springer, 2012, ISBN 978-3-642-24524-4.</ref> und wird mit der Definition (hier konventionell in 3D)
:<math>\epsilon_{\alpha, \beta, \gamma} = \sqrt{g} [\alpha, \beta, \gamma, \cdots]</math>
:<math>\epsilon_{\alpha, \beta, \gamma} = \sqrt{g}\,[\alpha, \beta, \gamma, \cdots]</math>
mit der Metrik-Determinanten <math>g=det(g_{\mu\nu})</math> zum Levi-Civita-(Pseudo)tensor. Dabei wird durch die Metrik in der Regel eine Orthonormalbasis gegeben. Der Levi-Civita-Tensor transformiert sich dann wie ein Tensor. Deswegen ist im Allgemeinen das [[Kreuzprodukt]] <math>\vec{a} \times \vec{b}</math> in einer dreidimensionalen raumartigen [[Hyperfläche]] (wie sie in der 3+1-Cauchy-Initial Value-Formulierung verwendet wird, vgl. [[ADM-Masse]]) nicht eindeutig definiert.
mit der Metrik-Determinanten <math>g=\det(g_{\mu\nu})</math> zum Levi-Civita-(Pseudo)tensor. Dabei wird durch die Metrik in der Regel eine Orthonormalbasis gegeben. Der Levi-Civita-Tensor transformiert sich dann wie ein Tensor. Deswegen ist im Allgemeinen das [[Kreuzprodukt]] <math>\vec{a} \times \vec{b}</math> in einer dreidimensionalen raumartigen [[Hyperfläche]] (wie sie in der 3+1-Cauchy-Initial Value-Formulierung verwendet wird, vgl. [[ADM-Masse]]) nicht eindeutig definiert.


== Anwendungen ==
== Anwendungen ==
=== Vektorrechnung ===
=== Vektorrechnung ===
Für den dreidimensionalen Fall ergibt sich
Für den dreidimensionalen Fall ergibt sich
:<math>
:<math>
Zeile 149: Zeile 143:
</math>
</math>
wobei <math> i,j,k \in  \lbrace1,2,3\rbrace </math>.
wobei <math> i,j,k \in  \lbrace1,2,3\rbrace </math>.
[[Bild:Levi-Civita Symbol cen.svg|thumb|Werte des Levi-Civita-Symbols für ein rechtshändiges Koordinatensystem]]
[[Datei:Levi-Civita Symbol cen.svg|mini|Werte des Levi-Civita-Symbols für ein rechtshändiges Koordinatensystem]]
[[Bild:Epsilontensor.svg|thumb|right|Matrixdarstellung des Levi-Civita-Symbols und ...]]
[[Datei:Epsilontensor.svg|mini|Matrixdarstellung des Levi-Civita-Symbols und ...]]
[[Bild:LeviCivitaTensor.jpg|thumb|korrespondierende Darstellung des Levi-Civita-Symbols für ein linkshändiges Koordinatensystem]]
[[Datei:LeviCivitaTensor.jpg|mini|korrespondierende Darstellung des Levi-Civita-Symbols für ein linkshändiges Koordinatensystem]]


Wie der nebenstehenden Abbildung zu entnehmen, sind dabei lediglich 6 der insgesamt 27 Komponenten von <math> \varepsilon_{ijk}</math> ungleich null:
Wie der nebenstehenden Abbildung zu entnehmen, sind dabei lediglich 6 der insgesamt 27 Komponenten von <math> \varepsilon_{ijk}</math> ungleich null:
Zeile 159: Zeile 153:


Oder als Merkregel: 123123 Nun resultiert +1 wenn man von links nach rechts abliest, und -1 wenn man von rechts nach links abliest.
Oder als Merkregel: 123123 Nun resultiert +1 wenn man von links nach rechts abliest, und -1 wenn man von rechts nach links abliest.
In diesem Beispiel erkennt man ferner eine [[Invariante (Mathematik)|Invarianz]] unter [[Zyklische Permutation|zyklischer Permutation]] der Indizes, die allerdings nur dann gilt, wenn ''n'' ungerade ist - ist das nicht der Fall, geht eine zyklische Permutation der Indizes mit einem Vorzeichenwechsel einher.
In diesem Beispiel erkennt man ferner eine [[Invariante (Mathematik)|Invarianz]] unter [[Zyklische Permutation|zyklischer Permutation]] der Indizes, die allerdings nur dann gilt, wenn ''n'' ungerade ist ist das nicht der Fall, geht eine zyklische Permutation der Indizes mit einem Vorzeichenwechsel einher.


Das folgende Zahlenbeispiel demonstriert die Darstellung als Determinante, welche im dreidimensionalen Fall auch durch das [[Spatprodukt]] ausgedrückt werden kann:
Das folgende Zahlenbeispiel demonstriert die Darstellung als Determinante, welche im dreidimensionalen Fall auch durch das [[Spatprodukt]] ausgedrückt werden kann:
Zeile 174: Zeile 168:


:<math>
:<math>
   (\vec{a} \times \vec{b})_i =  
   (\vec{a} \times \vec{b})_i =
     \sum_{j=1}^3 \sum_{k=1}^3 \varepsilon_{ijk} a_j b_k \;.
     \sum_{j=1}^3 \sum_{k=1}^3 \varepsilon_{ijk} a_j b_k \;.
</math>
</math>
Zeile 200: Zeile 194:
:<math>
:<math>
\begin{align}
\begin{align}
  \varepsilon_{ijk} \varepsilon_{lmn} &=  
  \varepsilon_{ijk} \varepsilon_{lmn} &=
  \begin{vmatrix}
  \begin{vmatrix}
   \delta_{il} & \delta_{im} & \delta_{in} \\
   \delta_{il} & \delta_{im} & \delta_{in} \\
   \delta_{jl} & \delta_{jm} & \delta_{jn} \\
   \delta_{jl} & \delta_{jm} & \delta_{jn} \\
   \delta_{kl} & \delta_{km} & \delta_{kn}
   \delta_{kl} & \delta_{km} & \delta_{kn}
  \end{vmatrix}\\ &=  
  \end{vmatrix}\\ &=
   \delta_{il} \delta_{jm} \delta_{kn} + \delta_{im} \delta_{jn} \delta_{kl} + \delta_{in} \delta_{jl} \delta_{km}
   \delta_{il} \delta_{jm} \delta_{kn} + \delta_{im} \delta_{jn} \delta_{kl} + \delta_{in} \delta_{jl} \delta_{km}
   -\delta_{im} \delta_{jl} \delta_{kn} - \delta_{il} \delta_{jn} \delta_{km} - \delta_{in} \delta_{jm} \delta_{kl}
   -\delta_{im} \delta_{jl} \delta_{kn} - \delta_{il} \delta_{jn} \delta_{km} - \delta_{in} \delta_{jm} \delta_{kl}\textrm{.}
\end{align}
\end{align}
</math>.
</math>
 
Aus dieser folgt (wiederum mit Summenkonvention)
Aus dieser folgt (wiederum mit Summenkonvention)
:<math>
:<math>
Zeile 217: Zeile 212:
   \delta_{jm} & \delta_{jn} \\
   \delta_{jm} & \delta_{jn} \\
   \delta_{km} & \delta_{kn}
   \delta_{km} & \delta_{kn}
  \end{vmatrix} =  
  \end{vmatrix} =
  \delta_{jm} \delta_{kn} - \delta_{jn} \delta_{km}\\
  \delta_{jm} \delta_{kn} - \delta_{jn} \delta_{km}\\
  \varepsilon_{ijk} \varepsilon_{ijn} &= 2\delta_{kn}\\
  \varepsilon_{ijk} \varepsilon_{ijn} &= 2\delta_{kn}\\
Zeile 225: Zeile 220:
Diese Beziehungen sind hilfreich bei der Herleitung von Identitäten für das [[Kreuzprodukt]].
Diese Beziehungen sind hilfreich bei der Herleitung von Identitäten für das [[Kreuzprodukt]].


Weiterhin ordnet der Epsilon-Tensor einem Vektor <math>\vec{a}</math> eine [[Schiefsymmetrische_Matrix#Kreuzprodukt|schiefsymmetrische Matrix]] <math>A</math> mit <math>A_{ij}=\varepsilon_{ijk}a_k</math> zu. Damit kann das Kreuzprodukt als Matrixprodukt <math>\vec{a}\times\vec{b}=-A\cdot\vec{b}</math> ausgedrückt werden. In der Mathematik wird diese Zuordnung als [[Hodge-Stern-Operator]] bezeichnet. Ein Beispiel ist die Zuordnung des [[Magnetische_Flussdichte|magnetischen Feldvektors]] zu den entsprechenden Komponenten im [[Elektromagnetischer_Feldstärketensor#Darstellung_als_Matrix|elektromagnetischen Feldstärketensor]]. Solch eine Zuordnung ist auch für andere [[Pseudovektor|axiale Vektoren]], etwa für den [[Drehimpuls|Drehimpulsvektor]], üblich.
Weiterhin ordnet der Epsilon-Tensor einem Vektor <math>\vec{a}</math> eine [[Schiefsymmetrische Matrix#Kreuzprodukt|schiefsymmetrische Matrix]] <math>A</math> mit <math>A_{ij}=\varepsilon_{ijk}a_k</math> zu. Damit kann das Kreuzprodukt als Matrixprodukt <math>\vec{a}\times\vec{b}=-A\cdot\vec{b}</math> ausgedrückt werden. In der Mathematik wird diese Zuordnung als [[Hodge-Stern-Operator]] bezeichnet. Ein Beispiel ist die Zuordnung des [[Magnetische Flussdichte|magnetischen Feldvektors]] zu den entsprechenden Komponenten im [[Elektromagnetischer Feldstärketensor#Darstellung als Matrix|elektromagnetischen Feldstärketensor]]. Solch eine Zuordnung ist auch für andere [[Pseudovektor|axiale Vektoren]], etwa für den [[Drehimpuls]]vektor, üblich.


=== Relativitätstheorie ===
=== Relativitätstheorie ===
 
In der [[Relativitätstheorie]] muss zwischen [[Tensor#Ko- und Kontravarianz von Vektoren|ko- und kontravarianten]] Komponenten des Epsilon-Tensors unterschieden werden. Im Folgenden sei im vierdimensionalen [[Minkowski-Raum]] die [[Signatur (lineare Algebra)|Signatur]] des [[Metrischer Tensor|metrischen Tensors]] <math>\,\eta_{ij}</math> als (1,−1,−1,−1) festgelegt. Die Indizes sollen Werte von 0 bis 3 annehmen. Weiterhin sei für die vierfach kontravariante Komponente <math>\varepsilon^{0123}=1</math> festgelegt.<ref>{{Literatur |Autor=John David Jackson |Titel=Classical Electrodynamics |Auflage=3. |Verlag=John Wiley & Sons |Datum=1999 |ISBN=0-471-30932-X}}</ref> Unterschiedliche Autoren verwenden verschiedene Konventionen für die Vorzeichen in Metrik und Epsilon-Tensor. Wie üblich werden Indizes mit dem metrischen Tensor bewegt. Dann erhält man zum Beispiel für die vierfach kovariante Komponente <math>\varepsilon_{0123}=\eta_{0\mu}\eta_{1\nu}\eta_{2\varrho}\eta_{3\sigma}\varepsilon^{\mu\nu\varrho\sigma}=\det(\eta)=-1</math>.
In der [[Relativitätstheorie]] muss zwischen [[Tensor#Ko- und Kontravarianz|ko- und kontravarianten]] Komponenten des Epsilon-Tensors unterschieden werden. Im Folgenden sei im vierdimensionalen [[Minkowski-Raum]] die [[Signatur_(lineare_Algebra)|Signatur]] des [[metrischer Tensor|metrischen Tensors]] <math>\,\eta_{ij}</math> als (1,-1,-1,-1) festgelegt. Die Indizes sollen Werte von 0 bis 3 annehmen. Weiterhin sei für die vierfach kontravariante Komponente <math>\varepsilon^{0123}=1</math> festgelegt.<ref>{{Literatur | Autor=John David Jackson | Titel=Classical Electrodynamics | Auflage=3. | Verlag=John Wiley & Sons, Inc. | Jahr=1999 | ISBN=0-471-30932-X}}</ref> Unterschiedliche Autoren verwenden verschiedene Konventionen für die Vorzeichen in Metrik und Epsilon-Tensor. Wie üblich werden Indizes mit dem metrischen Tensor bewegt. Dann erhält man zum Beispiel für die vierfach kovariante Komponente <math>\varepsilon_{0123}=\eta_{0\mu}\eta_{1\nu}\eta_{2\varrho}\eta_{3\sigma}\varepsilon^{\mu\nu\varrho\sigma}=\det(\eta)=-1</math>.  


Der Epsilon-Tensor bleibt unter einer eigentlichen [[Lorentztransformation]] <math>\Lambda</math> invariant:
Der Epsilon-Tensor bleibt unter einer eigentlichen [[Lorentztransformation]] <math>\Lambda</math> invariant:
Zeile 235: Zeile 229:
   \varepsilon^{\prime \mu\nu\varrho\sigma} = \Lambda^{\mu}_{\ \mu^\prime}\Lambda^{\nu}_{\ \nu^\prime}\Lambda^{\varrho}_{\ \varrho^\prime}\Lambda^{\sigma}_{\ \sigma^\prime}\varepsilon^{\mu^\prime\nu^\prime\varrho^\prime\sigma^\prime} = \varepsilon^{\mu\nu\varrho\sigma}
   \varepsilon^{\prime \mu\nu\varrho\sigma} = \Lambda^{\mu}_{\ \mu^\prime}\Lambda^{\nu}_{\ \nu^\prime}\Lambda^{\varrho}_{\ \varrho^\prime}\Lambda^{\sigma}_{\ \sigma^\prime}\varepsilon^{\mu^\prime\nu^\prime\varrho^\prime\sigma^\prime} = \varepsilon^{\mu\nu\varrho\sigma}
</math>
</math>
Dies folgt direkt aus der Tatsache, dass die Determinante von <math>\Lambda</math> gleich 1 ist. Der Epsilon-Tensor kann verwendet werden, um den [[Differentialform#Duale_Form_und_Stern-Operator|dualen]] [[Elektromagnetischer_Feldstärketensor#Darstellung_als_Matrix|elektromagnetischen Feldstärketensor]] <math>\tilde{F}^{\mu\nu}=\tfrac{1}{2}\varepsilon^{\mu\nu\varrho\sigma}F_{\varrho\sigma}</math> zu definieren, mit dessen Hilfe sich wiederum die homogenen [[Maxwellsche_Gleichungen#Kovariante_Formulierung_der_Maxwellgleichungen|Maxwell-Gleichungen]] <math>\partial_{\mu} \tilde{F}^{\mu\nu}=0</math> kompakt notieren lassen.
Dies folgt direkt aus der Tatsache, dass die Determinante von <math>\Lambda</math> gleich 1 ist. Der Epsilon-Tensor kann verwendet werden, um den [[Differentialform#Duale Form und Stern-Operator|dualen]] [[Elektromagnetischer Feldstärketensor#Darstellung als Matrix|elektromagnetischen Feldstärketensor]] <math>\tilde{F}^{\mu\nu}=\tfrac{1}{2}\varepsilon^{\mu\nu\varrho\sigma}F_{\varrho\sigma}</math> zu definieren, mit dessen Hilfe sich wiederum die homogenen [[Maxwellsche Gleichungen#Kovariante Formulierung der Maxwellgleichungen|Maxwell-Gleichungen]] <math>\partial_{\mu} \tilde{F}^{\mu\nu}=0</math> kompakt notieren lassen.


Eine Anwendung des zweistufigen Epsilon-Tensors in der Relativitätstheorie ergibt sich, wenn man den [[Minkowski-Raum]] auf den Vektorraum der [[hermitesche Matrix|hermiteschen]] <math>2\times 2</math>-Matrizen abbildet: <math>v_{\alpha\dot\alpha}=\sigma^m_{\alpha\dot\alpha}v_m</math>. Dabei sind <math>\,\sigma^m</math> für <math>\,m=1,2,3</math> die [[Pauli-Matrizen]] und <math>\,\sigma_0=-E_2</math> die negative [[Einheitsmatrix]]. Entsprechend erfolgt dann die Zuordnung von Tensoren. Der metrische Tensor wird dabei auf das Produkt zweier Epsilon-Tensoren abgebildet: <math>\sigma^m_{\alpha\dot\alpha}\sigma^n_{\beta\dot\beta}\eta_{mn}=-2\varepsilon_{\alpha\beta}\varepsilon_{\dot\alpha\dot\beta}</math>. In diesem Formalismus sind Objekte mit einem Index [[Spinor|Spinoren]] <math>\,\psi^\alpha</math>, und der Epsilon-Tensor spielt bei der Umrechnung von ko- in kontravariante Komponenten die gleiche Rolle wie der metrische Tensor <math>\,\eta_{mn}</math> im gewöhnlichen Minkowski-Raum: <math>\psi_\alpha=\varepsilon_{\alpha\beta}\psi^\beta</math>. Dieser Formalismus ist unter dem Namen [[Van-der-Waerden-Notation]] bekannt. Für die Metrik wird üblicherweise die Signatur (-1,1,1,1) gewählt. Für den Epsilon-Tensor gilt hierbei die Festlegung <math>\varepsilon^{12}=\varepsilon_{21}=1</math>.<ref>{{Literatur | Autor=Julius Wess, Jonathan Bagger | Titel=Supersymmetry and Supergravity | Verlag=Princeton University Press | Jahr=1983}}</ref>
Eine Anwendung des zweistufigen Epsilon-Tensors in der Relativitätstheorie ergibt sich, wenn man den [[Minkowski-Raum]] auf den Vektorraum der [[Hermitesche Matrix|hermiteschen]] <math>2\times 2</math>-Matrizen abbildet: <math>v_{\alpha\dot\alpha}=\sigma^m_{\alpha\dot\alpha}v_m</math>. Dabei sind <math>\,\sigma^m</math> für <math>\,m=1,2,3</math> die [[Pauli-Matrizen]] und <math>\,\sigma_0=-E_2</math> die negative [[Einheitsmatrix]]. Entsprechend erfolgt dann die Zuordnung von Tensoren. Der metrische Tensor wird dabei auf das Produkt zweier Epsilon-Tensoren abgebildet: <math>\sigma^m_{\alpha\dot\alpha}\sigma^n_{\beta\dot\beta}\eta_{mn}=-2\varepsilon_{\alpha\beta}\varepsilon_{\dot\alpha\dot\beta}</math>. In diesem Formalismus sind Objekte mit einem Index [[Spinor]]en <math>\,\psi^\alpha</math>, und der Epsilon-Tensor spielt bei der Umrechnung von ko- in kontravariante Komponenten die gleiche Rolle wie der metrische Tensor <math>\,\eta_{mn}</math> im gewöhnlichen Minkowski-Raum: <math>\psi_\alpha=\varepsilon_{\alpha\beta}\psi^\beta</math>. Dieser Formalismus ist unter dem Namen [[Van-der-Waerden-Notation]] bekannt. Für die Metrik wird üblicherweise die Signatur (−1,1,1,1) gewählt. Für den Epsilon-Tensor gilt hierbei die Festlegung <math>\varepsilon^{12}=\varepsilon_{21}=1</math>.<ref>{{Literatur |Autor=Julius Wess, Jonathan Bagger |Titel=Supersymmetry and Supergravity |Verlag=Princeton University Press |Datum=1983 |ISBN=9971-950-67-7}}</ref>


=== Quantenmechanik ===
=== Quantenmechanik ===
 
In der [[Quantenmechanik]] wird das Levi-Civita-Symbol bei der Formulierung der [[Drehimpulsoperator|Drehimpulsalgebra]] verwendet. In mathematischen Begriffen ausgedrückt stimmt das Symbol mit den [[Strukturkonstante]]n der [[Lie-Algebra|Lie-Algebren]] <math>\mathfrak{so}(3,\mathbb R)\cong \mathfrak{su}(2,\mathbb C)</math> überein. Das folgende Beispiel illustriert die Anwendung des Levi-Civita-Symbols in diesem Zusammenhang. Die Lie-Algebra <math>\mathfrak{so}(3,\mathbb R)</math> kann als die [[Lie-Algebra#Unteralgebra|Unteralgebra]] der [[Schiefsymmetrische Matrix|schiefsymmetrischen Matrizen]] in  <math>\mathbb R^{3\times 3}</math>, das heißt der reellen  <math>3\times 3</math>-Matrizen, [[Darstellungstheorie|dargestellt]] werden. Die Generatoren (eine Basis) von <math>\mathfrak{so}(3,\mathbb R)</math> ist gegeben durch die Matrizen <math>T_i\in\mathbb R^{3\times 3}</math>, <math>i=1,2,3</math>, mit den Komponenten  <math>(T_i)_{jk}=-\varepsilon_{ijk}</math>. Die [[Kommutator (Mathematik)#Kommutatoren in Algebren|Kommutatoren]] der Generatoren lauten dann <math>[T_i,T_j]=\varepsilon_{ijk}T_k</math>.
In der [[Quantenmechanik]] wird das Levi-Civita-Symbol bei der Formulierung der [[Drehimpulsoperator|Drehimpulsalgebra]] verwendet. In mathematischen Begriffen ausgedrückt stimmt das Symbol mit den [[Strukturkonstante]]n der [[Lie-Algebra|Lie-Algebren]] <math>\mathfrak{so}(3,\mathbb R)\cong \mathfrak{su}(2,\mathbb C)</math> überein. Das folgende Beispiel illustriert die Anwendung des Levi-Civita-Symbols in diesem Zusammenhang. Die Lie-Algebra <math>\mathfrak{so}(3,\mathbb R)</math> kann als die [[Lie-Algebra#Unteralgebra|Unteralgebra]] der [[Schiefsymmetrische Matrix|schiefsymmetrischen Matrizen]] in  <math>\mathbb R^{3\times 3}</math>, das heißt der reellen  <math>3\times 3</math>-Matrizen, [[Darstellungstheorie|dargestellt]] werden. Die Generatoren (eine Basis) von <math>\mathfrak{so}(3,\mathbb R)</math> ist gegeben durch die Matrizen <math>T_i\in\mathbb R^{3\times 3}</math>, <math>i=1,2,3</math>, mit den Komponenten  <math>(T_i)_{jk}=-\varepsilon_{ijk}</math>. Die [[Kommutator_(Mathematik)#Kommutatoren_in_Algebren|Kommutatoren]] der Generatoren lauten dann <math>[T_i,T_j]=\varepsilon_{ijk}T_k</math>.


== Einzelnachweise ==
== Einzelnachweise ==

Aktuelle Version vom 1. August 2021, 23:23 Uhr

Das Levi-Civita-Symbol εi1i2in, auch Permutationssymbol, (ein wenig nachlässig) total antisymmetrischer Tensor oder Epsilon-Tensor genannt, ist ein Symbol, das in der Physik bei der Vektor- und Tensorrechnung nützlich ist. Es ist nach dem italienischen Mathematiker Tullio Levi-Civita benannt. Betrachtet man in der Mathematik allgemein Permutationen, spricht man stattdessen meist vom Vorzeichen der entsprechenden Permutation. In der Differentialgeometrie betrachtet man koordinatenunabhängig die Antisymmetrisierungsabbildung und den Hodge-Stern.

Die n Indizes i1 bis in haben Werte von 1 bis n. Haben zwei oder mehr Indizes denselben Wert, so ist εi1in=0. Sind die Werte der Indizes verschieden, so gibt das Symbol an, ob eine gerade (εi1in=+1) oder eine ungerade (εi1in=1) Anzahl von Vertauschungen der Indizes nötig ist, um die Werte aufsteigend anzuordnen. Zum Beispiel ist ε132=1, da eine einzige Vertauschung nötig ist, um 132 in die Reihenfolge 123 zu bringen.

Definition

Das Levi-Civita-Symbol in n Dimensionen hat n Indizes, die gewöhnlich von 1 bis n (für manche Anwendungen auch von 0 bis n1) laufen. Es wird durch folgende Eigenschaften definiert:

  • ε12n=1.
  • Unter Vertauschung zweier Indizes ändert es das Vorzeichen: εijuv=εijvu.

Aus der zweiten Eigenschaft folgt sofort: Falls zwei Indizes gleich sind, ist der Wert null: εijuu=0.

Gleichwertig ist die Definition

εijk={+1,wenn (i,j,k,) eine gerade Permutation von (1,2,3,) ist,1,wenn (i,j,k,) eine ungerade Permutation von (1,2,3,) ist,0,wenn mindestens zwei Indizes gleich sind.

Eine alternative Definition verwendet eine Formel, welche auch für die Darstellung des Vorzeichens einer Permutation benutzt wird:

εi1in=1p<qnipiqpq.

Es bezeichne N={1,,n} die Menge der natürlichen Zahlen von 1 bis n. Man kann das Levi-Civita-Symbol als eine Abbildung ε:{i|i:NN}{1,0,+1} auffassen mit ε(i)=0, falls i nicht bijektiv ist, und ε(i)=sgn(i) sonst (also das Vorzeichen von i, falls i eine Permutation ist).

Zusammenhang mit der Determinante

Die Determinante einer n×n-Matrix A=(Aij) kann mit dem Levi-Civita-Symbol und der Summenkonvention wie folgt geschrieben werden:

detA=εj1jnA1j1Anjn.

Allgemeiner gilt der Zusammenhang

εi1indetA=εj1jnAi1j1Ainjn.

Setzt man in diese Beziehung für A die Einheitsmatrix En ein, also für Aij das Kronecker-Delta δij, so erhält man wegen detE=1 die folgende Darstellung des Levi-Civita-Symbols:

εi1in=εj1jnδi1j1δinjn=|δi11δi1nδin1δinn|=det(ei1ein).

Dabei sind die Zeilen der Matrix die Einheitsvektoren aus der Standardbasis {e1,,en} des n. Diese Matrix ist also diejenige Permutationsmatrix, welche den Vektor (x1x2xn)T auf (xi1xi2xin)T abbildet. Daraus erhält man mit Hilfe der Produktregel für Determinanten einen Ausdruck für das folgende Tensorprodukt:

εi1inεj1jn=det((ei1ein)T(ej1ejn))=|δi1j1δi1jnδinj1δinjn|.

Unter Verwendung des laplaceschen Entwicklungssatzes erhält man daraus die folgende Beziehung, wenn man über die jeweils ersten k Indizes beider Tensoren verjüngt:

εi1ikik+1inεi1ikjk+1jn=k!|δik+1jk+1δik+1jnδinjk+1δinjn|.

Als eine Anwendung dieser Formeln erhält man für die Einträge der Adjunkten einer n×n-Matrix:

adj(A)ij=1(n1)!εii2inεjj2jnAj2i2Ajnin.

Speziell in drei Dimensionen

Das Levi-Civita-Symbol lässt sich als Spatprodukt dreier orthogonaler Einheitsvektoren darstellen:

εijk=e^i(e^j×e^k)=det(e^ie^je^k)=:detA
εlmn=e^l(e^m×e^n)=det(e^le^me^n)=:detB

Beim Produkt zweier Epsilon-Tensoren nutzt man aus, dass das Produkt zweier Determinanten als Determinante des Matrizenprodukts geschrieben werden kann. Zudem verwendet man die Identität der Determinante einer Matrix und der Determinante der transponierten Matrix:

εijkεlmn=detAdetB=detAdetBT=det(ABT)=|(e^ie^je^k)(e^le^me^n)|=|e^ie^le^ie^me^ie^ne^je^le^je^me^je^ne^ke^le^ke^me^ke^n|

Somit lässt sich das Produkt zweier Epsilon-Tensoren als Determinante von Kronecker-Deltas schreiben:

εijkεlmn=|δilδimδinδjlδjmδjnδklδkmδkn|

Als Komponenten einer Pseudotensordichte

Definiert man eine n-fach kovariante Pseudotensordichte vom Gewicht -1, indem man für eine gegebene geordnete Basis des Rn und alle (i1,,in){1,,n}n ihre Komponenten durch εi1...in festlegt, so ändern sich die Komponenten dieser Pseudotensordichte bei einem Basiswechsel nicht. In diesem Sinn stellt also das Levi-Civita-Symbol bezüglich beliebiger Basen die Komponenten einer Pseudotensordichte dar. Daraus folgt insbesondere, dass das Symbol die Komponenten eines Tensors beschreibt, wenn man nur Orthonormalbasen positiver Orientierung betrachtet.

In ähnlicher Weise kann im Rn oder allgemeiner auf einer n-dimensionalen orientierbaren semi-riemannschen Mannigfaltigkeit das Levi-Civita-Symbol zur Definition der Komponenten eines kovarianten total schiefsymmetrischen Tensorfeldes n-ter Stufe, einer sogenannten Differentialform, benutzt werden. Eine solche Differentialform ist nur bis auf einen skalaren Faktor bestimmt. Die Wahl des Vorfaktors fixiert die Volumeneinheit und definiert die Differentialform als Volumenform. Im euklidischen Raum steht das Levi-Civita-Symbol für die Komponenten des Standardvolumens in der Standardbasis {ei,,en}. Bezüglich einer anderen Basis e'i=Cjiej hat derselbe Tensor offenbar die Komponenten (detC1)εi1in, wobei C=(Cij) und C1 die dazu inverse Matrix ist. Ist die Basis nicht orthonormal bezüglich des Standardskalarprodukts, dann unterscheiden sich entsprechend ko- und kontravariante Komponenten des Tensors. Der Vorfaktor hängt von den Koordinaten ab, wenn krummlinige Koordinaten verwendet werden oder der zugrunde liegende Basisraum eine (orientierbare) Mannigfaltigkeit ist. Für eine semi-riemannsche Mannigfaltigkeit mit metrischem Tensor g und der zugehörigen riemannschen Volumenform (siehe Hodge-Stern-Operator) ist der Vorfaktor gegeben durch ±detg. Das Vorzeichen hängt von der gewählten Orientierung ab. Der Zusammenhang zwischen Levi-Civita-Symbol und Kronecker-Delta verallgemeinert sich zu

(detg)εi1inεj1jn=|gi1j1gi1jnginj1ginjn|.

Das Levi-Civita-Symbol in der allgemeinen Relativitätstheorie

In der allgemeinen Relativitätstheorie ist auch die Notation [α,β,γ,] gebräuchlich. Sie kennzeichnet in der Regel das Levi-Civita-Symbol im flachen Raum[1] und wird mit der Definition (hier konventionell in 3D)

ϵα,β,γ=g[α,β,γ,]

mit der Metrik-Determinanten g=det(gμν) zum Levi-Civita-(Pseudo)tensor. Dabei wird durch die Metrik in der Regel eine Orthonormalbasis gegeben. Der Levi-Civita-Tensor transformiert sich dann wie ein Tensor. Deswegen ist im Allgemeinen das Kreuzprodukt a×b in einer dreidimensionalen raumartigen Hyperfläche (wie sie in der 3+1-Cauchy-Initial Value-Formulierung verwendet wird, vgl. ADM-Masse) nicht eindeutig definiert.

Anwendungen

Vektorrechnung

Für den dreidimensionalen Fall ergibt sich

εijk=ij12ik13jk23=12(ji)(kj)(ik)(ji)(kj)(ik)mod3

wobei i,j,k{1,2,3}.

Datei:Levi-Civita Symbol cen.svg
Werte des Levi-Civita-Symbols für ein rechtshändiges Koordinatensystem
Datei:Epsilontensor.svg
Matrixdarstellung des Levi-Civita-Symbols und ...
Datei:LeviCivitaTensor.jpg
korrespondierende Darstellung des Levi-Civita-Symbols für ein linkshändiges Koordinatensystem

Wie der nebenstehenden Abbildung zu entnehmen, sind dabei lediglich 6 der insgesamt 27 Komponenten von εijk ungleich null:

ε123=ε312=ε231=1,
ε321=ε213=ε132=1.

Oder als Merkregel: 123123 Nun resultiert +1 wenn man von links nach rechts abliest, und -1 wenn man von rechts nach links abliest. In diesem Beispiel erkennt man ferner eine Invarianz unter zyklischer Permutation der Indizes, die allerdings nur dann gilt, wenn n ungerade ist – ist das nicht der Fall, geht eine zyklische Permutation der Indizes mit einem Vorzeichenwechsel einher.

Das folgende Zahlenbeispiel demonstriert die Darstellung als Determinante, welche im dreidimensionalen Fall auch durch das Spatprodukt ausgedrückt werden kann:

ε123=e1(e2×e3)=(100)((010)×(001))=(100)(100)=1

Das Levi-Civita-Symbol mit drei Indizes erweist sich in der Vektorrechnung als nützlich, um die Komponenten des Kreuzproduktes zweier Vektoren zu schreiben. Es gilt

(a×b)i=j=13k=13εijkajbk.

Bei solchen Rechnungen wird häufig die einsteinsche Summenkonvention angewandt, das heißt, man lässt die Summenzeichen weg und vereinbart, dass über in Produkten doppelt auftretende Indizes stets automatisch summiert wird:

(a×b)i=εijkajbk.

Ist ei der i-te Einheitsvektor, so kann diese Gleichung auch notiert werden als:

a×b=εijkajbkei=εijkaibjek

Für das Spatprodukt gilt

(a×b)c=εijkaibjck.

In dieser Beziehung wird die Eigenschaft des Levi-Civita-Symbols als Komponenten einer Volumenform deutlich, denn das Spatprodukt ist gleich dem Volumen des von den drei Vektoren aufgespannten Spates.

Für den Zusammenhang zwischen Levi-Civita-Symbol bzw. Epsilon-Tensor und Kronecker-Delta erhält man die Beziehung

εijkεlmn=|δilδimδinδjlδjmδjnδklδkmδkn|=δilδjmδkn+δimδjnδkl+δinδjlδkmδimδjlδknδilδjnδkmδinδjmδkl.

Aus dieser folgt (wiederum mit Summenkonvention)

εijkεimn=|δjmδjnδkmδkn|=δjmδknδjnδkmεijkεijn=2δknεijkεijk=3!=6

Diese Beziehungen sind hilfreich bei der Herleitung von Identitäten für das Kreuzprodukt.

Weiterhin ordnet der Epsilon-Tensor einem Vektor a eine schiefsymmetrische Matrix A mit Aij=εijkak zu. Damit kann das Kreuzprodukt als Matrixprodukt a×b=Ab ausgedrückt werden. In der Mathematik wird diese Zuordnung als Hodge-Stern-Operator bezeichnet. Ein Beispiel ist die Zuordnung des magnetischen Feldvektors zu den entsprechenden Komponenten im elektromagnetischen Feldstärketensor. Solch eine Zuordnung ist auch für andere axiale Vektoren, etwa für den Drehimpulsvektor, üblich.

Relativitätstheorie

In der Relativitätstheorie muss zwischen ko- und kontravarianten Komponenten des Epsilon-Tensors unterschieden werden. Im Folgenden sei im vierdimensionalen Minkowski-Raum die Signatur des metrischen Tensors ηij als (1,−1,−1,−1) festgelegt. Die Indizes sollen Werte von 0 bis 3 annehmen. Weiterhin sei für die vierfach kontravariante Komponente ε0123=1 festgelegt.[2] Unterschiedliche Autoren verwenden verschiedene Konventionen für die Vorzeichen in Metrik und Epsilon-Tensor. Wie üblich werden Indizes mit dem metrischen Tensor bewegt. Dann erhält man zum Beispiel für die vierfach kovariante Komponente ε0123=η0μη1νη2ϱη3σεμνϱσ=det(η)=1.

Der Epsilon-Tensor bleibt unter einer eigentlichen Lorentztransformation Λ invariant:

εμνϱσ=Λ μμΛ ννΛ ϱϱΛ σσεμνϱσ=εμνϱσ

Dies folgt direkt aus der Tatsache, dass die Determinante von Λ gleich 1 ist. Der Epsilon-Tensor kann verwendet werden, um den dualen elektromagnetischen Feldstärketensor F~μν=12εμνϱσFϱσ zu definieren, mit dessen Hilfe sich wiederum die homogenen Maxwell-Gleichungen μF~μν=0 kompakt notieren lassen.

Eine Anwendung des zweistufigen Epsilon-Tensors in der Relativitätstheorie ergibt sich, wenn man den Minkowski-Raum auf den Vektorraum der hermiteschen 2×2-Matrizen abbildet: vαα˙=σαα˙mvm. Dabei sind σm für m=1,2,3 die Pauli-Matrizen und σ0=E2 die negative Einheitsmatrix. Entsprechend erfolgt dann die Zuordnung von Tensoren. Der metrische Tensor wird dabei auf das Produkt zweier Epsilon-Tensoren abgebildet: σαα˙mσββ˙nηmn=2εαβεα˙β˙. In diesem Formalismus sind Objekte mit einem Index Spinoren ψα, und der Epsilon-Tensor spielt bei der Umrechnung von ko- in kontravariante Komponenten die gleiche Rolle wie der metrische Tensor ηmn im gewöhnlichen Minkowski-Raum: ψα=εαβψβ. Dieser Formalismus ist unter dem Namen Van-der-Waerden-Notation bekannt. Für die Metrik wird üblicherweise die Signatur (−1,1,1,1) gewählt. Für den Epsilon-Tensor gilt hierbei die Festlegung ε12=ε21=1.[3]

Quantenmechanik

In der Quantenmechanik wird das Levi-Civita-Symbol bei der Formulierung der Drehimpulsalgebra verwendet. In mathematischen Begriffen ausgedrückt stimmt das Symbol mit den Strukturkonstanten der Lie-Algebren 𝔰𝔬(3,)𝔰𝔲(2,) überein. Das folgende Beispiel illustriert die Anwendung des Levi-Civita-Symbols in diesem Zusammenhang. Die Lie-Algebra 𝔰𝔬(3,) kann als die Unteralgebra der schiefsymmetrischen Matrizen in 3×3, das heißt der reellen 3×3-Matrizen, dargestellt werden. Die Generatoren (eine Basis) von 𝔰𝔬(3,) ist gegeben durch die Matrizen Ti3×3, i=1,2,3, mit den Komponenten (Ti)jk=εijk. Die Kommutatoren der Generatoren lauten dann [Ti,Tj]=εijkTk.

Einzelnachweise

  1. Éric Gourgoulhon: The 3+1 Formalism in General Relativity. Springer, 2012, ISBN 978-3-642-24524-4.
  2. John David Jackson: Classical Electrodynamics. 3. Auflage. John Wiley & Sons, 1999, ISBN 0-471-30932-X.
  3. Julius Wess, Jonathan Bagger: Supersymmetry and Supergravity. Princeton University Press, 1983, ISBN 9971-950-67-7.