Recently I started working on a problem in Differential Geometry (where I'm not a specialist, so I apologize if this question turns out to have a trivial answer) and I had to consider the following situation.
Let $M \subset \mathbb{R}^n$ be a smooth submanifold of dimension $n-k$. By a normal tube of radius $\varepsilon$ centered at $M$, I mean a tubular neighborhood of $M$ given by a disjoint union $$\mathscr{B}(M, \, \varepsilon):=\bigsqcup_{p \in M} B(p, \, \varepsilon),$$ where $B(p, \, \varepsilon)$ is a $k$-dimensional ball of radius $\varepsilon$ centred at $p \in M$ and contained in the (embedded) normal subspace $N_pM \subset \mathbb{R}^n$.
Q. Under which conditions on $M$ does a normal tube $\mathscr{B}(M, \, \varepsilon)$ exist (for $\varepsilon$ sufficiently small)?
It seems to me that this is always the case when $M$ is compact, because then we can identify $\mathscr{B}(M, \, \varepsilon)$ with the open neighborhood $B_M(\varepsilon)$ of $M$ in $\mathbb{R}^n$ given by $$B_M(\varepsilon) := \{x \in \mathbb{R}^n \, | \, d(x, \, M) < \varepsilon\}.$$
On the other hand, there are also examples where $\mathscr{B}(M, \, \varepsilon)$ exists even if $M$ is not compact, for instance in the case where $M$ is a linear subspace (in this case, in fact, the normal spaces to $M$ are pairwise disjoint).
My feeling is that $\mathscr{B}(M, \, \varepsilon)$ should always exist when the curvature of $M$ is bounded in some suitable sense, but I'm not able to specify it better.
Any answer, example/counterexample and reference to the relevant literature will be greatly appreciated.
Best Answer
I suggest to look at the very clear proof of the tubular neighborhood theorem in
Lee, John M., Introduction to smooth manifolds, Graduate Texts in Mathematics. 218. New York, NY: Springer. xvii, 628 p. (2002). ZBL1030.53001., pag 253, I think it's exactly what you need.
He proves the existence of a tubular neighborhood for any embedded submanifold of $\mathbb{R}^n$ (but indeed the proof is the same for any embedded submanifold of a smooth manifold, it just makes use of an auxiliary Riemannian structure to define "normal lines"). Notice that his construction works also in the non-compact case, but in this case the tubular neighborhood has non-constant radius.
If you want $\varepsilon$ to be constant, then looking into the proof you just need a lower bound to the injectivity radius from the submanifold, which you always have if the submanifold is compact (and vice-versa, if you have a tubular neighborhood with constant $\epsilon$, then the injectivity radius is $\geq \varepsilon$.
In any way, curvature has no relation whatsoever with existence of tubular neighborhoods (more precisely, you cannot give sufficient conditions for existence of a uniform tubular neighborhood in terms of curvature bounds, I'm general). Your problem is deeply related with the regularity of the distance from the submanifold. In fact, you can easily build the tubular neighborhoods using the gradient flow of the distance function from the submanifold, which is as smooth as the submanifold in a neighborhood of the latter. To this regard, I can also suggest you to give a look at this paper : Foote, Robert L., Regularity of the distance function, Proc. Am. Math. Soc. 92, 153-155 (1984). ZBL0528.53005.
Ah, and indeed, the magnificent
Gray, Alfred, Tubes, Redwood City, CA etc.: Addison-Wesley Publishing Company. xii, 283 p. (1990). ZBL0692.53001.