Cada función diferenciable G, sobre la [[variedad simpléctica]] genera una familia uniparamétrica de [[simplectomorfismo]]s y si {G, H}=0, entonces G se conserva y los simplectomorfismos son transformaciones de simetría.