Ok

En poursuivant votre navigation sur ce site, vous acceptez l'utilisation de cookies. Ces derniers assurent le bon fonctionnement de nos services. En savoir plus.

02/12/2010

Crochet de Lie

Crochet de Lie

Cet article ne cite pas suffisamment ses sources (août 2007).
Si vous connaissez le thème traité, merci d'indiquer les passages à sourcer avec {{Référence souhaitée}} ou, mieux, incluez les références utiles en les liant aux notes de bas de page. (Modifier l'article)

Le crochet de Lie est une loi de composition interne [,] sur un espace vectoriel V, qui lui confère une structure d'algèbre de Lie. Le commutateur [u,v]=uv-vu de deux endomorphismesen constitue un des exemples les plus simples.

Le nom de crochet de Lie, ou simplement crochet, est souvent employé pour le crochet de Lie de deux champs de vecteurs sur une variété différentielle.

Sommaire

 [masquer]

Définition générale [modifier]

Article détaillé : algèbre de Lie.

Soit un espace vectoriel V sur un corps mathbb K. Un crochet de Lie est une loi de composition interne sur V (c'est-à-dire que le crochet de Lie de deux vecteurs est encore un vecteur : forall x,yin V,quad [x,y]in V), vérifiant les propriétés suivantes :

  1. Bilinéarité :
    • forall x,x',yin V,lambda,muinmathbb K, [lambda x+mu x', y]=lambda[x,y]+mu [x',y],
    • forall x,y,y'in V,lambda,muinmathbb K,[x,lambda y+mu y']=lambda[x,y]+mu [x,y'].
  2. L'application bilinéaire [.,.] est alternée : forall xin V,quad [x,x]=0
  3. Identité de Jacobi : forall x,y,zin V, [x,[y,z]]+[y,[z,x]]+[z,[x,y]]=0.
Remarques

Un crochet de Lie vérifie :

  • l'antisymétrie : forall x,yin V, [x,y]=-[y,x].

L'antisymétrie implique [x,x] = 0 pour tout corps pour lequel  2neq 0 (corps de caractéristique différente de deux).

Si on combine la bilinéarité avec l'antisymétrie x + x',y] = − [yx + x'] on peut ne vérifier la linéarité que sur une seule composante:x + x',y] = λ[x,y] + [x',y].

Muni d'un crochet de Lie, un espace vectoriel devient une algèbre de Lie.

Crochet de Lie de deux champs de vecteurs [modifier]

Article détaillé : dérivée de Lie.

Soit V une variété différentielle et X et Y deux champs de vecteurs sur V. On note X . f la dérivée de la fonction f dans la direction du champ X. Le crochet de Lie de X et Y est l'unique champ de vecteur, noté [X,Y], tel que, pour toute fonction f indéfiniment dérivable,

[X,Y]cdot f = Xcdot (Ycdot f) -Y cdot (Xcdot f)

On montre en effet qu'un champ de vecteurs Z peut être caractérisé par la façon dont il dérive les applications. On vérifie en outre que l'application [,] définit bien un crochet de Lie sur les champs de vecteurs. Voir pour les démonstrations l'article dérivée de Lie.

Lorsque deux champs de vecteurs ont un crochet nul, on dit qu'ils commutent.

Bibliographie [modifier]

  • Alain Bouvier, Michel George, François Le Lionnais, Dictionnaire des mathématiques, Presses Universitaires de France, 1979.

Voir aussi [modifier]

21:30 Publié dans Crochet de Lie | Lien permanent | Commentaires (0) | |  del.icio.us | | Digg! Digg |  Facebook