Let $H$ be a separable infinite dimensional Hilbert space, and consider it as a Hilbert manifold in the usual way (that is, with the single chart with the identity map). It is known that there always exists (under the above hypothesis) a metric (e.g. the one induced by the inner product, as noted by @Thomas Rot) such that $H$ becomes a complete Riemannian Hilbert manifold (see, for instance, *Biliotti L., Mercuri F. (2017) Riemannian Hilbert Manifolds. In: Suh Y., Ohnita Y., Zhou J., Kim B., Lee H. (eds) Hermitian–Grassmannian Submanifolds. Springer Proceedings in Mathematics & Statistics, vol 203. Springer, Singapore*). Moreover, we know that Hopf-Rinow Theorem does not hold in general under our assumptions, because $H$ is infinite dimensional. However, we do know that almost-geodesics always exist (see *I. Ekeland: The Hopf-Rinow Theorem in infinite dimension. J. Diff. Geometry 13, 287-301 (1978)*). Now, recall that a submanifold $M$ of $H$ is said to be totally geodesic if every geodesic in $M$ is also a geodesic in $H$. My question is related to a converse of this notion, which involves almost-geodesics instead of geodesics: under what conditions can we say that an almost-geodesic in $H$ is still an almost-geodesic in $M$, for some infinite dimensional submanifold $M$? Is there any known term for such manifolds?

EDIT: an almost-geodesic, following the above paper by Ekeland, is a $C^{\infty}$ path $c(t)$ from some point $c(0)=p \in H$ to some other point $c(1)=q \in H$ such that $$ \int_{0}^{1} \| \dot{c}(t) \|_{c(t)} dt \leq \epsilon + d(p,q)$$ for some $\epsilon > 0$. Theorem A in the cited paper by Ekeland states that:

Let $N$ be a complete infinite dimensional Riemannian manifold, and let $p,q \in N$. $\forall \epsilon >0$, there exists some $C^{\infty}$ path $c(t)$ from $p$ to $q$ such that $$ \int_{0}^{1} \| \dot{c}(t) \|_{c(t)} dt \leq \epsilon + d(p,q)$$ that is, every such path is an almost geodesic.

Here, with 'submanifold' I mean an embedded submanifold.

EDIT: as @Thomas Rot pointed out in the comments, the previous question can be trivially answered. As he observed, an interesting question then is: under what conditions is a manifold $\epsilon$-geodesic?

3more comments