Трилистник (узел)

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску
Трилистник
Левый трилистник
Левый трилистник
Обозначения
Конвея [3]
Александера–Бриггса[en] 31
Даукера[en] 4, 6, 2
Многочлены
Александера
Джонса
Кауфмана
Конвея
HOMFLY
Инварианты
Инвариант Арфа[en] 1
Длина косы 3
Число нитей 2
Число мостов 2
Число плёнок[en] 1
Число пересечений 3
Род 1
Число отрезков 6
Число туннелей[en] 1
Число развязывания 1
Свойства
Простой, торический, альтернированный, кружевной, несрезанный, не топологически срезанный, двусторонний, трёхцветный, скрученный, расслоенный
Логотип Викисклада Медиафайлы на Викискладе

Трилистник (или узел-трилистник, англ. trefoil knot) — общее название для двух простейших нетривиальных узлов. Левый и правый трилистники – единственные узлы, допускающие диаграмму с тремя перекрёстками, при том, что любая диаграмма с меньшим числом перекрёстков представляет тривиальный узел[1].

Стоит отметить, что в научной литературе по теории узлов нередко можно встретить словосочетание «узел трилистник», которое от случая к случаю может подразумевать и один конкретный трилистник из двух существующих, и пару из двух трилистников с намёком на то, что утверждение, использующее этот термин, справедливо для них обоих, и использование такого определения самого узла, в котором между левым и правым трилистниками в принципе нет никакого различия (существование не обязательно сохраняющего ориентацию гомеоморфизма пар вместо существования объемлющей изотопии в качестве отношения эквивалентности геометрических узлов)[2]. Более подробно этот терминологический вопрос обсуждается в разделе «Определение».

Левый и правый трилистники являются зеркальными образами друг друга, а потому обладают очень сходными наборами присущих им свойств. Однако всё же некоторые тонкие инварианты, такие как многочлен HOMFLY-PT или сигнатура[en], способны установить их формальное различие. Ещё одним дополнительным обстоятельством, способствующим существованию единого названия «трилистник» для обоих узлов, является то, что большинство классический табуляций в связи с экономией места не различают зеркальные узлы друг от друга.

Будучи простейшими узлами сразу по ряду показателей, трилистники нередко выступают как классические примеры или контр-примеры в различных теоретико-узловых рассуждениях, наряду с другим «несложным» узлом восьмёркой[3]. Выдвигаемые гипотезы или обширные концепции нередко в первую очередь оказываются проверены и изучены именно в случае трилистников, если это представляется возможным в рамках предположений[4]. Во многом в связи с этим трилистники – одни из наиболее подробно исследованных узлов.

Трилистники часто возникают в химии и молекулярной биологии как форма заузленности молекул (в таких случаях они иногда называются молекулярными или органическими трилистниками), являясь в этом виде классическими представителями пересечения абстрактной топологии с естественными науками[5][6].

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

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

Наряду с кольцами Борромео, зацеплением Хопфа, тривиальным узлом и некоторыми другими понятиями как классической теории узлов, так и топологии в целом, трилистники являются ключевым объектом в изложении и практике спорного[7] психоаналитического исследования философов Жака Лакана и Жана-Мишеля Вапперо[8].

Определение[править | править код]

Когда речь заходит о трилистниках, в математической литературе обычно даётся одновременно некорректное и остенсивное определение, а именно, приводится изображение одного (правого или левого) трилистника и подпись вида «на этом рисунке изображён узел трилистник»[9][10][2][11][12]. Чаще всего это связано с предполагаемым уровнем знаний читателя – в работах для начинающих излагаемые ниже тонкие детали предполагаются несущественными, а в изданиях для профессионалов – хорошо известными. Кроме того, существует и другая неоднозначность – на рисунке справа (как и везде далее) трилистники называются левым и правым в соответствии с обозначениями книги Кунио Мурасуги «Knot Theory & Its Applications» (Murasugi, 1996), однако в этом случае нет общего устоявшегося соглашения о нотации. Так, например, в другом классическом учебнике «Knot theory» Чарльза Ливингстона (Livingston, 1996) используются противоположные обозначения[13][14][15].

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

Нередко слова «левый» и «правый» в принципе оказываются опущены в изложении. В таком случае обычно один из двух трилистников называется «трилистником», а другой — его «зеркальным образом». Действительно, левый и правый трилистники являются зеркальными образами друг друга, то есть диаграмма, полученная одновременным переключением всех перекрёстков на произвольной диаграмме правого трилистника, оказывается диаграммой левого трилистника и наоборот (определение зеркального образа корректно, так как «зеркальные отражения» движений Рейдемейстера являются движениями Рейдемейстера).

