WaBis

walter.bislins.ch

Kovariante und Kontravariante Komponenten

Tensoren können kovariante und kontravariante Komponenten haben. Im kartesischen Koordinatensystem im flachen Raum sind die Werte dieser Komponenten identisch, nicht jedoch in anderen Koordinatensystemen. Hier zeige ich an einem Beispiel den Unterschied zwischen ko- und kontravarianten Komponenten eines Vektors.

Vektorkomponenten im kartesischen Koordinatensystem

In diesem Beispiel gehen wir immer von ein und demselben Vektor aus. Dieser hat eine bestimmte Länge , die in allen Koordinatensystemen gleich (invariant) bleibt.

Ein Vektor hat aber nicht nur eine Länge, sondern auch eine Richtung. Um den Vektor vollständig beschreiben zu können, führt man passende Koordinatensysteme ein. So kann man einen Vektor in Komponenten zerlegen. Diese Komponenten nennt man auch Koordinaten. Im hier gezeigten kartesischen (rechtwinkligen) Koordinatensystem (X) hat der Vektor die Koordinaten:

Diese Koordinaten erhalten wir, indem wir senkrechte Linien (Lot) von der Vektorspitze auf die Koordinatenachsen zeichnen. Die Strecken und vom Nullpunkt zu den Schnittpunkten dieser Linien sind die Koordinaten des Vektors im X-Koordinatensystem.

Durch diese Koordinaten ist der Vektor eindeutig bestimmt. Seine invariante Länge kann im kartesischen Koordinatensystem wiefolgt berechnet werden:

(1)

Dies ergibt in unserem Beispiel:

(2)

Wenn man ein anderes, um einen beliebigen Winkel gedrehtes kartesisches Koordinatensystem wählt und dort auf diese Weise die Komponenten des Vektors berechnet, erhält man andere Zahlenwerte für die Koordinaten . Die nach (1) berechnete Länge bleibt jedoch gleich!

Vektorkomponenten in einem schiefen Koordinatensystem

In der Physik werden oft nicht kartesische Koordinatensysteme verwendet. Insbesondere in der allgemeinen Relativitätstheorie wird die Gravitation als Raumzeit-Krümmung mit entsprechend gekrümmten Koordinatensystemen dargestellt.

In nicht-kartesischen Koordinatensystemen gibt es zwei unterschiedliche Möglichkeiten, die Komponenten eines Vektors zu definieren. Dies kann an einem schiefen Koordinatensystem (Y) am besten gezeigt werden:

cocontra2.png cocontra3.png
Kontravariante Komponenten Kovariante Komponenten

Man sieht sofort, dass die kontravarianten und kovarianten Werte unterschiedlich sind. Trotzdem beschreiben diese Werte denselben Vektor! Wir können die kontravarianten und kovarianten Komponenten mit Hilfe der Trigonometrie aus den Werten und aus dem kartesischen X-Koordinatensystem berechnen:

(3)

kontravariante Komponenten

kovariante Komponenten

Die Koordinaten beziehen sich jeweils auf eine von zwei sog. dualen Basen. Die kovariante Basis wird in unserem Beispiel gebildet durch die Einheitsvektoren in Richtung und . Diese Basis-Vektoren werden daher mit kovarianten Indizes beschriftet: . Die kontravariante Basis kann z.B. über den Metrik-Tensor berechnet werden und hat kontravariante Indizes: .

Der Zusammenhang zwischen den Koordinaten, den Basis-Vektoren und dem Vektor ist der folgende:

(4)
(5)

Wenn der Metrik-Tensor bekannt ist (Berechnung siehe weiter unten) kann zwischen den kontravarianten und kovarianten Komponenten umgerechnet werden. Mehr Infos dazu unter Index-Manipulation per Metrik-Tensor.

Berechnung der Länge eines Vektors in nicht-kartesischen Koordinaten

Die invariante Länge des Vektors berechnet man bei Tensoren für beliebige Koordinatensysteme nach folgender Formel:

(6)

Wenn wir die Werte von (3) einsetzen erhalten wir:

(7)
(8)

Wie man sieht erhalten wir über die Formel (6) wieder dieselbe Länge für den Vektor wie im kartesischen Koordinatensystem (2)!

Geometrische Interpretation von kontravarianten und kovarianten Komponenten

cocontra2.png

Die geometrische Bedeutung von und ist folgende:

Wenn die kontravarianten Komponenten und mit den kovarianten Basis-Vektoren und des Y-Koordinatensystems multipliziert werden, erhält man durch Vektor-Addition den Vektor :

(9)

Dies gilt auch für einen beliebigen Vektor mit beliebig vielen Dimensionen:

(10)

Die Koeffizienten , bis nennt man die kontravarianten Komponenten des Vektors .

cocontra3.png

Die kovarianten Komponenten und des Vektors entsprechen den Projektionen des Vektors auf die Y-Koordinatenachsen. Diese Projektionen erhält man über das Skalarprodukt des Vektors mit dem Basis-Vektor der jeweiligen Koordinatenachse:

(11)

Auch dies gilt für einen beliebigen Vektor mit beliebiger Dimension :

(12)

Die Koeffizienten , bis nennt man die kovarianten Komponenten des Vektors .

Um den Zusammenhang zwischen und zu erhalten, setzen wir den Vektor aus (10) in (12) ein:

(13)

Es gilt das Assoziativgesetz: , denn:

(14)
(15)

Daher dürfen wir das Skalarprodukt der Einheitsvektoren in (13) zusammenfassen und schreiben:

(16)
wobei'
' =' 'Metrik-Tensor

Dass ist, kann man durch Ausschreiben der Ausdrücke zeigen:

(17)

