Теория узлов — изучение вложений одномерных многообразий в трёхмерное евклидово пространство или в сферу . В более широком смысле предметом теории узлов являются вложения сфер в многообразия и вложения многообразий в целом.
Основные понятия теории узлов
Вложение (чаще — его образ) несвязной суммы экземпляров окружности в или называется зацеплением кратности .
Зацепление кратности называется узлом.
Узлы, составляющие данное зацепление, называются его компонентами.
Объемлемо-изотопические классы зацеплений называются типами зацеплений. Зацепления одного типа называются эквивалентными.
Зацепление, состоящее из некоторых компонент зацепления , называется его частичным зацеплением.
Говорят, что зацепление распадается (или расщепляется), если два его частичных зацепления разделены в двумерной сферой.
Некоторые типы зацеплений Зацепление «», лежащее в плоскости в , называется тривиальным. Зацепление называется брунновым, если распадается каждое его частичное зацепление, кроме него самого. Наиболее изучены кусочно линейные зацепления. Рассмотрение гладких или локально плоских топологических вложений в приводит к теории совпадающей с кусочно линейной. Кроме плоскости всякое зацепление можно расположить на стандартно вложенной в замкнутой поверхности. Например, зацепление можно расположить на незаузленном торе или кренделе, тогда такое зацепление будет называться соответственно торическим, или крендельным. Зацепление, лежащее на границе трубчатой окрестности узла называется обмоткой узла . Зацепление, которое можно получить многократным взятием обмоток, начиная с тривиального узла, называется трубчатым, или сложным кабельтовым.
Задание зацеплений Обычно зацепления задаются посредством так называемых диаграмм узлов и зацеплений. Этот способ тесно связан с понятием кос. Если в косе из нитей соединить вверху и внизу по пар соседних концов отрезками, то получится зацепление, называемое -сплетением.
Другой способ конструирования зацеплений из кос состоит в замыкании кос. Если между двумя параллельными плоскостями и в взять ортогональных им отрезков и соединить их концы попарно дугами в и дугами в без пересечений, то сумма всех дуг и отрезков даст зацепление. Зацепление, допускающее такое представление, называется зацеплением с мостами.
Таблица узлов
Для классификации узлов составляют таблицы узлов — перечень диаграмм всех простых узлов, допускающих проекции на плоскость.
Для облегчения поиска и унификации узлы имеют стандартное обозначение: первая цифра указывает число двойных точек, а вторая (расположенная в индексе) — порядковый номер узла.
Помимо стандартного обозначения несколько простейших узлов имеют специальные названия. Например: узел — трилистник; узел — «восьмёрка», или узел Листинга; узел — узел «Печать Соломона».
Для многокомпонентных узлов в верхнем индексе указывается количество компонентов: например, зацепление двух колец имеет символическую запись .
Инварианты узлов и зацеплений Практически единственным способом доказательства неизоморфности узлов является применение инвариантов: сопоставляемых узлу (или зацеплению) чисел или выражений, не изменяющихся при его изотопии. Достаточным для доказательства неизоморфности тогда является нахождение инварианта, значения которого на данных двух узлах или зацеплениях различны. (Совпадение одного или нескольких инвариантов на двух узлах их изоморфности ещё не доказывает.)
Чаще всего, инварианты определяют только для ручных узлов (и зацеплений), строя их по диаграмме узла; проверка инвариантности в этом случае сводится к проверке, что построенный объект сохраняется при всех трёх преобразованиях Рейдемейстера.
Некоторые инварианты узлов и зацеплений: Число связных компонент Фундаментальная группа дополнения к зацеплению Число трёхцветных раскрасок — число способов раскрасить диаграмму зацепления в три цвета так, чтобы в каждом перекрёстке либо встречались все три цвета, либо только один Полином Александера Полином Конвея Полином HOMFLY Полином Джонса Инварианты Васильева (со значениями в пространстве хордовых диаграмм).
Изучение инвариантов узлов - часть более общей задачи о кольце когомологий пространства узлов. Численные инварианты узлов - 0-мерные классы когомологий Любой инвариант описывается в терминах дискриминанта: каждой связной компоненте множества его неособых точек можно приписать его индекс, равняющийся разности значений инварианта двух близких узлов, разделенных этим участком. Для того, чтобы индексы определяли инвариант узлов, необходимо чтобы сумма участков (с соответствующими коэффициентами) не имела границы в пространстве отображений Перечислением допустимых коэффициентов занимается теория гомологий. Наборы индексов могут быть представлены спектральной последовательностью которая порождается стратификацией дискриминанта по типам вырождения соответствующих отображений. При она находится в области Более общо, любому элементу группы соответствует класс -мерных когомологий пространства узлов.
Можно рассматривать пространства узлов во всех при При росте для (фильтрованных) колец когомологий этих пространств выполняются свойства стабилизации и периодичности. Любой (конечномерный) класс когомологий пространства узлов реализуется индексом зацепления с некоторым циклом (бесконечной размерности, но конечной коразмерности) в дискриминанте который состоит из гладких отображений или которые не являются узлами (имеют особенности, т.е. самопересечение).
Если любой участок дискриминанта состоит из отображений которые имеют ровно одну точку самопересечения (в которой касательные векторы к двум локальным компонентам порождают двумерную плоскость), то он должен иметь инвариантно определенную трансверсальную ориентацию в пространстве всех гладких отображений (способ назвать одну из двух соседних компонент пространства узлов положительной, а другую - отрицательной)В.А.Васильев - Топология дополнений к дискриминантам. М.: ФАЗИС, 1997..
Приложения теории узлов Значение теории узлов для изучения трёхмерных многообразий определяется, прежде всего, тем, что всякое замкнутое ориентируемое трёхмерное многообразие можно представить в виде накрывающего сферы , разветвлённого над некоторым зацеплением (теорема Александера). Более того, всякое ориентируемое связное трёхмерное многообразие рода 1 (то есть линзовое пространство) гомеоморфно двулистному разветвлённому накрывающему некоторого зацепления с двумя мостами, и зацепления с двумя мостами эквивалентны тогда и только тогда, когда гомеоморфны их двулистные разветвлённые накрывающие. Этот факт полезен как для описания трёхмерных многообразий, так и для классификации узлов.
Другим важным средством, доставляемым теорией узлов для изучения трёхмерных многообразий, является исчисление оснащённых зацеплений Кёрби.
Помимо этих и многих других применений теории узлов в топологии, её приложения включают также изучение особенностей плоских алгебраических кривых, а в многомерной ситуации — изолированных особенностей комплексных гиперповерхностей, гладкие структуры на сферах, конструирование динамических систем и слоений. Имеются попытки применить теорию узлов в символической динамикеFranks J. M. Annals of Mathematics. — 1981. — v. 113. — p. 529—552. и математической теории турбулентностиBirman J. S., Williams R. F. Topology. — 1983. — v. 22. — p. 47—82..
Практическое использование теории узлов Помимо фундаментального значения для топологии, теория узлов в последние десятилетия нашла множество неожиданных и важных приложений в других науках.
Молекулярная биология и химия: Длинные цепочечные молекулы, такие как ДНК и различные белки, могут запутываться и образовывать узлы. Поведение ДНК в клетке (репликация, транскрипция) напрямую зависит от её топологического состояния. Специальные ферменты, топоизомеразы, разрезают и сшивают нити ДНК, изменяя тип их заузленности. Теория узлов предоставляет математический аппарат для классификации и описания этих процессов, а также для изучения структуры кольцевых молекул и синтеза новых химических соединений с заданной топологией (например, катенанов — молекулярных колец, продетых друг в друга).
Физика: Связь теории узлов с физикой оказалась чрезвычайно глубокой. Знаменитый полином Джонса был переоткрыт в физике как корреляционная функция в моделях статистической механики (модель Поттса). Ещё более важным оказалось то, что в квантовой теории поля, а именно в калибровочной теории Черна — Саймонса, математическое ожидание так называемых петель Уилсона в точности равно значениям полиномов узлов (например, полинома Джонса). Это открытие проложило мост между топологией трёхмерных многообразий и квантовой физикой.
Квантовые вычисления: Идеи теории узлов и, в частности, тесно связанных с ними кос лежат в основе одной из самых многообещающих моделей построения квантового компьютера — топологического квантового компьютера. В этой модели кубиты кодируются не в локальных состояниях частиц, а в глобальных топологических свойствах их траекторий (мировых линий) при переплетении (плетении) друг с другом. Такая система естественным образом защищена от ошибок декогеренции, что является главной проблемой для других типов квантовых компьютеров. Математика, описывающая эти процессы, напрямую заимствована из теории узлов и кос.
Гидродинамика и теория хаоса: Существуют попытки применения теории узлов для описания линий тока в турбулентных потоках жидкости или газа. Топология линий вихрей может сохраняться в идеальной жидкости, что позволяет использовать инварианты зацеплений для характеристики сложных течений. В теории динамических систем узлы возникают при анализе периодических траекторий в странных аттракторах.
История теории узлов По-видимому, Гаусс был первым, кто рассматривал узел как математический объект. Он считал, что анализ явлений заузливания и зацепливания является одной из основных задач «geometris situs». Сам Гаусс мало написал об узлах и зацеплениях, однако его ученик Листинг посвятил узлам значительную часть своей монографии.
К концу XIX века Тэт и К. Литл составили таблицы простых узлов, имеющих не более 10 пересечений, и таблицы альтернирующих простых узлов, имеющих не более 11 пересечений.
В 1906 году Титц впервые применил фундаментальную группу для доказательства нетривиальности узла. В 1927 году Дж. Александер и Л. Бриге, используя коэффициенты кручения гомологии двулистных и трёхлистных разветвлённых циклических накрывающих, различили все табулированные узлы с 8 пересечениями и все узлы, за исключением трёх пар, с 9 пересечениями.
В 1928 году Александер предлагает многочлен, названный его именем, но и с его помощью не удалось убедиться в различности всех 84 узлов, имеющих не более 9 пересечений. Этот последний шаг сделал Рейдемейстер, рассмотревший коэффициенты зацепления в диэдральных разветвлённых накрывающих.
В 1980 годах Конвей разработал нотацию узлов, названную его именем.
См. также Коэффициент зацепления Поверхность Зейферта Теорема Фари — Милнора Теория кос Трикветр Узел (топология)
Примечания
Литература
. . .
Hillman J. A. Alexander ideals of links B. — Hdlb. — N. Y., 1981. Джонс, Воган Ф. Р. Теория узлов и статистическая механика // Scientific American (издание на русском языке). — № 1. — 1991. — С. 44—50.
. Сосинский А. Б. Узлы. Хронология одной математической теории: — М.:МЦНМО, 2005. — 112 с. ISBN 5-94057-220-0 Статьи «Теория узлов в конце XX века» // Математическое просвещение. — № 3. — 1999.
Honda K. 3-dimensional methods in contact geometry. Etnyre J. B. Legendrian and Transversal Knots. Birman J.S. Braids, knots and contact structures.
Категория:Топология
Категория:Маломерная топология