Кроме того, нетривиальным результатом является и то, что подобная терминология в принципе осмыслена, а левый и правый трилистники — действительно различные нетривиальные узлы, то есть являются несовпадающими объемлюще-изотопическими классами геометрических узлов. Впервые этот результат получил[16] Макс Ден в 1914 году, исследуя введенную им в этой же работе группу узла вместе с так называемой «периферической системой» в виде меридиана и параллели, однако со временем появились и другие, менее трудоёмкие способы различить два трилистника, к примеру раскраски узлов или полиномиальные инварианты[17].

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

Косы[править | править код]

Правым трилистником называется любой геометрический узел, объемлюще изотопный замыканию Александера косы с двумя нитями, а также соответствующий объемлюще-изотопический класс.

Торические узлы[править | править код]

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

и лежащей на торе

а также соответствующий объемлюще-изотопический класс.

Рациональные тэнглы[править | править код]

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

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

Кроме того, заметим, что иногда термин «трилистник» всё таки имеет место быть без дополнительных уточнений. Дело в том, что всё изложенное выше (и далее) подразумевает работу с определением узла, основанном на понятии объемлющей изотопии. Существует также и эквивалентное этому определение, где под узлом также понимается некоторый класс эквивалентности геометрических узлов, но два геометрических узла теперь называются эквивалентными, если существует соответствующий гомеоморфизм пар (образ узла, трёхмерная сфера), переводящий образ одного геометрического узла в образ другого и сохраняющий ориентацию трёхмерной сферы[2]. Однако в некоторых работах условие сохранения ориентации опускается, в связи с чем, оказывается допустимым гомеоморфизм, реализующий зеркальное отражение. Иными словами, в определении, не учитывающем сохранение ориентации, узел и его зеркальный образ являются одним и тем же узлом по определению. В частности, в таком определении левый и правый трилистники ничем не различаются и корректно использование одного слова для указания на любой из них. Но в связи с тем, что такое определение хоть и удобно для пользования в свете определенных задач и вопросов, но утрачивает достаточно широкий круг деталей, всё изложение настоящей статьи производится в объемлюще-изотопическом смысле.

Свойства[править | править код]

Комбинаторные[править | править код]

Двумостовая диаграмма правого трилистника.
  • Правый и левый трилистники – единственные узлы, допускающие диаграмму с тремя перекрёстками, причем в обоих случаях эта диаграмма минимальна. Иначе говоря, трилистники – единственные узлы с числом перекрёстков равным .
  • Правый и левый трилистники являются рациональными (или двумостовыми) узлами с дробями и соответственно.
  • Оба трилистника являются альтернированными узлами.
Правый трилистник превращается в тривиальный узел за одно переключение перекрёстков.
Правый трилистник, склеенный из шести отрезков.
  • Оба трилистника имеют число отрезков, равное , причём это наименьшее значение, которое принимает число отрезков на нетривиальных узлах. Кроме того, трилистники – единственные узлы с таким числом отрезков[18].
  • Оба трилистника имеют индекс косы равный , так как правый трилистник можно определить как замыкание Александера косы с двумя нитями, а левый – как замыкание Александера косы с двумя нитями, а индекс косы нетривиального узла всегда больше или равен .
Левый трилистник, правильно раскрашенный в три цвета.
  • Оба трилистника являются -раскрашиваемыми.
  • Любой узел за конечное количество пасс-мувов можно преобразовать либо в тривиальный узел, либо в один из трилистников, причем трилистники тоже можно преобразовать друг в друга за конечное число пасс-мувов. Однако тривиальный узел нельзя преобразовать ни в левый, ни в правый трилистник за конечное число пасс-мувов. Более точно, гордиев граф преобразования пасс-мув имеет две компоненты связности, в одной содержится тривиальный узел, а в другой – оба трилистника. Если вершина гордиева графа пасс-мува, соответствующая некоторому данному узлу, в лежит в компоненте связности тривиального узла, то инвариант Арфа этого узла равен , а если в компоненте трилистников, то . Следовательно, оба трилистника имеют инвариант Арфа, равный . Это замечание, в частности, можно рассматривать как эквивалентное определение инварианта Арфа[19].
  • Левый и правый трилистники не допускают зеркального сглаживания или, иначе говоря, не являются зеркально косметически эквивалентными. Это означает, что ни одна диаграмма правого трилистника не имеет такого перекрёстка, разрешение (сглаживание) которого бы дало диаграмму левого трилистника (и наоборот). Иными словами, в гордиевом графе -мува нет ребра, соединяющего трилистники[20].
