## [Algèbre de Lie](/fr/node/57983) Définition 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 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 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 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 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 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 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 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 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.