Sobre el espacio fásico de dimensión 2"N", , siendo "N" el número de grados de libertad, se define una función lagrangiana, que puede expresarse en términos de una carta local de coordenadas sobre ℝ: