Vektorkomponenten im kartesischen Koordinatensystem

In diesem Beispiel gehen wir immer von ein und demselben Vektor $\vec A$ aus. Dieser hat eine bestimmte Länge $l$, 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: $\vec A = (a^1, a^2) = ( b, c )$

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

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

Dies ergibt in unserem Beispiel:

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 $(a^1, a^2)$. 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:

Kontravariante Komponenten	Kovariante Komponenten
$\vec A = ( a^i ) = \pmatrix{ a^1 \\ a^2 }$	$\vec A = ( a_i ) = \pmatrix{ a_1 \\ a_2 }$

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 $b$ und $c$ aus dem kartesischen X-Koordinatensystem berechnen:

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 $y^1$ und $y^2$. Diese Basis-Vektoren werden daher mit kovarianten Indizes beschriftet: $\vec e_1, \vec e_2$. Die kontravariante Basis kann z.B. über den Metrik-Tensor berechnet werden und hat kontravariante Indizes: $\vec e^{\,1}, \vec e^{\,2}$.

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

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 $l$ des Vektors $\vec A$ berechnet man bei Tensoren für beliebige Koordinatensysteme nach folgender Formel:

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

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

Geometrische Interpretation von kontravarianten und kovarianten Komponenten

Die geometrische Bedeutung von $A^m$ und $A_m$ ist folgende:

Wenn die kontravarianten Komponenten $a^{1}$ und $a^{2}$ mit den kovarianten Basis-Vektoren $\vec e_1$ und $\vec e_2$ des Y-Koordinatensystems multipliziert werden, erhält man durch Vektor-Addition den Vektor $\vec A$:

Dies gilt auch für einen beliebigen Vektor $\vec v$ mit beliebig vielen Dimensionen:

Die Koeffizienten $v^1$, $v^2$ bis $v^D$ nennt man die kontravarianten Komponenten des Vektors $\vec v = (v^1, v^2,..., v^D)$.

Die kovarianten Komponenten $a_1$ und $a_2$ des Vektors $\vec A$ 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:

Auch dies gilt für einen beliebigen Vektor $\vec v$ mit beliebiger Dimension $D$:

Die Koeffizienten $v_1$, $v_2$ bis $v_D$ nennt man die kovarianten Komponenten des Vektors $\vec v = (v_1, v_2,..., v_D)$.

Um den Zusammenhang zwischen $v_n$ und $v^m$ zu erhalten, setzen wir den Vektor $\vec v$ aus (10) in (12) ein:

Es gilt das Assoziativgesetz: $(\alpha \, \vec x) \cdot \vec y = \alpha \, (\vec x \cdot \vec y)$, denn:

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

Dass $v^m \ g_{mn} = g_{mn} \ v^m$ ist, kann man durch Ausschreiben der Ausdrücke zeigen:

Die Koordinaten $v^m$ und $v_n$ sind also nur verschiedene Repräsentationen ein und desselben Vektors $\vec v$. Sie beziehen sich jeweils auf eine der Dual-Basen $\vec e_i$ oder $\vec e^{\,i}$ des Koordinatensystems. Ihre Komponenten können über den Metrik-Tensor $g_{mn}$ in einander umgerechnet werden.

Komponenten eines Vektors in gekrümten Koordinatensystemen

Kontravariante 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 $\vec A$      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:

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

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

Der Metrik-Tensor $g_{mn}$ lässt sich in unserem Beispiel wiefolgt berechnen:

In unserem Beispiel ist der Metrik-Tensor konstant. Das heisst, seine Komponenten sind nicht von der Position $\vec x$ 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:

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 $\vec A$, seinen Koordinaten und den Basis-Vektoren:

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

Berechnung der Dual-Basis

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

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 $\vec e_1$ und $\vec e_2$. Berechnen wir daraus die entsprechenden kontravarianten Basis-Vektoren nach der Formel (31):

Beachte:

Der kontravariante Basis-Vektor $\vec e^{\,1}$ steht senkrecht auf dem kovarianten Basis-Vektor $\vec e_2$ und der kontravariante Basis-Vektor $\vec e^{\,2}$ steht senkrecht auf dem kovarianten Basis-Vektor $\vec e_1$. 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 $\vec A$ kennen (siehe (3)):

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

Dies entspricht der Multiplikation der Matrix $(g_{mn})$ mit dem Vektor $(a^n)$:

Berechnen wir das:

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

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

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