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

Zu ${}K=\mathbb {R}$ und ${}V_{1}=\mathbb {R} ^{2}$ und ${}V_{1}=\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.