Soit
un espace vectoriel de dimension finie sur un corps
tel que
. On suppose qu'il existe deux indices i et j tels que
(ou de manière complétement équivalente
). Soit
une base de Ei ; la base duale est donc une base de Ej. Etant donné un tenseur, l'application
est une forme (k − 2)-linéaire sur
, autrement dit un tenseur de
. Par ailleurs cette forme est indépendante du choix de la base de Ei. L'opération s'appelle contraction de T sur les indices i et j. Elle est parfois notée trij
Il est important de garder à l'esprit que l'opération de contraction n'est possible que pour deux indices correspondant à des espaces duaux entre eux et n'a aucun sens dans d'autres cas. Il s'agit en outre d'une opération linéaire de
dans
.
Produit contracté
En pratique la contraction est souvent utilisée au sein d'un opération appelée produit contracté et notée
,
ou même simplement
. Le produit contracté de deux tenseurs est le résultat de leur produit tensoriel suivi d'une contraction d'un indice du premier par un indice du second. On notera que les notations sont lacunaires : elles ne précisent pas quels sont les indices de contraction. Par défaut, il s'agit en général du dernier indice du premier tenseur et du premier indice du second. Comme pour la contraction, le produit contracté ne fait sens que si les indices contractés correspondent à des espaces duaux.
Propriétés du produit contacté
Associativité
Le produit contracté est associatif si le tenseur du centre a au moins deux indices. Ainsi pour
,
et
, on a bien
. Si le tenseur du centre n'a qu'un indice, il est possible que l'un des deux parenthésages ne fassent pas sens, et même dans le cas contraire, l'égalité ne sera pas réalisée dans le cas général.
Distributivité
Le produit contracté se comporte bien comme un produit vis-à-vis de l'addition des espaces vectoriels :
Image par le tenseur ou produit contracté
Étant donné un tenseur
et k vecteurs tels que
on peut effectuer deux opérations :
calculer l'image des k vecteurs par T (qui, rappelons-le, peut toujours être vue comme une forme multilinéaire) :
;
calculer les produits contractés successifs de T par chaque vecteur.
Il s'agit en fait d'une seule et même opération :
D'une manière plus générale, si
le tenseur
construit en évaluant la i-ème position de T est égal au produit contracté de T en son i-ème indice par u en son unique indice. Dés lors il devient possible d'occulter complétement l'aspect fonctionnel de T pour ne considérer que ses propriétés algébriques.
Crochet de dualité
Le crochet de dualité est donc un cas particulier du produit contracté :
.
Image par une application linéaire
L'application linéaire pouvant être vue comme un tenseur de
, on peut calculer l'image d'un vecteur
comme étant le produit contracté
.
Composée d'applications linéaires
Si
et
sont représentées par les tenseurs
et
, alors l'application composée
peut être représentée par le tenseur
.
Produit contracté plusieurs fois
La contraction peut être exercée plusieurs fois à la suite d'un produit tensoriel. Par exemple le produit doublement contracté (noté :,
ou par deux points dans un cercle) correspond à deux contractions successives après un produit tensoriel. Là encore les indices de contractions n'étant en général pas précisés, le produit doublement contracté
correspond souvent à la contraction du dernier indice de S par le premier de T et de l'avant dernier de S par le deuxième de T.
On peut définir de même un produit n fois contracté si les tenseurs le permettent.