Rappelons que I'on a
df = d l f + d"f
Si A = (il, . . ., i,) est une suite strictement croissante d'entiers appartenant à
l'intervalle (1, n), on pose
dzA = dzfl A . . . /\ dzip
et l'on note dZA la conjuguée de dzA. Toute forme différentielle w de type (p, q) à
valeurs dans F s'écrit de façon unique
où A (resp. B) parcourt l'ensemble des suites strictement croissantes de p (resp. q)
éléments de (1, n), les f,,, étant des fonctions à valeurs dans F. Si w est de classe CL,
avec k 2 1, il en est de même des fonctions f,,, et I'on a
df = d l f + d"f
Si A = (il, . . ., i,) est une suite strictement croissante d'entiers appartenant à
l'intervalle (1, n), on pose
dzA = dzfl A . . . /\ dzip
et l'on note dZA la conjuguée de dzA. Toute forme différentielle w de type (p, q) à
valeurs dans F s'écrit de façon unique
où A (resp. B) parcourt l'ensemble des suites strictement croissantes de p (resp. q)
éléments de (1, n), les f,,, étant des fonctions à valeurs dans F. Si w est de classe CL,
avec k 2 1, il en est de même des fonctions f,,, et I'on a