Las generalizaciones adecuadas de la teoría de variedades al caso de dimensión infinita muestra que esta álgebra de Lie es ala asociada (ver siguiente punto) al grupo de Lie de los [[difeomorfismo]]s de la variedad.