Suppose $(M,g)$ is an open Riemannian manifold with bounded geometry, i.e., the injectivity radius is $\ge \epsilon>0$ and each iterated covariant derivative of curvature is bounded with respect to $g$.


Question: Does there exist an embedding into some high dimensional $\mathbb R^N$ with the following properties:


* isometric
* proper (i.e., compact sets have compact inverse images)
* The normal tubular neighborhood contains a uniformly thick disk in each fiber?


The Gauss equations give a relationship between the (normal bundle valued) second fundamental form (or shape operator); but by embedding arc-length parameterized curves one can show that this is not enough to force focal points uniformly away.


There is a related question
[Existence of an isometric embedding into Euclidean space with bounded second fundamental form](https://mathoverflow.net/questions/57392/existence-of-an-isometric-embedding-into-euclidean-space-with-bounded-second-fund), but it does not answer this question.


By taking a product with another Euclidean space one can then have embedding where the normal bundle is trivial. Then one can use such embedding to carry over results valid on $\mathbb R^n$ to Riemannian manifolds with bounded geometry.


Edit: Many thanks for the comments and Anton for a very succinct [answer](https://mathoverflow.net/a/124878).


I end with a wild guess:
Maybe, one can characterize the Riemannian manifolds of bounded geometry admitting such embeddings as those whose ends are asymptotically flat times something compact (by which I mean an bundle)?



Does a Riemannian manifold with bounded geometry admit an isometric proper embedding into Euclidean space with uniformly thick tubular neighborhood?
It does not hold for hyperbolic plane.
It follows since the volume growth of the hyperbolic plane is exponential, while volume growth of $\mathbb{R}^N$ is polynomial.


**Postcript.** Let us say that a Riemannian manifold $M$ has polynomial volume growth if there is a polynomial $p$ such that volume of any $r$-ball in $M$ has volume at most $p(r)$.


Evidently, if a manifold admits an embedding with uniformly thick tubular neighborhood into $\mathbb{R}^N$, then it has polynomial volume growth.
I suspect that polynomial volume growth is also sufficient for $N\gg \deg p$.


If we assume a bit better regularity (say a bound on covariant derivatives of curvature tensor), then it can be proved.
It is done by applying the result in "The intrinsic dimensionality of graphs" by Krauthgamer and Lee (thaks to
**aorq**, see [my question](https://mathoverflow.net/q/440451)) together with the Nash embedding theorem.


It seems to be unknown if any complete Riemannian manifold with bounded geometry admits an isometric *immersion* with bounded normal curvatures. But once this problem is solved, the same argument could be used.


