2.3.17 Definição. Um sistema holônomo (Q,m, g, Fext) é conservativo se existe V :Q → IR tal que Fext = −g♯ ◦ dV ◦ τQ. Fixada uma das funções V , que chamaremos de energia potencial, definimos a energia total E:TQ→ IR do sistema por E = K + V ◦ τQ.