Tenzorový součin dvou vektorových prostorů
a
nad stejným číselným tělesem
je v matematice vektorový prostor
disponující takovým bilineárním zobrazením
z kartézského součinu
a
na
které je „nejuniverzálnější“ ze všech možných bilineárních zobrazení z
v tom smyslu, že každé jiné bilineární zobrazení jednoznačně lineárně faktorizuje nad
. To znamená, že ke každému bilineárnímu zobrazení
na vektorový prostor
nad tělesem
existuje jednoznačně definované lineární zobrazení
tak, že
, čili že pro libovolný pár vektorů
platí
Pokud takový vektorový prostor
existuje, je až na izomorfismus jednoznačný, tj. pro každý jiný
s univerzálním bilineárním zobrazením
existuje izomorfismus
tak, že
Prostor
se značí
a příslušné bilineární zobrazení se píše
. Definici tenzorového součinu lze indukcí zobecnit na více vektorových prostorů:
atd.
Ve fyzice se pro vektorový prostor
s duálním prostorem
(často
) prvky tenzorového součinu
![{\displaystyle \underbrace {V\otimes \dotsb \otimes V} _{r{\text{ faktorů}}}\otimes \underbrace {V^{*}\otimes \dotsb \otimes V^{*}} _{s{\text{ faktorů}}}}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO9FnjeQathFaNm2oDw0ntJAnAdDyjFFzAzCnjdFajw1aAi1ztiPyto3)
označují jako tenzory kontravariantní stupně
a kovariantní stupně
. Mluví se pak o tenzorech typu
.
Má-li prostor
dimenzi
a
dimenzi
, pak
má dimenzi
. Bázi
lze zkonstruovat jako množinu všech uspořádaných dvojic
, kde
jsou bázové vektory
a
bázové vektory
Tenzorový součin obecně není komutativní, jakožto bilineární zobrazení je však distributivní a asociativní. Pro všechny
a libovolné
tedy platí:
|
![{\displaystyle (v'+v'')\otimes w=v'\otimes w+v''\otimes w}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO8PotiPygoNaAa0zAi2yqi1ajs4ajo5zgaQzNaOaDi3yqhBz2w0oNBD) |
(1)
|
|
![{\displaystyle v\otimes (w'+w'')=v\otimes w'+v\otimes w''}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO85aqvFaNoNz2i2zNJEzqwQoqi2nqnEaNnCztBBotaNoNvCaAsQajo4) |
(2)
|
|
![{\displaystyle (\lambda v)\otimes w=\lambda \cdot (v\otimes w)=v\otimes (\lambda w)}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO8OzgdAnta3nje0ngiQnqrBnDK5nDw0ajvAotK3yqe2ntFDzDG5z2oN) |
(3)
|