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

Forme de Killing

Forme de Killing

Dans la théorie des algèbres de Lie, la forme de Killing est une forme bilinéaire symétrique naturellement associée à toute algèbre de Lie. Elle reflète un certain nombre de propriétés des algèbres de Lie (semi-simplicitérésolubilité…).

Définition [modifier]

Soit g une K-algèbre de Lie, où K désigne un corps (commutatif). La représentation adjointe définit pour tout vecteur x de g un endomorphisme K-linéaire ad(x) du K-espace vectoriel g :

ad(x)(y) = [x,y]

Si g est de dimension finie, il existe une forme bilinéaire symétrique B définie par :

B(x,y)=Trleft(ad(x)circ ad(y)right)

où Tr désigne l'opérateur trace. Cette forme est appelée forme de Killing de g.

La forme de Killing est l'unique forme bilinéaire symétrique sur g, invariante sous l'action des automorphismes de la K-algèbre de Lie g et vérifiant l'identité remarquable :

Bleft([x,y],zright)=Bleft(x,[y,z]right).

Curieusement, la forme de Killing a été définie par Henri Cartan, tandis que la matrice de Cartan a été définie par Wilhelm Killing (en).

Voir aussi [modifier]

Tenseur de Killing

21:31 Publié dans Forme de Killing | Lien permanent | Commentaires (0) | |  del.icio.us | | Digg! Digg |  Facebook