Register to reply

The mapping to alternating tensors

by yifli
Tags: alternating, mapping, tensors
Share this thread:
yifli
#1
Jun17-11, 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
Phys.Org News Partner Science news on Phys.org
Security CTO to detail Android Fake ID flaw at Black Hat
Huge waves measured for first time in Arctic Ocean
Mysterious molecules in space
micromass
#2
Jun17-11, 11:55 AM
Mentor
micromass's Avatar
P: 18,046
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.
mathwonk
#3
Jun18-11, 10:13 PM
Sci Advisor
HW Helper
mathwonk's Avatar
P: 9,453
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