Generalisation of the Hopf–Rinow theorem

63 Views Asked by At

Is their a generalisation of the Hopf–Rinow theorem to infinite dimensional manifolds (Frechet, Banach or Hilbert)?

I have actually never seen the prove of the Hopf–Rinow theorem so i don't know if their are obvious generalisations.