ScalingStacks

1.3.6 [01M2]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context · Original author HTML

1.3.6

Soit f:V→V′f\colon V\rightarrow V^{\prime} un isomorphisme d’espaces affines de dimension finie et soit μ\mu un vecteur-volume sur VV.

Soit f∗​(μ)f_{*}(\mu) le vecteur volume sur V′V^{\prime} déduit de μ\mu par transport de structure.

Soit ω′\omega^{\prime} une (n,n)(n,n)-forme à coefficients mesurables sur V′V^{\prime} et soit ω=f∗​ω′\omega=f^{*}\omega^{\prime}. Pour que ω\omega soit μ\mu-intégrable, il faut et il suffit que ω′\omega^{\prime} soit f∗​(μ)f_{*}(\mu)-intégrable ; alors,

∫f−1​(U)⟨f∗​ω,μ⟩=∫U⟨ω,f∗​(μ)⟩.\int_{f^{-1}(U)}\langle f^{*}\omega,\mu\rangle=\int_{U}\langle\omega,{f_{*}(\mu)}\rangle.

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.