How Do Tensor and Wedge Products Relate in Differential Geometry?
Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
32 replies · 13K views
Physics news on Phys.org
Science Advisor
Homework Helper
- 12,028
- 2,330
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??
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??
cathalcummins
- 43
- 0
If we were to generalise this to general 3-forms. [itex]\omega \in T^{0}_{3}[/itex] such that [itex]T_{ijk}=-T_{jik}[/itex]. 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 [itex]T^{0}_{3}[/itex] into its symmetric and anti symmetric parts, S and A such that;
[itex]S_{ijk}=\frac{1}{2}(T_{ijk}+T_{jik})[/itex]
and
[itex]A_{ijk}=\frac{1}{2}(T_{ijk}-T_{jik})[/itex]
Then, as [itex]\omega[/tex] is by definition anti-symmetric, its coefficients must have the form of the A'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[/itex]
Would it be correct to split [itex]T^{0}_{3}[/itex] into its symmetric and anti symmetric parts, S and A such that;
[itex]S_{ijk}=\frac{1}{2}(T_{ijk}+T_{jik})[/itex]
and
[itex]A_{ijk}=\frac{1}{2}(T_{ijk}-T_{jik})[/itex]
Then, as [itex]\omega[/tex] is by definition anti-symmetric, its coefficients must have the form of the A'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[/itex]
Similar threads
Undergrad How Can Wedge Products Be Used in Differential Geometry?
- Silviu
- · Replies 2 ·
- Differential Geometry
- Replies
- 2
Undergrad How Do Tensor Products Relate to Supports in Algebraic Geometry?
- Euge
- · Replies 1 ·
- Math Problem of the Week
- Replies
- 1
How Do Field Lines Relate to Differential Equations in Vector Calculus?
- mewmew
- · Replies 1 ·
- Calculus and Beyond Homework Help
- Replies
- 1