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 est une application affine bijective, d’application linéaire associée , on a
| (1.3.2.1) |
Soit un entier naturel et soit un espace affine de dimension sur . Pour définir l’intégrale d’une forme intégrable sur un ouvert de , il suffit de fixer un isomorphisme affine de sur 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 et fournissent la même notion d’intégrale si et seulement le jacobien de l’automorphisme affine de est égal à .
Pour définir l’intégrale d’une -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 -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 -forme sur le bord d’un demi-espace de .