Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I am aware that many books on differential geometry define tensors as multilinear maps. Namely $$ V\otimes W := L_2(V^*\times W^*,\Bbb F) $$ I am also aware that this space is isomorphic to the tensor product in the finite dimensional case, but I am wondering if it is a good idea to think of tensor products as multilinear maps. Is there any reason why one would like to make this identification in the finite dimensional case? Or does this definition come from the idea that students new to the subject may have an easier time with this less abstract definition?


share|improve this question
But, even with the more standard algebraic definition, the key feature is the universal mapping property, which is oh-so-close to this. But you are correct that double-duality gets tangled in there. –  Ted Shifrin May 28 '13 at 20:50
Could you elaborate please? I am interested as well. Thanks –  Nicolas Bourbaki May 28 '13 at 20:55
What is the alternative definition of tensor you are referring to? I only know of the definition of the tensor product as identified with multilinear maps. –  Christopher A. Wong May 28 '13 at 23:36
$V\otimes W = (\mbox{free product of $V$ and $W$})/(\mbox{a certain ideal})$? –  Neal May 29 '13 at 1:34
The tensor product is defined by it's universal mapping property. What you are referring to is an explicit construction of this. –  Nicolas Bourbaki May 29 '13 at 8:10

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.