ScalingStacks

1.3.2 Non-canonicité des intégrales de Lagerberg [01LY]

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.2 Non-canonicité des intégrales de Lagerberg

Si f:𝐑n→𝐑nf\colon\mathbf{R}^{n}\rightarrow\mathbf{R}^{n} est une application affine bijective, d’application linéaire associée f→\overrightarrow{f}, on a

∫f−1​(U)f∗​ω=|det(f→)|​∫Uω.\int_{f^{-1}(U)}f^{*}\omega=\mathopen{|}{\det(\overrightarrow{f})}\mathclose{|}\int_{U}\omega. (1.3.2.1)

Soit nn un entier naturel et soit VV un espace affine de dimension nn sur 𝐑\mathbf{R}. Pour définir l’intégrale d’une (n,n)(n,n) forme intégrable ω\omega sur un ouvert UU de VV, il suffit de fixer un isomorphisme affine de VV sur 𝐑n\mathbf{R}^{n} et d’appliquer la définition ci-dessus. Le problème est que le résultat obtenu dépend de l’isomorphisme choisi : en effet, par ce qui précède, deux isomorphismes uu et u′u^{\prime} fournissent la même notion d’intégrale si et seulement le jacobien de l’automorphisme affine u′∘u−1u^{\prime}\circ u^{-1} de 𝐑n\mathbf{R}^{n} est égal à ±1\pm 1.

Pour définir l’intégrale d’une (n,n)(n,n)-forme sur un ouvert d’un espace affine, des données supplémentaires sont donc nécessaires. Comme on vient de le voir, ce peut être, un système de coordonnées affines  ; mais comme la dépendance en un tel système ne fait intervenir que la valeur absolue du jacobien du changement de variables, il est suffisant de se donner un nn-vecteur et une orientation.

Le but des paragraphes qui suivent est d’expliciter cette assertion un peu vague et de définir du même coup l’intégrale d’une (n−1,n)(n-1,n)-forme sur le bord d’un demi-espace de VV.

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