Why is it that if $\omega$ and $\nu$ are covectors of some finite dimensional space $V$, we have $\omega\nu=\frac12(\omega\otimes \nu+\nu\otimes\omega)$? In general why is it true that the pointwise product of functionals is equal to the symmetrization of the tensor product of functionals?
- Anybody can ask a question
- Anybody can answer
- The best answers are voted up and rise to the top
In general you can write $\omega\otimes\nu=\frac12(\omega\otimes \nu+\nu\otimes\omega)+\frac12(\omega\otimes \nu-\nu\otimes\omega)$ to isolate the symmetric (left part of right hand side) from the antisymmetric (right part of right hand side) parts of the tensor. I guess you are working with functionals into a field, and pointwise multiplication is going to commute, so one should expect the result to be completely symmetric (making the right part of the right hand side zero.)
The same idea would hold for a longer pointwise product.