If is a manifold and a compact submanifold, then a **tubular neighborhood** of consists of an open set diffeomorphic to a neighborhood of the zero section in some vector bundle over , by which corresponds to the zero section.

Theorem 1Hypotheses as above, has a tubular neighborhood. (more…)