Теория узлов — изучение вложений одномерных многообразий в трёхмерное евклидово пространство или в сферу . В более широком смысле предметом теории узлов являются вложения сфер в многообразия и вообще вложения многообразий.
Содержание |
Вложение (чаще — его образ) несвязной суммы экземпляров окружности в или называется зацеплением кратности .
Зацепление кратности называется узлом.
Узлы, составляющие данное зацепление, называются его компонентами.
Объемлемо-изотопические классы зацеплений называются типами зацеплений. Зацепления одного типа называются эквивалентными.
Зацепление, состоящее из некоторых компонент зацепления , называется его частичным зацеплением.
Говорят, что зацепление распадается (или расщепляется), если два его частичных зацепления разделены в двумерной сферой.
Обычно зацепления задаются посредством так называемых диаграмм узлов и зацеплений. Этот способ тесно связан с понятием кос. Если в косе из нитей соединить вверху и внизу по пар соседних концов отрезками, то получится зацепление, называемое -сплетением.
Другой способ конструирования зацеплений из кос состоит в замыкании кос. Если между двумя параллельными плоскостями и в взять ортогональных им отрезков и соединить их концы попарно дугами в и дугами в без пересечений, то сумма всех дуг и отрезков даст зацепление. Зацепление, допускающее такое представление, называется зацеплением с мостами.
Для классификации узлов составляют таблицы узлов[1] — перечень диаграмм всех простых узлов, допускающих проекции на плоскость.
Для облегчения поиска и унификации узлы имеют стандартное обозначение: первая цифра указывает число двойных точек, а вторая (расположенная в индексе) — порядковый номер узла.
Помимо стандартного обозначения несколько простейших узлов имеют специальные названия. Например:
Для многокомпонентных узлов в верхнем индексе указывается количество компонентов: например, зацепление двух колец имеет символическую запись .
Практически единственным способом доказательства неизоморфности узлов является применение инвариантов: сопоставляемых узлу (или зацеплению) чисел или выражений, не изменяющихся при его изотопии. Достаточным для доказательства неизоморфности тогда является нахождение инварианта, значения которого на данных двух узлах или зацеплениях различны. (Стоит отметить, что совпадение одного или нескольких инвариантов на двух узлах их изоморфности ещё не доказывает.)
Чаще всего, инварианты определяют только для ручных узлов (и зацеплений), строя их по диаграмме узла; проверка инвариантности в этом случае сводится к проверке, что построенный объект сохраняется при всех трёх преобразованиях Рейдемейстера.
Некоторые инварианты узлов и зацеплений:
Значение теории узлов для изучения трёхмерных многообразий определяется, прежде всего, тем, что всякое замкнутое ориентируемое трёхмерное многообразие можно представить в виде накрывающего сферы , разветвлённого над некоторым зацеплением (теорема Александера). Более того, всякое ориентируемое связное трёхмерное многообразие рода 1 (то есть линзовое пространство) гомеоморфно двулистному разветвлённому накрывающему некоторого зацепления с двумя мостами, и зацепления с двумя мостами эквивалентны тогда и только тогда, когда гомеоморфны их двулистные разветвлённые накрывающие. Этот факт полезен как для описания трёхмерных многообразий, так и для классификации узлов.
Другим важным средством, доставляемым теорией узлов для изучения трёхмерных многообразий, является исчисление оснащённых зацеплений Кёрби.
Помимо этих и многих других применений теории узлов в топологии, её приложения включают также изучение особенностей плоских алгебраических кривых, а в многомерной ситуации — изолированных особенностей комплексных гиперповерхностей, гладкие структуры на сферах, конструирование динамических систем и слоений. Имеются попытки применить теорию узлов в символической динамике[2] и математической теории турбулентности[3].
По-видимому, К. Гаусс был первым, кто рассматривал узел как математический объект. Он считал, что анализ явлений заузливания и зацепливания является одной из основных задач «geometris situs». Сам К. Гаусс мало написал об узлах и зацеплениях, однако его ученик И. Листинг (J. Listing) посвятил узлам значительную часть своей монографии.
К концу XIX века П. Тэт (P. Tait) и К. Литл (С. Little) составили таблицы простых узлов, имеющих не более 10 пересечений, и таблицы альтернирующих простых узлов, имеющих не более 11 пересечений.
В 1906 году Г. Титце (Н. Tietze) впервые применил фундаментальную группу для доказательства нетривиальности узла. В 1927 году Дж. Александер (J. Alexander) и Л. Бриге (L. Briggs), используя коэффициенты кручения гомологии двулистных и трёхлистных разветвлённых циклических накрывающих, различили все табулированные узлы с 8 пересечениями и все узлы, за исключением трёх пар, с 9 пересечениями.
В 1928 году Александер предлагает многочлен, названный его именем, но и с его помощью не удалось убедиться в различности всех 84 узлов, имеющих не более 9 пересечений. Этот последний шаг сделал К. Рейдемейстер (К. Reidemeister), рассмотревший коэффициенты зацепления в диэдральных разветвлённых накрывающих.
Теория узлов.
