Calcul tensoriel/Notions élémentaires/Tenseurs

Un livre de Wikibooks.

Dans un espace de dimension N, un tableau à P indices T_{i_1 i_2 \ldots i_P}, chaque indice pouvant prendre N valeurs représente les composantes covariantes d'un tenseur d'ordre P dans un système de coordonnées données, si ce tableau se transforme comme les vecteurs de base locale lors d'un changement de système de coordonnées.

\left[T_a\right]_{i_1 i_2 \ldots i_P} = \left[T_b\right]_{j_1 j_2 \ldots j_P}
\left[\theta_{ba}\right]^{j_1}{}_{i_1}
\left[\theta_{ba}\right]^{j_2}{}_{i_2}
\ldots
\left[\theta_{ba}\right]^{j_P}{}_{i_P}

Un tableau T^{i_1 i_2 \ldots i_P} représente les composantes contravariantes d'un tenseur d'ordre P dans un système de coordonnées données, si ce tableau se transforme comme les variations infinitésimales des coordonnées lors d'un changement de système de coordonnées.

\left[T_a\right]^{i_1 i_2 \ldots i_P} = \left[T_b\right]^{j_1 j_2 \ldots j_P}
\left[\theta_{ab}\right]^{i_1}{}_{j_1}
\left[\theta_{ab}\right]^{i_2}{}_{j_2}
\ldots
\left[\theta_{ab}\right]^{i_P}{}_{j_P}

On verra plus bas que des composantes contravariantes et covariantes peuvent correspondre au même tenseur, la transformation étant obtenue au moyen du tenseur métrique.

De la même manière qu'on définit un champ vectoriel comme un vecteur fonction de la position dans l'espace, on définit un champ tensoriel comme un tenseur fonction de la position dans l'espace. Dans la suite, on utilisera le simple mot tenseur, alors qu'on considérera en général un champ tensoriel.

Il n'y a pas de difficulté à définir un tenseur en composantes mixtes. On aura par exemple

\left[T_a\right]^{i}{}_j{}^k = \left[T_b\right]^{l}{}_m{}^n
\left[\theta_{ab}\right]^{i}{}_{l}
\left[\theta_{ba}\right]^{m}{}_{j}
\left[\theta_{ab}\right]^{k}{}_{n}