Ссылка (теория узлов)

Не путать с номером ссылки .

Кольца Борромео — связь с тремя компонентами, каждая из которых эквивалентна узлу.

В математической теории узлов — связь это совокупность узлов , которые не пересекаются, но могут быть связаны (или завязаны) вместе. Узел можно описать как связь с одним компонентом. Связи и узлы изучаются в разделе математики, называемом теорией узлов . В этом определении подразумевается, что существует тривиальная ссылочная ссылка, обычно называемая unlink , но это слово также иногда используется в контексте, где нет понятия тривиальной ссылки.

Звено Хопфа, перетянутое скрученным кольцом .

Например, связь коразмерности 3-мерном пространстве — это подпространство мерного евклидова пространства (или часто 3-сферы которого ), компоненты связности гомеоморфны 2 в окружностям 3 - .

Самый простой нетривиальный пример связи с более чем одним компонентом называется ссылкой Хопфа , которая состоит из двух кругов (или развязок ), соединенных один раз. Круги вкольца Борромео связаны между собой, несмотря на то, что никакие два из них не связаны напрямую. Таким образом, кольца Борромео образуют брунновское зацепление и фактически представляют собой простейшее такое зацепление.

Узел-трилистник, связанный с кругом.

Ссылка Хопфа кобордантна ​ ссылке unlink .

(2,8) звено тора

Обобщения

Понятие ссылки можно обобщить несколькими способами.

Общие коллекторы

Часто слово связь используется для описания любого подмногообразия сферы . $S^{n}$ диффеоморфен несвязному объединению конечного числа сфер , $S^{j}$.

В полной общности слово « ссылка» по сути то же самое, что и слово «узел» — контекст таков, что имеется подмногообразие M многообразия N (считающееся тривиально вложенным) и нетривиальное вложение M в N , нетривиальное вложение M в N. в том смысле, что 2-е вложение не изотопно 1-му. Если M отключен, вложение называется ссылкой (или называется связанной ). Если M связен, он называется узлом.

Клубки, звенья и косы

См. Также: Клубок (математика)

Хотя (1-мерные) связи определяются как вложения окружностей, часто интересно и особенно технически полезно рассматривать вложенные интервалы (нити), как в теории кос .

В общем случае можно рассматривать клубок – клубок – это вложение

$T\colon X\to \mathbf {R} ^{2}\times I$

(гладкого) компактного 1-многообразия с краем $(X,\partial X)$ в плоскость, умноженную на интервал $I=[0,1],$ такая, что граница $T(\partial X)$ встроен в

$\mathbf {R} \times \{0,1\}$ ( $\{0,1\}=\partial I$).

Тип X клубка — это многообразие вместе с фиксированным вложением $\partial X.$

Конкретно, связное компактное 1-многообразие с краем — это интервал $I=[0,1]$ или круг $S^{1}$ (компактность исключает открытый интервал $(0,1)$ и полуоткрытый интервал $[0,1),$ ни одно из них не дает нетривиальных вложений, поскольку открытый конец означает, что их можно сжать до точки), поэтому возможно несвязное компактное 1-многообразие представляет собой набор из n интервалов $I=[0,1]$ и м кругов $S^{1}.$ Условие того, что граница X лежит в

$\mathbf {R} \times \{0,1\}$

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

( $\mathbf {R} \times 0$ и $\mathbf {R} \times 1$),

а затем иметь возможность двигаться в двумерном горизонтальном направлении ( $\mathbf {R} ^{2}$)

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

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

В этом контексте коса определяется как клубок, который всегда идет вниз, чья производная всегда имеет ненулевой компонент в вертикальном ( I ) направлении. В частности, оно должно состоять исключительно из интервалов, а не дублировать себя; однако не указано, где на линии лежат концы.

Струнная связь — это клубок, состоящий только из интервалов, причем концы каждой нити должны находиться в точках (0, 0), (0, 1), (1, 0), (1, 1), (2, 0). , (2, 1), ... – т.е. соединяющие целые числа и заканчивающиеся в том же порядке, в котором они начинались (можно использовать любой другой фиксированный набор точек); если это имеет ℓ компонентов, мы называем это « строковой ссылкой ℓ -компонента». Звено веревки не обязательно должно быть косой — оно может загибаться назад, как, например, двухкомпонентное звено веревки с узлом сверху . Коса, которая также является строковой связью, называется чистой косой и соответствует обычному такому понятию.

Основная техническая ценность клубков и струнных связей заключается в том, что они имеют алгебраическую структуру. Изотопические классы клубков образуют тензорную категорию , где для структуры категории можно составить два клубка, если нижний конец одного равен верхнему концу другого (поэтому границы можно сшить), складывая их друг на друга — они не буквально образуют категорию (поточечно), потому что тождества нет, поскольку даже тривиальный клубок занимает вертикальное пространство, но до изотопии они занимают. Тензорная структура задается сопоставлением клубков — размещением одного клубка справа от другого.

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

это относится к инвариантам Милнора Каждую ссылку можно разрезать на части, чтобы сформировать строковую ссылку, хотя она не уникальна, и инварианты ссылок иногда можно понимать как инварианты строковых ссылок - например, . Сравните с закрытыми косами .

См. также

• Гиперболическая ссылка
• Отсоединить
• Связать группу