Un espace vectoriel sur un corps muni d'un crochet bilinéaire antisymétrique satisfaisant l'identité de Jacobi, codant la structure infinitésimale des groupes de symétrie continus.

Principe

Linéariser la composition locale du groupe : le crochet mesure la noncommutativité au premier ordre des générateurs infinitésimaux et organise leurs relations de clôture.

Démonstration

Pour des groupes de matrices, le crochet est le commutateur [X,Y]=XY−YX sur l'espace des matrices tangentes en l'identité, produisant des constantes de structure pour l'algèbre.

Mauvaise application

Considérer une opération bilinéaire antisymétrique arbitraire comme un crochet de Lie sans vérifier l'identité de Jacobi conduit à des incohérences algébriques.

Conséquence

Permet la classification des symétries locales, la construction de représentations et l'intégration en flots de groupe locaux via les applications exponentielles lorsque les conditions le permettent.

Inversion

Au lieu de passer du groupe à l'algèbre par différentiation en l'identité, reconstruire la composition locale du groupe à partir des crochets algébriques par exponentiation.

Limite

S'applique aux symétries infinitésimales linéarisées et aux espaces tangents en l'identité ; il omet l'information topologique globale et les symétries discrètes du groupe complet.

Tension sémantique

Chevauche les algèbres associatives lorsque l'on utilise le commutateur, mais les algèbres de Lie étudient une structure de crochet non associative plutôt que la multiplication associative.

Synthèse

Une structure algébrique capturant les générateurs infinitésimaux non commutatifs des symétries continues au moyen d'un crochet bilinéaire satisfaisant Jacobi, servant d'ombre linéaire d'un groupe de Lie.