Notation en indice abstrait

La notation en indice abstrait est un système de notation présentant des similarités avec la convention de sommation d'Einstein et destinée comme cette dernière à l'écriture du calcul tensoriel.

Motivation

Cette notation, due au mathématicien Roger Penrose, a pour but l'écriture pratique d'équations dans lesquelles interviennent des tenseurs ou des champs tensoriels. Il s'agit à la fois :

• de bénéficier de la simplicité d'écriture permise par la convention de sommation d'Einstein ;
• de ne pas dépendre contrairement à la convention d'Einstein d'un choix de base particulier (et donc arbitraire).

Aussi la notation en indices abstraits ne raisonne-t-elle jamais sur les composantes des tenseurs.

Définition

Les indices abstraits peuvent se penser comme des éléments d'un alphabet fini $\{a,b,c,d,\ldots \}$ que l'on va utiliser pour étiqueter des espaces vectoriel et des tenseurs.

Copies d'espaces vectoriels

À partir d'un espace vectoriel $V$ sur le corps commutatif $\mathbb {K}$ (en général $\mathbb {R}$ ou $\mathbb {C}$) de dimension $n$, on peut former des copies de $V$ étiquetées par un indice abstrait : $V^{a}$, $V^{b}$, $V^{c}$, $V^{d}$, etc. Les espaces duaux respectifs sont notés $V_{a}$, $V_{b}$, $V_{c}$, $V_{d}$, etc. Si $v\in V$ on peut lui faire correspondre naturellement un élément de $V^{a}$ noté $v^{a}$, un élément de $V^{b}$ noté $v^{b}$, etc. De même si $\phi \in V^{*}$, on peut lui faire correspondre naturellement un élément de $V_{a}$ noté $\phi _{a}$, un élément de $V_{b}$ noté $\phi _{b}$, etc.

Copies d'espaces de tenseurs

En généralisant si $T$ est un tenseur de l'espace formé par produit tensoriel $V\otimes V^{*}\otimes V$, on peut en définir l'équivalent dans la copie $V^{a}\otimes V_{b}\otimes V^{c}$. Cet équivalent est noté $T^{a}{}_{b}{}^{c}$. Bien sûr il est possible de définir les tenseurs équivalents $T^{c}{}_{b}{}^{a}$, $T^{b}{}_{c}{}^{d}$, $T^{b}{}_{e}{}^{a}$, etc.

Remarque : Pour des raisons qui vont être expliquées ci-après, on s'abstient d'utiliser plusieurs fois le même indice. Des expressions comme $T^{a}{}_{b}{}^{a}$ ou $T^{c}{}_{c}{}^{c}$ sont donc dépourvues de sens. À noter que par contre $T^{c}{}_{a}{}^{a}$ possède bien un sens, mais que celui-ci est différent de celui présenté dans le présent paragraphe.

Ordres des indices

Soit deux tenseurs $P_{ab}$ et $Q_{ba}$ tels que pour tout vecteur $v^{a}$ de $V^{a}$ et tout vecteur $u^{b}$ de $V^{b}$ on a $P_{ab}(v^{a},u^{b})=Q_{ab}(u^{b},v^{a})$ . Ces deux tenseurs ont un fonctionnement quasi identique. L'ordre des paramètres n'a finalement que très peu d'importance puisque les indices agissent comme des étiquettes garantissant que l'évaluation est faite correctement. On souhaiterait donc pouvoir voir $P_{ab}$ et $Q_{ba}$ comme de simples conventions d'écriture d'un même tenseur et pouvoir écrire $P_{ab}=Q_{ba}$. Il est possible pour cela de considérer l'espace union ${\mathcal {U}}_{ab}=V_{a}\otimes V_{b}\cup V_{b}\otimes V_{a}$ et d'y définir la relation d'équivalence ${\mathcal {R}}_{ab}$ telle que deux tenseurs $R_{ab}$ et $S_{ba}$ sont équivalents si $\forall v^{a},\forall u^{b},R_{ab}(v^{a},u^{b})=S_{ba}(u^{b},v^{a})$ . On note alors $V_{ab}={\mathcal {U}}_{ab}/{\mathcal {R}}_{ab}$ l'espace quotient dans lequel tout se passe comme si on avait oublié l'ordre des paramètres des tenseurs. Seul leur étiquetage par des indices abstraits est dès lors pertinent. On peut alors considérer que $P_{ab}\in V_{ab}$, que $Q_{ba}\in V_{ab}$ et que $P_{ab}=Q_{ba}$ .

