Algèbre tensorielle - Tenseur d'ordre deux

DOURNAC.ORG
	Français English

Sciences > Cours de Calcul Tensoriel - Algèbre tensorielle - Tenseur d'ordre deux

suivant: Tenseurs d'ordre quelconque

monter: Algèbre tensorielle

précédent: Algèbre tensorielle

Table des matières

Sous-sections

Au cours du chapitre précédent, nous avons utilisé des systèmes de $n^{2}$ nombres, créés à partir d'un espace vectoriel $E_{n}$ . Lorsque ces nombres vérifient certaines relations de changement de base, on a appelé ces grandeurs, par définition, les composantes d'un tenseur.
Nous avons vu que toute combinaison linéaire de ces composantes constitue les composantes d'autres tenseurs. On peut donc additionner entre elles les composantes des tenseurs ainsi que les multiplier par des scalaires, pour obtenir d'autres composantes de tenseur. Ces propriétés d'addition et de multiplication font que l'on va pouvoir utiliser ces grandeurs tensorielles comme composantes de vecteurs.
D'un point de vue pratique, on pourrait se contenter de définir les tenseurs à partir des relations de transformation de leurs composantes lors d'un changement de base. C'est ce qui est souvent fait en Physique. Cependant, la définition des tenseurs sous forme de vecteurs conduit à une meilleure compréhension de leurs propriétés et les rattache à la théorie générale des vecteurs.

Exemple de tenseur : produit tensoriel de triplets de nombres

Pour préciser comment on définit un tenseur sur une base, étudions le cas d'un produit tensoriel de deux vecteurs constitués par des triplets de nombres. Considérons l'espace vectoriel euclidien $E_{3}$ , dont les vecteurs sont des triplets de nombres de la forme : $\mathbf{x}=(x_{1},x^{2},x^{3})$ . La base orthonormée de $E_{3}$ est formée des trois vecteurs :

$\displaystyle \mathbf{e_{i}}=(\delta_{1i},\delta_{2i},\delta_{3i})\,\,\,\,;\,\,\,\,i=1,2,3$

(3.1)

Des vecteurs de $E_{3}$ : $\mathbf{x}=x^{i}\,\mathbf{e_{i}}$ et $\mathbf{y}=y^{j}\,\mathbf{e_{j}}$ , permettent de former les neuf quantités $x^{i}\,y^{j}$ que l'on a appelées, au cours du chapitre précédent, les composantes du produit tensoriel des vecteurs $\mathbf{x}$ et $\mathbf{y}$ .
Si l'on effectue tous les produits tensoriels possibles entre vecteurs de $E_{3}$ , on obtient des suites de neufs nombres qui peuvent servir à définir les vecteurs suivants :

$\displaystyle \mathbf{U}=(x^{1}\,y^{1},x^{1}\,y^{2},x^{1}\,y^{3},...,x^{3}\,y^{3})$

(3.2)

éléments d'un espace vectoriel $E_{9}$ à neuf dimensions, ayant pour éléments tous les multiplets formés de neuf nombres.
Ces vecteurs peuvent être décomposés, par exemple, sur la base orthonormée :

$\displaystyle \textrm{{\Fontauri\bfseries e$_{\mathbf{k}}$}}=(\delta_{1k},\delta_{2k},...,\delta_{9k})\,\,\,\,;\,\,\,\,k=1,2,...,9$

(3.3)

Pour écrire les vecteurs $\mathbf{U}$ sur cette base, renuméterons les quantités $x^{i}\,y^{j}$ selon la place qu'elles occupent dans l'expression (3.2), soit :

$\displaystyle x^{i}\,y^{j}=u^{ij}=u^{k}\,\,\,\,;\,\,\,\,k=1,2,...,9\,\,\,\,;\,\,\,\,i,j=1,2,3$

(3.4)

On peut déduire la valeur de k avec la relation suivante : . Les vecteurs $\mathbf{U}$ s'écrivent alors :

$\displaystyle \mathbf{U}=u^{k}\,\textrm{{\Fontauri\bfseries e$_{\mathbf{k}}$}}$

(3.5)

et constituent un exemple de tenseurs d'ordre deux.

