Antisymmetrized tensor product

[Terilien]

Could someone explain to me what this is and explain the formula to me? I don't think I understand the formula.

I don't think I quite understand why that's the antisymmetrized tensor product. Maybe its because i don't want o think about it too much.

 

[masudr]

Well:

F_{ab}=\partial_a A_b - \partial_b A_a

See it is antisymmetric in its 2 indices: therefore

F_{ab} = -F_{ba}

which further implies that

F_{aa} = 0

 

[quasar987]

These are the properties of an antisymetric tensor. I think Terilien is talking about the antisymmetrized tensor product, which is something like

W_{ab}=T_{[a}S_{b]} = \frac{1}{2!}(T_aS_b-T_bS_a)

More generally,it creates an antisymetric tensor of valence (a+c,b+d) out of two tensors of valence (a,b) and (c,d).

This definition is pretty straightfoward and unambiguous (to me at least). So what don't you understand about this?

We have two tensors \mathbf{T} and \mathbf{S} whose components are T_a and S_b respectively, and we define a new tensor \mathbf{W} by constructing its components from the components of \mathbf{T} and \mathbf{S}. And it is straightfoward to verify that \mathbf{W} defined in this way is indeed a tensor (i.e. that the set of numbers W_{ab} transform like the components of a tensor)

 

[Terilien]

Yes but how exactly do we get the general formula (p +q)!/p!q!A_[u,1...u,pB_u,p+1...u,p+q]. for some reason I'm scared to figure this out on my own. I usally do, but I'm too anxious. Please help. I think i understand the P!Q! but I don't quite get the the term (p+q)!. As in i don't know why its in the formula.

so essentially I don't understand the coefficients that well.

 

[mjsd]

Yes but how exactly do we get the general formula (p +q)!/p!q!A_[u,1...u,pB_u,p+1...u,p+q]. for some reason I'm scared to figure this out on my own. I usally do, but I'm too anxious. Please help. I think i understand the P!Q! but I don't quite get the the term (p+q)!. As in i don't know why its in the formula.

hint: nCr = n!/r!(n-r)!
it is all about finding all possible pairs of indices. because total anti-symmetric means A_{ij}=-A_{ji}\; \forall \, i, j

 

[quasar987]

Your question was posed quite badly. What you want to know is what motivated people to define the antisymetrized tensor product that way, and particularly, what's with the coefficients.

 

[Terilien]

Ok well could someone tell me? I'm assuming it has to do with integration. frankly i'd like to leanr about differential forms in such a way that I know how they arise.

 

[explain]

Terilien,

your question about differential forms seems to have two parts:

1) why do we need antisymmetric tensors as diff. forms? in other words, why is it that "dxdy" in the integral of f(x,y)dxdy needs to be interpreted as an antisymmetric product of dx and dy, rather than an ordinary product?

2) how to define the antisymmetric product of two antisymmetric tensors in the general case.

Regarding 1), I am not sure if a clear explanation of this can be found in an existing textbook. You may look at the lecture notes http://www.theorie.physik.uni-muenchen.de/~serge/T7/" , chapter 1 - maybe it will help. Regarding 2), the antisymmetric factors are largely cosmetic and some people define them differently. But the idea is that an antisymmetric n-form is a function of a completely antisymmetric combination of n different vectors. So it is natural to introduce a factor of 1/n! into the formula. When we compute the product of two antisymmetric tensors of valence m and n, they will come with factors 1/m! and 1/n! and then there will be an overall factor (m+n)! from the resulting tensor. Hope this helps. Try an example with m=1 and n=2 to see how it works.

 

[Terilien]

One is already pretty clear. It always has been.