L’ensemble des formes multilin´eaires alt´ern´ees se scinde en deux sous en-
sembles importants: les formes multilin´eaires sym´etriques et les formes mul-
tilin´eaires altern´ees. La premi`ere classe fait partie des tenseurs pairs ou
sym´etriques, la seconde des tenseurs impairs ou antisym´etriques.
Forme p-lin´eaire sym´etriques
Une forme p-lin´eaire est sym´etrique, si pour toute permutation σde (1, ..., p)
et tout n-uplet (x1, ..., xp)
f(x1, ..., xp) = f(xσ(1), ..., xσ(p))
Forme p-lin´eaire antisym´etriques
Une forme p-lin´eaire est antisym´etrique, si pour tout n-uplet (x1, ..., xp)
f(x1, ..., xp) =0 d`es que deux indices sont identiques
Cela revient au meme de dire que pour toute transposition τde deux indices,
f(xτ(1), ..., xτ(p))=-f(x1, ..., xp)
On dit aussi que la forme est altern´ee. On note Λ∗
p(E) cet ensemble.
3 El´ements d’alg`ebre exterieur
Toutes permutations d’un ensemble `a n ´el´ements se d´ecompose en produit
de transpositions. on peut alors d´efinir la signature de la permutation not´ee
ε(σ) d’apr`es ce qui pr`ec‘de toute formes altern´ee peut s’ecrire:
f(xσ(1), ..., xσ(p)) = ε(σ)f(x1, ..., xp)
On a un proc´ed´e ”canonique” pour fabriquer des formes alt´ern´ees `a partir
des p- formes; il en est de mˆeme pour les formes sym´etriques:
4