Register to reply 
The mapping to alternating tensors 
Share this thread: 
#1
Jun1711, 11:07 AM

P: 70

I'm wondering why [itex]1/k![/itex] is needed in Alt(T), which is defined as:
[tex]\frac{1}{k!}\sum_{\sigma \in S_k} \mbox{sgn}\sigma T(v_{\sigma(1)},\cdots,v_{\sigma(k)})[/tex] After removing [itex]1/k![/itex], the new [itex]\mbox{Alt}[/itex], [itex]\overline{\mbox{Alt}}[/itex], still satisfies [itex]\overline{\mbox{Alt}}(T)(v_1,\cdots,v_i,\cdots,v_j,\cdots,v_k)=\overline{\mbox{Alt}}(T)(v_1,\cdots,v_j,\cdots,v_i,\cdots,v_k)[/itex], which means [itex]\overline{\mbox{Alt}}[/itex] is an alternating tensor 


#2
Jun1711, 11:55 AM

Mentor
P: 18,346

If T is alternating, then Alt(T)=T. This is not true with your new Alt.
Also, Alt(Alt(T))=Alt(T) does not remain true for your new Alt. 


#3
Jun1811, 10:13 PM

Sci Advisor
HW Helper
P: 9,499

But if you do not care about those properties, i.e. if you just want a map and not a "projection", then you do not need it.
Indeed there is a sense in which this is artificial. I.e. the alternating tensor product is more naturally a quotient module than a submodule of the tensor product, and these properties do not make sense there. I.e. the space of "tensors" on a vector space V, is really the dual of the tensor product of V with itself, and the space of alternating tensors is really the dual of the alternating tensor product. Moreover the dual of the tensor product is isomorphic to the tensor product of the dual, and the same for the alternating products. But there is a completely natural "projection" from the tensor product of the duals to its quotient, the alternating product, and this natural projection does not correspond to the one above with the 1/k! in it. I may be confused about this as it has been a long time, but it interested me a s a student and I worked it out this much. People writing about tensors as multilinear or alternating functions, are using the dual approach and sometimes may not know the abstract "tensor product of modules" approach. (Spivak does know it however, and apparently just chooses which property he likes better in writing about this topic.) 


Register to reply 
Related Discussions  
Alternating tensors  Linear & Abstract Algebra  1  
Ordering convention for standard bases of spaces of covariant alternating tensors?  Linear & Abstract Algebra  1  
An open mapping is not necessarily a closed mapping in functional analysis  Calculus  4  
Alternating Groups  Calculus & Beyond Homework  4  
Alternating series  Introductory Physics Homework  8 