La fundamentación rigurosa del cálculo de variaciones requiere considerar variedades diferenciales lineales de dimensión infinita.