next up previous contents index
Next: Exemple : champs invariants Up: Champs de vecteurs fondamentaux Previous: L'action adjointe de G

Exemple : l'algèbre de Lie du groupe euclidien

Nous avons déjà fait agir le groupe euclidien G (éléments tex2html_wrap_inline14756 ) sur l'espace affine tex2html_wrap_inline14758 . Nous allons maintenant faire agir G sur lui-même, à droite.

Soit tex2html_wrap_inline14762 . On considère l'application

displaymath14764

ce qui, avec des coordonnées, s'écrit

displaymath14766

soit, explicitement

displaymath14768

La différentielle de tex2html_wrap_inline14770 , c'est à dire l'application tangente est égale à

displaymath14772

On choisit, comme base de T(G,e) la base tex2html_wrap_inline14776 , tex2html_wrap_inline14778 , tex2html_wrap_inline14780 .

On calcule tex2html_wrap_inline14782 , tex2html_wrap_inline14784 , tex2html_wrap_inline14786 .

La base correspondante de tex2html_wrap_inline14788 est donc

displaymath14790

Nous laissons au lecteur le soin de vérifier les relations de commutation

displaymath14792



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