ScalingStacks

2.4 [034U]

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

2.4

Let Ac​(U)A_{c}(U) denote the space of superforms on UU with compact support in UU. For α∈Ac​(U)\alpha\in A_{c}(U), we define

∫Uα:=∫UαL​L​d​x1∧⋯∧d​xr\int_{U}\alpha:=\int_{U}\alpha_{LL}dx_{1}\wedge\dots\wedge dx_{r}

with L={1,…,r}L=\{1,\dots,r\} and the usual integration of rr-forms with respect to the orientation induced by the choice of coordinates on the right hand side. If FF is an affine map as in 2.3 and if r=r′r=r^{\prime}, then we have the transformation formula

∫VF∗​(α)=|det(F)|​∫Uα\int_{V}F^{*}(\alpha)=|\det(F)|\int_{U}\alpha (1)

(see [La12], equation (2.3)). We conclude that the definition of the integral depends only on the underlying integral ℝ{\mathbb{R}}-affine structure of NℝN_{\mathbb{R}}.

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