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]