kontravariante Komponenten
kovariante Komponenten
a
=
a
m
e
m
{\displaystyle a=a^{\color {Brown}m}\,e_{\color {Brown}m}}
a
i
=
a
e
i
{\displaystyle a_{\color {Brown}i}=a\,e_{\color {Brown}i}}
a
i
=
b
−
c
tan
θ
{\displaystyle a^{\color {Brown}i}=b-{\frac {c}{\tan \theta }}}
a
i
=
b
{\displaystyle a_{\color {Brown}i}=b}
a
j
=
c
sin
θ
{\displaystyle a^{\color {Brown}j}={\frac {c}{\sin \theta }}}
a
j
=
(
b
,
c
)
(
cos
θ
,
sin
θ
)
=
b
cos
θ
+
c
sin
θ
{\displaystyle a_{\color {Brown}j}=(b,c)\,(\cos \theta ,\sin \theta )=b\,\cos \theta +c\,\sin \theta }
a
=
(
a
i
,
a
j
)
=
(
a
i
,
a
j
)
{\displaystyle a=(a^{\color {Brown}i},a^{\color {Brown}j})=(a_{\color {Brown}i},a_{\color {Brown}j})}
Kontravariante Komponenten eines Vektors
Kovariante Komponenten eines Vektors
Vektoren werden als Komponenten dargestellt, welche entlang der Komponenten der Vektorbasis
e
m
{\displaystyle e_{\color {Brown}m}}
gemessen werden. Als Basis eines Vektors können hierbei beliebige Vektoren, mathematische Funktionen oder Matrizen (z. B. Pauli-Matrizen ) dienen.
Für einen gegebenen Vektor
a
{\displaystyle a}
unterscheidet man zwischen kontravarianten Komponenten des Vektors
a
m
{\displaystyle a^{\color {Brown}m}}
(mit hochgestellten Indizes), sowie kovarianten Komponenten des Vektors
a
m
{\displaystyle a_{\color {Brown}m}}
(mit tiefgestellten Indizes). Kontravariante Komponenten sind hierbei so gewählt, dass man den Vektor aus der Summe der Produkte der kontravarianten Komponenten und den zugehörigen Elementen der Basis erhält:
a
=
a
i
e
i
+
a
j
e
j
{\displaystyle a=a^{\color {Brown}i}\,e_{\color {Brown}i}+a^{\color {Brown}j}\,e_{\color {Brown}j}}
Kovariante Komponenten erhält man durch eine orthogonale Messung (d. h. im 90°-Winkel) zur jeweiligen Basis. Hierbei gilt der Zusammenhang:
a
i
=
a
e
i
{\displaystyle a_{\color {Brown}i}=a\,e_{\color {Brown}i}}
a
j
=
a
e
j
{\displaystyle a_{\color {Brown}j}=a\,e_{\color {Brown}j}}
Ein Vektor
a
{\displaystyle a}
, welcher in der Form
(
a
i
,
a
j
,
…
)
{\displaystyle (a^{\color {Brown}i},a^{\color {Brown}j},\ldots )}
ausgedrückt wird, wird als kontravarianter Vektor bezeichnet. Umgekehrt wird ein Vektor in der Form
(
a
i
,
a
j
,
…
)
{\displaystyle (a_{\color {Brown}i},a_{\color {Brown}j},\ldots )}
als kovarianter Vektor bezeichnet.
Wenn es sich bei der Vektorbasis
e
m
{\displaystyle e_{\color {Brown}m}}
um eine Orthonormalbasis handelt, so gilt
a
m
=
a
m
{\displaystyle a^{\color {Brown}m}=a_{\color {Brown}m}}
.
a
m
+
b
m
=
(
a
i
+
b
i
)
+
(
a
j
+
b
j
)
+
…
=
a
+
b
{\displaystyle a^{\color {Brown}m}+b^{\color {Brown}m}=(a^{\color {Brown}i}+b^{\color {Brown}i})+(a^{\color {Brown}j}+b^{\color {Brown}j})+\ldots =a+b}
und
a
m
+
b
m
=
(
a
i
+
b
i
)
+
(
a
j
+
b
j
)
+
…
=
a
+
b
{\displaystyle a_{\color {Brown}m}+b_{\color {Brown}m}=(a_{\color {Brown}i}+b_{\color {Brown}i})+(a_{\color {Brown}j}+b_{\color {Brown}j})+\ldots =a+b}
a
m
−
b
m
=
(
a
i
−
b
i
)
+
(
a
j
−
b
j
)
+
…
=
a
−
b
{\displaystyle a^{\color {Brown}m}-b^{\color {Brown}m}=(a^{\color {Brown}i}-b^{\color {Brown}i})+(a^{\color {Brown}j}-b^{\color {Brown}j})+\ldots =a-b}
und
a
m
−
b
m
=
(
a
i
−
b
i
)
+
(
a
j
−
b
j
)
+
…
=
a
−
b
{\displaystyle a_{\color {Brown}m}-b_{\color {Brown}m}=(a_{\color {Brown}i}-b_{\color {Brown}i})+(a_{\color {Brown}j}-b_{\color {Brown}j})+\ldots =a-b}
∑
m
s
a
m
=
s
a
i
+
s
a
j
+
…
=
s
a
{\displaystyle \sum _{\color {Brown}m}s\,a^{\color {Brown}m}=s\,a^{\color {Brown}i}+s\,a^{\color {Brown}j}+\ldots =s\,a}
und
∑
m
s
a
m
=
s
a
i
+
s
a
j
+
…
=
s
a
{\displaystyle \sum _{\color {Brown}m}s\,a_{\color {Brown}m}=s\,a_{\color {Brown}i}+s\,a_{\color {Brown}j}+\ldots =s\,a}
a
m
b
m
=
a
i
b
i
+
a
j
b
j
+
…
=
a
b
{\displaystyle a^{\color {Brown}m}\,b^{\color {Brown}m}=a^{\color {Brown}i}\,b^{\color {Brown}i}+a^{\color {Brown}j}\,b^{\color {Brown}j}+\ldots =a\,b}
und
a
m
b
m
=
a
i
b
i
+
a
j
b
j
+
…
=
a
b
{\displaystyle a_{\color {Brown}m}\,b_{\color {Brown}m}=a_{\color {Brown}i}\,b_{\color {Brown}i}+a_{\color {Brown}j}\,b_{\color {Brown}j}+\ldots =a\,b}
b
m
=
m
m
n
a
n
=
m
m
i
a
m
+
m
m
j
a
n
+
…
{\displaystyle b^{\color {Brown}m}=m^{\color {Brown}mn}\,a^{\color {Brown}n}=m^{\color {Brown}mi}\,a^{\color {Brown}m}+m^{\color {Brown}mj}\,a^{\color {Brown}n}+\ldots }
und
b
m
=
m
m
n
a
n
=
m
m
i
a
m
+
m
m
j
a
n
+
…
{\displaystyle b_{\color {Brown}m}=m_{\color {Brown}mn}\,a_{\color {Brown}n}=m_{\color {Brown}mi}\,a_{\color {Brown}m}+m_{\color {Brown}mj}\,a_{\color {Brown}n}+\ldots }
Ein Spezialfall hiervon ist die Vektorrotation , bei der ein Vektor
a
{\displaystyle a}
mit Hilfe eines Tensors
ω
{\displaystyle \omega }
gedreht wird:
a
′
m
=
ω
m
n
a
n
{\displaystyle a'^{\color {Brown}m}=\omega ^{\color {Brown}mn}\,a^{\color {Brown}n}}
mit
ω
m
m
=
1
{\displaystyle \omega ^{\color {Brown}mm}=1}
und
ω
m
n
=
−
ω
n
m
{\displaystyle \omega ^{\color {Brown}mn}=-\omega ^{\color {Brown}nm}}
und
a
m
′
=
ω
m
n
a
n
{\displaystyle a'_{\color {Brown}m}=\omega _{\color {Brown}mn}\,a_{\color {Brown}n}}
mit
ω
m
m
=
1
{\displaystyle \omega _{\color {Brown}mm}=1}
und
ω
m
n
=
−
ω
n
m
{\displaystyle \omega _{\color {Brown}mn}=-\omega _{\color {Brown}nm}}
Das Kreuzprodukt kann mithilfe des Levi-Civita-Symbols definiert werden:
ϵ
i
j
k
a
i
b
j
e
k
=
(
a
×
b
)
k
{\displaystyle \epsilon _{\color {Brown}ijk}\,a_{\color {Brown}i}\,b_{\color {Brown}j}\,e_{\color {Brown}k}=(a\times b)_{\color {Brown}k}}
und
ϵ
i
j
k
a
i
b
j
e
k
=
(
a
×
b
)
k
{\displaystyle \epsilon ^{\color {Brown}ijk}\,a^{\color {Brown}i}\,b^{\color {Brown}j}\,e^{\color {Brown}k}=(a\times b)^{\color {Brown}k}}
oder gleichwertig:
ϵ
i
j
k
a
i
b
j
=
(
a
×
b
)
k
{\displaystyle \epsilon _{\color {Brown}ijk}\,a_{\color {Brown}i}\,b_{\color {Brown}j}=(a\times b)_{\color {Brown}k}}
und
ϵ
i
j
k
a
i
b
j
=
(
a
×
b
)
k
{\displaystyle \epsilon ^{\color {Brown}ijk}\,a^{\color {Brown}i}\,b^{\color {Brown}j}=(a\times b)^{\color {Brown}k}}
es gilt daher:
ϵ
i
j
a
i
b
j
=
ϵ
i
j
a
i
b
j
=
a
×
b
{\displaystyle \epsilon ^{\color {Brown}ij}\,a^{\color {Brown}i}\,b^{\color {Brown}j}=\epsilon _{\color {Brown}ij}\,a_{\color {Brown}i}\,b_{\color {Brown}j}=a\times b}
ϵ
i
j
k
a
i
b
j
c
k
=
ϵ
i
j
k
a
i
b
j
c
k
=
a
(
b
×
c
)
=
b
(
c
×
a
)
=
c
(
a
×
b
)
{\displaystyle \epsilon _{\color {Brown}ijk}\,a_{\color {Brown}i}\,b_{\color {Brown}j}\,c_{\color {Brown}k}=\epsilon ^{\color {Brown}ijk}\,a^{\color {Brown}i}\,b^{\color {Brown}j}\,c^{\color {Brown}k}=a\,(b\times c)=b\,(c\times a)=c\,(a\times b)}
Mit dem metrischen Tensor lässt sich auch die Länge
l
{\displaystyle l}
des Vektors ermitteln:
l
2
=
a
m
a
m
=
a
m
a
n
g
m
n
=
a
m
a
n
g
m
n
{\displaystyle l^{2}=a_{\color {Brown}m}\,a^{\color {Brown}m}=a^{\color {Brown}m}\,a^{\color {Brown}n}\,g_{\color {Brown}mn}=a_{\color {Brown}m}\,a_{\color {Brown}n}\,g^{\color {Brown}mn}}
.