En quoi ces tenseurs $\mathbf{U}$ diffèrent-ils des vecteurs ordinaires ? Ils sont certes identiques à certains vecteurs de $E_{9}$ mais ils ont été formés à partir des vecteurs $\mathbf{x}$ et $\mathbf{y}$ de $E_{3}$ . Pour rappeler ce fait, on les notes :

$\displaystyle \mathbf{U}=\mathbf{x}\otimes\mathbf{y}$

(3.6)

et ils sont appelés produit tensoriel des vecteurs $\mathbf{x}$ et $\mathbf{y}$ . Le symbole $\otimes$ est donc défini par la manière dont on a formé les quantités $u^{ij}=x^{i}\,y^{j}$ et l'ordre dans lequel on les a classés pour former le vecteur $\mathbf{U}$ .
Ainsi qu'on le verra par la suite, tous les vecteurs de $E_{9}$ ne sont pas des produits tensoriels mais tous les éléments de $E_{9}$ peuvent être mis sous la forme d'une somme de produits tensoriels. On appellera également tenseur les sommes de produits tensoriels.

Base associée - Le classement des quantités $x^{i}\,y^{j}$ que l'on a choisi pour définir le vecteur $\mathbf{x}\otimes\mathbf{y}$ est évidemment arbitraire, mais une fois qu'il a été réalisé, ce classement affecte chaque nombre $x^{i}\,y^{j}$ à un vecteur de base e $_{\mathbf{k}}$ déterminé.
Ainsi, $x^{1}\,y^{1}$ constitue la composante du vecteur $\mathbf{U}$ relative au vecteur de base $\textrm{{\Fontauri\bfseries e$_{\mathbf{1}}$}}=(1,0,...,0)$ , $x^{1}\,y{2}$ est celle relative à $\textrm{{\Fontauri\bfseries e$_{\mathbf{2}}$}}=(0,1,0,...,0)$ , etc. Pour rappeler la dépendance entre une quantité $x^{i}\,y^{j}=u^{k}$ et le vecteur de base e $_{\mathbf{k}}$ auquel il est affecté, renumérotons ces vecteurs en mettant à la place de l'indice les deux indices, et , relatifs aux composantes, soit $\textrm{{\Fontauri\bfseries e$_{\mathbf{k}}$}}=\textrm{{\Fontauri\bfseries e$_{\mathbf{ij}}$}}$ , avec à 9 ; à 3.
Les indices et étant ceux des vecteurs de base de $E_{3}$ , on peut dire qu'à chaque couple $(\mathbf{e_{i}},\mathbf{e_{j}})$ on a associé un vecteur e $_{\mathbf{ij}}$ . Ce dernier peut être noté sous la forme :

$\displaystyle \textrm{{\Fontauri\bfseries e$_{\mathbf{ij}}$}}=\mathbf{e_{i}}\otimes\mathbf{e_{j}}$

(3.7)

et est appelé le produit tensoriel des vecteurs $\mathbf{e_{i}}$ et $\mathbf{e_{j}}$ .

Les vecteurs $\mathbf{e_{i}}\otimes\mathbf{e_{j}}$ constituent une base de $E_{9}$ qui est appelée la base associée à la base $\mathbf{e_{i}}$ . Dans cet exemple, on a donc :

$\displaystyle \mathbf{e_{1}}\otimes\mathbf{e_{1}}=(1,0,0,0,0,0,0,0,0)\,\,\,\,;\,\,\,\,\mathbf{e_{1}}\otimes\mathbf{e_{2}}=(0,1,0,0,0,0,0,0,0)$

(3.8)

Les relations (3.5) à (3.7) nous permettent finalement d'écrire le produit tensoriel des vecteurs $\mathbf{x}$ et $\mathbf{y}$ sous la forme :

