TheoremBase

Pullback Invariance of the Integral under Orientation-Preserving Smooth Diffeomorphisms

Statement

Let n∈n\in N\mathbb{N}, let Ω,Ω′\Omega,\Omega' be admissible domains in Euclidean space Rn\mathbb{R}^n in the sense of Continuous n-Form, Support, and Zero Extension on a Euclidean or Half-Space Domain, and let F:Ω→Ω′F:\Omega\to\Omega' be an orientation-preserving smooth diffeomorphism. Let ω\omega be a continuous differential nn-form on Ω′\Omega' that is compactly supported in Ω′\Omega', in the sense of Continuous n-Form, Support, and Zero Extension on a Euclidean or Half-Space Domain.

Then the pullback F∗ωF^{*}\omega is a continuous differential nn-form on Ω\Omega that is compactly supported in Ω\Omega, and

∫ΩF∗ω=∫Ω′ω,\int_{\Omega}F^{*}\omega=\int_{\Omega'}\omega,

where both sides are integrals in the sense of Integral of a Compactly Supported Continuous n-Form on a Euclidean or Half-Space Domain.

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…