Puede verse que formalmente el corchete de Poisson es una aplicación del espacio de funciones definidas sobre el espacio fásico: