In de lineaire algebra is het tensorproduct een mechanisme om twee vectorruimten over hetzelfde scalairen-lichaam/veld te combineren tot een nieuwe vectorruimte. De nieuwe vectorruimte biedt op natuurlijke wijze een domein aan willekeurige bilineaire afbeeldingen die uitgaan van het cartesisch product van de twee vectorruimten.
Voorbeeld
Het tensorproduct
van de ruimte
van 1x2-matrices (kolomvectoren) met zichzelf wordt voortgebracht door de tensorproducten van de elementen. Het tensorproduct van twee elementen is het kronecker-product:
![{\displaystyle {\begin{bmatrix}a\\b\\\end{bmatrix}}\otimes {\begin{bmatrix}c\\d\\\end{bmatrix}}={\begin{bmatrix}a{\begin{bmatrix}c\\d\\\end{bmatrix}}\\b{\begin{bmatrix}c\\d\\\end{bmatrix}}\\\end{bmatrix}}={\begin{bmatrix}ac\\ad\\bc\\bd\\\end{bmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/607c2b34a91722a1698bb1dbb825b8e4692d70d5)
Voor 2x2-matrices is dat:
![{\displaystyle {\begin{bmatrix}a_{11}&a_{12}\\a_{21}&a_{22}\\\end{bmatrix}}\otimes {\begin{bmatrix}b_{11}&b_{12}\\b_{21}&b_{22}\\\end{bmatrix}}={\begin{bmatrix}a_{11}{\begin{bmatrix}b_{11}&b_{12}\\b_{21}&b_{22}\\\end{bmatrix}}&a_{12}{\begin{bmatrix}b_{11}&b_{12}\\b_{21}&b_{22}\\\end{bmatrix}}\\&\\a_{21}{\begin{bmatrix}b_{11}&b_{12}\\b_{21}&b_{22}\\\end{bmatrix}}&a_{22}{\begin{bmatrix}b_{11}&b_{12}\\b_{21}&b_{22}\\\end{bmatrix}}\\\end{bmatrix}}={\begin{bmatrix}a_{11}b_{11}&a_{11}b_{12}&a_{12}b_{11}&a_{12}b_{12}\\a_{11}b_{21}&a_{11}b_{22}&a_{12}b_{21}&a_{12}b_{22}\\a_{21}b_{11}&a_{21}b_{12}&a_{22}b_{11}&a_{22}b_{12}\\a_{21}b_{21}&a_{21}b_{22}&a_{22}b_{21}&a_{22}b_{22}\\\end{bmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/78a5a9af56f97112409449034a6e68dd57b88aff)
Definitie
Laat
en
twee vectorruimten over hetzelfde lichaam/veld
zijn en
en
respectievelijk bases van deze ruimten. De vectorruimte
over
heet het tensorproduct van
en
, genoteerd
,
of uitdrukkelijker
,
als er in
een basis is die eenduidig geïdentificeerd kan worden met het cartesisch product
van beide bases. Het element dat overeenkomt met
wordt formeel genoteerd als
![{\displaystyle e_{a}\otimes f_{b}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c45b8dddee1aa8fc00a852d7b030468e4cfe63b3)
en heet tensorproduct van de beide basisvectoren. Deze tensorproducten vormen een nieuw soort elementen, die op formele wijze een combinatie zijn van de basisvectoren.
Het is nu mogelijk ook voor twee vectoren hun tensorproduct te definiëren. Voor de vectoren
en ![{\displaystyle w=w^{1}f_{1}+w^{2}f_{2}+\ldots \in W}](https://wikimedia.org/api/rest_v1/media/math/render/svg/baede290e50d150c55b44407fd33d53e92f0419b)
is hun tensorproduct gedefinieerd door:
.
NB. De notatie met bovenindices voor de coördinaten is in de tensorrekening gebruikelijk, zie covariant en contravariant.
De elementen van de vorm
brengen de vectorruimte
voort.
Dimensie
Voor eindigdimensionale vectorruimten geldt:
![{\displaystyle \dim V\otimes W=\dim V\cdot \dim W}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ab14488bb5dbe8549d56a307f49b5a2aaee6fbbb)
Dit in tegenstelling tot het cartesisch product van vectorruimten, waarvoor geldt:
.
Toepassingen
In de natuurkunde, en dan vooral in de analytische mechanica en de relativiteitstheorie, wordt veelvuldig gebruikgemaakt van tensoren. Het daar gehanteerde tensorbegrip komt overeen met het hierboven geschetste begrip, toegepast op een eindig aantal exemplaren van de raakbundel
(en zijn duaal, de co-rakende bundel
) van een riemann-variëteit
. In die context is een tensor van rang
een sectie van het tensorproduct van
dergelijke bundels. De coördinaten van een dergelijke sectie worden gegeven door een stel van
![{\displaystyle \dim M=\dim TM=\dim T^{*}M^{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8749648f2720b1c1a151d093a1e65179286b3e7e)
functies die aan bepaalde transformatiewetten voldoen bij overgang naar een ander stel basisvectoren. Het onderscheid tussen "covariant" en "contravariant" slaat dan op het onderscheid tussen de rakende bundel en de co-rakende bundel.
Generalisatie
Er bestaat een generalisatie van het tensorproduct tot willekeurige modulen over een commutatieve ring
.
Het universeel object dat canoniek alle
-voudige tensorproducten van een vectorruimte
met zichzelf omvat voor
,
noemt men de tensoralgebra over
.