Прямой узел (теория узлов)

Эта статья о математической узле; об узле на верёвках см. Прямой узел.

Прямой узел
Многочлены
Александера	[math]\displaystyle{ (t - 1 + t^{-1})^2 }[/math]
Джонса	[math]\displaystyle{ (q^{-1} + q^{-3} - q^{-4})(q + q^3 - q^4) = -q^3 + q^2 - q + 3 - q^{-1} + q^{-2} - q^{-3} }[/math]
Конвея	[math]\displaystyle{ (z^2+1)^2 }[/math]
Инварианты
Число пересечений	6
Число отрезков	8
Свойства
Составной, кружевной, срезанный, амфихиральный, трёхцветный

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

В теории узлов прямой узел — это составной узел, полученный соединением трилистника с его отражением. Узел тесно связан с бабьим узлом, который также является соединением двух трилистников. Поскольку трилистник является простейшим нетривиальным узлом, прямой и бабий узлы являются простейшими составными узлами.

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

Построение

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

Важно, чтобы брались два зеркальных образа трилистника. Если взять два одинаковых трилистника, получится бабий узел.

Свойства

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

Многочлен Александера прямого узла равен

[math]\displaystyle{ \Delta(t) = (t - 1 + t^{-1})^2, }[/math]

что просто является квадратом многочлена Александера трилистника.

Аналогично, многочлен Александера-Конвея прямого узла равен

[math]\displaystyle{ \nabla(z) = (z^2+1)^2. }[/math]

Эти два многочлена в точности те же, что и для бабьего узла. Однако многочлен Джонса прямого узла равен

[math]\displaystyle{ V(q) = (q^{-1} + q^{-3} - q^{-4})(q + q^3 - q^4) = -q^3 + q^2 - q + 3 - q^{-1} + q^{-2} - q^{-3}. }[/math]

Этот многочлен равен произведению многочленов Джонса для левого и для правого трилистников и он отличается от многочлена Джонса для бабьего узла.

Группа прямого узла задаётся следующим образом

[math]\displaystyle{ \langle x, y, z \mid x y x = y x y, x z x = z x z \rangle }[/math].

Эта группа изоморфна группе бабъего узла, и это служит простейшим примером двух различных узлов с изоморфными группами узлов.

В отличие от бабьего узла прямой узел является ленточным, а потому срезанным.

См. также

• Двойной узел
• Бабий узел
• Бабий узел (теория узлов)

Литература

• А. Б. Сосинский. Узлы. Хронология математической теории. — Москва: МЦНМО, 2005. — С. 58. — ISBN 5-94057-220-0.
• С. В. Дужин, С. В. Чмутов. Математическое просвещение. Сер. 3. — 1999. — С. 72—73.