Un espacio vectorial sobre un cuerpo especificado provisto de un corchete bilineal [·,·] que es alternante (antisimétrico si la característica ≠2) y satisface la identidad de Jacobi; el corchete codifica la estructura de conmutador infinitesimal.

Principio

El corchete de Lie es una aplicación bilineal V×V→V que mide la no conmutatividad a nivel infinitesimal: [x,x]=0 (alternancia) y [x,[y,z]]+[y,[z,x]]+[z,[x,y]]=0 (Jacobi), lo que organiza generadores y relaciones para simetrías continuas y linealiza conmutadores de grupo.

Demostración

gl(n,F): el espacio vectorial de matrices n×n sobre un cuerpo F con corchete [A,B]=AB−BA es un álgebra de Lie. so(3) consiste en matrices reales 3×3 antisimétricas con el corchete conmutador y corresponde a las rotaciones infinitesimales de SO(3). Las constantes de estructura respecto a una base codifican el álgebra.

Aplicación incorrecta

Tratar el corchete como asociativo, o confundir la multiplicación en un álgebra asociativa con el corchete de Lie sin formar conmutadores; suponer que toda álgebra de Lie se integra globalmente a un grupo de Lie sin atender obstrucciones topológicas o globales; ignorar cuestiones de característica (por ejemplo, característica 2 donde alternancia y antisimetría difieren).

Consecuencia

Un álgebra de Lie gobierna el comportamiento local de los grupos de Lie asociados, determina representaciones mediante módulos y la acción adjunta, y permite estrategias de clasificación (p. ej. descomposición semisimple, sistemas de raíces) que controlan la simetría y la teoría de invariantes.

Inversión

Un álgebra asociativa donde la multiplicación es la operación principal, o un álgebra de Lie abeliana cuyo corchete es nulo; invertir el signo del corchete da un álgebra de Lie isomorfa pero orientada en sentido opuesto, útil en construcciones duales.

Límite

Definida sobre un cuerpo o anillo específico; se requiere cuidado especial en cuerpos de característica pequeña (notablemente característica 2 y fenómenos en característica p>0) y en álgebras de Lie de dimensión infinita donde pueden ser necesarias estructuras topológicas o graduadas adicionales. Un álgebra de Lie no es en sí un grupo de Lie y carece de información topológica global.

Tensión semántica

Existe tensión entre la definición algebraica abstracta y la realización como espacio tangente en la identidad de un grupo de Lie; también entre ver álgebras de Lie como objetos puramente algebraicos y como estructuras topológicas/gradadas en física matemática.

Síntesis

Un Álgebra de Lie es el portador linealizado de la simetría infinitesimal: un espacio vectorial con un corchete bilineal alternante que satisface Jacobi, codificando relaciones de conmutador y sirviendo como la sombra diferencial de grupos continuos.