Связная сумма двух левых трилистников, правильно раскрашенная в три цвета. Этот узел нельзя превратить в тривиальный с помощью одного переключения перекрёстков или одного -мува.
  • Если – узел, являющийся связной суммой узлов, каждый из которых либо левый, либо правый трилистник, то его число развязывания и -число развязывания равны в точности исходя из гомологической оценки Хоста-Наканиши-Таниямы. В частности, из этого факта следует, что гордиевы графы переключения перекрёстков и -мува имеют бесконечный диаметр[21].

Топологические[править | править код]

Поверхность Зейферта левого трилистника.
Некоторые из этих разветвлённых накрытий обладают необычными свойствами или являются особенными примечательными многообразиями. Так, например,
  • фундаментальная группа трёхлистного накрытия изоморфна группе кватернионов[24],

Геометрические[править | править код]

Алгебраические[править | править код]

  • Оба трилистника являются простыми узлами (например, так как трилистники имеют род , а род аддитивен относительно связного суммирования).
  • Правый трилистник имеет сигнатуру, равную , а левый – равную . Оба трилистника имеют детерминант, равный [33][34].
Полиномиальные инварианты трилистников
Многочлен Александера Многочлен Джонса Многочлен Кауфмана HOMFLY-PT
Правый трилистник
Левый трилистник

Симметрии[править | править код]

Оба трилистника являются двусторонними узлами, иначе говоря:

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

Кроме того, оба трилистника являются периодическими с периодом [35].

Трилистники в других областях знаний[править | править код]

Молекулярная биология[править | править код]

Кристаллическая структура левого молекулярного трилистника с двумя ионами меди(I), открытого Ж.-П. Соважем и коллегами.

С восьмидесятых годов двадцатого века в молекулярной биологии активно исследуются механически соединённые молекулярные структуры, аналогичные обыкновенным макроскопическим узлам – молекулярные узлы. Трилистники, как наиболее геометрически простые узлы, нередко оказываются выделены как непосредственно природно, так и в процессе исследований. Так, например, трилистники являются самой распространённой формой заузливания белков в естественной природе[36], а первым искусственно синтезированным молекулярным узлом был левый трилистник, полученный Жан-Пьером Соважем и коллегами в 1989 году[37].

Зоология[править | править код]

Миксина, завязавшая свое тело в правый трилистник.

Глубоководные бесчелюстные существа миксины обладают способностью завязывать собственное длинное и гибкое тело в узел трилистник (чаще всего левый), причем эта способность носит вполне утилитарный характер. Так, например, если миксине грозит опасность, она завязывает собственный хвост узлом, выделяет ядовитый слизистый секрет и начинает продвигать узел далее по телу, нанося секрет по всей его длине и обволакивая себя ядовитым коконом из слизи. Позже аналогичным образом миксина очищает себя от слизистого покрытия, сдвигая узел из собственного тела в обратную сторону[1].

Психоанализ Лакана[править | править код]

Реальное (R), Воображаемое (I) и Символическое (S) представлены в виде Колец Борромео.

В психоаналитической теории Лакана идея «узла-трилистника» играет ключевую роль в описании структуры паранойи. Впервые Лакан упоминает узел трилистник (здесь и далее без уточнения о том, правый или левый), на семинаре RSI (22 семинар) в 1974 году, где сообщает, что этот узел тесно связан с зацеплением Борромео – трилистник получается из зацепления Борромео путем переклеивания нитей в трёх перекрёстках – между Воображаемым и Реальным, между Символическим и Воображаемым и между Реальным и Символическим. Лакан подчеркивает, что после этого преобразования утрачивается наличие трёх компонент, «регистры больше не могут быть дифференцированы», но «форма» зацепления Борромео остаётся, и всё ещё можно определить «местоположение четырёх отверстий, в которых находятся различные типы наслаждения». Такое преобразование он называет «непрерывностью» или «интерференцией между регистрами». Связь трилистника с паранойей объясняется уже в 23 семинаре в 1975 году: «если субъект связывает в тройку воображаемое, символическое и реальное, то он поддерживается только своей непрерывностью, эти три составляют одну и ту же последовательность. И это то, из чего состоит паранойяльный психоз»[38]. Эту идею развивает Жан-Мишель Вапперо в своей работе «Узел», где говорит об узле трилистнике как о паранойяльном бреде[39].

