Un espacio vectorial sobre un campo provisto de un corchete bilineal y antisimétrico que satisface la identidad de Jacobi, codificando la estructura infinitesimal de grupos de simetría continuos.

Principio

Linearizar la composición local del grupo: el corchete mide la no conmutatividad de primer orden de los generadores infinitesimales y organiza sus relaciones de cierre.

Demostración

Para grupos de matrices, el corchete es el conmutador [X,Y]=XY−YX en el espacio de matrices tangente en la identidad, produciendo constantes de estructura para el álgebra.

Aplicación incorrecta

Tratar una operación bilineal antisimétrica cualquiera como corchete de Lie sin verificar la identidad de Jacobi conduce a inconsistencias algebraicas.

Consecuencia

Facilita la clasificación de simetrías locales, la construcción de representaciones y la integración a flujos de grupo locales mediante mapas exponenciales cuando las condiciones lo permiten.

Inversión

En lugar de pasar del grupo al álgebra diferenciando en la identidad, reconstruir la composición local del grupo a partir de los corchetes algebraicos mediante exponentiación.

Límite

Se aplica a simetrías infinitesimales linealizadas y a espacios tangente en la identidad; omite información topológica global y simetrías discretas del grupo completo.

Tensión semántica

Se solapa con álgebras asociativas cuando se usa el conmutador, pero las álgebras de Lie estudian la estructura de corchete no asociativa en lugar de la multiplicación asociativa.

Síntesis

Una estructura algebraica que captura generadores infinitesimales no conmutativos de simetría continua mediante un corchete bilineal que satisface Jacobi, funcionando como la sombra lineal de un grupo de Lie.