TheoremBase

Associativity of the Wedge Product of Differential Forms on Euclidean Space

Statement

Let n∈Nn\in\mathbb{N}, let U⊆RnU\subseteq \mathbb{R}^n be open, let k,ℓ,m∈N∪{0}k,\ell,m\in\mathbb{N}\cup\{0\}, let α\alpha be a differential kk-form on UU, let β\beta be a differential ℓ\ell-form on UU, and let γ\gamma be a differential mm-form on UU. Then (α∧β)∧γ=α∧(β∧γ).(\alpha\wedge\beta)\wedge\gamma=\alpha\wedge(\beta\wedge\gamma). Consequently, whenever ω1,…,ωr\omega_1,\dots,\omega_r are differential forms on UU for some r∈Nr\in\mathbb{N}, the expression ω1∧⋯∧ωr\omega_1\wedge\cdots\wedge\omega_r is unambiguous.

Proofs

Log in to submit a proof.

Loading...

Citations

Loading…

Dependencies

Loading…

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Log in to comment.

Loading…