Die Koordinaten und sind also nur verschiedene Repräsentationen ein und desselben Vektors . Sie beziehen sich jeweils auf eine der Dual-Basen oder des Koordinatensystems. Ihre Komponenten können über den Metrik-Tensor in einander umgerechnet werden.

Komponenten eines Vektors in gekrümten Koordinatensystemen

Informationen zum BildKontravariante und Kovariante Koordinaten in gekrümmten Koordinatensystemen. Quelle: Wikipedia: Covariance and contravariance of vectors

In einem gekrümmten Koordinatensystem ist die Metrik von der Position eines Punktes abhängig. Damit sind auch die Basisvektoren an jedem Punkt des Vektorraumes verschieden. An jedem Punkt des Raumes kann man lokal Tangenten an die gekrümmten Koordinatenachsen legen. Wir können also lokal ein gekrümmtes Koordinatensystem durch ein nicht-gekrümmtes Koordinatensystem annähern. Diese Tangenten dienen als Referenz für die Basisvektoren.

Die kontravarianten Komponenten eines Vektors      erhält man dann durch Projektion auf die Koordinatenachsen     . Die kovarianten Komponenten erhält man durch Projektion auf die normalen Linien      zu den Koordinatenachsen (Hyperebenen).

Vergleiche auch mit Kovarianz und Kontravarianz von Vektoren.

Der Metrik-Tensor

Der kovariante Metrik-Tensor ist wie oben hergeleitet gegeben durch die Skalarprodukte der Einheitsvektoren:

(18)

Der kontravariante Metrik-Tensor kann entsprechend aus den kontravarianten Basis-Vektoren berechnet werden:

(19)

Der kontravariante Metrik-Tensor ist die Inverse des kovarianten Metrik-Tensors:

(20)
wobei'
' =' 'Kronecker-Delta (Einheitsmatrix)

Der Metrik-Tensor lässt sich in unserem Beispiel wiefolgt berechnen:

(21)
(22)
(23)
(24)
(25)

In unserem Beispiel ist der Metrik-Tensor konstant. Das heisst, seine Komponenten sind nicht von der Position abhängig. Dies ist in der AR in der Regel nicht der Fall.

Hier noch der kontravariante Metrik-Tensor, den ich mit dem Taschenrechner durch invertieren der Matrix (25) errechnet habe:

(26)

Dual-Basis

Für jedes Koordinatensystem können zwei Mengen von gleichwertigen Basis-Vektoren definiert werden, die über den Metrik-Tensor ineinander umgerechnet werden können. Man spricht deshalb von einer Dual-Basis.

Das kartesische Koordinatensystem ist ein Spezialfall. Bei ihm sind die beiden Basen identisch. Das zeigt sich auch am Metrik-Tensor, der beim kartesischen Koordinatensystem der Einheitsmatrix entspricht. Daher spielt es beim kartesischen Koordinatensystem keine Rolle, ob ein Tensor-Index oben oder unten steht, denn kovariante und entsprechende kontravariante Komponenten sind identisch.

Die Verwendung der beiden Basen ist symmetrisch. So gilt folgender Zusammenhang zwischen einem Vektor , seinen Koordinaten und den Basis-Vektoren:

(27)
(28)
wobei'
' =' 'Kontravariante Komponenten des Vektors
' =' 'Kovariante Komponenten des Vektors
' =' 'Kovariante Basis-Vektoren
' =' 'Kontravariante Basis-Vektoren

Die Koordinaten eines Vektors können über die folgenden Skalarprodukte berechnet werden:

(29)
(30)

Berechnung der Dual-Basis

Wenn wir eine der beiden Dual-Basen haben, können wir über den Metrik-Tensor die andere Basis berechnen:

(31)
(32)

Den Metrik-Tensor kann man über die bereits bekannte Basis berechnen wie bei Der Metrik-Tensor gezeigt.

Wir kennen in unserem Beispiel die kovarianten Basis-Einheitsvektoren und . Berechnen wir daraus die entsprechenden kontravarianten Basis-Vektoren nach der Formel (31):

(33)
(34)
(35)
(36)

Beachte:

Der kontravariante Basis-Vektor steht senkrecht auf dem kovarianten Basis-Vektor und der kontravariante Basis-Vektor steht senkrecht auf dem kovarianten Basis-Vektor . Dies kann duch Bilden des Skalarproduktes dieser Paare überprüft werden. Das Skalarprodukt muss 0 ergeben, wenn zwei Vektoren senkrecht aufeinander stehen.

Die beiden kontravarianten Basis-Vektoren haben nicht die Länge 1, sind also keine Einheits-Vektoren!

Weitere Berechnung am Beispiel

Wenn wir nun die kontravarianten Komponenten des Vektors kennen (siehe (3)):

(37)

können wir seine kovarianten Komponenten über den Metrik-Tensor berechnen:

(38)

Dies entspricht der Multiplikation der Matrix mit dem Vektor :

(39)

Berechnen wir das:

(40)
(41)
(42)
(43)

Zusammengefasst ergeben sich die in (3) errechneten kovarianten Komponenten:

(44)

Überprüfen wir noch, ob wir den Vektor erhalten, wenn wir die kovarianten Komponenten mit den kontravarianten Basis-Vektoren verknüpfen:

(45)
(46)

Überprüfen wir zum Schluss noch, ob wir den Vektor erhalten, wenn wir die kontravarianten Komponenten mit den kovarianten Basis-Vektoren verknüpfen:

(47)
(48)
Weitere Infos zur Seite
Erzeugt Dienstag, 8. Februar 2011
von wabis
Zum Seitenanfang
Geändert Freitag, 1. Juni 2018
von wabis