$\displaystyle \mathbf{x}\otimes\mathbf{y}=x^{i}\,y^{j}\textrm{{\Fontauri\bfseri... ...imes(y^{j}\,\mathbf{e_{j}})=x^{i}\,y^{j}\,(\mathbf{e_{i}}\otimes\mathbf{e_{j}})$

(3.9)

Produit tensoriel d'espaces vectoriels - L'espace vectoriel $E_{9}$ est doté d'une structure plus précise que celle de simple espace vectoriel de dimension 9 lorsqu'on définit les produits tensoriels $\mathbf{e_{i}}\otimes\mathbf{e_{j}}$ comme constituant la base de $E_{9}$ . On dit que $E_{9}$ est doté d'une structure de produit tensoriel.
Afin de bien mettre en évidence cette structure, on écrit cet espace, identique à $E_{9}$ , sous la forme $E_{3}\otimes E_{3}$ et il est appelé le produit tensoriel de l'espace $E_{3}$ , par l'espace $E_{3}$ . Tous les éléments de $E_{3}\otimes E_{3}$ sont appelés des tenseurs.

Propriétés du produit tensoriel

Étudions, à partir de l'exemple précédent, les propriétés du produit tensoriel de deux vecteurs résultant de la relation (3.9), á savoir :

$\displaystyle (x^{i}\,\mathbf{e_{i}})\otimes(y^{j}\,\mathbf{e_{j}})=x^{i}\,y^{j}\,(\mathbf{e_{i}}\otimes\mathbf{e_{j}})$

(3.10)

On a les propriétés suivantes :

PT1 - Distributivité, à gauche et à droite, par rapport à l'addition des vecteurs :

$\displaystyle (\mathbf{x}+\mathbf{y})\otimes\mathbf{z}=\mathbf{x}\otimes\mathbf{z}+\mathbf{y}\otimes\mathbf{z}$

(3.11)

$\displaystyle \mathbf{x}\otimes(\mathbf{y}+\mathbf{z})=\mathbf{x}\otimes\mathbf{y}+\mathbf{x}\otimes\mathbf{z}$

(3.12)

La démonstration de ces propriétés est simple compte tenu de la relation (3.10) : on a par exemple :

$\begin{displaymath}\begin{array}[b]{lcl} (\mathbf{x}+\mathbf{y})\otimes\mathbf{z... ...f{x}\otimes \mathbf{z}+\mathbf{y}\otimes \mathbf{z} \end{array}\end{displaymath}$

PT2 - Associativité avec la multiplication par une grandeur scalaire :

$\displaystyle (\lambda\,\mathbf{x})\otimes\mathbf{y}=\mathbf{x}\otimes\lambda\,\mathbf{y}=\lambda\,(\mathbf{x}\otimes\mathbf{y})$

(3.13)

On a en effet :

$\displaystyle (\lambda\,\mathbf{x})\otimes\mathbf{y}=(\lambda\,x^{i}\,\mathbf{e... ...}\,(\mathbf{e_{i}}\otimes\mathbf{e_{j}})=\lambda\,(\mathbf{x}\otimes\mathbf{y})$

(3.14)

Définition du produit tensoriel de deux espaces vectoriels

De même qu'on a défini les espaces vectoriels, au cours du premier chapitre, uniquement à partir des propriétés opératoires entre vecteurs, on va définir le produit tensoriel de deux espaces vectoriels à partir des propriétés précédentes.
Pour cela, donnons-nous deux espaces vectoriels $E_{n}$ et $F_{m}$ de dimensions respectives et . Notons $\mathbf{x}$ , $\mathbf{x_{1}}$ , $\mathbf{x_{2}}$ ,... les vecteurs de $E_{n}$ et $\mathbf{y}$ , $\mathbf{y_{1}}$ , $\mathbf{y_{2}}$ ,... les vecteurs de $F_{m}$ de bases respectives ( $\mathbf{e_{i}}$ ) et ( $\mathbf{f_{j}}$ ).
Choisissons arbitrairement un autre espace vectoriel $E_{nm}$ de dimension dont les vecteurs de base sont e $_{\mathbf{k}}$ , . À tout couple de vecteurs ( $\mathbf{x}$ , $\mathbf{y}$ ) faisons lui correspondre un élément de $E_{nm}$ noté $\mathbf{x}\otimes\mathbf{y}$ , tel que cette loi de correspondance vérifie les propriétés suivantes :

PT1 - Elle est distributive, à gauche et à droite, par rapport à l'addition vectorielle :

$\displaystyle (\mathbf{x_{1}}+\mathbf{x_{2}})\otimes\mathbf{y}=\mathbf{x_{1}}\otimes\mathbf{y}+\mathbf{x_{2}}\otimes\mathbf{y}$

(3.15)

$\displaystyle \mathbf{x}\otimes(\mathbf{y_{1}}+\mathbf{y_{2}})=\mathbf{x}\otimes\mathbf{y_{1}}+\mathbf{x}\otimes\mathbf{y_{2}}$

(3.16)

PT2 - Elle est associative par rapport à la multiplication par un scalaire :

$\displaystyle (\lambda\,\mathbf{x})\otimes\mathbf{y}=\mathbf{x}\otimes\lambda\,\mathbf{y}=\lambda\,(\mathbf{x}\otimes\mathbf{y})$

(3.17)

PT3 - Lorsqu'on a choisi une base dans chacun des espaces vectoriels, $(\mathbf{e_{1}},\mathbf{e_{2}},...,\mathbf{e_{n}})$ pour $E_{n}$ , $(\mathbf{f_{1}},\mathbf{f_{2}},...,\mathbf{f_{n}})$ pour $F_{m}$ , les éléments de $E_{nm}$ que l'on note $(\mathbf{e_{i}}\otimes\mathbf{f_{j}})$ , forment une base de $E_{nm}$ .

Lorsqu'il en est ainsi, l'espace vectoriel $E_{nm}$ , muni de cette loi de correspondance, est noté $E_{n}\otimes E_{m}$ et appelé produit tensoriel des espaces vectoriels $E_{n}$ et $F_{m}$ . L'élément $\mathbf{x}\otimes\mathbf{y}$ de $E_{n}\otimes E_{m}$ est appelé le produit tensoriel des vecteurs $\mathbf{x}$ et $\mathbf{y}$ . La base formée par les vecteurs $\mathbf{e_{i}}\otimes \mathbf{f_{j}}$ est la base associée aux bases ( $\mathbf{e_{i}}$ ) et ( $\mathbf{f_{j}}$ ).
L'exemple du produit tensoriel de triplets de nombres, donné précédemment, montre que le produit tensoriel que l'on vient de définir existe. En pratique, on n'utilisera plus le mode de construction détaillé dans cet exemple mais uniquement les propriétés du produit tensoriel et de ses composantes.

Remarque - De par sa qualité d'espace vectoriel, $E_{n}\otimes F_{m}$ se confond en tant qu'ensemble d'éléments avec l'espace vectoriel $E_{nm}$ , mais il s'en distingue en tant qu'espace doté d'une structure associative supplémentaire. De ce point de vue, on dit que $E_{nm}$ constitue le support de $E_{n}\otimes F_{m}$ .

On va voir par la suite que tous les éléments de $E_{n}\otimes F_{m}$ ne sont pas des produits tensoriels mais, dans ce cas, qu'ils sont nécessairement des sommes de produits tensoriels qui constituent des tenseurs.

La définition du produit tensoriel de deux espaces vectoriels s'applique aussi bien aux espaces de dimension finie qu'infinie. En particulier, l'un des espaces peut être de dimension infinie et l'autre finie.

On va montrer que les éléments $\mathbf{x}\otimes\mathbf{y}$ , définis par les axiomes ci-dessus, s'expriment nécessairement en fonction des composantes respectives des vecteurs $\mathbf{x}$ et $\mathbf{y}$ , sous la forme (3.10), ce qui a priori est évident puisque les propriétés de définition de $\mathbf{x}\otimes\mathbf{y}$ sont prcisémment celles de la relation (3.10).

Expression analytique du produit tensoriel de deux vecteurs

Recherchons une expression de $\mathbf{x}\otimes\mathbf{y}$ en fonction des composantes de chacun des vecteurs. Choisissons dans les espaces vectoriels $E_{n}$ , $F_{m}$ et $E_{n}\otimes F_{m}$ des bases quelconques $(\mathbf{e_{i}}),(\mathbf{f_{i}})$ et $(\textrm{{\Fontauri\bfseries e$_{\mathbf{ij}}$}})$ , où l'indice prend les valeurs de 1 à et l'indice des valeurs de 1 à . Par suite de la propriété PT3, on peut poser : $\textrm{{\Fontauri\bfseries e$_{\mathbf{ij}}$}}=\mathbf{e_{i}}\otimes\mathbf{f_{j}}$ .

Choisissons d'autre part deux vecteurs quelconques : $\mathbf{x}=x^{i}\,\mathbf{e_{i}}$ de $E_{n}$ et $\mathbf{y}=y^{j}\,\mathbf{f_{j}}$ de $F_{m}$ , et effectuons le produit tensoriel de ces deux vecteurs en tenant compte des axiomes de définition (3.15) à (3.17), il vient :

$\displaystyle \mathbf{x}\otimes\mathbf{y}=(x^{i}\,\mathbf{e_{i}})\otimes(y^{j}\... ...imes\mathbf{f_{j}})=x^{i}\,y^{j}\textrm{{\Fontauri\bfseries e$_{\mathbf{ij}}$}}$

(3.18)

avec à ; à . Les quantités $x^{i}\,y^{j}$ sont nécessairement les composantes du produit tensoriel $\mathbf{x}\otimes\mathbf{y}$ décomposé sur la base formé des vecteurs $\mathbf{e_{i}}\otimes \mathbf{f_{j}}$ .

Réciproquement, la loi de composition des vecteurs $\mathbf{x}$ et $\mathbf{y}$ donné par (3.18) vérifie les propriétés PT1 et PT2. En est-il de même pour la propriété PT3 ?

Bases associées - Pour vérifier la propriété PT3, il faut démontrer que si l'on a choisi une base $\mathbf{e_{i}}\otimes \mathbf{f_{k}}$ de l'espace produit tensoriel $E_{n}\otimes F_{m}$ , où les vecteurs $\mathbf{e_{i}}$ et $\mathbf{f_{j}}$ constitue respectivement des bases de $E_{n}$ et $F_{m}$ , toute autre base quelqconque $(\mathbf{e'_{i}})$ de $E_{n}$ et $(\mathbf{f'_{k}})$ de $F_{m}$ permet d'obtenir également une base de $E_{n}\otimes F_{m}$ .

Pour le démontrer, décomposons les vecteurs $\mathbf{e_{i}}$ et $\mathbf{f_{j}}$ sur ces nouvelles bases, soit :

$\displaystyle \mathbf{e_{i}}=A'^{k}_{i}\,\mathbf{e'_{k}}\,\,\,\,;\,\,\,\,\mathbf{f_{j}}=B'^{l}_{j}\,\mathbf{f'_{l}}$

(3.19)

avec à et à . Les vecteurs $\mathbf{U}$ de l'espace produit tensoriel $E_{n}\otimes F_{m}$ s'écrivent sous la forme :

$\displaystyle \mathbf{U}=u^{ij}\,(A'^{k}_{i}\,\mathbf{e'_{k}})\otimes(B'^{l}_{j... ...'_{l}})=u^{ij}\,A'^{k}_{i}\,B'^{l}_{j}\,(\mathbf{e'_{k}}\otimes\mathbf{f'_{l}})$

