ИЗОТОПИЯ это:

ИЗОТОПИЯ

- гомотопия топологич. пространства Xпо топологич. пространству Y: ft:. (здесь и всюду далее в к-рой при любом tотображение ft является гомеоморфизмом Xна нек-рое подмножество Y. Эквивалентно, И.- послойное непрерывное отображение f : такое, что f гомеоморфно переводит слой на подмножество слоя Yt. И. Ft:при к-рой Ft(Y)=Y для любого t, наз. изотопией пространства Y. Накрывающей (или объемлющей) изотопией для И. ft:наз. И. пространства Ft.такая, что Ft|x = ft. Два вложения f0, f1: XY пространства Xв пространство Yназ. изотопными, если существует накрывающая И. Ft: для к-рой F0=id, F1(f0(X)) = f1(X). Пространства X, Y наз. изотопически эквивалентными, если существуют вложения f :и g:такие, что композиции gof:и fog:изотопны тождественному отображению. Изотопически эквивалентные пространства наз. также (по аналогии с гомотопич. типом) пространствами одного и того же изотопического типа. Если пространства гомеоморфны, то они изотопически эквивалентны, однако есть негомеоморфные пространства одного изотопич. типа, напр. re-мерный шар и такой же шар с приклеенным к его поверхности (своим концом) отрезком. Любой гомотопич. инвариант является изотопич. инвариантом, но существуют изотопич. инварианты, напр, размерность, не являющиеся гомотопическими.

Основным вопросом в теории И. является задача продолжения изотопии, т. е. вопрос о существовании И. Ft, накрывающей данную И. ft. Этот вопрос, равно как и общая задача нахождения полной системы изотопич. инвариантов для вложений, чаще всего рассматривается в категории топологич. многообразий и ее подкатегориях кусочно линейных и дифференцируемых многообразий.

Топологич. И. ft многообразия Mk по многообразию М п,. продолжается до накрывающей И. Ft: М п->М п тогда и только тогда, когда соответствующее прослойное вложение является локально плоским, здесь [а, b]- подотрезок интервала (0, 1). Если и то И. ft накрывается И. Ft при условии, что вложение является локально плоским для любого В коразмерности 2 это неверно (пример - "затягивание узелка" на окружности в Е 3), и потому для существования накрывающей И. необходимы дополнительные гомотопич. предположения. Достаточно близкие локально плоские вложе::ия при изотопны.

Теорема о продолжении кусочно линейной И. в общем случае формулируется аналогично (при естественном условии, что соответствующее послойное вложение является локально плоским в кусочно линейном смысле). Если то кусочно линейная И. продолжается всегда, так как в этих коразмерностях кусочно линейное вложение является локально плоским в кусочно линейном смысле. Для п-k=2 или 1 необходимо дополнительное предположение, что вложения ft(Mk)Mn являются в кусочно линейном смысле локально плоскими, поскольку в этих коразмерностях кусочно линейное вложение может не быть локально плоским даже в топологич. смысле, напр, конус над узлом.

Дифференцируемая И. всегда продолжается до дифференцируемой накрывающей И.

Задача нахождения полной системы изотопич. <инвариантов расположения многообразий Mk в М п решена только в небольшом числе частных случаев. Так, всякое локально плоское (в топологич. смысле) вложение сфер при или при п-k=l, изотопно стандартному, а если п-k=2,то локально плоская сфера Sn-2 в Sn тогда и только тогда изотопна стандартной, когда дополнение имеет гомотопич. тип окружности (теоремы Столлингса и Брауна). В коразмерности 2 могут существовать неизотопные узлы. Точно так же формулируется теорема Зимана - Столлингса о кусочно линейной И. (незаузленности) кусочно линейных сфер.

Инвариант кусочно линейной И. является более тонким по сравнению с топологич. И. Так, вопрос о топологич. изотопности произвольного гомеоморфизма сферы Sn тождественному решен в положительном смысле для при этом же ограничении доказана изотопность любых двух гомеоморфизмов сферы Sn на себя, сохраняющих ориентацию. В кусочно линейной ситуации эти утверждения получаются элементарными методами без всяких ограничений. Достаточно близкие гомеоморфизмы топологич. многообразия на себя изотопны, однако существуют как угодно близкие кусочно линейно неизотопныё кусочно линейные гомеоморфизмы кусочно линейных многообразий, напр, n-мерных торов при

В отличие от топологического и кусочно линейного случая далеко не всегда два диффеоморфизма n-мерной сферы на себя дифференцируемо изотопны. Изотопич. классы дифференцируемых вложений сфер Sk в Sn подробно изучены для любого Если то существует нек-рое топологич. пространство Cq, q=п-k такое, что гомотопич. группы pk( С q). находятся во взаимно однозначном Соответствии с классами вложений Sk в Sn;при этом pkq)=0 для k<2q-3, а p2q-3( С q). есть Z или Z2 в зависимости от того, является ли qчетным или нечетным числом. Таким образом, k-мерная стандартная сфера Sk, вложенная в Sn, может, при заузливаться в дифференцируемом смысле, т. е. существуют такие вложения к-рые дифференцируемо не изотопны стандартному. Эти узлы наз. узлами Хефлигера. Если к = п-2, то дифференцируемые узлы могут заузливаться в топологич. смысле, однако их намного больше, чем топологических или кусочно линейных; когда пнечетно, имеется их полная классификация. Если k=п-1, п неравно 4, то любое дифференцируемое вложение дифференцируемо изотопно стандартному вложению.

