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.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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?

Thanks

share|cite|improve this question
4  
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
2  
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
1  
The definition of $V\otimes W$ as $L_2 \left(V^\ast \times W^\ast, \mathbb F\right)$ is really just a trick to avoid talking of universal properties and huge free modules, which works as long as one is content with finite-dimensional spaces. I don't like this trick, as it also comes at the cost of clarity (but YMMV). The free-module-quotient construction, once one gets used to it a bit, looks very natural: it is almost precisely the straightforward formalization of the motivation, which is "formal linear combinations of terms of the form $v \otimes w$ modulo distributivity". – darij grinberg Jul 26 '14 at 19:00

Your Answer

 
discard

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

Browse other questions tagged or ask your own question.