1.5.8 Fonctorialité [01MP]
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.5.8 Fonctorialité
Soit une application affine, soit un polytope de de dimension , et soit son image dans . Soit une décomposition cellulaire de , assez fine pour que son image par soit une décomposition cellulaire de . Soit un calibrage de subordonné à la décomposition . On définit comme suit un calibrage de subordonné à la décomposition . Soit . Soit l’ensemble des -cellules de qui s’envoient sur ; l’application induit pour tout un homéomorphisme et une bijection affine .
Fixons une orientation de Elle induit une orientation de pour toute cellule .
Pour tout , il existe un unique tel que soit égal à la classe de ; soit son image dans . Le couple définit un vecteur-volume sur l’espace .
On pose .
Soit une forme à coefficients mesurables de type (resp. ) sur un ouvert de . La forme est intégrable si et seulement si est intégrable : cela provient du fait que si est une cellule de dimension (resp. ) contenue dans (on ne demande pas que ) et si n’est pas injective, la restriction de à est nulle, parce qu’elle provient d’un espace affine de dimension (resp. ).
Lorsque est intégrable, on a les égalités