Тот факт, что существуют диффеоморфизмы сферы Sn на себя, неизотопные тождественному, приводит к существованию нетривиальных дифференциальных структур на сферах размерности п+1. Хотя всякий гомеоморфизм сферы Sn, п неравно 4, на себя аппроксимируется диффеоморфизмом, не всегда близкие диффеоморфизмы сферы дифференцируемо изотопны, т. е. диффеоморфизм сферы на себя можно как угодно малым возмущением превратить в неизотопный ему.

Лит.:[1] Келдыш Л. В., Топологические вложения в евклидово пространство, М., 1966 (Тр. Матем. ин-та АН СССР, т. 81); [2] Рурк К., Сандерсон Б., Введение в кусочно линейную топологию, пер. с англ., М., 1974; [3] Новиков С. П., "Изв. АН СССР. Сер. матем.", 1965, т. 29, № 1, с. 71 - 96; [4] Чернявский А. В., "Матем. сб.", 1969, т. 79, № 3, с. 307-56; [5] Rushing Т., Topological Embeddings, N.Y.-L., 1972; [6] Kirby R., Siebenmann L.,Foundational essays on topological manifolds, smootings and triangulations, N.Y., 1977.

M. А. Штонъко.


Математическая энциклопедия. — М.: Советская энциклопедия. . 1977—1985.

Смотреть что такое "ИЗОТОПИЯ" в других словарях:

  • Изотопия — Изотопия  это гомотопия , для которой при любом отображение является гомеоморфизмом на . Связанные определения Накрывающей (или объемлющей …   Википедия

  • изотопия — izotopija statusas T sritis fizika atitikmenys: angl. isotopy vok. Isotopie, f rus. изотопия, f pranc. isotopie, f …   Fizikos terminų žodynas

  • ИЗОТОПИЯ — отношение на классе всех группоидов, определенных на одном и том же множестве G. А именно, два группоида на Gназ. изотопными, если существуют такие подстановки р, а и т множества G, что для любых a, b ОG где Х и о обозначают операции в этих… …   Математическая энциклопедия

  • изотопия — изот опия, и …   Русский орфографический словарь

  • изотопия — и; ж. Явление существования изотопов. Открытие изотопии выдвинуло много новых проблем …   Энциклопедический словарь

  • изотопия — и; ж. Явление существования изотопов. Открытие изотопии выдвинуло много новых проблем …   Словарь многих выражений

  • Объемлющая изотопия — В топологии, объемлющая изотопия, это вид непрерывной деформации многообразия «объемлющего пространства», переводящее одно подмногообразие в другое. К примеру, в теории узлов два узла считаются одинаковыми, если можно произвести деформацию одного …   Википедия

  • Накрывающая изотопия — В топологии накрывающая (объемлющая) изотопия, также называющейся h изотопией,  это вид непрерывной деформации многообразия «объемлющего пространства», переводящее одно подмногообразие в другое. К примеру, в теории узлов два узла считаются… …   Википедия

  • КВАЗИГРУППА — множество с одной бинарной операцией (наз. обычно умножением), в к ром каждое из уравнений ах=Ь и уа=Ь имеет единственное решение для любых элементов а, b этого множества. К. с единицей наз. лупой. К. естественное обобщение понятия группы. К.… …   Математическая энциклопедия

  • МНОГОМЕРНЫЙ УЗЕЛ — изотопический класс вложений сферы в сферу. Более точно, re мерным узлом коразмерности q наз. пара , состоящая из ориентированной сферы и ее ориентированного локально плоского подмногообразия , гомеоморфного сфере . Два узла наз. эквивалентными,… …   Математическая энциклопедия

Книги

Другие книги по запросу «ИЗОТОПИЯ» >>


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»