В математической теме топологии , окружающая изотопия , также называемая ч-изотопией , является своим родом непрерывного искажения в окружающем пространстве , например , в многообразии , принимая Подмногообразие к другому подмногообразия. Например, в теории узлов два узла считаются одинаковыми, если один может превратить один в другой, не разрывая его. Такое искажение является примером изотопии окружающей среды. Точнее, пусть и быть многообразия и и быть вложения из в . Анепрерывная карта
определяется как эмбиент изотопия, чтобы , если это тождественное отображение , каждая карта является гомеоморфизм от самой себе, и . Это означает, что ориентация должна сохраняться окружающими изотопами. Например, два узла, которые являются зеркальным отображением друг друга, в общем случае не эквивалентны.
См. Также [ править ]
Ссылки [ править ]
- М. А. Армстронг, Базовая топология , Springer-Verlag , 1983