no 7
JETS
61
phisme de X' dans Y'; son jet j' E JX(X' , Y') ne dépend que de j. L'application j ++ j'
est un isomorphisme de classe Cr'-k de Jk(X, Y) sur Jk(X', Y'); elle permet d'identifier
Jk(X', Y') à la variété de classe C"-k déduite de la variété Jk(X, Y) de classe Cr-k par
affaiblissement de structure. Un résultat analogue s'applique aux variétés Pk(.rr) et
Pk(E) des no 12.5 et 12.6.
JETS
61
phisme de X' dans Y'; son jet j' E JX(X' , Y') ne dépend que de j. L'application j ++ j'
est un isomorphisme de classe Cr'-k de Jk(X, Y) sur Jk(X', Y'); elle permet d'identifier
Jk(X', Y') à la variété de classe C"-k déduite de la variété Jk(X, Y) de classe Cr-k par
affaiblissement de structure. Un résultat analogue s'applique aux variétés Pk(.rr) et
Pk(E) des no 12.5 et 12.6.