De hecho puede definirse un grupo uniparamétrico de transformaciones canónicas mediante: