Crochet de Lie

Page d’aide sur l’homonymie

Pour les articles homonymes, voir crochet.

Un crochet de Lie est une loi de composition interne [∙, ∙] sur un espace vectoriel, qui lui confère une structure d'algèbre de Lie. Le commutateur de deux endomorphismes u et v, noté [u, v] = uv – vu, est l'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.

Définition générale

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

Soit V un espace vectoriel sur un corps commutatif 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 : ∀ x , y ∈ V , [ x , y ] ∈ V {\displaystyle \forall x,y\in V,\quad [x,y]\in V} ), vérifiant les propriétés suivantes :

  1. bilinéarité :
    • ∀ x , x ′ , y ∈ V , λ , μ ∈ K , [ λ x + μ x ′ , y ] = λ [ x , y ] + μ [ x ′ , y ] {\displaystyle \forall x,x',y\in V,\lambda ,\mu \in K,[\lambda x+\mu x',y]=\lambda [x,y]+\mu [x',y]} ,
    • ∀ x , y , y ′ ∈ V , λ , μ ∈ K , [ x , λ y + μ y ′ ] = λ [ x , y ] + μ [ x , y ′ ] {\displaystyle \forall x,y,y'\in V,\lambda ,\mu \in K,[x,\lambda y+\mu y']=\lambda [x,y]+\mu [x,y']}  ;
  2. l'application bilinéaire [∙, ∙] est alternée : ∀ x ∈ V , [ x , x ] = 0 {\displaystyle \forall x\in V,\quad [x,x]=0}  ;
  3. relation de Jacobi : ∀ x , y , z ∈ V , [ x , [ y , z ] ] + [ y , [ z , x ] ] + [ z , [ x , y ] ] = 0. {\displaystyle \forall x,y,z\in V,[x,[y,z]]+[y,[z,x]]+[z,[x,y]]=0.}
Remarques

Toute application multilinéaire alternée est antisymétrique (et la réciproque est vraie si la caractéristique du corps est différente de 2). Tout crochet de Lie est donc antisymétrique : ∀ x , y ∈ V , [ x , y ] = − [ y , x ] {\displaystyle \forall x,y\in V,[x,y]=-[y,x]} .

Si l'on combine la bilinéarité avec l'antisymétrie [ λ x + x ′ , y ] = − [ y , λ x + x ′ ] {\displaystyle [\lambda x+x',y]=-[y,\lambda x+x']} on peut ne vérifier la linéarité que sur une seule composante : [ λ x + x ′ , y ] = λ [ x , y ] + [ x ′ , y ] {\displaystyle [\lambda x+x',y]=\lambda [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

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 lisse,

[ X , Y ] ⋅ f = X ⋅ ( Y ⋅ f ) − Y ⋅ ( X ⋅ f ) {\displaystyle [X,Y]\cdot f=X\cdot (Y\cdot f)-Y\cdot (X\cdot 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.

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

Bibliographie

  • Alain Bouvier, Michel George et François Le Lionnais, Dictionnaire des mathématiques, PUF, 1979
  • Jacques Lafontaine, Introduction aux variétés différentielles [détail des éditions]

Voir aussi

Groupe de Lie

v · m
NumériquesEn ensemble ordonnéStructurellesAutres

Élémentaires
+ {\displaystyle +} Addition
− {\displaystyle -} Soustraction
× {\displaystyle \times } Multiplication
÷ {\displaystyle \div } Division
^ {\displaystyle {\hat {}}} Puissance

Arithmétiques
d i v {\displaystyle \mathrm {div} } Quotient euclidien
m o d {\displaystyle \mathrm {mod} } Reste euclidien
p g c d {\displaystyle \mathrm {pgcd} } PGCD
p p c m {\displaystyle \mathrm {ppcm} } PPCM

Combinatoires
( ) {\displaystyle ()} Coefficient binomial
A {\displaystyle A} Arrangement

Ensembles de parties
∪ {\displaystyle \cup } Union
∖ {\displaystyle \backslash } Différence
∩ {\displaystyle \cap } Intersection
Δ {\displaystyle \Delta } Différence symétrique

Ordre total
min {\displaystyle \min } Minimum
max {\displaystyle \max } Maximum

Treillis
∧ {\displaystyle \wedge } Borne inférieure
∨ {\displaystyle \vee } Borne supérieure

Ensembles
× {\displaystyle \times } Produit cartésien
∪ ˙ {\displaystyle {\dot {\cup }}} Somme disjointe
^ {\displaystyle {\hat {}}} Puissance ensembliste

Groupes
⊕ {\displaystyle \oplus } Somme directe
∗ {\displaystyle \ast } Produit libre
≀ {\displaystyle \wr } Produit en couronne

Modules
⊗ {\displaystyle \otimes } Produit tensoriel
H o m {\displaystyle \mathrm {Hom} } Homomorphisme
T o r {\displaystyle \mathrm {Tor} } Torsion
E x t {\displaystyle \mathrm {Ext} } Extension

Arbres
∨ {\displaystyle \vee } Enracinement

Variétés connexes
# {\displaystyle \#} Somme connexe

Espaces pointés
∨ {\displaystyle \vee } Bouquet
∧ {\displaystyle \wedge } Smash-produit
∗ {\displaystyle \ast } Joint

Fonctionnelles
∘ {\displaystyle \circ } Composition de fonctions
∗ {\displaystyle \ast } Produit de convolution

Vectorielles
⋅ {\displaystyle \cdot } Produit scalaire
∧ {\displaystyle \wedge } Produit vectoriel
× {\displaystyle \times \,} Produit vectoriel généralisé

Algébriques
[ , ] {\displaystyle [,]} Crochet de Lie
{ , } {\displaystyle \{,\}} Crochet de Poisson
∧ {\displaystyle \wedge } Produit extérieur

Homologiques
⌣ {\displaystyle \smile } Cup-produit
⋅ {\displaystyle \cdot } Produit d'intersection

Séquentielles
+ {\displaystyle +} Concaténation

Logique booléenne :
v · m
Variété différentielle
Variétés
Champs
Connexions
Géométrie
Opérateurs
  • icône décorative Portail de l’algèbre