Не смотря на широкую популярность и культовый статус теоретико-узлового метода Лакана среди его учеников и последователей, научная общественность скептически относится к подобного рода исследованиям, ставя под сомнение не только уместность пространных аналогий между топологическими объектами и психическими состояниями, но и в принципе осмысленность тех или иных терминов, предложений или даже текстов Лакана. Так, например, Жан Брикмон и Алан Сокал в своей работе «Интеллектуальные уловки: критика современной философии постмодерна» резюмируют математическую составляющую работ Лакана следующим образом: «…его аналогии между психоанализом и математикой невообразимо произвольны, и он не даёт им абсолютно никакого концептуального или эмпирического оправдания. В конечном счёте, мы думаем, что вышеприведённые тексты служат красноречивым свидетельством выставленной напоказ поверхностной эрудиции и манипулирования фразами, лишёнными смысла...»[7].

Символические изображения трилистников[править | править код]

Искусство, религия и культура[править | править код]

Геральдика и Вексиллология[править | править код]

Нумизматика[править | править код]

Эмблемы и логотипы[править | править код]

Примечания[править | править код]

  1. 1 2 Сосинский А. Б., 2005.
  2. 1 2 3 Rolfsen, 2003.
  3. Rolfsen, 2003, Главы «Cyclic coverings of branched over the trefoil» и «Fibering the complement of a trefoil».
  4. Gompf, 1986.
  5. Ponnuswamy, Cougnon, Clough, Pantoş, Sanders, 2012.
  6. Rapenne, Dietrich-Buchecker, Sauvage, 1996.
  7. 1 2 Брикмон, Сокал, 2002.
  8. Вапперо Ж.-М., 2022.
  9. Burde, Zieschang, 2013.
  10. Adams, 2004.
  11. Livingston, 1996.
  12. Kawauchi, 1996.
  13. Burde, Zieschang, 2013, Есть термины «левый» и «правый» трилистник, обозначены противоположно варианту Мурасуги.
  14. Adams, 2004, Нет терминов «левый» и «правый» трилистник, левый назван «трилистником» правый – его «отражением».
  15. Kawauchi, 1996, Введены термины «левый» и «правый» трилистники, однако употребляются единожды, а во всех остальных случаях «трилистником» и его «отражением» называются попеременно оба узла.
  16. Dehn, 1914.
  17. Burde, Zieschang, 2013, p. 322.
  18. Jin, 1997.
  19. Kauffman, 1987, p. 74-78.
  20. Livingston, 2020.
  21. Hoste, Nakanishi, Taniyama, 1990.
  22. 1 2 Mulazzani, Vesnin, 2001.
  23. Rolfsen, 2003, p. 304.
  24. Rolfsen, 2003, p. 305.
  25. 1 2 Rolfsen, 2003, p. 306.
  26. Rolfsen, 2003, p. 308.
  27. Morimoto, 2016.
  28. 1 2 KnotInfo, 2004.
  29. Rolfsen, 2003, Глава «Fibering the complement of a trefoil», p. 327.
  30. Freedman, 1982.
  31. Sullivan, 2013.
  32. Dynnikov, 2000.
  33. Rolfsen, 2003, p. 220.
  34. Burde, Zieschang, 2013, p. 243.
  35. Livingston, 1996, p. 156.
  36. Jamroz, Niemyska, Rawdon, Stasiak, Millett, Sułkowski, Sulkowska, 2015.
  37. Albrecht-Gary, Meyer, Dietrich-Buchecker, Sauvage, Guilhem, Pascard, 2010.
  38. Godoy, 2004.
  39. Вапперо Ж.-М., 2022, p. 289.

Литература[править | править код]

Математические материалы

  • Сосинский А. Б. Хронология одной математической теории. — МЦНМО, 2005. — 112 с. — ISBN 5-94057-220-0.
  • Burde G., Zieschang H., Heusener M. Knots (англ.). — Walter de gruyter, 2013. — Vol. 5. — 417 p. — ISBN 978-3110270747.
  • Morimoto K. Tunnel numbers of knots (англ.) // Knot Theory and Its Applications. — 2016. — Vol. 670. — P. 327.

Прочее

  • Вапперо Ж.-М. Узел. Теория узла по стопам Ж. Лакана. — Логос, 2022. — 390 с. — ISBN 987-5-94244-084-8.

Ссылки[править | править код]

  • Dynnikov I. Trefoil Knot (англ.). Electronic Geometry Models (2000). Дата обращения: 18 февраля 2023.