De même on peut par exemple former les espaces vectoriels :

${\begin{array}{l}V_{b}^{a}={\mathcal {U}}_{b}^{a}/{\mathcal {R}}_{b}^{a}=(V^{a}\otimes V_{b}\cup V_{b}\otimes V^{a})/{\mathcal {R}}_{b}^{a}\\V_{a}^{b}={\mathcal {U}}_{a}^{b}/{\mathcal {R}}_{a}^{b}=(V^{b}\otimes V_{a}\cup V_{a}\otimes V^{b})/{\mathcal {R}}_{a}^{b}\\V_{b}^{ac}={\mathcal {U}}_{b}^{ac}/{\mathcal {R}}_{b}^{ac}=(V^{a}\otimes V^{c}\otimes V_{b}\cup \ldots \cup V_{b}\otimes V^{a}\otimes V^{c})/{\mathcal {R}}_{b}^{ac}=V_{b}^{ca}\\V_{de}^{abc}={\mathcal {U}}_{de}^{abc}/{\mathcal {R}}_{de}^{abc}=V_{de}^{acb}=\ldots =V_{ed}^{cba}\end{array}}$

Remarque : On voit ici pourquoi il est important de ne pas utiliser deux fois le même indice au sein d'un même tenseur. Le faire rendrait la désignation des paramètres ambigüe.

