Tenseur (mathématiques) - Définition

Source: Wikipédia sous licence CC-BY-SA 3.0.
La liste des auteurs de cet article est disponible ici.

Opération de contraction

Définition

Soit \mathcal{E} un espace vectoriel de dimension finie sur un corps \mathbb{K} tel que \mathcal{E} = E_1 \otimes \cdots \otimes E_k . On suppose qu'il existe deux indices i et j tels que E_i = E_j^* (ou de manière complétement équivalente E_j = E_i^* ). Soit (e_1, e_2, \cdots, e_n) une base de Ei ; la base duale (e_1^*, e_2^*, \cdots, e_n^*) est donc une base de Ej. Etant donné un tenseur T \in \mathcal{E} , l'application

( u_1, \cdots, u_{i-1}, u_{i+1}, \cdots, u_{j-1}, u_{j+1}, \cdots, u_k ) \mapsto \sum_{r=1}^n T( u_1, \cdots, u_{i-1}, e_r^*, u_{i+1}, \cdots, u_{j-1}, e_r, u_{j+1}, \cdots, u_k )

est une forme (k − 2)-linéaire sur  E_1^* \times \cdots \times E_{i-1}^* \times E_{i+1}^* \times \cdots \times E_{j-1}^* \times E_{j+1}^* \times \cdots \times E_k^* , autrement dit un tenseur de  E_1 \otimes \cdots \otimes E_{i-1} \otimes E_{i+1} \otimes \cdots \otimes E_{j-1} \otimes E_{j+1} \otimes \cdots \otimes E_k . 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

Bacterial-tensor-contraction.png

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 \mathcal{E} = E_1 \otimes \cdots \otimes E_k dans \mathcal{F} = E_1 \otimes \cdots \otimes E_{i-1} \otimes E_{i+1} \otimes \cdots \otimes E_{j-1} \otimes E_{j+1} \otimes \cdots \otimes E_k .

Produit contracté

En pratique la contraction est souvent utilisée au sein d'un opération appelée produit contracté et notée \odot , \bar\otimes ou même simplement \cdot . 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.

Bacterial-tensor-contracted-product.png

Propriétés du produit contacté

Associativité 
Le produit contracté est associatif si le tenseur du centre a au moins deux indices. Ainsi pour R \in E \otimes \cdots \otimes F^* , S \in F \otimes \cdots \otimes G^* et T \in G \otimes \cdots \otimes H^* , on a bien (R \odot S) \odot T = R \odot (S \odot T) . 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 :
(S + S') \odot T = S \odot T + S' \odot T
S \odot (T+T') = S \odot T + S \odot T'
Image par le tenseur ou produit contracté 
Étant donné un tenseur  T \in E_1^* \otimes \cdots \otimes E_k^* et k vecteurs tels que v_i \in E_i 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) : T(v_1, \cdots, v_k)  ;
  • calculer les produits contractés successifs de T par chaque vecteur ((\cdots(T \odot v_k) \cdots ) \odot v_2 ) \odot v_1 .
Il s'agit en fait d'une seule et même opération : T(v_1, \cdots, v_k) = ((\cdots(T \odot v_k) \cdots ) \odot v_2 ) \odot v_1
Bacterial-tensor-contracted-products-sequence.png
D'une manière plus générale, si u \in E_i le tenseur (v_1,\cdots,v_{i-1},v_{i+1},\cdots,v_k) \mapsto T(v_1, \cdots, v_{i-1}, u, v_{i+1}, \cdots,v_k) 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é : \langle \phi, u \rangle = \phi \odot u .
Bacterial-tensor-brackets.png
Image par une application linéaire 
L'application linéaire f : E \rightarrow F pouvant être vue comme un tenseur de T \in F \otimes E^* , on peut calculer l'image d'un vecteur u \in E comme étant le produit contracté T \odot u = f(u) .
Composée d'applications linéaires 
Si f : E \rightarrow F et g : F \rightarrow G sont représentées par les tenseurs T \in F \otimes E^* et S \in G \otimes F^* , alors l'application composée g \circ f : E \rightarrow G peut être représentée par le tenseur S \odot T .

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é :, \bar\bar\otimes 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é S \bar\bar\otimes T 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.

Bacterial-tensor-twice-contracted-product.png

On peut définir de même un produit n fois contracté si les tenseurs le permettent.

Page générée en 0.119 seconde(s) - site hébergé chez Contabo
Ce site fait l'objet d'une déclaration à la CNIL sous le numéro de dossier 1037632
A propos - Informations légales
Version anglaise | Version allemande | Version espagnole | Version portugaise