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.

Calcul pratique

La manipulation effective des tenseurs nécessite généralement de les représenter dans des bases particulières (mais néanmoins arbitraires).

Soit (e_1, e_2, \cdots, e_n) une base de E. On notera (e1,e2,...en) sa base duale. Alors tout tenseur T de \mathcal{T}^k_l E peut s'écrire comme une combinaison linéaire de type : T = \sum_{i_1,\cdots,i_k} \sum_{j_1,\cdots,j_l} T^{i_1\cdots i_k}{}_{j_1\cdots j_l} \cdot e_{i_1} \otimes \cdots \otimes e_{i_k} \otimes e^{j_1} \otimes \cdots \otimes e^{j_l} Si la base est précisée par avance la donne des scalaires T^{i_1 \cdots i_k}{}_{j_1 \cdots j_l} caractérise entièrement le tenseur. Ils représentent les coordonnées du tenseur T dans la base considérée. L'ensemble des conventions d'utilisation des coordonnées des tenseurs est appelé convention d'Einstein.

Il est possible de mélanger indices covariants et contravariants. Les indices contravariants sont notés en indices supérieurs, les indices covariants en indices inférieurs. Ainsi \Delta \in E^* \otimes E^* \otimes E \otimes E^* \otimes E^* \otimes E se décompose dans une base donnée avec les composants Δijklmn.

Liens entre les notations

On se donne les tenseurs suivant :

  • Scalaires : \lambda \in \mathbb{K}, \mu \in \mathbb{K}, \nu \in \mathbb{K}
  • Vecteurs : u \in E, v \in E, w \in E
  • Covecteurs (formes linéaires) : \phi \in E^*, \psi \in E^*, \chi \in E^*
  • Tenseurs d'ordre 2 :
  • T \in E^* \otimes E
  • S \in E^* \otimes E^*
  • R \in E \otimes E^*
  • Q \in E^* \otimes E^*
  • P \in E \otimes E
  • O \in E \otimes E^*
  • Tenseurs d'ordre 3 et plus :
  • \Omega \in E^* \otimes E^* \otimes E
  • \Phi \in E \otimes E \otimes E^*
  • \Delta \in E^* \otimes E^* \otimes E \otimes E^* \otimes E^* \otimes E
  • \Gamma \in E \otimes E^* \otimes E^* \otimes E \otimes E^* \otimes E^*

On choisit par ailleurs une base (e_1, e_2, \cdots ) dans E. Ce choix induit naturellement celui de la base duale (e^1, e^2, \cdots ) dans E * . Les tenseurs précédemment définis admettent alors une seule décomposition dans ces bases.

Notation des opérations dans les espaces de dimension finie
Propriétés Notation standard Convention d'Einstein
Produit tensoriel T = \phi \otimes u T_i{}^j = \phi_i \; u^j
\Delta = S \otimes v \otimes \Omega \Delta_{ij}{}^k{}_{lm}{}^n = S_{ij} \; v^k \; \Omega_{lm}{}^n
R + v \otimes \chi = O R^i{}_j + v^i \; \chi_j = O^i{}_j
Produit contracté \lambda = \phi \odot u = \phi \; \bar\otimes \; u \lambda = \phi_m \; u^m
v \odot \Omega \odot \phi = \lambda \cdot S \odot P \odot \chi + \psi v^m \; \Omega_{mi}{}^n \; \phi_n = \lambda \; S_{ip} \; P^{pq} \; \chi_q + \psi_i
Contraction μ = tr12(T) μ = Tmm
tr13(Φ) = w Φmim = wi
Permutation d'indices T = τ(12)(R) = tR T_i{\;}^j = R^j{}_i
Γ = τ(123)(46)(Δ) Γijklmn = Δjkinml
Mélange \mathrm{tr}_{26}(\Delta) \; \bar\bar\otimes \; \Phi + \tau_{(23)}(\Omega) = \chi \otimes P \odot Q \Delta_{im}{}^j{}_{np}{}^m \; \Phi^{pn}{}_k + \Omega_{ik}{}^j = \chi_i \; P^{jq} \; Q_{qk}

Liens entre les notations dans le cas (pseudo-)euclidien

On considère par ailleurs l'existence du (pseudo-)produit scalaire g \in E^* \otimes E^* .

Notation des opérations dans les espaces euclidiens
Propriétés Notation standard Convention d'Einstein
Produit contracté \nu = u \odot v \nu = u^m \; g_{mn} \; v^n
u = P \odot w u^i = P^{im} \; g_{mn} \; w^n
Contraction φ = tr12(Φ) \phi_i = g_{mn} \; \Phi^{nm}{}_i

A propos des changements de base

On notera que seule la convention d'Einstein admet des formules de changement de base. En effet, puisqu'elle prend le parti de représenter un tenseur par un jeu de coordonnées dans une base (voire plusieurs bases) prédéfinie, il existe des formules pour déterminer les coordonnées d'un même tenseur dans une nouvelle base ( comme \hat{\Omega}_{lm}{}^n = \alpha_l{}^i \; \alpha_m{}^j \; \beta^n{}_k \; \Omega_{ij}{}^k ). La notation standard étant par définition indépendante d'un choix de base, elle n'admet pas d'équivalents pour ces formules.

Page générée en 0.144 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