Remarque : Soit un tenseur $T^{abc}{}_{d}\in V_{d}^{abc}$ admettant entre autres une écriture $S^{c}{}_{d}{}^{ba}$ et encore une écriture $R^{bca}{}_{d}$ (on a donc le droit d'écrire $T^{abc}{}_{d}=S^{c}{}_{d}{}^{ba}=R^{bca}{}_{d}$). Il est important de comprendre qu'en revanche les symboles $T^{abc}{}_{d}$ et $T^{bca}{}_{d}$ désignent a priori des tenseurs différents, bien qu'ils appartiennent tous les deux à $V_{d}^{abc}$. Il s'agit en effet de copies de $T\in V\otimes V\otimes V\otimes V^{*}$ indexées par des indices abstraits différents : on a respectivement $T^{abc}{}_{d}\in V^{a}\otimes V^{b}\otimes V^{c}\otimes V_{d}$ et $T^{bca}{}_{d}\in V^{b}\otimes V^{c}\otimes V^{a}\otimes V_{d}$. Lorsqu'on quotiente l'espace union ${\mathcal {U}}_{d}^{abc}$ par la relation d'équivalence ${\mathcal {R}}_{d}^{abc}$ afin de forger $V_{d}^{abc}$, les tenseurs $T^{abc}{}_{d}$ et $T^{bca}{}_{d}$ ne se retrouvent pas (sauf cas particulier) dans la même classe d'équivalence. Par ailleurs, une écriture telle que $T^{a}{}_{d}{}^{bc}$ est dépourvue de signification puisqu'elle ne saurait représenter une copie valable du tenseur non indexé $T$.

Remarque : Si dans l'exemple précédent $T^{abc}{}_{d}$, $S^{c}{}_{d}{}^{ba}$ et $R^{bca}{}_{d}$ peuvent être considérés comme des conventions d'écriture d'un même tenseur indexé, il doit cependant rester clair que $T$, $S$ et $R$ sont des objets différents.

Opérations

Substitution d'indices

Soit l'espace de tenseurs $V_{b_{1}\ldots b_{l}}^{a_{1}\ldots a_{k}}$ et un indice $i$ indexant l'espace en question. Si $j$ est un autre indice non utilisé, on peut faire correspondre à tout élément de $V_{b_{1}\ldots b_{l}}^{a_{1}\ldots a_{k}}$ sa copie obtenue en substituant $j$ à $i$. Ainsi à $T^{abc}{}_{de}$ on fait correspondre sa copie $T^{afc}{}_{de}$ par substitution de $f$ à $b$. Les substitutions peuvent être également être faites en parallèle. Ainsi $T^{gac}{}_{hb}$ est obtenu par substitution des indices $(g,a,h,b)$ à $(a,b,d,e)$.

Somme

Si deux tenseurs appartiennent au même espace $V_{b_{1}\ldots b_{l}}^{a_{1}\ldots a_{k}}$, leur somme est définie. Ainsi pour $T^{ab}{}_{c}$ et $S^{b}{}_{c}{}^{a}$, éléments de $V_{c}^{ab}$, la somme $T^{ab}{}_{c}+S^{b}{}_{c}{}^{a}$ est un tenseur de $V_{c}^{ab}$.

Produit par un scalaire

Le produit d'un tenseur de $V_{b_{1}\ldots b_{l}}^{a_{1}\ldots a_{k}}$ par un scalaire est défini. Ainsi pour $T^{ab}{}_{c}\in V_{c}^{ab}$ et $\lambda \in \mathbb {K}$, le produit $\lambda T^{ab}{}_{c}$ est un tenseur de $V_{c}^{ab}$.

Produit tensoriel

Soit un tenseur de $V_{b_{1}\ldots b_{l}}^{a_{1}\ldots a_{k}}$ et un tenseur de $V_{d_{1}\ldots d_{l'}}^{c_{1}\ldots c_{k'}}$, ces espaces n'ayant pas d'indices en commun. On définit leur produit tensoriel, élément de $V_{b_{1}\ldots b_{l}d_{1}\ldots d_{l'}}^{a_{1}\ldots a_{k}c_{1}\ldots c_{k'}}$ . En cas d'indices commun il suffit simplement d'opérer une substitution d'indices préalable.

Par exemple si l'on considère $T^{ab}{}_{c}$ et $S{}_{d}{}^{e}$, il existe un tenseur $P^{eb}{}_{cd}{}^{a}$ tel que $P^{eb}{}_{cd}{}^{a}=T^{ab}{}_{c}\otimes S{}_{d}{}^{e}$. On note plus simplement : $P^{eb}{}_{cd}{}^{a}=T^{ab}{}_{c}S{}_{d}{}^{e}$

Contraction

Soit un tenseur de $V_{b_{1}b_{2}\ldots b_{l}}^{a_{1}a_{2}\ldots a_{k}}$, un indice supérieur (par exemple $a_{1}$) et un indice inférieur (par exemple $b_{1}$) de cet espace. On note la contraction de ce tenseur sur les indices $a_{1}$ et $b_{1}$ en substituant à $a_{1}$ et $b_{1}$ un même indice $c$. Le tenseur obtenu appartient à $V_{b_{2}\ldots b_{l}}^{a_{2}\ldots a_{k}}$.

Par exemple si l'on considère $T^{ab}{}_{c}$, il existe un tenseur $T^{db}{}_{d}$ formé par contraction de $a$ et $c$. Ce tenseur appartient à l'espace $V^{b}$ (et pas à $V_{d}^{db}$ comme on pourrait être tenté de le croire, un tel espace n'étant de toute façon pas défini).

Remarque : L'indice utilisé pour la contraction n'a aucune importance (dans la mesure où il n'est pas utilisé ailleurs). Seul sa position compte. On peut même utiliser un des deux indices de départ. De fait on a : $T^{ab}{}_{a}=T^{cb}{}_{c}=T^{db}{}_{d}=T^{eb}{}_{e}=\ldots$

Remarque : Le tenseur $T^{bc}{}_{c}$ appartient également à l'espace $V^{b}$ mais sauf cas particulier $T^{db}{}_{d}\neq T^{bc}{}_{c}$ .

Produit contracté

Le produit contracté se note simplement en combinant les deux notations précédentes comme dans l'équation $Q^{b}{}_{d}{}^{a}=T^{ab}{}_{c}S{}_{d}{}^{c}$ .

Symétrisation et antisymétrisation

On note ${\mathfrak {S}}_{k}$ l'ensemble des permutations de $[|1,k|]$. Pour $\sigma \in {\mathfrak {S}}_{k}$, on note $\epsilon (\sigma )\in \{+1,-1\}$ sa signature. Dans ce paragraphe on suppose que le corps $\mathbb {K}$ est de caractéristique nulle (dans le cas contraire le terme $1/k!$ pourrait être indéfini).

Symétrisation

Soit le tenseur contravariant $X^{a_{1}\cdots a_{k}}$, on définit son symétrisé, noté $X^{(a_{1}\cdots a_{k})}$, par :

$X^{(a_{1}\cdots a_{k})}={\frac {1}{k!}}\sum _{\sigma \in {\mathfrak {S}}_{k}}X^{a_{\sigma (1)}\cdots a_{\sigma (k)}}$

Ainsi par exemple $Z^{(abc)}={\frac {1}{6}}(Z^{abc}+Z^{cab}+Z^{bca}+Z^{bac}+Z^{cba}+Z^{acb})$.

Il en va évidemment de même pour des tenseurs covariants :

$Y_{(b_{1}\cdots b_{l})}={\frac {1}{l!}}\sum _{\sigma \in {\mathfrak {S}}_{l}}Y_{b_{\sigma (1)}\cdots b_{\sigma (l)}}$

L'opération de symétrisation peut également s'accomplir sur un sous-ensemble d'indices et reste possible si le tenseurs présente à la fois des indices covariants et contravariant. Ainsi $G^{a(b}{}_{c}{}^{d)}={\frac {1}{2}}(G^{ab}{}_{c}{}^{d}+G^{ad}{}_{c}{}^{b})$ . On peut même effectuer plusieurs symétrisations à la fois, comme dans $H^{(ab)(c}{}_{d(e}{}^{f)g}{}_{hi)j}$, symétrisé de $H^{abc}{}_{de}{}^{fg}{}_{hij}$ sur les sous-ensembles d'indices $\{a,b\}$, $\{c,f\}$ et $\{e,h,i\}$

Remarque : Il est possible d'exclure des indices au moyen des symboles || comme dans $H^{a(b|c}{}_{de}{}^{f|g)}{}_{hij}={\frac {1}{2}}(H^{abc}{}_{de}{}^{fg}{}_{hij}+H^{agc}{}_{de}{}^{fb}{}_{hij})$

Remarque : Cette opération permet de définir simplement la notion de tenseur symétrique sur certains de ses indices (et donc également de tenseur totalement symétrique). Par exemple $G^{ab}{}_{c}{}^{d}$ est symétrique sur $b$ et $d$ si et seulement si $G^{ab}{}_{c}{}^{d}=G^{a(b}{}_{c}{}^{d)}$ .

Antisymétrisation

De façon tout à fait similaire, on définit l'antisymétrisé de $X^{a_{1}\cdots a_{k}}$ par :

$X^{[a_{1}\cdots a_{k}]}={\frac {1}{k!}}\sum _{\sigma \in {\mathfrak {S}}_{k}}\epsilon (\sigma )X^{a_{\sigma (1)}\cdots a_{\sigma (k)}}$

Ainsi par exemple $Z^{[abc]}={\frac {1}{6}}(Z^{abc}+Z^{cab}+Z^{bca}-Z^{bac}-Z^{cba}-Z^{acb})$.

L'antisymétrisé de $Y_{b_{1}\cdots b_{l}}$ est de même :

$Y_{[b_{1}\cdots b_{l}]}={\frac {1}{l!}}\sum _{\sigma \in {\mathfrak {S}}_{l}}\epsilon (\sigma )Y_{b_{\sigma (1)}\cdots b_{\sigma (l)}}$

Les mêmes possibilité et conventions que la symétrisation s'appliquent. Ainsi $G^{a[b}{}_{c}{}^{d]}={\frac {1}{2}}(G^{ab}{}_{c}{}^{d}-G^{ad}{}_{c}{}^{b})$ . On peut également utiliser symétrisations et antisymétrisations en même temps, comme dans $H^{[a|bc}{}_{d(e|}{}^{|fg]}{}_{h|ij)}$.

Remarque : Cette opération permet de définir simplement la notion de tenseur antisymétrique sur certains de ses indices (et donc également de tenseur totalement antisymétrique). Par exemple $G^{ab}{}_{c}{}^{d}$ est antisymétrique sur $b$ et $d$ si et seulement si $G^{ab}{}_{c}{}^{d}=G^{a[b}{}_{c}{}^{d]}$ .

Compatibilité avec les autres opérations

Il n'est pas possible de symétriser ou d'antisymétriser des indices provenant de différents tenseurs utilisées dans une somme. Ainsi la notation $S^{a}{}_{c}{}^{(b}+T^{a)b}{}_{c}$ n'a aucun sens. En revanche si l'on note $R^{b}{}_{c}{}^{a}=S^{a}{}_{c}{}^{b}+T^{ab}{}_{c}$, on a bien $R^{(b}{}_{c}{}^{a)}=S^{(a}{}_{c}{}^{b)}+T^{(ab)}{}_{c}$.

Le choses se passent beaucoup mieux avec un produit. $S^{a}{}_{c}{}^{[b}T^{d]e}{}_{f}$ est un tenseur valide égal à ${\frac {1}{2}}(S^{a}{}_{c}{}^{b}T^{de}{}_{f}-S^{a}{}_{c}{}^{d}T^{be}{}_{f})$

De même symétrisation et antisymétrisation sont compatibles avec les contractions dans la mesure où les contractions sont réalisées en dernier. $H^{[a|bc}{}_{d(c|}{}^{|fd]}{}_{h|if)}$ est le résultat de multiples symétrisations et antisymétrisations de $H^{abc}{}_{de}{}^{fg}{}_{hij}$ définissant un tenseur $J^{abc}{}_{de}{}^{fg}{}_{hij}=H^{[a|bc}{}_{d(e|}{}^{|fg]}{}_{h|ij)}$ suivi de contractions multiples : $H^{[a|bc}{}_{d(c|}{}^{|fd]}{}_{h|if)}=J^{abc}{}_{dc}{}^{fd}{}_{hif}$

Espace muni d'une forme bilinéaire symétrique

Abaissement d'indice

Si $V$ est naturellement muni d'une forme bilinéaire symétrique $g$, une nouvelle opération est permise. En effet $g$ en tant que tenseur (2-covariant symétrique) admet des copies indexées $g_{ab}$, $g_{ac}$, $g_{cd}$ ... On peut à partir d'un tenseur de $V_{b_{1}\ldots b_{l}}^{a_{1}\ldots a_{k}}$ possédant au moins un indice supérieur (par exemple $a_{1}$), contracter ce dernier avec un indice d'une copie de $g$ (par exemple $g_{a_{1}c}=g_{ca_{1}}$). Le résultat est un tenseur de $V_{cb_{1}\ldots b_{l}}^{a_{2}\ldots a_{k}}$ ou, après substitution de l'indice $a_{1}$ à $c$, de $V_{a_{1}b_{1}\ldots b_{l}}^{a_{2}\ldots a_{k}}$. D'où le nom d'abaissement d'indice.

On peut par exemple à partir de $T^{ab}{}_{c}$ former le tenseur ${\tilde {T}}_{a}{}^{b}{}_{c}=T^{db}{}_{c}g_{ad}$. En pratique on conserve le même nom pour le tenseur et on écrit plus simplement $T_{a}{}^{b}{}_{c}=T^{db}{}_{c}g_{ad}$. De même on peut former le tenseur $T^{a}{}_{bc}$ obtenu par abaissement du second indice ainsi que le tenseur $T_{abc}$ obtenu par abaissement des deux indices.

Remarque : Conserver le même symbole pour le tenseur n'introduit pas d'ambigüité puisqu'en tant qu'élément de $V\otimes V\otimes V^{*}$, $T$ n'admet en effet aucune copie indexée dans $V_{ac}^{b}$, $V_{bc}^{a}$ ou $V_{abc}$.

Remarque : On voit ici pourquoi il peut être important de conserver l'ordre relatif des indices inférieur et supérieur. Une notation telle que $T_{c}^{ab}$ plutôt que $T^{ab}{}_{c}$ ne permettrait pas de savoir où positionner les indices abaissés par rapport à l'indice $c$.

Elévation d'indice

Si l'on a plutôt naturellement une forme bilinéaire $h$ sur $V^{*}$, c'est l'opération inverse qui est valide. Grâce au copies $h^{ab}$, $h^{bd}$, $h^{ea}$, ... on peut élever un indice sur le même principe (produit contracté avec une de ces copies et éventuelles substitutions d'indice). Par exemple le tenseur $S_{ab}{}^{c}{}_{d}$ permet de définir les nouveaux $S^{a}{}_{b}{}^{c}{}_{d}$, $S_{a}{}^{bc}{}_{d}$, $S_{ab}{}^{cd}$, $S^{abc}{}_{d}$, $S_{a}{}^{bcd}$, $S^{a}{}_{b}{}^{cd}$ et $S^{abcd}$.

Forme bilinéaire symétrique non dégénérée

Si la forme bilinéaire symétrique $g$ sur $V$ est non dégénérée, elle induit naturellement une forme bilinéaire symétrique $g^{*}$ sur $V^{*}$. Ce fait rend possible à la fois l'abaissement et l'élévation d'indice de manière compatible : abaisser un indice grâce à $g$ puis l'élever grâce à $g^{*}$ permet de retrouver le tenseur initial (de même pour une élévation suivie d'un abaissement). En conservant les conventions définies précédemment, si $g_{ab}$, $g_{bc}$, $g_{ea}$, ... sont des copies indexées de $g$, on peut noter $g^{ab}$, $g^{bc}$, $g^{ea}$, ... les copies indexées de $g^{*}$.

Remarque : On a $g_{ab}g^{bc}=\delta _{a}{}^{c}$ où $\delta _{a}{}^{c}$ est le tenseur correspondant à l'endomorphisme identité de $V$ (correspondant au symbole de Kronecker dans la convention d'Einstein).

Copies de fibrés vectoriels

Si $M$ est une variété différentielle de dimension $n$, on peut en chaque point $x$ définir des copies indexées de l'espace tangent $T_{x}M$, notées $T_{x}M^{a}$, $T_{x}M^{b}$, $T_{x}M^{c}$, $T_{x}M^{d}$ ... et de même des copies de l'espace cotangent $T_{x}^{*}M$, notées $T_{x}M_{a}$, $T_{x}M_{b}$, $T_{x}M_{c}$, $T_{x}M_{d}$ ... Comme précédemment on va pouvoir pouvoir former les espaces de tenseurs indexés $T_{x}M_{b_{1}\ldots b_{l}}^{a_{1}\ldots a_{k}}$.

Le but est ici bien évidemment de généraliser ces notions ayant un sens au point $x$ en définissant des fibrés vectoriels munis d'indices $TM_{b_{1}\ldots b_{l}}^{a_{1}\ldots a_{k}}$ dont les sections seront des champs de tenseurs indexés. Cette extension naturelle induit une généralisation de toutes les opérations vues jusqu'à présent (substitution d'indice, combinaison linéaire, produit tensoriel, contraction, symétrisation, antisymétrisation) pour les champs de tenseurs. À cela s'ajoutent des opérations propres aux champs.

Dérivée de Lie

Soit $X$ un champ vectoriel (sans indice). Soit par exemple $P^{a}{}_{b}{}^{cd}$ un champ de tenseur muni d'indice. La dérivée de Lie de $P^{a}{}_{b}{}^{cd}$ suivant $X$ est un champ de tenseur muni des mêmes indices et noté ${\mathcal {L}}_{X}P^{a}{}_{b}{}^{cd}$. Ce champ est égal à la copie indexée par $(a,b,c,d)$ de ${\mathcal {L}}_{X}P$, la dérivée de Lie du champ de tenseur $P$ suivant $X$.

Remarque : On note que le champ obtenu possède les mêmes indices que le champ soumis à la dérivation. En effet l'opérateur ${\mathcal {L}}_{X}$ est un endomorphisme sur l'espace vectoriel des sections de tout fibré vectoriel formé par produit tensoriel des fibrés tangent et cotangent. Pour cette raison, on n'utilise pas de copie avec indices pour le champ vectoriel $X$. Une notation ${\mathcal {L}}_{X^{e}}P^{a}{}_{b}{}^{cd}$ donnerait en effet l'impression de rajouter un indice. Par ailleurs comme seul un champ de vecteur fait sens ici, la présence de l'indice n'apporterait aucune information nouvelle.

Dérivée extérieure

Toute $l$-forme différentielle peut être vue comme un champ de tenseurs $l$-covariant $\omega _{b_{1}\ldots b_{l}}$ antisymétrique (donc vérifiant $\omega _{b_{1}\ldots b_{l}}=\omega _{[b_{1}\ldots b_{l}]}$). La dérivée extérieure $d$ ajoutant un indice, on définit les copies indexées $d_{a}$, $d_{b}$ $d_{c}$ $d_{d}$, ... Ceci permet donc d'écrire la dérivée extérieure indicée par $a$ de $\omega _{b_{1}\ldots b_{l}}$ comme $d_{a}\omega _{b_{1}\ldots b_{l}}$.

Remarque : Il ne faut bien entendu pas lire la notation $d_{a}\omega _{b_{1}\ldots b_{l}}$ comme un produit tensoriel entre $d_{a}$ et $\omega _{b_{1}\ldots b_{l}}$, ce qui n'aurait aucun sens puisque $d_{a}$ n'est pas un tenseur.

Dérivée covariante

Soit $X$ un champ vectoriel (sans indice). Soit par exemple $P^{a}{}_{b}{}^{cd}$ un champ de tenseur muni d'indice. Pour un opérateur de dérivée covariante donné noté $\nabla$, la dérivée covariante de $P^{a}{}_{b}{}^{cd}$ suivant $X$ est un champ de tenseur muni des mêmes indices. On pourrait choisir de le noter $\nabla _{X}P^{a}{}_{b}{}^{cd}$ de manière similaire à la dérivée de Lie. Cependant le caractère tensoriel des dérivées covariantes permet de les voir plus généralement comme opérations ajoutant un indice. La dérivée covariante indexée par $e$ de $P^{a}{}_{b}{}^{cd}$ est un champ de tenseur muni des mêmes indices ainsi que de l'indice $e$ et notée $\nabla _{e}P^{a}{}_{b}{}^{cd}$. On peut comme pour la dérivée extérieure définir les copies avec indices $\nabla _{a}$, $\nabla _{b}$, $\nabla _{c}$, $\nabla _{d}$ ...

Remarque : Avec cette notation, choisir une direction de dérivation (par exemple celle donnée par le champ vectoriel $X$ dans l'énoncé précédent) revient alors à calculer la contraction $X^{e}\nabla _{e}P^{a}{}_{b}{}^{cd}$ de $\nabla _{e}P^{a}{}_{b}{}^{cd}$ avec une copie indexée de $X$.

Remarque : Une notation similaire ${\mathcal {L}}_{e}P^{a}{}_{b}{}^{cd}$ pour la dérivée de Lie est impossible du fait même du caractère non tensoriel de ${\mathcal {L}}$, c'est-à-dire du fait qu'on n'a pas contrairement aux dérivées covariantes ${\mathcal {L}}_{f\cdot X}=f\cdot {\mathcal {L}}_{X}$ pour $f$ champ scalaire sur $M$.

Remarque : La dérivée extérieure $d_{a}$ peut se définir à partir d'une dérivée covariante $\nabla _{a}$ par $d_{a}\omega _{b_{1}\ldots b_{l}}=\nabla _{[a}\omega _{b_{1}\ldots b_{l}]}$ pour toute forme différentielle $\omega _{b_{1}\ldots b_{l}}$. On démontre qu'une telle formule est indépendante du choix de $\nabla$ comme le présuppose l'unicité de $d$.

Voir aussi

Articles connexes

• Tenseur
• Tenseur (mathématiques)
• Convention de sommation d'Einstein

Bibliographie

• Roger Penrose, The Road to Reality: A Complete Guide to the Laws of the Universe, 2004, pp 239-243.
• Roger Penrose et Wolfgang Rindler, Spinors and space-time, volume I, two-spinor calculus and relativistic fields.

Liens externes

• Geometrical Quantum Mechanics par Robert Geroch, pp 1-10.
• Topics in the Foundations of General Relativity and Newtonian Gravitation Theory par David B. Malament, pp 22-31.