Some sources I have checked define the Hodge dual of a form [itex]\omega \in \Omega^p[/itex] as the object such that [itex]\forall \eta \in \Omega^p: \eta \wedge \omega^\star = g(\eta,\omega) \textrm{ Vol}[/itex] (where "Vol" is a chosen volume form).(adsbygoogle = window.adsbygoogle || []).push({});

I can see that there can be only one form with such a solution (i.e.unicity), but I can't seeexistence:how do we know there is such a form [itex]\omega^\star \in \Omega^{n-p}[/itex] that satisfies that definition?

(I can kind of see it locally using some basis argument, but how make it global...) The main thing I'm confused about is whether it should be obvious that it exists (since my sources don't give extra arguments), or whether it requires further justification.

**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!

# Existence of Hodge Dual: obvious or non-trivial?

Loading...

Similar Threads - Existence Hodge Dual | Date |
---|---|

I Does a covariant version of Euler-Lagrange exist? | Feb 20, 2018 |

A Existence of Complex Structures and Characteristic Classes | Sep 12, 2016 |

A technical question that has to do with Hodge Star | Apr 19, 2015 |

Intuition and existence for convex neighbourhoods | Mar 10, 2015 |

Metric and existence of parallel lines! | Mar 6, 2014 |

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