Hi all,(adsbygoogle = window.adsbygoogle || []).push({});

I am trying to prove the invariant form for the exterior derivative http://en.wikipedia.org/wiki/Exteri...tions_of_grad.2C_curl.2C_div.2C_and_Laplacian by following these notes http://idv.sinica.edu.tw/ftliang/diff_geom/*diff_geometry(II)/3.11/exterior_derivative_2.pdf.

I am confused however, as the beginning of the proof is to show that the RHS form is "multilinear", in the sense that, for arbitrary vectors [itex]V_i[/itex]

[tex] RHS(V_1, \ldots, fV_p, \ldots, V_{k+1}) = (-1)^{p-1} f RHS(V_1, \ldots, V_p, \ldots, V_{k+1}) [/tex]

Given that the right hand side is equal to the exterior derivative of something, does this not imply that the exterior derivative of something has the same weird symmetry. I would have thought that since the exterior derivative is a tensor, it is the usual linear

[tex] d \Omega (V_1, \ldots, fV_p, \ldots, V_{k+1}) = f d \Omega(V_1, \ldots, V_p, \ldots, V_{k+1}). [/tex]

Could someone please clarify this?

As for the general proof, after proving that things are multilinear in that unusual sense, the author states that [itex] \omega = f dx ^I[/itex] for some index set [itex] I [/itex]. Is this meant to be [itex] \omega = f_I dx ^I[/itex]?

Cheers

**Physics Forums - The Fusion of Science and Community**

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Quickly: Multlinearity of exterior derivative, and proof of invariant formula

Loading...

Similar Threads - Quickly Multlinearity exterior | Date |
---|---|

A Exterior forms in wiki page | Dec 22, 2017 |

Quick question about interpretation of contravariant and covariant components | Apr 9, 2012 |

Quick Question about Smooth Maps | Oct 28, 2011 |

Quick question - Christoffel Symbol Transformation Law | Sep 11, 2011 |

(Hopefully)Very quick volume calculation question | Jun 9, 2011 |

**Physics Forums - The Fusion of Science and Community**