Un grupo que es además una variedad lisa de dimensión finita y cuyas operaciones de grupo (multiplicación e inversión) son aplicaciones lisas; combina así estructura algebraica de grupo con estructura diferencial-geométrica.

Principio

Compatibilidad de las estructuras algebraica y lisa: las cartas de la variedad deben hacer que la multiplicación G×G→G y la inversión G→G sean de clase infinita (o C^k según se indique), lo que permite la linealización local en la identidad y la obtención del álgebra de Lie asociada.

Demostración

SO(3): el grupo de matrices reales ortogonales 3×3 con determinante 1 es un grupo de Lie de dimensión 3; el producto y la inversa son operaciones matriciales lisas. Otro ejemplo es R^n con la suma, cuya álgebra de Lie es él mismo con corchete nulo.

Aplicación incorrecta

Tratar cualquier grupo topológico o continuo como grupo de Lie sin verificar una estructura de variedad lisa compatible; suponer que grupos discretos o grupos de funciones de dimensión infinita son automáticamente grupos de Lie de dimensión finita; o asumir compacidad o conexidad por defecto.

Consecuencia

Un grupo de Lie tiene un espacio tangente en la identidad que forma un álgebra de Lie; las herramientas de la geometría diferencial (mapa exponencial, subgrupos a un parámetro, flujos) se aplican y dan resultados fuertes de clasificación y representación que relacionan la estructura algebraica local con el comportamiento global del grupo.

Inversión

Un grupo topológico que carece de una estructura de variedad lisa compatible (por ejemplo muchos grupos de dimensión infinita o patológicos), o un grupo algebraico definido sobre cuerpos sin estructura lisa real compatible —estos no cumplen la exigencia de lisura.

Límite

Normalmente se reserva a variedades lisas de dimensión finita sobre R (o C con estructura añadida); los grupos de Lie de dimensión infinita tipo Fréchet o los grupos puramente topológicos quedan excluidos salvo indicación. Debe precisarse la clase de suavidad (C^k, C^∞) y las variedades suelen exigirse Hausdorff y de base numerable para la teoría estándar.

Tensión semántica

Existe tensión entre “grupo de Lie” y “grupo algebraico” (variedades algebraicas con ley de grupo), y entre grupos de Lie finitos y grupos de dimensión infinita que aparecen en análisis o física; el término “grupo continuo” puede ser ambiguo y no implica diferenciabilidad.

Síntesis

Un Grupo de Lie sintetiza la simetría de grupo y la estructura de variedad lisa: es una variedad diferenciable de dimensión finita cuyas operaciones de grupo son lisas, de modo que la estructura infinitesimal (álgebra de Lie) y el comportamiento global están estrechamente vinculados mediante métodos diferenciales.