Esto hace que el espacio de las funciones suaves de una variedad simpléctica sea un álgebra de Lie de dimensión infinita con el corchete de Poisson actuando como el corchete de Lie.