(3.20)

Le vecteur $\mathbf{U}$ s'exprime comme une combinaison linéaire des éléments $(\mathbf{e'_{k}}\otimes\mathbf{f'_{l}})$ . Si $\mathbf{U}=\mathbf{0}$ , les composantes $u^{ij}$ sont toutes nulles et la relation (3.20) montre que les éléments $(\mathbf{e'_{k}}\otimes\mathbf{f'_{l}})$ sont linéairement indépendants. Les vecteurs $(\mathbf{e'_{k}}\otimes\mathbf{f'_{l}})$ constituent donc une nouvelle base de $E_{n}\otimes F_{m}$ ; ces vecteurs forment la base associée aux bases $(\mathbf{e'_{i}})$ et $(\mathbf{f'_{j}})$ .

Éléments d'un espace produit tensoriel

Précisons de nouveau que l'espace $E_{n}\otimes F_{m}$ est formé, par définition, de tous les vecteurs qui appartiennent à l'espace support $E_{nm}$ qui a été muni d'une structure d''espace tensoriel. Tous les vecteurs de $E_{n}\otimes F_{m}$ sont-ils des produits tensoriels ? En d'autres termes, étant donné un vecteur $\mathbf{U}=u^{k}\,\textrm{{\Fontauri\bfseries e$_{\mathbf{k}}$}}$ de $E_{n}\otimes F_{m}$ , peut-on trouver deux vecteurs $\mathbf{x}=x^{i}\,\mathbf{e_{i}}$ de $E_{n}$ et $\mathbf{y}=y^{j}\,\mathbf{f_{j}}$ de $F_{m}$ tels que : $\mathbf{U}=\mathbf{x}\otimes \mathbf{y}$ .

Système incompatible : Pour étudier ce problème, numérotons différemment les composantes du vecteur $\mathbf{U}$ en écrivant :

$\displaystyle \mathbf{U}=u^{k}\,\textrm{{\Fontauri\bfseries e$_{\mathbf{k}}$}}=u^{ij}\,(\mathbf{e_{i}}\otimes\mathbf{f_{j}})$

(3.21)

avec à ; à ; à . Pour vérifier la relation :

$\displaystyle \mathbf{U}=\mathbf{x}\otimes\mathbf{y}=x^{i}\,y^{j}\,(\mathbf{e_{i}}\otimes\mathbf{f_{j}})=u^{ij}\,(\mathbf{e_{i}}\otimes\mathbf{f_{j}})$

(3.22)

il faut déterminer les inconnues $x^{i}$ et $y^{j}$ à partir des équations :

$\displaystyle x^{i}\,y^{j}=u^{ij}$

(3.23)

ce qui est en général impossible car on aura plus d'équations que d'inconnues.

Examinons par exemple, le cas . On a quatre inconnues et quatre équations de la forme (3.23) avec . Effectuons le rapport entre deux de ces équations, on obtient par exemple :

$\displaystyle \dfrac{y^{1}}{y^{2}}=\dfrac{u^{11}}{u^{12}}=\dfrac{u^{21}}{u^{22}}$

(3.24)

Ces relations imposent une condition de compatibilité entre les $u^{ij}$ , condition qui ne sera pas vérifiée en général pour un vecteur quelconque de $E_{n}\otimes F_{m}$ .

En conclusion, il existe d'autres vecteurs de $E_{n}\otimes F_{m}$ qui ne sont pas des produits tensoriels de deux vecteurs et nous allons voir que ce sont des sommes de produits tensoriels.

Somme de produits tensoriels - Tous les vecteurs $\mathbf{U}$ de l'espace $E_{n}\otimes F_{m}$ peuvent s'écrire sous la forme (3.21). Utilisant la définition du produit tensoriel, on a :

$\displaystyle \mathbf{U}=u^{ij}\,(\mathbf{e_{i}}\otimes\mathbf{f_{j}})=(u^{ij}\,\mathbf{e_{i}})\otimes\mathbf{f_{j}}$

(3.25)

avec à , à . Les termes $u^{ij}\,\mathbf{e_{i}}$ représentent vecteurs de $E_{n}$ tels que $\mathbf{x_{j}}=u^{ij}\,\mathbf{e_{i}}$ . Tout vecteur $\mathbf{U}$ de $E_{n}\otimes F_{m}$ peut donc s'écrire sous la forme d'une somme de termes :

$\displaystyle \mathbf{U}=\mathbf{x_{j}}\otimes\mathbf{f_{j}}$

(3.26)

Tous les éléments de $E_{n}\otimes F_{m}$ sont donc des sommes d'au plus produits tensoriels de deux vecteurs de la forme (3.26) et ses éléments sont appelés des tenseurs d'ordre deux.

Produit tensoriel de deux espaces vectoriels identiques

En pratique, on a très souvent à utiliser des tenseurs formés à partir de vecteurs appartenant à des espaces vectoriels $E_{n}$ identiques. Dans ce cas, les produits tensoriels d'ordre deux sont formés à partir des vecteurs $\mathbf{x}=x^{i}\,\mathbf{e_{i}}$ et $\mathbf{y}=y^{j}\,\mathbf{e_{j}}$ de $E_{n}$ et s'écrivent sous la forme :

$\displaystyle \mathbf{U}=\mathbf{x}\otimes\mathbf{y}=x^{i}\,y^{j}\,(\mathbf{e_{i}}\otimes\mathbf{e_{j}})$

(3.27)

où les vecteurs $\mathbf{e_{i}}$ sont les vecteurs de base de $E_{n}$ . Le produit tensoriel de $E_{n}$ par lui-même est noté $E_{n}\otimes E_{n}$ ou encore $E^{(2)}_{n}$ .

Non-commutativité du produit tensoriel - Si l'on considère deux espaces vectoriels $E_{n}$ et $F_{m}$ identiques, les produits tensoriels $(\mathbf{e_{i}}\otimes\mathbf{e_{j}})$ sont des vecteurs de base de l'espace $E_{n}\otimes E_{n}$ et il en est de même pour $(\mathbf{e_{j}}\otimes\mathbf{e_{i}})$ . Deux vecteurs de base ne pouvant être identiques, il en résulte que le produit tensoriel des vecteurs $\mathbf{e_{i}}$ et $\mathbf{e_{j}}$ n'est pas commutatif.
Il en est de même pour tout produit tensoriel de deux vecteurs quelconques $\mathbf{x}=x^{i}\,\mathbf{e_{i}}$ et $\mathbf{y}=y^{j}\,\mathbf{e_{j}}$ de $E_{n}$ . Les produits tensoriels suivants :

$\displaystyle \mathbf{x}\otimes\mathbf{y}=x^{i}\,y^{j}\,(\mathbf{e_{i}}\otimes\... ...\mathbf{y}\otimes\mathbf{x}=y^{j}\,x^{i}\,(\mathbf{e_{j}}\otimes\mathbf{e_{i}})$

(3.28)

sont différents puisqu'on a par exemple :

$\displaystyle x^{1}\,y^{2}\,(\mathbf{e_{1}}\otimes\mathbf{e_{2}})\,\,\neq\,\,y^{2}\,x^{1}\,(\mathbf{e_{2}}\otimes\mathbf{e_{1}})$

(3.29)

par suite de la non-commutativité du produit tensoriel des vecteurs $\mathbf{e_{1}}$ et $\mathbf{e_{2}}$ .

Changement de base - En tant qu'éléments d'un espace $E_{n}\otimes E_{n}$ , un tenseur $\mathbf{U}$ est un vecteur de la forme générale :

$\displaystyle \mathbf{U}=u^{ij}\,(\mathbf{e_{i}}\otimes\mathbf{e_{j}})$

(3.30)

Étudions ses proriétés vis-à-vis d'un changement de base de $E_{n}$ tel que :

$\displaystyle (a)\,\,\, \mathbf{e_{i}}=A'^{k}_{i}\,\mathbf{e'_{k}} \,\,\,;\,\,\,(b)\,\,\, \mathbf{e'_{k}}=A^{i}_{k}\,\mathbf{e_{i}}$

(3.31)

Lors d'un tel changement, la base $(\mathbf{e_{i}}\otimes\mathbf{e_{j}})$ associée à $\mathbf{e_{i}}$ devient une autre base $(\mathbf{e'_{k}}\otimes\mathbf{e'_{l}})$ associée à $\mathbf{e'_{k}}$ , savoir :

$\displaystyle \mathbf{e'_{k}}\otimes\mathbf{e'_{l}}=(A^{i}_{k}\,\mathbf{e_{i}})... ...l}\,\mathbf{e_{j}})=(A^{i}_{k}\,A^{j}_{l})\,\mathbf{e_{i}}\otimes\mathbf{e_{j}}$

(3.32)

Par suite, le produit tensoriel $\mathbf{U}$ donné par (3.5) a pour composantes dans la nouvelle base :

$\displaystyle \mathbf{U}=u'^{kl}\,(\mathbf{e'_{k}}\otimes\mathbf{e'_{l}})=u'^{k... ...thbf{e_{i}}\otimes\mathbf{e_{j}})=u^{ij}\,(\mathbf{e_{i}}\otimes\mathbf{e_{j}})$

(3.33)

On obtient donc par identification :

$\displaystyle u^{ij}=A^{i}_{k}\,A^{j}_{l}\,u'^{kl}$

(3.34)

Les composantes $u^{ij}$ vérifient la relation (2.28)(a) de transformation des composantes lors d'un changement de base. On retrouve la même formule de transformation mais en partant des expressions de changement de base des vecteurs de base de l'espace produit tensoriel.

suivant: Tenseurs d'ordre quelconque

monter: Algèbre tensorielle

précédent: Algèbre tensorielle

Table des matières

ps : contribuez comme moi au projet Cosmology@Home dont le but est d'affiner le modèle décrivant le mieux notre Univers.

Haut de Page