Глоссарий теории узлов (Ilkvvgjnw mykjnn r[lkf)

В этом глоссарии приведены определения основных терминов, использующихся в теории узлов. Курсивом выделены ссылки внутри глоссария.

# А Б В Г Д Е Ё Ж З И К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Э Ю Я

А

Аддитивный инвариант: Числовой инвариант, значения которого складываются при связном суммировании узлов и зацеплений.
Альтернированная диаграмма: Диаграмма, при движении вдоль каждой компоненты которой проходы чередуются с переходами^[1]. Или, что то же самое, диаграмма, любая дуга которой является мостом единичной длины.
Альтернированное зацепление: Зацепление, имеющее альтернированную диаграмму.
Альтернированный узел: Частный случай понятия альтернированное зацепление для однокомпонентных зацеплений.

Б

Брунново зацепление: Нетривиальное зацепление, которое становится тривиальным при удалении любой его компоненты^[2].

В

Восходящая диаграмма: 1. Ориентированная диаграмма, на которой можно выбрать такой упорядоченный набор точек, по одной на каждой её компоненте, что при последовательном прохождении этих компонент вдоль ориентации, начиная в очередной отмеченной точке, каждый перекрёсток проходится сначала по нижней ветви, а затем уже по верхней^[3].; 2. Диаграмма, удовлетворяющая вышеописанному условию относительно хотя бы одной ориентации.

Г

Геометрический узел: 1. Непрерывное инъективное отображение $f\colon S^{1}\to \mathbb {R} ^{3}$ окружности в трёхмерное евклидово пространство. Или, что то же самое, топологическое вложение окружности в $\mathbb {R} ^{3}$ .; 2. Образ подобного топологического вложения $f\colon S^{1}\to \mathbb {R} ^{3}$ . Иными словами, подмножество трёхмерного евклидова пространства, гомеоморфное окружности^[4]. Или, что то же самое, связное замкнутое одномерное подмногообразие евклидова пространства $\mathbb {R} ^{3}$ .; Частный случай геометрического зацепления.
Геометрическое зацепление: 1. Непрерывное инъективное отображение $f\colon S^{1}\sqcup \ldots \sqcup S^{1}\to \mathbb {R} ^{3}$ дизъюнктного объединения конечного числа окружностей в трёхмерное евклидово пространство. Или, что то же самое, топологическое вложение конечного набора окружностей в $\mathbb {R} ^{3}$ .; 2. Образ подобного топологического вложения $f\colon S^{1}\sqcup \ldots \sqcup S^{1}\to \mathbb {R} ^{3}$ . Иными словами, подмножество трёхмерного евклидова пространства, гомеоморфное дизъюнктному объединению конечного числа окружностей. Или, что то же самое, замкнутое одномерное подмногообразие евклидова пространства $\mathbb {R} ^{3}$ .; Обобщение геометрического узла.
Гомотопность геометрических зацеплений: Два геометрических зацепления $f,g\colon S^{1}\sqcup \ldots \sqcup S^{1}\to \mathbb {R} ^{3}$ называются гомотопными, если существует такая гомотопия $F_{t}\colon S^{1}\sqcup \ldots \sqcup S^{1}\to \mathbb {R} ^{3}$ , параметризованная числом $t\in [0,1]$ , что $F_{0}=f$ , $F_{1}=g$ и для каждого $t\in [0,1]$ образы сужений отображения $F_{t}$ на различные окружности не пересекаются^[5].
Граф Зейферта ориентированной диаграммы: Размеченный граф, определённым образом заданный ориентированной диаграммой. Его множество вершин совпадает с множеством всех окружностей Зейферта диаграммы, а множество рёбер — с множеством её перекрёстков. Концами ребра считается пара вершин, представляющих собой окружности Зейферта, соединённые данным перекрёстком. Разметка графа Зейферта, по определению, состоит из указания того, какой тип имеет каждый перекрёсток диаграммы (положительный или отрицательный), и того, какое направление имеет каждая окружность Зейферта (по часовой стрелке или против). Последнее сопоставление представляет собой правильную раскраску вершин в два цвета. Тем самым, любой граф Зейферта является двудольным.
Группа симметрий: Группа классов отображений^[англ.] дополнительного пространства данного узла или зацепления. Представляет собой инвариант.
Группа зацепления: Фундаментальная группа дополнительного пространства данного зацепления^[6]^[7]. Представляет собой инвариант.
Группа классов конкордантности узлов: Абелева группа, состоящая из классов эквивалентности ручных ориентированных узлов относительно конкордантности с операцией связная сумма^[8]. Её нейтральным элементом является класс срезанных узлов.
Группа Милнора зацепления^[англ.]: Факторгруппа группы зацепления по произведению коммутантов ядер гомоморфизмов, индуцированных удалением компонент данного зацепления. Представляет собой инвариант.
Группа узла: Частный случай понятия группа зацепления для однокомпонентных зацеплений.
Гиперболический объём: Объём гиперболического трёхмерного многообразия^[англ.], являющегося дополнительным пространством данного гиперболического узла или гиперболического зацепления. Представляет собой инвариант.
Гиперболическое зацепление: Зацепление, дополнительное пространство которого является гиперболическим трёхмерным многообразием^[англ.].
Гиперболический узел: Частный случай понятия гиперболическое зацепление для однокомпонентных зацеплений.
Гладкий геометрический узел: Частный случай понятия гладкое геометрическое зацепление для однокомпонентных геометрических зацеплений.
Гладкое геометрическое зацепление: Геометрическое зацепление, представляющее собой набор гладких замкнутых кривых.

Д

Движение Рейдемейстера: Один из трёх определённых типов преобразований диаграмм^[9]. Первое движение представляет собой появление и исчезновение малой петли, второе — появление и исчезновение пары перекрёстков, а третье — прохождение некоторой нити над перекрёстком.; Также используется термин преобразование Рейдемейстера^[10].
Диаграмма^[англ.]: 1. Подмножество евклидовой плоскости $\mathbb {R} ^{2}$ , получающееся из некоторой регулярной плоской проекции определёнными разрывами в её двойных точках. А именно, разрывами той ветви маленькой окрестности каждой двойной точки, прообраз в $\mathbb {R} ^{3}$ которой имеет меньшую третью координату. Такую ветвь называют проход или нижняя ветвь, а оставшуюся — переход или верхняя ветвь^[2]^[11].; 2. Класс эквивалентности регулярных плоских проекций, где эквивалентными называются такие проекции, которые получаются друг из друга плоской изотопией.; Также используется термин плоская диаграмма.
Диаграмма замкнутой косы: 1. Ориентированная диаграмма, у которой все окружности Зейферта вложены друг в друга и имеют одинаковое направление^[12]. Или, что то же самое, ориентированная диаграмма, полученная из некоторой диаграммы косы, ориентированной от начала её нитей к их концам, операцией замыкания Александера.; 2. Диаграмма, удовлетворяющая вышеописанному условию относительно хотя бы одной ориентации. Или, что то же самое, диаграмма, полученная из некоторой диаграммы косы операцией замыкания Александера.
Дикий узел: Частный случай понятия дикое зацепление для однокомпонентных зацеплений.
Дикое зацепление: Зацепление, не являющееся ручным.
Дополнительное пространство: 1. Дополнение некоторого геометрического представителя данного узла или зацепления до трёхмерного евклидова пространства $\mathbb {R} ^{3}$ ^[6]. Является некомпактным трёхмерным многообразием без края.; 2. Дополнение некоторого геометрического представителя зацепления до трёхмерной сферы $S^{3}=\mathbb {R} ^{3}\cup \{\infty \}$ .; 3. Дополнение внутренности утолщения зацепления до $\mathbb {R} ^{3}$ . Является некомпактным трёхмерным многообразием, край которого гомеоморфен набору торов.; 4. Дополнение внутренности утолщения зацепления до $S^{3}$ . Является компактным трёхмерным многообразием, край которого гомеоморфен набору торов.; 5. Топологический тип топологического пространства, заданного одним из способов выше. Является инвариантом.; Также используются термины дополнение и внешность.
Дуга диаграммы: Компонента связности диаграммы зацепления^[13].
Дуговой индекс: Наименьшее значение количества вертикальных (или, что то же самое, количества горизонтальных) звеньев среди всех прямоугольных диаграмм данного узла или зацепления. Является инвариантом.

З

Задача развязывания: Частный случай задачи распознавания, в котором одно из зацеплений является тривиальным.; В случае узлов также используются термины задача распознавания тривиального узла и проблема распознавания тривиального узла^[14].
Задача распознавания: Задача разрешимости, заключающаяся в определении того, являются ли изотопными два заданных некоторым образом геометрических узла или зацепления.; Также используются термины проблема сравнения ^[15] и проблема распознавания^[14].
Закрученность ориентированной диаграммы: Разность между количеством положительных перекрёстков и количеством отрицательных перекрёстков ориентированной диаграммы^[16].; Также используется термин индекс скрещивания^[17].
Замыкание Александера: Определённое отображение из множества всех кос в множество зацеплений.
Зацепление: Класс эквивалентности геометрических зацеплений по отношению изотопности.; Обобщение узла.; Также используется термин цепь^[4].
Зеркальный образ: 1. Диаграмма, получающееся из данной заменой типов всех перекрёстков, т. е. заменой проходов на переходы и наоборот без изменения тени диаграммы.; 2. Узел или зацепление, получающееся из геометрического представителя данного зацепления отражением относительно некоторой плоскости.; Также используется термин зеркальное отражение.
Зеркальное зацепление: Зацепления, эквивалентное своему зеркальному образу^[18].; Также используются термины амфихиральное зацепление и ахиральное зацепление. Противоположное понятие — хиральное зацепление.
Зеркальный узел: Частный случай понятия зеркальное зацепление для однокомпонентных зацеплений.

И

Изотопность геометрических зацеплений: Два геометрических зацепления называются изотопными, если существует объемлющая изотопия, переводящая первое геометрическое зацепление во второе.
Изотопность ориентированных геометрических зацеплений: Два ориентированных геометрических зацепления называются изотопными, если существует объемлющая изотопия, переводящая первое геометрическое зацепление во второе и совмещающая ориентацию компонент первого зацепления с ориентацией компонент второго.
Изотопность ориентированных геометрических узлов: Частный случай понятия изотопность ориентированных геометрических зацеплений для однокомпонентных зацеплений.
Изотопность геометрических узлов: Частный случай понятия изотопность геометрических зацеплений для однокомпонентных зацеплений.
Изотопность упорядоченных геометрических зацеплений: Два упорядоченных геометрических зацепления называются изотопными, если существует объемлющая изотопия, переводящая первое геометрическое зацепление во второе и совмещающая порядок (нумерацию) компонент первого зацепления с порядком компонент второго.
Изогнутость: Наименьшее значение вариации поворота среди всех гладких представителей данного узла. Является инвариантом.
Инвариант: Произвольная функция, действующая из множества узлов или зацеплений. Или, что то же самое, функция, действующая из множества геометрических узлов или геометрических зацеплений, принимающая одинаковые значения на изотопных элементах^[14].
Инвариант конечного типа: Элемент определённого семейства инвариантов ручных узлов и зацеплений.; Также используются термины инвариант конечного порядка, инвариант Васильева — Гусарова и инвариант Гусарова — Васильева^[19].
Инвариант Милнора^[англ.]: Элемент определённого семейства инвариантов зацеплений^[20].
Индекс косы: Наименьшее значение количества окружностей Зейферта среди всех диаграмм замкнутой косы данного узла или зацепления. Является инвариантом.; Также используется термин ‘’’число нитей’’’.

К

Квадрисеканта^[англ.]: Прямая, пересекающая данное геометрическое зацепление или геометрический узел в ровно четырёх точках.
Классификация Тёрстона: Разбиение множества всех ручных узлов на торические, сателлитные и гиперболические, основанное на применении теоремы о геометризации к дополнительному пространству узла.
Кобордизм: 1. Компактная, ориентируемая поверхность $\Sigma$ , топологически вложенная в пространство $\mathbb {R} ^{3}\times [0,1]$ , пересекающаяся с объединением $(\mathbb {R} ^{3}\times \{0\})\cup (\mathbb {R} ^{3}\times \{1\})$ по своему краю^[21].; 2. Само такое топологическое вложение.; Кобордизм называется локально плоским или гладким в зависимости от того, является ли вложение локально плоским или гладким.; Говорят, что кобордизм $\Sigma$ соединяет один узел или зацепление с другим, если у них имеются такие геометрические представители $L_{1}\subset \mathbb {R} ^{3}$ и $L_{2}\subset \mathbb {R} ^{3}$ , что $\Sigma \cap (\mathbb {R} ^{3}\times \{0\})=L_{1}\times \{0\}$ и $\Sigma \cap (\mathbb {R} ^{3}\times \{1\})=L_{2}\times \{1\}$ .; Если зацепления ориентированы, предполагается, что ориентация поверхности согласована с ориентацией зацеплений, а точнее, последнее условие заменяется на $\Sigma \cap (\mathbb {R} ^{3}\times \{1\})=L_{2}^{rev}\times \{1\}$ , где $L_{2}^{rev}$ — результат обращения ориентации на $L_{2}$ .
Кобордизм-расстояние: 1. Топологическое кобордизм-расстояние — наименьшее значение рода локально плоского кобордизма, соединяющего один узел или зацепление с другим.; 2. Гладкое кобордизм-расстояние — наименьшее значение рода гладкого кобордизма, соединяющего один узел или зацепление с другим.
Компонента диаграммы: 1. Объединение дуг диаграммы, соответствующих некоторой компоненте зацепления.; 2. Тень диаграммы некоторой компоненты зацепления.
Компонента зацепления: 1. Сужение геометрического представителя данного зацепления на одну из окружностей.; 2. Компонента связности геометрического представителя данного зацепления.; 3. Узел, соответствующий описанному выше геометрическому зацеплению^[3].; Количество компонент зацепления является инвариантом.
Конкордантность^[англ.]: 1. Два узла или зацепления называются топологически конкордантными, если между ними существует локально плоский кобордизм, чей род равен нулю. Или, иными словами, если топологическое кобордизм-расстояние между ними равно нулю.; 2. Два узла или зацепления называются гладко конкордантными, если между ними существует гладкий кобордизм, чей род равен нулю^[22]. Или, иными словами, если гладкое кобордизм-расстояние между ними равно нулю.
Копредставление Виртингера^[англ.]: Определённый способ задать группу зацепления, представленного диаграммой, образующими и соотношениями^[23]^[24]. В качестве образующих выступают меридианальные петли, огибающие дуги диаграммы, а в качестве соотношений — определённые тождества на перекрёстках.; Также используется термин задание Виртингера.
Короткое замыкание: Определённое отображение из множества всех кос в множество зацеплений (от англ. short-circuit — короткое замыкание). Также используется термин замыкание Стенфорда — Мостового.
Коэффициент зацепления: 1. Определённый целочисленный инвариант двухкомпонентных ориентированных зацеплений.; 2. Инвариант двухкомпонентных (неориентированных) зацеплений, равный абсолютному значению коэффициента зацепления, вычисленного относительно произвольной ориентации зацепления.

М

Меридианальная петля: Петля в дополнительном пространстве зацепления, гомотопная меридиану утолщения одной из компонент этого зацепления.
Меридианальный ранг: Наименьшее значение мощности порождающего множества группы зацепления, каждый элемент которого представляется меридианом. Является инвариантом.
Моноид узлов: Коммутативный моноид, состоящий из всех ручных ориентированных узлов с операцией связная сумма.
Мост диаграммы: Дуга диаграммы, содержащая хотя бы один перекрёсток. Длина моста — количество перекрёстков, которое он содержит.
Мутанты: Такая пара узлов или зацеплений, что первое зацепление можно получить из второго конечной последовательностью мутаций.
Мутация: Определённый тип преобразований узлов и зацеплений^[25].

Н

Несвязное объединение: Коммутативная бинарная операция на множестве всех зацеплений, сопоставляющая паре зацеплений из $n$ и $m$ компонент зацепление из $n+m$ компонент, заданное геометрическим представителем, полученным расположением геометрических представителей исходных зацеплений по разные стороны от некоторой плоскости^[26].
Нисходящая диаграмма: 1. Ориентированная диаграмма, на которой можно выбрать такой упорядоченный набор точек, по одной на каждой её компоненте, что при последовательном прохождении этих компонент вдоль ориентации, начиная в очередной отмеченной точке, каждый перекрёсток проходится сначала по верхней ветви, а затем уже по нижней^[3].; 2. Диаграмма, удовлетворяющая вышеописанному условию относительно хотя бы одной ориентации.
Нотация Александера — Бриггса^[англ.]: Определённый способ табуляции ручных узлов и зацеплений.
Нотация Гаусса^[англ.]: Определённый способ кодирования диаграмм узлов и зацеплений.
Нотация Даукера — Тистлетвэйта^[англ.]: Определённый способ кодирования диаграмм узлов и зацеплений.
Нотация Конвея: Определённый способ перечисления ручных узлов и зацеплений.

О

Объемлющая изотопия: Такое непрерывное семейство гомеоморфизмов $f_{t}\colon \mathbb {R} ^{3}\to \mathbb {R} ^{3}$ , параметризованное числом $t\in [0,1]$ , что $f_{0}$ — тождественное отображение. Под непрерывностью семейства имеется в виду то, что отображение $\mathbb {R} ^{3}\times [0,1]\to \mathbb {R} ^{3}$ , заданное правилом $(x,t)\mapsto f_{t}(x)$ , является непрерывным.; Путь, заданный формулой $t\mapsto f_{t}(x)$ , называется траекторией движения точки $x\in \mathbb {R} ^{3}$ под действием объемлющей изотопии $f_{t}$ .; Говорят, что объемлющая изотопия переводит подмножество $A\subseteq \mathbb {R} ^{3}$ в подмножество $B\subseteq \mathbb {R} ^{3}$ , если $f_{1}(A)=B$ .; Также используется термин изотопическая деформация^[27].
Обратимое зацепление: Зацепление, имеющее в качестве представителя ориентированное геометрическое зацепление, изотопное результату обращения ориентации всех его компонент^[28]^[1].
Обратимый узел: Частный случай понятия обратимое зацепление для однокомпонентных зацеплений.
Обращение ориентации: Преобразование ориентированных узлов и зацеплений, заключающееся в замене ориентации всех или некоторых компонент данного зацепления на противоположную.
Ограничивающее зацепление: Зацепление называется ограничивающим (от англ. boundary link), если у него имеется такая локально плоская поверхность Зейферта, что каждая её компонента связности содержит ровно одну компоненту края этой поверхности^[29]^[30].
Окружность Зейферта ориентированной диаграммы: Любая из простых замкнутых ориентированных кривых, получающихся в разультате разрешения каждого перекрёстка ориентированной диаграммы^[31].; Ориентация диаграммы задаёт направление на каждой окружности Зейферта. В соответствии с этим окружности Зейферта делятся на два типа: направленные по часовой стрелке и направленные против часовой стрелки.; Также используется термин цикл Зейферта.
Ориентация: 1. Ориентация геометрического узла — один из двух способов указать направление обхода окружности этого геометрического узла. Или, иными словами, ориентация соответствующего связного замкнутого одномерного многообразия.; 2. Ориентация геометрического зацепления — способ указать направление обхода каждой компоненты этого геометрического зацепления. Или, иными словами, ориентация соответствующего замкнутого одномерного многообразия.; 3. Ориентация диаграммы — способ указать направление обхода дуг этой диаграммы, согласованный с некоторой ориентацией соответствующего геометрического зацепления.
Ориентированная диаграмма: Диаграмма вместе с ориентацией.; Каждый перекрёсток ориентированной диаграммы имеет один из двух типов: положительный перекрёсток — такой, что ориентация его нижней ветви (прохода) указывает налево от ориентации его верхней ветви (перехода); отрицательный перекрёсток — противоположное понятие.
Ориентированное геометрическое зацепление: Геометрическое зацепление вместе с ориентацией.
Ориентированное зацепление: Класс эквивалентности ориентированных геометрических зацеплений по отношению изотопности.
Ориентированный геометрический узел: Частный случай понятия ориентированное геометрическое зацепление для однокомпонентных зацеплений.
Ориентированный узел: Частный случай понятия ориентированное зацепление для однокомпонентных зацеплений.

П

Параллель узла

Параллель утолщения данного узла, которая удовлетворяет одному из следующих эквивалентных условий:

Её коэффициент зацепления с самим узлом равен нулю^[32].
Она совпадает с пересечением края утолщения узла и некоторой локально плоской поверхности Зейферта этого узла.
Она гомологична нулю в дополнительном пространстве узла. Или, что то же самое, представляет нулевой элемент в первой группе гомологий этого пространства.

Переключение перекрёстка

1. Преобразование диаграмм, заключающееся в смене типа некоторого перекрёстка диаграммы (прохода на переход и наоборот).

2. Преобразование узлов и зацеплений, заключающееся в смене типа некоторого перекрёстка на некоторой диаграмме данного зацепления.

Также используются термины замена перекрёстка^[33] и переброска^[31].

Перекрёсток диаграммы

1. Участок диаграммы, полученный в результате разрыва нижней ветви на маленькой окрестности некоторой двойной точки регулярной плоской проекции.

2. То же, что и двойная точка регулярной плоской проекции.

Перешеек

Перекрёсток диаграммы, удаление которого увеличивает количество компонент связности её тени.

Также используется термин точка распадения^[34].

Плетёное замыкание

Определённое отображение из множества всех кос в множество зацеплений (от англ. plat — плетение).

Плоская изотопия

Такое непрерывное семейство гомеоморфизмов

f_{t}\colon \mathbb {R} ^{2}\to \mathbb {R} ^{2}

, параметризованное числом

t\in [0,1]

, что

f_{0}

— тождественное отображение. Под непрерывностью семейства имеется в виду то, что отображение

\mathbb {R} ^{2}\times [0,1]\to \mathbb {R} ^{2}

, заданное правилом

(x,t)\mapsto f_{t}(x)

, является непрерывным.

Путь, заданный формулой

t\mapsto f_{t}(x)

, называется траекторией движения точки

x\in \mathbb {R} ^{2}

под действием плоской изотопии

f_{t}

.

Говорят, что плоская изотопия переводит подмножество

A\subseteq \mathbb {R} ^{2}

в подмножество

B\subseteq \mathbb {R} ^{2}

, если

f_{1}(A)=B

.

Плоская проекция

Образ геометрического узла или геометрического зацепления относительно ортогональной проекции

\pi \colon \mathbb {R} ^{3}\to \mathbb {R} ^{2}

трёхмерного евклидова пространства

\mathbb {R} ^{3}

на евклидову плоскость, заданной формулой

(x,y,z)\mapsto (x,y)

.

Ветвь плоской проекции — её подмножество, являющееся образом связного подмножества геометрического зацепления.

Кратностью или порядком точки на плоской проекции называется мощность её прообраза относительно ортогональной проекции

\pi

. Плоская проекция называется регулярной, если кратность каждой её точки не превосходит двух (т. е. равна единице или двойке), причем двойных точек (т. е. точек кратности два) лишь конечное число, и каждая из них представляет собой трансверсальное пересечение.

Образ полигонального зацепления относительно ортогональной проекции

\pi

является конечным набором замкнутых ломаных на плоскости. В этом случае при условии регулярности плоской проекции для трансверсальности достаточно того, чтобы кратность всех вершин ломаной была равна единице^[35].

В случае гладких зацеплений при условии регулярности плоской проекции для трансверсальности достаточно того, чтобы касательные прямые в соответствующих двойной точке двух точках зацепления проецировались в две различные прямые на плоскости^[11].

Полигональное геометрическое зацепление

Геометрическое зацепление, являющееся объединением конечного числа ломаных^[9]^[36]. Иными словами, конечный набор непересекающихся замкнутых несамопересекающихся ломаных в трёхмерном евклидовом пространстве

\mathbb {R} ^{3}

.

Полигональный геометрический узел

Частный случай понятия полигональное геометрическое зацепление для однокомпонентных геометрических зацеплений.

Полиномиальный инвариант

Тип инварианта узлов и зацеплений, принимающего значения в множестве многочленов.

Полноторий

Произведение

S^{1}\times D^{2}

окружности и диска^[37]. Является компактным трёхмерным многообразием, край которого совпадает с тором

S^{1}\times \partial D^{2}

.

Меридиан полнотория — простая замкнутая кривая на его крае, имеющая вид

\{x\}\times \partial D^{2}

, где

x\in S^{1}

.

Параллель полнотория — простая замкнутая кривая на его крае, имеющая вид

S^{1}\times \{x\}

, где

x\in \partial D^{2}

.

Сердцевина полнотория — простая замкнутая кривая в его внутренности, имеющая вид

S^{1}\times \{x\}

, где

x

— центр диска

D^{2}

.

Полный инвариант

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

Положительная диаграмма

Ориентированная диаграмма, каждый перекрёсток которой является положительным.

Положительное зацепление

1. Ориентированное зацепление, имеющее положительную диаграмму.

2. Зацепление, которое можно снабдить такой ориентацией, что оно будет иметь положительную диаграмму.

Положительный узел

Частный случай понятия положительное зацепление для однокомпонентных зацеплений.

Поверхность Зейферта

1. Компактная, ориентируемая поверхность, топологически вложенная в пространство

\mathbb {R} ^{3}

, краем которой является некоторый геометрический представитель данного узла или зацепления^[38].

2. Само такое топологическое вложение.

3. Аналогично определениям выше, но поверхность предполагается связной.

Поверхность Зейферта называется локально плоской или гладкой в зависимости от того, является ли вложение локально плоским или гладким.

Если зацепление ориентировано, предполагается, что ориентация поверхности согласована с ориентацией зацепления.

Преобразование геометрических узлов и зацеплений

Произвольная геометрическая процедура, задающая функцию (возможно, многозначную) из множества геометрических узлов и зацеплений в себя.

Преобразование диаграмм

Произвольная геометрическая процедура, задающая функцию (возможно, многозначную) из множества всех диаграмм в себя.

Преобразование узлов и зацеплений

Произвольная геометрическая процедура, проводимая над геометрическими представителями узлов и зацеплений и задающая функцию (возможно, многозначную) из множества узлов и зацеплений в себя.

Приведённая диаграмма

Диаграмма, не имеющая перешейков.

Простой узел

Узел, который нельзя представить в виде связной суммы двух нетривиальных узлов^[39].

Прямоугольная диаграмма узла

Прямоугольная диаграмма

Определённый тип диаграмм, а именно, диаграмма полигонального геометрического зацепления, на которой звенья (т. е. прямолинейные отрезки) чередуются между горизонтальными и вертикальными, причем верхние ветви всех перекрёстков вертикальны.

Р

Разводимое зацепление^[англ.]

Зацепление, имеющее геометрического представителя, которое лежит по разные стороны от некоторой плоскости.

Также используется термин расщепимое зацепление.

Разрешение перекрёстка

1. Преобразование диаграмм, заключающееся в ликвидации перекрёстка разрезанием обеих его ветвей в точке пересечения и последующим склеиванием их «наоборот» одним из двух возможных способов^[31].

2. Преобразование узлов и зацеплений, заключающееся в разрешении некоторого перекрёстка на некоторой диаграмме данного зацепления.

Если диаграмма или зацепление снабжены ориентацией, предполагается естественный выбор одного из двух способов ликвидации перекрёстка, а именно, такое однозначное разрешение, которое сохраняет ориентацию.

Также используются термины сглаживание перекрёстка, разведение перекрёстка^[40] и уничтожение перекрёстка^[41].

Раскраска

Гомоморфизм из группы узла или зацепления в некоторую группу. Раскрашиваемость — существование подобного гомоморфизма. Раскрашиваемость, а также количество раскрасок заданного типа, являются инвариантами.

Расслоенное зацепление

Зацепление, чьё дополнительное пространство допускает структуру локально тривиального расслоения над окружностью. Или, что то же самое, чьё число Морса — Новикова равно нулю.

Расслоенный узел

Частный случай понятия расслоенное зацепление для однокомпонентных зацеплений.

Род Зейферта

Наименьшее значение рода гладкой поверхности Зейферта данного узла или зацепления^[42]. Является инвариантом.

Также используются термины трёхмерный род и просто род.

Ручное зацепление

Зацепление, которое удовлетворяет одному из следующих эквивалентных условий:

Оно имеет регулярную плоскую проекцию. Или, что практически то же самое, её число перекрёстков конечно, то есть оно имеет диаграмму.
Оно имеет полигонального представителя. Или, что практически то же самое, её число отрезков конечно.
Оно имеет гладкого представителя.
Оно имеет утолщение.

Ручной узел

Частный случай понятия ручное зацепление для однокомпонентных зацеплений^[36].

С

Сателлитная операция

Определённый тип преобразований узлов и зацеплений.

Сателлитный узел

Узел, чье дополнительное пространство содержит существенный несжимаемый^[англ.] тор.

Связная сумма^[англ.]

Определённая коммутативная бинарная операция на множестве всех ориентированных узлов.

Также используются термины произведение, композиция^[43] и конкатенация^[44].

Скейн-соотношение

Определённый тип соотношений между значениями полиномиального инварианта на диаграммах, отличающихся друг от друга только в небольшой области.

Составной узел

Узел, не являющийся простым.

Состояние диаграммы

Одна из

2^{n}

диаграмм, полученных из данной диаграммы с

n

перекрёстками разрешением каждого её перекрёстка^[45]^[46].

Срезанное зацепление

1. Зацепление называется топологически срезанным, если выполняется одно из следующих эквивалентных условий:

Оно топологически конкордантно тривиальному зацеплению.
Его топологический срезанный род равен нулю.
Существует такая сфера с дырками, локально плоско вложенная в пространство $\mathbb {R} ^{3}\times [0,\infty )$ , что её пересечение с $\mathbb {R} ^{3}\times \{0\}$ совпадает с её краем и имеет вид $L\times \{0\}$ , где $L\subset \mathbb {R} ^{3}$ — геометрический представитель данного зацепления.

2. Зацепление называется гладко срезанным, если выполняется одно из следующих эквивалентных условий:

Оно гладко конкордантно тривиальному зацеплению.
Его гладкий срезанный род равен нулю.
Существует такая сфера с дырками, гладко вложенная в пространство $\mathbb {R} ^{3}\times [0,\infty )$ , что её пересечение с $\mathbb {R} ^{3}\times \{0\}$ совпадает с её краем и имеет вид $L\times \{0\}$ , где $L\subset \mathbb {R} ^{3}$ — геометрический представитель данного зацепления.

Срезанный род^[англ.]

1. Топологический срезанный род — инвариант, заданный одним из следующих эквивалентных определений:

Наименьшее значение рода локально плоского кобордизма, соединяющего данный узел или зацепление с тривиальным.
Топологическое кобордизм-расстояние от данного зацепления до тривиального.
Наименьшее значение рода такой компактной, ориентируемой поверхности $\Sigma$ , локально плоско вложенной в пространство $\mathbb {R} ^{3}\times [0,\infty )$ , что её пересечение с $\mathbb {R} ^{3}\times \{0\}$ совпадает с её краем и имеет вид $L\times \{0\}$ , где $L\subset \mathbb {R} ^{3}$ — геометрический представитель данного зацепления.

2. Гладкий срезанный род — инвариант, заданный одним из следующих эквивалентных определений:

Наименьшее значение рода гладкого кобордизма, соединяющего данный узел или зацепление с тривиальным.
Гладкое кобордизм-расстояние от данного зацепления до тривиального.
Наименьшее значение рода такой компактной ориентируемой поверхности $\Sigma$ , гладко вложенной в пространство $\mathbb {R} ^{3}\times [0,\infty )$ , что её пересечение с $\mathbb {R} ^{3}\times \{0\}$ совпадает с её краем и имеет вид $L\times \{0\}$ , где $L\subset \mathbb {R} ^{3}$ — геометрический представитель данного зацепления.

Также используется термин четырёхмерный род.

Срезанный узел

Частный случай понятия срезанное зацепление для однокомпонентных зацеплений.

Стандартно вложенная сфера с ручками

Край малой замкнутой окрестности произвольного графа, лежащего внутри некоторой плоскости в трёхмерном евклидовом пространстве^[47].

Т

Табуляция^[англ.]

Перечисление диаграмм всех или некоторых ручных узлов и зацеплений без повторов в соответствии с некоторой мерой сложности, такой как число перекрёстков.

Тень диаграммы

Образ ортогональной проекции, соответствующей диаграмме^[2].

Тоннельное число^[англ.]

Род Хегора дополнительного пространства данного узла или зацепления^[47]. Является инвариантом.

Торический узел

Частный случай понятия торическое зацепление для однокомпонентных зацеплений.

Торическое зацепление

1. Зацепление, имеющее геометрического представителя, который лежит на стандартно вложенном торе^[48].

2. Элемент семейства так называемых торических зацеплений типа

(p,q)

, где

p,q\in \mathbb {Z}

^[49].

Тривиальное зацепление

Зацепление, которое удовлетворяет одному из следующих эквивалентных условий:

Оно имеет полигонального представителя, лежащего в некоторой плоскости.
Оно имеет гладкого представителя, лежащего в некоторой плоскости.
Оно имеет диаграмму с нулём перекрёстков.
Оно имеет диаграмму с нулём мостов.
Оно имеет геометрического представителя, лежащего в некоторой плоскости.
Его тоннельное число равно нулю.

Тривиальный узел

Частный случай понятия тривиальное зацепление для однокомпонентных зацеплений.

Тройка Конвея

Тройка ориентированных диаграмм, совпадающих везде, за исключением некоторой маленькой области, в которой вторая диаграмма получается из первой переключением перекрёстка, а третья — разрешением этого перекрёстка^[50].

У

Узел: Класс эквивалентности геометрических узлов по отношению изотопности.; Частный случай зацепления, а именно, однокомпонентное зацепление.
Упорядоченное геометрическое зацепление: Геометрическое зацепление, чьи компоненты пронумерованы различными числами от единицы до их общего количества.
Упорядоченное зацепление: Класс эквивалентности упорядоченных геометрических зацеплений по отношению изотопности.
Утолщение зацепления: Утолщение каждой компоненты данного зацепления.
Утолщение узла: Образ такого топологического вложения $f\colon D^{2}\times S^{1}\to \mathbb {R} ^{3}$ полнотория в трёхмерное евклидово пространство, что его сердцевина отображается в некоторого геометрического представителя данного узла.; Меридиан и параллель утолщения — образы меридиана и параллели полнотория относительно подобного топологического вложения.

Ф

Флайп^[англ.]: Определённый тип преобразований диаграмм.; Также используется термин переворачивание^[51].

Х

Хиральное зацепление: Зацепления, не эквивалентное своему зеркальному образу. Противоположное понятие — зеркальное зацепление.
Хиральный узел: Частный случай понятия хиральное зацепление для однокомпонентных зацеплений.

Ц

Циклическое накрытие: Элемент определённой серии накрытий дополнительного пространства данного узла или зацепления^[52].

Ч

Число Морса — Новикова: Наименьшее значение количества критических точек среди всех функций Морса из дополнительного пространства данного узла или зацепления в окружность. Является инвариантом.
Число мостов: Наименьшее значение количества мостов среди всех диаграмм данного узла или зацепления. Является инвариантом.
Число отрезков: Наименьшее значение количества звеньев (т. е. прямолинейных отрезков) среди всех полигональных представителей данного узла или зацепления. Является инвариантом.
Число перекрёстков: Наименьшее значение количества перекрёстков среди всех диаграмм данного узла или зацепления. Является инвариантом.
Число развязывания: Наименьшее значение количества переключений перекрёстков, которое требуется применить, чтобы превратить данное зацепление в тривиальное. Является инвариантом.; Также используются термины гордиево число и число заузленности^[47].

Э

Элементарная изотопия: Преобразование полигональных узлов и зацеплений, заключающееся в замене звена (прямолинейного отрезка) $AB$ на два звена $AC$ и $CB$ , а также обратное преобразование, осуществляемое при условии, что треугольник $ABC$ не пересекает остальные звенья полигонального зацепления по своей внутренности или границе^[53]^[54].; Также используется термин элементарное преобразование^[55].

Примечания

↑ ¹ ² Мантуров, 2005, p. 18.
↑ ¹ ² ³ Мантуров, 2005, p. 5.
↑ ¹ ² ³ Мантуров, 2005, p. 6.
↑ ¹ ² Кроуэлл и Фокс, 1967, p. 284.
↑ Milnor, 1954, p. 177.
↑ ¹ ² Кроуэлл и Фокс, 1967, p. 28.
↑ Мантуров, 2005, p. 36.
↑ Кроуэлл и Фокс, 1967, p. 251.
↑ ¹ ² Мантуров, 2005, p. 13.
↑ Сосинский, 2005, p. 42.
↑ ¹ ² Сосинский и Прасолов, 1997, p. 13.
↑ Сосинский и Прасолов, 1997, p. 86.
↑ Мантуров, 2005, p. 39.
↑ ¹ ² ³ Мантуров, 2005, p. 4.
↑ Сосинский, 2005, p. 66.
↑ Мантуров, 2005, p. 80.
↑ Сосинский, 2005, p. 83.
↑ Кроуэлл и Фокс, 1967, p. 22.
↑ Сосинский, 2005, p. 94.
↑ Meilhan, 2018, p. 3.
↑ Мантуров, 2005, p. 91.
↑ Мантуров, 2005, p. 37.
↑ Кроуэлл и Фокс, 1967, p. 130.
↑ Мантуров, 2005, p. 53.
↑ Мантуров, 2005, p. 87.
↑ Мантуров, 2005, p. 20.
↑ Кроуэлл и Фокс, 1967, p. 20.
↑ Кроуэлл и Фокс, 1967, p. 24.
↑ Кобельский, 1982, p. 983.
↑ Meilhan, 2018, p. 5.
↑ ¹ ² ³ Сосинский, 2005, p. 61.
↑ Сосинский и Прасолов, 1997, p. 153.
↑ Мантуров, 2005, p. 72.
↑ Мантуров, 2005, p. 89.
↑ Кроуэлл и Фокс, 1967, p. 17.
↑ ¹ ² Кроуэлл и Фокс, 1967, p. 16.
↑ Сосинский и Прасолов, 1997, p. 106.
↑ Мантуров, 2005, p. 23.
↑ Мантуров, 2005, p. 22.
↑ Мантуров, 2005, p. 77.
↑ Сосинский и Прасолов, 1997, p. 85.
↑ Мантуров, 2005, p. 25.
↑ Кроуэлл и Фокс, 1967, p. 244.
↑ Мантуров, 2005, p. 19.
↑ Сосинский, 2005, p. 76.
↑ Мантуров, 2005, p. 79.
↑ ¹ ² ³ Мантуров, 2005, p. 21.
↑ Мантуров, 2005, p. 29.
↑ Мантуров, 2005, p. 31.
↑ Мантуров, 2005, p. 66.
↑ Мантуров, 2005, p. 90.
↑ Кроуэлл и Фокс, 1967, p. 261.
↑ Мантуров, 2005, p. 14.
↑ Сосинский, 2005, p. 20.
↑ Сосинский и Прасолов, 1997, p. 14.

Литература

Мантуров, В. О.. Теория узлов (рус.). — Москва-Ижевск: Институт компьютерных исследований, 2005. — 512 с. — ISBN 5-93972-404-3.
Кроуэлл Р. Г., Фокс Р. Х.. Введение в теорию узлов (рус.). — Мир, 1967. — 348 с.
Сосинский, А. Б. Узлы. Хронология одной математической теории (рус.). — М.: МЦНМО, 2005. — 112 с. — ISBN 5-94057-220-0.
Прасолов, В. В., Сосинский, А. Б. Узлы, зацепления, косы и трёхмерные многообразия (рус.). — М.: МЦНМО, 1997. — 352 с. — ISBN 5-900916-10-3.

Ссылки

Milnor, J. W. Link groups (англ.) // Annals of Mathematics. — 1954. — March (vol. 59, no. 2). — P. 177—195. — doi:10.2307/1969685.
Кобельский, В. Л.. Изотопическая классификация нечётномерных простых зацеплений коразмерности два (рус.) // Известия Академии наук СССР. Серия математическая. — 1982. — Т. 46, вып. 5. — С. 983—993. — doi:10.1070/IM1983v021n02ABEH001791.
Meilhan, J.-B.. Linking number and Milnor invariants (англ.). — 2018. — arXiv:arXiv:1812.03319v1.

[_d0ae1df424c7f310-1] ¹ ² Мантуров, 2005, p. 18.

[_ee37a7aa0d081c3c-2] ¹ ² ³ Мантуров, 2005, p. 5.

[_ee37a7aa0d081c3f-3] ¹ ² ³ Мантуров, 2005, p. 6.

[_c32488dec69a20e7-4] ¹ ² Кроуэлл и Фокс, 1967, p. 284.

[_bbe7c223703930b0-5] Milnor, 1954, p. 177.

[_8452b8e1e8ea9461-6] ¹ ² Кроуэлл и Фокс, 1967, p. 28.

[_d0ae1ff424c7f6b8-7] Мантуров, 2005, p. 36.

[_c32493dec69a33b5-8] Кроуэлл и Фокс, 1967, p. 251.

[_d0ae1df424c7f31b-9] ¹ ² Мантуров, 2005, p. 13.

[_b91d8fc75f798d3f-10] Сосинский, 2005, p. 42.

[_d94e3b1291b9eef1-11] ¹ ² Сосинский и Прасолов, 1997, p. 13.

[_d94e441291b9fe3b-12] Сосинский и Прасолов, 1997, p. 86.

[_d0ae1ff424c7f6b7-13] Мантуров, 2005, p. 39.

[_ee37a7aa0d081c3d-14] ¹ ² ³ Мантуров, 2005, p. 4.

[_b91d8dc75f798991-15] Сосинский, 2005, p. 66.

[_d0ae16f424c7e773-16] Мантуров, 2005, p. 80.

[_b91d83c75f79789a-17] Сосинский, 2005, p. 83.

[_8452b8e1e8ea946b-18] Кроуэлл и Фокс, 1967, p. 22.

[_b91d82c75f7976c2-19] Сосинский, 2005, p. 94.

[_1f5343923be9c603-20] Meilhan, 2018, p. 3.

[_d0ae15f424c7e5a1-21] Мантуров, 2005, p. 91.

[_d0ae1ff424c7f6b9-22] Мантуров, 2005, p. 37.

[_c31a81dec691c059-23] Кроуэлл и Фокс, 1967, p. 130.

[_d0ae21f424c7f9c7-24] Мантуров, 2005, p. 53.

[_d0ae16f424c7e774-25] Мантуров, 2005, p. 87.

[_d0ae20f424c7f871-26] Мантуров, 2005, p. 20.

[_8452b8e1e8ea9469-27] Кроуэлл и Фокс, 1967, p. 20.

[_8452b8e1e8ea946d-28] Кроуэлл и Фокс, 1967, p. 24.

[_00a543d4057ce110-29] Кобельский, 1982, p. 983.

[_1f5343923be9c605-30] Meilhan, 2018, p. 5.

[_b91d8dc75f798996-31] ¹ ² ³ Сосинский, 2005, p. 61.

[_f9dd578d9ef10d86-32] Сосинский и Прасолов, 1997, p. 153.

[_d0ae23f424c7fd68-33] Мантуров, 2005, p. 72.

[_d0ae16f424c7e77a-34] Мантуров, 2005, p. 89.

[_8452b5e1e8ea8f77-35] Кроуэлл и Фокс, 1967, p. 17.

[_8452b5e1e8ea8f76-36] ¹ ² Кроуэлл и Фокс, 1967, p. 16.

[_f9dd528d9ef10500-37] Сосинский и Прасолов, 1997, p. 106.

[_d0ae20f424c7f872-38] Мантуров, 2005, p. 23.

[_d0ae20f424c7f873-39] Мантуров, 2005, p. 22.

[_d0ae23f424c7fd6d-40] Мантуров, 2005, p. 77.

[_d94e441291b9fe38-41] Сосинский и Прасолов, 1997, p. 85.

[_d0ae20f424c7f874-42] Мантуров, 2005, p. 25.

[_c32494dec69a3503-43] Кроуэлл и Фокс, 1967, p. 244.

[_d0ae1df424c7f311-44] Мантуров, 2005, p. 19.

[_b91d8cc75f7987c2-45] Сосинский, 2005, p. 76.

[_d0ae23f424c7fd63-46] Мантуров, 2005, p. 79.

[_d0ae20f424c7f870-47] ¹ ² ³ Мантуров, 2005, p. 21.

[_d0ae20f424c7f878-48] Мантуров, 2005, p. 29.

[_d0ae1ff424c7f6bf-49] Мантуров, 2005, p. 31.

[_d0ae24f424c7ff3b-50] Мантуров, 2005, p. 66.

[_d0ae15f424c7e5a0-51] Мантуров, 2005, p. 90.

[_c32496dec69a38ac-52] Кроуэлл и Фокс, 1967, p. 261.

[_d0ae1df424c7f31c-53] Мантуров, 2005, p. 14.

[_b91d89c75f7982eb-54] Сосинский, 2005, p. 20.

[_d94e3b1291b9eef6-55] Сосинский и Прасолов, 1997, p. 14.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

[19]

[20]

[21]

[22]

[23]

[24]

[25]

[26]

[27]

[28]

[29]

[30]

[31]

[32]

[33]

[34]

[35]

[36]

[37]

[38]

[39]

[40]

[41]

[42]

[43]

[44]

[45]

[46]

[47]

[48]

[49]

[50]

[51]

[52]

[53]

[54]

[55]