How Do Tensor and Wedge Products Relate in Differential Geometry?

  • Thread starter Thread starter cristo
  • Start date Start date
  • Tags Tags
    Tensor Wedge
Click For Summary
The discussion centers on the relationship between antisymmetric tensors and wedge products in differential geometry. The key point is demonstrating that the expression C_{ij}dx^i \otimes dx^j corresponds to the 2-form C_{ij}dx^i \wedge dx^j, utilizing the antisymmetry of the tensor components. Participants clarify that the wedge product can be expressed in terms of the tensor product, leading to confusion over the coefficients involved. The conversation also touches on the conventions used in mathematical texts regarding the definitions of wedge products and alternating tensors. Ultimately, the discussion highlights the complexities and nuances in understanding these mathematical concepts.
  • #31
i am a little puzzled no one who went through bachmans book seemed to notice this discrepancy.

probably ordinary tensors were never considered there.
 
Physics news on Phys.org
  • #32
lets see. if we consider the operation of interchanging entrioes in a 2 tensor, i.e. taking atensb to btens a, we geta linear endomorphism of the space of 2 tensors that is an involution, i.e. satisfies T^2 = I or T^2-I = 0. thus its minimal polynomial factors as (T-I)(T+I), and we hVE EIGENVALUES 1 and -1.

hence the space should decompose into eigenspaces of T-I and T+I, namely symmetric and antisymmetric tensors.

so this seems to be why every 2 tensor decomposes this way, from the point of view of spectral theory.but what to saY ABoUT 3 tensors??
 
  • #33
If we were to generalise this to general 3-forms. \omega \in T^{0}_{3} such that T_{ijk}=-T_{jik}. The thing I am trying to prove is that n-forms form a vector space, and to find the dimension of this space. To make generalisation easier, could you please clarify the following reasoning.

Would it be correct to split T^{0}_{3} into its symmetric and anti symmetric parts, S and A such that;

S_{ijk}=\frac{1}{2}(T_{ijk}+T_{jik})

and

A_{ijk}=\frac{1}{2}(T_{ijk}-T_{jik})

Then, as \omega[/tex] is by definition anti-symmetric, its coefficients must have the form of the A&#039;s. <br /> <br /> 1) The dimension would be the number of independent components of A yes? for the 2 form, this is easily seen from the upper triangular (not including the diagonal), which is just n(n-1)/2. My problem is trying to generalise three forms and upwards. Mainly because I can visualise the permutations very well.<br /> <br /> Thanks
 

Similar threads

  • · Replies 13 ·
Replies
13
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 5 ·
Replies
5
Views
5K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 13 ·
Replies
13
Views
4K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K