Tensorprodukt

Seien $V_1,\ldots,V_p$ Vektorräume über $\mathbb{K}$. Die Menge $\mathfrak{M}$ aller Abbildungen $V_1\times\ldots\times V_p\to \mathbb{K}$ bildet mit punktweise erklärter Addition und Skalarmultiplikation einen Vektorraum über $\mathbb{K}$:

$$(\phi_1 + \phi_2)\left(a_1,\ldots,a_p\right) := \phi_1\left(a_1,\ldots,a_p\right) + \phi_2\left(a_1,\ldots,a_p\right)$$

$$(x \phi)\left(a_1,\ldots,a_p\right) := x \cdot \phi\left(a_1,\ldots,a_p\right)$$

$${\forall \phi, \phi_1, \phi_2, \forall x \in \mathbb{K}}$$

Als ,,Träger`` supp $\phi$ einer Abbildung $\phi \in \mathfrak{M}$ bezeichnen wir die Menge aller Tupel $\left(a_1,\ldots,a_p\right)$, deren Bild unter $\phi$ von 0 verschieden ist:

$$\phi := \{\left(a_1,\ldots,a_p\right)\vert \phi\left(a_1,\ldots,a_p\right)\neq 0 \}$$ (2)

Sei $M$ die Menge aller Funktionen aus $\mathfrak{M}$ mit endlichem Träger. Die Funktionen in $M$ sind fast überall gleich 0. $M$ bildet mit den von $\mathfrak{M}$ induzierten punktweisen Operationen einen Unterraum von $\mathfrak{M}$.

Zu jedem festen p-Tupel $\left(a_1,\ldots,a_p\right) \in V_1\times\ldots\times V_p$ definieren wir eine $\delta$-Funktion wie folgt:

$$\delta_{a_1,\ldots,a_p}: V_1\times\ldots\times V_p \to \mathbb{K}$$

$$\left(a_1,\ldots,a_p\right) \mapsto 1$$

$$\mapsto$$ sonst 0 (3)

Der Träger einer jeden $\delta$-Funktion ist nur $\left(a_1,\ldots,a_p\right)$, daher sind die $\delta$-Funktionen in $M$ enthalten (endlicher Träger). Die $\delta$-Funktionen bilden eine Basis von $M$.

Die Abbildung

$$\mu: V_1\times\ldots\times V_p \to M$$

$$\left(a_1,\ldots,a_p\right) \mapsto \delta_{a_1,\ldots,a_p},$$ (4)

welche jedem p-Tupel $a_1,\ldots,a_p$ ,,seine`` $\delta$-Funktion zuweist, ist niemals multilinear.

Wir wollen die Abweichung der Abbildung $\mu$ von der Multilinearität untersuchen. Im Falle der Multilinearität müßte gelten:

$$\delta_{\ldots,a_i + b_i,\ldots} (=) \delta_{\ldots,a_i,\ldots} + \delta_{\ldots,b_i,\ldots}$$ (5)

$$\delta_{\ldots, x \cdot a_i,\ldots} (=) x \cdot \delta_{\ldots,a_i,\ldots}$$ (6)

Die Fehler lassen sich erfassen durch die Abbildungen

$$\delta_{\ldots,a_i + b_i,\ldots} - \delta_{\ldots,a_i,\ldots} - \delta_{\ldots,b_i,\ldots}$$ (7)

$$\delta_{\ldots, x \cdot a_i,\ldots} - x \cdot \delta_{\ldots,a_i,\ldots},$$ (8)

welche (für alle $a_i,b_i,x$) einen Unterraum $M_0$ von $M$ aufspannen, der die Abweichung der Abbildung $\mu$ von der Multilinearität beschreibt.

Nun gilt allerdings immer

$$\delta_{\ldots,a_i + b_i,\ldots} + M_0 = \delta_{\ldots,a_i,\ldots} + \delta_{\ldots,b_i,\ldots} + M_0$$ (9)

$$\delta_{\ldots, x \cdot a_i,\ldots} + M_0 = x \cdot \delta_{\ldots,a_i,\ldots} + M_0,$$ (10)

da die zuvor vorhandenen Fehler durch die Rechnung mit entsprechenden Nebenklassen modulo $M_0$ ausgeglichen werden.

Als ,,Tensorprodukt der Vektorräume $V_1,\ldots,V_p$`` bezeichnen wir den Faktorraum $M/M_0$. Wir schreiben dafür $V_1\otimes\ldots\otimes V_p$. Die Elemente des Tensorprodukts heißen ,,Tensoren``.

Tensoren der Gestalt $\delta_{a_1,\ldots,a_p} + M_0$ werden als $a_1\otimes\ldots\otimes a_p$ geschrieben und heißen ,,reine Tensoren``. Nicht alle Tensoren sind reine Tensoren. Da allerdings die $\delta$-Funktionen eine Basis von $M$ bilden, lassen sich alle Tensoren als Linearkombination von reinen Tensoren darstellen. Die reinen Tensoren spannen das ganze Tensorprodukt auf, sind aber im Allgemeinen linear abhängig und bilden daher keine Basis.

Wir nennen jene Abbildung $\tau$, die jedem p-Tupel $\left(a_1,\ldots,a_p\right)$ den reinen Tensor $a_1\otimes\ldots\otimes a_p$ zuordnet, die ,,kanonische Abbildung``:

$$\tau: V_1\times\ldots\times V_p \to V_1\otimes\ldots\otimes V_p$$

$$\left(a_1,\ldots,a_p\right) \mapsto a_1\otimes\ldots\otimes a_p$$ (11)

Die kanonische Abbildung ist multilinear.

Als ,,universelle Eigenschaft des Tensorprodukts`` bezeichnet man folgenden Sachverhalt:

Zu jeder multilinearen Abbildung $f: V_1\times\ldots\times V_p\to W$ gibt es genau eine lineare Abbildung $g: V_1\otimes\ldots\otimes V_p \to W$ mit $f = g \circ \tau$.

Kennt man das Tensorprodukt und alle linearen Abbildungen davon in W, so kennt man alle multilinearen Abbildungen des kartesischen Produkts in W.

Wesentlich am Tensorprodukt ist weniger dessen explizite Bauart $M/M_0$ als seine universelle Eigenschaft.