olemus
sama skalaaride hulgaga \(K\) vektorruumidest \(V_1\) ja \(V_2\) moodustatud vektorruum \(V_1\otimes V_2\), mis defineeritakse
vaba vektorruumi \(F_K(V_1\times V_2)\)
faktorruumina \(F_K(V_1\times V_2)/W\),
kus
\(W\) on alamruum, mille moodustavad
kõikvõimalikud vektorid kujul
\((a, b_1 + b_2)-(a, b_1) - (a,b_2)\)
\((a_1 + a_2, b)-(a_1, b) - (a_2,b)\)
\((ka, b)- k(a, b)\)
\((a, kb)- k(a, b)\),
ning
\( a, a_1,a_2\in V_A\), \( b, b_1, b_2\in V_B \), ja \(k\in K\),
st vektorruum \(W\) on kõigi selliste vektorite
lineaarne kate

märkus
tensorkorrutis on üldistatav ka n vektorruumile:
\(V_1\otimes V_2\otimes \ldots \otimes V_n\)

ülevaateid
https://encyclopediaofmath.org/wiki/Tensor_product

https://en.wikipedia.org/wiki/Tensor_product

https://www.math3ma.com/blog/the-tensor-product-demystified

http://www.amotlpaa.org/math/vecten.pdf

https://www.math.brown.edu/~res/M153/tensor.pdf

vt ka
- tensor
- tensoraste