Трубчатая окрестность
Тру́бчатая окре́стность, окрестность гладкого подмногообразия в гладком многообразии , расслаивающаяся над со слоем , где
Пусть в выбрана риманова метрика и рассматриваются начинающиеся в отрезки нормальных к геодезических. Если компактно, то найдётся такое , что никакие два отрезка длины , исходящие из разных точек , не пересекаются. Объединение всех таких отрезков длины является открытой окрестностью подмногообразия и называется его трубчатой окрестностью. Для некомпактного можно строить трубчатую окрестность, покрыв счётным множеством компактов и уменьшая с ростом номера элемента покрытия. Имеется деформационная ретракция , сопоставляющая каждой точке из начало геодезической, содержащей эту точку. Эта ретракция задаёт векторное расслоение со слоем , изоморфное нормальному расслоению вложения . Таким образом, факторпространство гомеоморфно пространству Тома расслоения .
Аналог понятия трубчатой окрестности вводится и для топологических многообразий, где надо рассматривать локально плоские вложения (Kirby, Siebenmann. 1977).