next up previous contents index
Next: L'opérateur D Up: Connexions dans les fibrés Previous: Dérivation covariante des sections

Dérivation covariante dans les puissances tensorielles d'un fibré vectoriel

Notre but est ici d'étudier la dérivation covariante des éléments de tex2html_wrap_inline20644 .

Considérons le fibré vectoriel tex2html_wrap_inline20646 , c'est un fibré associé comme un autre... Ses éléments peuvent s'écrire

displaymath20648

Si tex2html_wrap_inline20650 agit via la représentation tex2html_wrap_inline20652 sur l'espace vectoriel V, il agit via tex2html_wrap_inline20656 sur l'espace vectoriel tex2html_wrap_inline20658 , d'où il s'ensuit que l'opérateur tex2html_wrap_inline20660 vérifie la propriété

displaymath20662

Le lecteur ayant quelques notions sur les algèbres de Hopf aura reconnu la relation directe existant entre la règle de Leibniz pour tex2html_wrap_inline20664 et le coproduit standard sur l'algèbre enveloppante de Lie G.

On écrira par exemple, pour tex2html_wrap_inline20668 ,

eqnarray4259

displaymath20670

Le lecteur n'aura aucun mal à généraliser cette dernière formule à des situations plus générales ; mnémotechniquement la dérivation covariante dans la direction tex2html_wrap_inline20672 s'obtient en rajoutant à la dérivée ordinaire (le premier terme dans l'expression ci-dessus) un terme de type " A.t " pour chaque indice de fibre (on ``corrige'' chaque indice en le remplaçant par un indice muet sur lequel on somme). Attention : si les indices de fibre sont en bas, il faut utiliser un signe moins (voir l'explication dans la sous-section précédente).

Voici un dernier exemple : Soit tex2html_wrap_inline20676 ,

displaymath20678

alors tex2html_wrap_inline20680 ,

displaymath20682

avec

displaymath20684

Le premier terme tex2html_wrap_inline20686 est défini comme tex2html_wrap_inline20688 si on travaille dans repère naturel, mais il doit être compris comme tex2html_wrap_inline20690 si on utilise un repère mobile quelconque, et, dans ce cas, on a

displaymath20692

tex2html_wrap_inline20694 désigne le co-repère mobile dual.

La dérivée covariante d'un tenseur quelconque tex2html_wrap_inline20696 dans la direction du champ de vecteurs tex2html_wrap_inline20698 est définie par

displaymath20700



Robert Coquereaux
Thu Jun 20 15:52:24 MEST 2002