In abstract algebra and multilinear algebra, a multilinear form on a vector space V {\displaystyle V} over a field K {\displaystyle K} is a map
f : V k → K {\displaystyle f\colon V^{k}\to K}
that is separately K {\displaystyle K} -linear in each of its k {\displaystyle k} arguments. More generally, one can define multilinear forms on a module over a commutative ring. The rest of this article, however, will only consider multilinear forms on finite-dimensional vector spaces. Multilinear forms V k → K {\displaystyle V^{k}\to K} are naturally identified with linear forms on the tensor product V ⊗ k {\displaystyle V^{\otimes k}} . Therefore, a multilinear k {\displaystyle k} -form on V {\displaystyle V} over R {\displaystyle \mathbb {R} } is called a (covariant) k {\displaystyle {\boldsymbol {k}}} -tensor, and the vector space of such forms is usually denoted T k ( V ) {\displaystyle {\mathcal {T}}^{k}(V)} or L k ( V ) {\displaystyle {\mathcal {L}}^{k}(V)} .
Tensor product of multilinear forms Given a k {\displaystyle k} -tensor f ∈ T k ( V ) {\displaystyle f\in {\mathcal {T}}^{k}(V)} and an ℓ {\displaystyle \ell } -tensor g ∈ T ℓ ( V ) {\displaystyle g\in {\mathcal {T}}^{\ell }(V)} , a product f ⊗ g ∈ T k + ℓ ( V ) {\displaystyle f\otimes g\in {\mathcal {T}}^{k+\ell }(V)} , known as the tensor product, can be defined by the property
( f ⊗ g ) ( v 1 , … , v k , v k + 1 , … , v k + ℓ ) = f ( v 1 , … , v k ) g ( v k + 1 , … , v k + ℓ ) , {\displaystyle (f\otimes g)(v_{1},\ldots ,v_{k},v_{k+1},\ldots ,v_{k+\ell })=f(v_{1},\ldots ,v_{k})g(v_{k+1},\ldots ,v_{k+\ell }),}
for all v 1 , … , v k + ℓ ∈ V {\displaystyle v_{1},\ldots ,v_{k+\ell }\in V} . The tensor product of multilinear forms is not commutative; however, it is bilinear and associative:
f ⊗ ( a g 1 + b g 2 ) = a ( f ⊗ g 1 ) + b ( f ⊗ g 2 ) {\displaystyle f\otimes (ag_{1}+bg_{2})=a(f\otimes g_{1})+b(f\otimes g_{2})} , ( a f 1 + b f 2 ) ⊗ g = a ( f 1 ⊗ g ) + b ( f 2 ⊗ g ) , {\displaystyle (af_{1}+bf_{2})\otimes g=a(f_{1}\otimes g)+b(f_{2}\otimes g),}
and
( f ⊗ g ) ⊗ h = f ⊗ ( g ⊗ h ) . {\displaystyle (f\otimes g)\otimes h=f\otimes (g\otimes h).}
… excerpt ends here. Continue reading the full article.
