Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Les faisceaux sont munis
de deux opérateurs différentiels, et ,
définis ainsi en coordonnées. Pour comme ci-dessus,
Ainsi, est de type , tandis que
est de type . Notons que pour ,
les symboles et sont bien les images
par et de la fonction affine sur .
Remarquons aussi que la différentielle
n’est autre que l’opérateur induit par la connexion naturelle dans le
fibré vectoriel trivial de fibre .
Ces opérateurs s’étendent de façon évidente aux formes
à coefficients dans une classe admissible de fonctions,
pourvu que cette classe ait une régularité suffisante.
Par exemple, si est une forme de type
à coefficients de classe ,
et sont des formes
de types et à coefficients de classe .
\lemmname 1.2.10.
On a les relations
Démonstration.
Par linéarité, il suffit de traiter
le cas d’une forme de la forme ,
où et sont des multiindices de longueur et .
Alors,
Les autres relations s’en déduisent, compte tenu du fait que
est une involution.
∎