the mapping to alternating tensors


by yifli
Tags: alternating, mapping, tensors
yifli
yifli is offline
#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
Lemurs match scent of a friend to sound of her voice
Repeated self-healing now possible in composite materials
'Heartbleed' fix may slow Web performance
micromass
micromass is online now
#2
Jun17-11, 11:55 AM
Mentor
micromass's Avatar
P: 16,528
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
mathwonk is offline
#3
Jun18-11, 10:13 PM
Sci Advisor
HW Helper
mathwonk's Avatar
P: 9,421
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