Vektorräume/Endliche Familie/Tensorprodukt/Konstruktion/Beispiel

Zu  ${}K=\mathbb {R}$  und  ${}V_{1}=\mathbb {R} ^{2}$  und  ${}V_{2}=\mathbb {R} ^{3}$  sind die Elemente aus ${}F$ (im Sinne der Definition) Linearkombinationen wie

$4e_{({\begin{pmatrix}3\\2\end{pmatrix}},{\begin{pmatrix}6\\-1\\5\end{pmatrix}})}-5e_{({\begin{pmatrix}1\\7\end{pmatrix}},{\begin{pmatrix}3\\3\\4\end{pmatrix}})}+6e_{({\begin{pmatrix}2\\4\end{pmatrix}},{\begin{pmatrix}-4\\7\\8\end{pmatrix}})}.$

Mit den Standardvektoren des ${}\mathbb {R} ^{2}$ bzw. des ${}\mathbb {R} ^{3}$ ist dies

$4e_{(3e_{1}+2e_{2},6e_{1}-e_{2}+5e_{3})}-5e_{e_{1}+7e_{2},3e_{1}+3e_{2}+4e_{3}}+6e_{(2e_{1}+4e_{2},-4e_{1}+7e_{2}+8e_{3})}.$

Da die Tupel untereinander verschieden sind, kann man diesen Ausdruck in ${}F$ nicht vereinfachen. Das Bild dieses Elementes in  ${}F/U=\mathbb {R} ^{2}\otimes _{\mathbb {R} }\mathbb {R} ^{3}$  ist

$4(3e_{1}+2e_{2})\otimes (6e_{1}-e_{2}+5e_{3})-5(e_{1}+7e_{2})\otimes (3e_{1}+3e_{2}+4e_{3})+6(2e_{1}+4e_{2})\otimes (-4e_{1}+7e_{2}+8e_{3}).$

Diesen Ausdruck kann man wesentlich vereinfachen, und als eine Linearkombination der Familie ${}e_{i}\otimes e_{j}$, ${}i=1,2$, ${}j=1,2,3$, darstellen.