Tensorverjüngung

Die Tensorverjüngung oder Kontraktion ist ein mathematischer Begriff aus der linearen Algebra mit Verwendung in der Tensoranalysis und Tensoralgebra. Es ist eine Verallgemeinerung der Spur einer linearen Abbildung auf Tensoren, die mindestens einfach kovariant und einfach kontravariant sind. Anwendungen finden sich z. B. in der Relativitätstheorie (siehe auch Längenkontraktion), Mechanik usw.

Definition

Sei $V$ ein endlichdimensionaler Vektorraum und sei

$T_s^r(V):=\underset{r\text{-mal}}{\underbrace{V\otimes \cdots \otimes V}}\otimes \underset{s\text{-mal}}{\underbrace{V^{*}\otimes \cdots \otimes V^{*}}}$

der Tensorraum der $r$-fach kontravarianten und $s$-fach kovarianten Tensoren (kurz: $(r,s)$-Tensoren) über $V$.

Als Verjüngung oder Kontraktion eines Tensors (genauer: $(k,l)$-Kontraktion) bezeichnet man die lineare Abbildung

$C_l^k:T_s^r(V)\to T_{s-1}^{r-1}(V)$

mit $1\le k\le r$ und $1\le l\le s$, welche durch

$v_1\otimes \cdots \otimes v_r\otimes {\xi }_1\otimes \cdots \otimes {\xi }_s\mapsto$

${\xi }_l(v_k)(v_1\otimes \cdots \otimes v_{k-1}\otimes v_{k+1}\otimes \cdots \otimes v_r\otimes {\xi }_1\otimes \cdots \otimes {\xi }_{l-1}\otimes {\xi }_{l+1}\otimes \cdots \otimes {\xi }_s)$

definiert werden kann. Dabei ist $v_1\otimes \cdots \otimes v_r\otimes {\xi }_1\otimes \cdots \otimes {\xi }_s$ ein Element von $T_s^r(V)$. Nicht jedes Element von $T_s^r(V)$ ist von dieser Form, aber die Elemente dieser Form erzeugen den Tensorraum und die Abbildung ist wohldefiniert. Setzt man $n:=r+s$, so wird also aus einem Tensor $n$-ter Stufe ein Tensor der Stufe $n-2$.

Beispiele

• Interpretiert man eine Matrix als einen einfach ko- sowie kontravarianten Tensor, so ist die Verjüngung einer Matrix ihre Spur. Dies lässt sich sehr schnell einsehen, wenn man die Matrix $A\in \mathrm{End}(V)\cong V\otimes V^{*}$ als Linearkombination
  $A=\sum _{i,j}{\lambda }_i^j{v}_i\otimes {\xi }_j$
  darstellt. Hier bilden die $v_i$ eine Basis von $V$ und die ${\xi }_j$ die dazu duale Basis von $V^{*}$. Wendet man nun die Funktion $C_1^1$ an, so erhält man
  $C_1^1(A)=C_1^1(\sum _{i,j}{\lambda }_i^j{v}_i\otimes {\xi }_j)=\sum _{i,j}{\lambda }_i^j{\delta }_{ij}=\sum _i{\lambda }_i^i=\mathrm{Spur}(A).$
  Dies lässt erkennen, dass die Tensorverjüngung eine Verallgemeinerung des aus der linearen Algebra bekannten Spuroperators ist. Aus diesem Grund wird die Abbildung auch Spurbildung genannt.
• Man erhält aus dem riemannschen Krümmungstensor $R_{ijk}^l$ durch Verjüngung den Ricci-Tensor $R_{ik}=R_{ijk}^j$.

Literatur

Siehe die weiterführende Literatur unter Tensoranalysis.