Трилистник (узел): различия между версиями

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску
[отпатрулированная версия][отпатрулированная версия]
Содержимое удалено Содержимое добавлено
оформление
Строка 1: Строка 1:
[[Файл:Blue Trefoil Knot.png |thumb|right|Трилистник
[[Файл:Blue Trefoil Knot.png |thumb|right|Трилистник
<BR /> ab-обозначение= 3<sub>1</sub>
<BR> ab-обозначение= 3<sub>1</sub>
<BR /> Обозначение Даукера= 4, 6, 2
<BR> Обозначение Даукера= 4, 6, 2
<BR /> Обозначение Конвея= [3]
<BR> Обозначение Конвея= [3]
<BR />Допускает раскраску в три цвета
<BR>Допускает раскраску в три цвета
<BR /> Род=1
<BR> Род=1
<BR /> Число нитей = 3
<BR> Число нитей = 3
<BR /> Длина косы= 3
<BR> Длина косы= 3
<BR /> Число пересечений= 3
<BR> Число пересечений= 3
<BR /> Гиперболический объём= 0
<BR> Гиперболический объём= 0
<BR /> Класс= торический
<BR> Класс= торический
]]
]]


В [[Теория узлов|теории узлов]] '''трилистник''' — это простейший нетривиальный [[Узел (топология)|узел]]. Трилистник можно получить, соединив 2 свободных конца обычного [[Простой узел|простого узла]], в результате чего получаем заузленное [[кольцо (топология)|кольцо]]. Как простейший узел, трилистник является фундаментальным объектом при изучении математической [[Теория узлов|теории узлов]], которая имеет многообразные приложения в [[Топология|топологии]], [[Геометрия|геометрии]], [[Физика|физике]], [[Химия|химии]] и [[Иллюзионизм|иллюзионизме]].
В [[Теория узлов|теории узлов]] '''трилистник''' — это простейший нетривиальный [[Узел (топология)|узел]]. Трилистник можно получить, соединив 2 свободных конца обычного [[Простой узел|простого узла]], в результате чего получаем заузленное [[кольцо (топология)|кольцо]]. Как простейший узел, трилистник является фундаментальным объектом при изучении математической [[Теория узлов|теории узлов]], которая имеет многообразные приложения в [[Топология|топологии]], [[Геометрия|геометрии]], [[Физика|физике]], [[Химия|химии]] и [[иллюзионизм]]е.


== Описания ==
== Описания ==
Трилистник можно определить как кривую, которая получается из следующих [[Параметрическое представление|параметрических уравнений]]:
Трилистник можно определить как кривую, которая получается из следующих [[Параметрическое представление|параметрических уравнений]]:
:<math>x = \sin t + 2 \sin 2t</math>
: <math>x = \sin t + 2 \sin 2t</math>
:<math>\qquad y=\cos t - 2 \cos 2t</math>
: <math>\qquad y=\cos t - 2 \cos 2t</math>
:<math>\qquad z=-\sin 3t</math>
: <math>\qquad z=-\sin 3t</math>


(2,3)-[[торический узел]] является трилистником. Следующие параметрические уравнения задают (2,3)-торический узел на [[тор (поверхность)|торе]] <math>(r-2)^2+z^2 = 1</math>:
(2,3)-[[торический узел]] является трилистником. Следующие параметрические уравнения задают (2,3)-торический узел на [[тор (поверхность)|торе]] <math>(r-2)^2+z^2 = 1</math>:
:<math>x = (2+\cos 3t)\cos 2t</math>
: <math>x = (2+\cos 3t)\cos 2t</math>
:<math>\qquad y=(2+\cos 3t )\sin 2t</math>
: <math>\qquad y=(2+\cos 3t )\sin 2t</math>
:<math>\qquad z=\sin 3t</math>
: <math>\qquad z=\sin 3t</math>


[[Файл:Trefoil-non-3-symm.svg|thumb|right|Вид трилистника без визуальной симметрии]]
[[Файл:Trefoil-non-3-symm.svg|thumb|right|Вид трилистника без визуальной симметрии]]
Строка 29: Строка 29:
Любая непрерывная деформация этой кривой также считается трилистником. В частности, любая [[Гомотопия|изотопная]] трилистнику кривая также считается трилистником. Кроме того, [[Отражение (геометрия)|зеркальное отражение]] трилистника также считается трилистником. В топологии и теории узлов трилистник обычно задаётся с помощью [[Диаграмма узла|диаграммы]].
Любая непрерывная деформация этой кривой также считается трилистником. В частности, любая [[Гомотопия|изотопная]] трилистнику кривая также считается трилистником. Кроме того, [[Отражение (геометрия)|зеркальное отражение]] трилистника также считается трилистником. В топологии и теории узлов трилистник обычно задаётся с помощью [[Диаграмма узла|диаграммы]].


В [[Алгебраическая геометрия|алгебраической геометрии]] трилистник можно получить как пересечение в '''C'''<sup>2</sup> единичной [[3-сфера|3-сферы]] ''S''<sup>3</sup> с комплексной плоской кривой нулей комплексного [[Многочлен|многочлена]] ''z''<sup>2</sup>&nbsp;+&nbsp;''w''<sup>3</sup> ([[полукубическая парабола]]).
В [[Алгебраическая геометрия|алгебраической геометрии]] трилистник можно получить как пересечение в '''C'''<sup>2</sup> единичной [[3-сфера|3-сферы]] ''S''<sup>3</sup> с комплексной плоской кривой нулей комплексного [[многочлен]]а ''z''<sup>2</sup> + ''w''<sup>3</sup> ([[полукубическая парабола]]).
[[Файл:Trefoil knot left.svg|thumb|150px|Левосторонний трилистник]]
[[Файл:Trefoil knot left.svg|thumb|150px|Левосторонний трилистник]]
[[Файл:TrefoilKnot 01.svg|thumb|150px|Правосторонний трилистник]]
[[Файл:TrefoilKnot 01.svg|thumb|150px|Правосторонний трилистник]]
Строка 38: Строка 38:
Трилистник [[Хиральность (математика)|хирален]] в том смысле, что трилистник отличается от своего собственного зеркального отражения. Два варианта трилистника известны как '''левосторонний''' и '''правосторонний'''. Невозможно путём деформации левосторонний вариант непрерывным образом перевести в правосторонний или наоборот, то есть, эти два трилистника не изотопны.
Трилистник [[Хиральность (математика)|хирален]] в том смысле, что трилистник отличается от своего собственного зеркального отражения. Два варианта трилистника известны как '''левосторонний''' и '''правосторонний'''. Невозможно путём деформации левосторонний вариант непрерывным образом перевести в правосторонний или наоборот, то есть, эти два трилистника не изотопны.


Хотя трилистник хирален, он [[Обратный элемент|обратим]], что означает, что нет разницы в каком направлении трилистник обходится — по часовой стрелке или против.
Хотя трилистник хирален, он [[Обратный элемент|обратим]], что означает, что нет разницы в каком направлении трилистник обходится — по часовой стрелке или против.


[[Файл:Tricoloring.png|thumb|180px|Трилистник позволяет {{не переведено 5|Трёхцветная раскраска|трёхцветную раскраску||tricolorability}}.]]
[[Файл:Tricoloring.png|thumb|180px|Трилистник позволяет [[Трёхцветная раскраска|трёхцветную раскраску]].]]
[[Файл:Example of Knots.svg|180px|thumb|Простой узел становится трилистником после соединения концов.]]
[[Файл:Example of Knots.svg|180px|thumb|Простой узел становится трилистником после соединения концов.]]


== Нетривиальность ==
== Нетривиальность ==
Трилистник нетривиален, что означает, что невозможно «развязать» трилистник в трёхмерном пространстве без разрезания. С математической точки зрения это означает, что трилистник не изотопен [[Тривиальный узел|тривиальному узлу]]. В частности, не существует последовательности [[Движение Рейдемейстера|движений Рейдемейстера]], с помощью которых узел развязывается.
Трилистник нетривиален, что означает, что невозможно «развязать» трилистник в трёхмерном пространстве без разрезания. С математической точки зрения это означает, что трилистник не изотопен [[Тривиальный узел|тривиальному узлу]]. В частности, не существует последовательности [[Движение Рейдемейстера|движений Рейдемейстера]], с помощью которых узел развязывается.


Доказательство этого требует построения [[Инвариант узла|инварианта узла]], который отличен от инварианта тривиального узла. Простейший такой инвариант {{не переведено 5|Трёхцветная раскраска|трёхцветная раскраска||tricolorability}} трилистник позволяет трёхцветную раскраску, а тривиальный узел нет. Кроме того, любой основной [[многочлен узла]] трилистника отличается от многочлена тривиального узла, как и большинство других инвариантов.
Доказательство этого требует построения [[Инвариант узла|инварианта узла]], который отличен от инварианта тривиального узла. Простейший такой инвариант [[трёхцветная раскраска]] — трилистник позволяет трёхцветную раскраску, а тривиальный узел — нет. Кроме того, любой основной [[многочлен узла]] трилистника отличается от многочлена тривиального узла, как и большинство других инвариантов.


== Классификация ==
== Классификация ==
В теории узлов трилистник является первым нетривиальным узлом и единственным узлом с [[Число пересечений (теория узлов)|числом пересечений]] три. Он является [[Простой узел (топология)|простым]] и перечислен с под номером 3<sub>1</sub> в [[Нотация Александера-Бриггса|нотации Александера-Бриггса]]. {{не переведено 5|Нотация Даукера|Нотация Даукера||Dowker notation}} для трилистника 4&nbsp;6&nbsp;2, а [[Нотация Конвея для узлов|нотация Конвея]] трилистника [3].
В теории узлов трилистник является первым нетривиальным узлом и единственным узлом с [[Число пересечений (теория узлов)|числом пересечений]] три. Он является [[Простой узел (топология)|простым]] и перечислен с под номером 3<sub>1</sub> в [[Нотация Александера-Бриггса|нотации Александера-Бриггса]]. {{не переведено 5|Нотация Даукера|Нотация Даукера||Dowker notation}} для трилистника 4 6 2, а [[Нотация Конвея для узлов|нотация Конвея]] трилистника — [3].


Трилистник можно описать как (2,3)-[[торический узел]]. Можно получить этот узел путём замыкания [[Группа кос|косы]] σ<sub>1</sub><sup>3</sup>.
Трилистник можно описать как (2,3)-[[торический узел]]. Можно получить этот узел путём замыкания [[Группа кос|косы]] σ<sub>1</sub><sup>3</sup>.


Трилистник является {{не переведено 5|Альтернирующий узел|альтернирующим узлом||alternating knot}}. Однако, он не является [[Срезанный узел|срезанным узлом]], что означает, что он не ограничивает 2-мерный диск на 4-мерной сфере. Чтобы это показать, следует заметить, что его {{не переведено 5|Сигнатура узла|сигнатура||signature of a knot}} ненулевая. Другое доказательство многочлен Александера не удовлетворяет [[Срезанный узел|условию Фокса — Милнора]].
Трилистник является {{не переведено 5|Альтернирующий узел|альтернирующим узлом||alternating knot}}. Однако, он не является [[Срезанный узел|срезанным узлом]], что означает, что он не ограничивает 2-мерный диск на 4-мерной сфере. Чтобы это показать, следует заметить, что его {{не переведено 5|Сигнатура узла|сигнатура||signature of a knot}} ненулевая. Другое доказательство — многочлен Александера не удовлетворяет [[Срезанный узел|условию Фокса — Милнора]].


Трилистник является {{не переведено 5|Расслоённый узел|расслоённым||fibered knot}}, что означает, что его {{не переведено 5|Дополнение узла|дополнение||knot complement}} в <math>S^3</math> является [[Локально тривиальное расслоение|локально тривиальным расслоением]] над [[Окружность|окружностью]] <math>S^1</math>. В модели трилистника как множества пар <math>(z,w)</math> [[Комплексное число|комплексных чисел]], таких что <math>|z|^2+|w|^2=1</math> и <math>z^2+w^3=0</math>, это [[локально тривиальное расслоение]] имеет {{не переведено 5|Отображение Милнора|отображение Милнора||Milnor map}} <math>\phi(z,w)=(
Трилистник является {{не переведено 5|Расслоённый узел|расслоённым||fibered knot}}, что означает, что его {{не переведено 5|Дополнение узла|дополнение||knot complement}} в <math>S^3</math> является [[Локально тривиальное расслоение|локально тривиальным расслоением]] над [[окружность]]ю <math>S^1</math>. В модели трилистника как множества пар <math>(z,w)</math> [[Комплексное число|комплексных чисел]], таких что <math>|z|^2+|w|^2=1</math> и <math>z^2+w^3=0</math>, это [[локально тривиальное расслоение]] имеет {{не переведено 5|Отображение Милнора|отображение Милнора||Milnor map}} <math>\phi(z,w)=(
z^2+w^3)/|z^2+w^3|</math> в качестве {{не переведено 5|Расслоение пространства|расслоения||fibration}}, а [[Тор (поверхность)|тор]] с выколотой точкой в качестве поверхности расслоения.
z^2+w^3)/|z^2+w^3|</math> в качестве {{не переведено 5|Расслоение пространства|расслоения||fibration}}, а [[Тор (поверхность)|тор]] с выколотой точкой в качестве поверхности расслоения.


Строка 62: Строка 62:


[[Многочлен Александера]] трилистника есть
[[Многочлен Александера]] трилистника есть
:<math>\Delta(t) = t - 1 + t^{-1},</math>
: <math>\Delta(t) = t - 1 + t^{-1},</math>
а [[Многочлен Александера|Многочлен Конвея]] —
а [[Многочлен Александера|Многочлен Конвея]] —
:<math>\nabla(z) = z^2 + 1.</math><ref>[http://katlas.math.toronto.edu/wiki/3_1 3_1], The Knot Atlas.</ref>
: <math>\nabla(z) = z^2 + 1.</math><ref>[http://katlas.math.toronto.edu/wiki/3_1 3_1], The Knot Atlas.</ref>
[[Полином Джонса|Многочлен Джонса]] —
[[Полином Джонса|Многочлен Джонса]] —
:<math>V(q) = q^{-1} + q^{-3} - q^{-4},</math>
: <math>V(q) = q^{-1} + q^{-3} - q^{-4},</math>
а [[Многочлен Кауфмана]] трилистника —
а [[Многочлен Кауфмана]] трилистника —
:<math>L(a,z) = za^5 + z^2a^4 - a^4 + za^3 + z^2a^2-2a^2.</math>
: <math>L(a,z) = za^5 + z^2a^4 - a^4 + za^3 + z^2a^2-2a^2.</math>
[[Группа узла]] трилистника задаётся представлением
[[Группа узла]] трилистника задаётся представлением
:<math>\langle x,y \mid x^2=y^3 \rangle</math>
: <math>\langle x,y \mid x^2=y^3 \rangle</math>
или эквивалентно,
или эквивалентно,
:<math>\langle x,y \mid xyx=yxy \rangle.</math><ref>{{MathWorld|title=Trefoil Knot|id=TrefoilKnot}} Accessed: May 5, 2013.</ref>
: <math>\langle x,y \mid xyx=yxy \rangle.</math><ref>{{MathWorld|title=Trefoil Knot|id=TrefoilKnot}} Accessed: May 5, 2013.</ref>
Эта группа изоморфна [[Группа кос|группе кос]] с тремя нитями.
Эта группа изоморфна [[Группа кос|группе кос]] с тремя нитями.


Строка 89: Строка 89:
</gallery>
</gallery>


== Смотрите также ==
== См. также ==
*[[Кружевное зацепление]]
* [[Кружевное зацепление]]
*[[Узел «Лапчатка»]]
* [[Узел «Лапчатка»]]
*[[Восьмёрка (теория узлов)]]
* [[Восьмёрка (теория узлов)]]
*[[Узел (топология)]]
* [[Узел (топология)]]
*[[Бесконечный узел]]
* [[Бесконечный узел]]
*[[Трикветр]]
* [[Трикветр]]
*[[Гордиев узел]]
* [[Гордиев узел]]


== Примечания ==
== Примечания ==
Строка 111: Строка 111:


== Ссылки ==
== Ссылки ==
*[http://www.wolframalpha.com/input/?i=(2,3)-torus+knot Wolframalpha: (2,3)-torus knot]
* [http://www.wolframalpha.com/input/?i=(2,3)-torus+knot Wolframalpha: (2,3)-torus knot]

{{Теория узлов|state=collapsed}}
{{rq|checktranslate|style}}
{{rq|checktranslate|style}}
{{Теория узлов|state=collapsed}}


[[Категория:Узлы и зацепления]]
[[Категория:Узлы и зацепления]]

Версия от 06:52, 12 сентября 2018

Трилистник
ab-обозначение= 31
Обозначение Даукера= 4, 6, 2
Обозначение Конвея= [3]
Допускает раскраску в три цвета
Род=1
Число нитей = 3
Длина косы= 3
Число пересечений= 3
Гиперболический объём= 0
Класс= торический

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

Описания

Трилистник можно определить как кривую, которая получается из следующих параметрических уравнений:

(2,3)-торический узел является трилистником. Следующие параметрические уравнения задают (2,3)-торический узел на торе :

Вид трилистника без визуальной симметрии

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

В алгебраической геометрии трилистник можно получить как пересечение в C2 единичной 3-сферы S3 с комплексной плоской кривой нулей комплексного многочлена z2 + w3 (полукубическая парабола).

Левосторонний трилистник
Правосторонний трилистник

Если один конец ленты повернуть 3 раза, а затем склеить с другим концом, получим трилистник[1].

Симметрия

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

Хотя трилистник хирален, он обратим, что означает, что нет разницы в каком направлении трилистник обходится — по часовой стрелке или против.

Трилистник позволяет трёхцветную раскраску.
Простой узел становится трилистником после соединения концов.

Нетривиальность

Трилистник нетривиален, что означает, что невозможно «развязать» трилистник в трёхмерном пространстве без разрезания. С математической точки зрения это означает, что трилистник не изотопен тривиальному узлу. В частности, не существует последовательности движений Рейдемейстера, с помощью которых узел развязывается.

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

Классификация

В теории узлов трилистник является первым нетривиальным узлом и единственным узлом с числом пересечений три. Он является простым и перечислен с под номером 31 в нотации Александера-Бриггса. Нотация Даукера[англ.] для трилистника — 4 6 2, а нотация Конвея трилистника — [3].

Трилистник можно описать как (2,3)-торический узел. Можно получить этот узел путём замыкания косы σ13.

Трилистник является альтернирующим узлом[англ.]*. Однако, он не является срезанным узлом, что означает, что он не ограничивает 2-мерный диск на 4-мерной сфере. Чтобы это показать, следует заметить, что его сигнатура[англ.] ненулевая. Другое доказательство — многочлен Александера не удовлетворяет условию Фокса — Милнора.

Трилистник является расслоённым[англ.]*, что означает, что его дополнение?! в является локально тривиальным расслоением над окружностью . В модели трилистника как множества пар комплексных чисел, таких что и , это локально тривиальное расслоение имеет отображение Милнора[англ.] в качестве расслоения[англ.], а тор с выколотой точкой в качестве поверхности расслоения.

Инварианты

Многочлен Александера трилистника есть

а Многочлен Конвея

[2]

Многочлен Джонса

а Многочлен Кауфмана трилистника —

Группа узла трилистника задаётся представлением

или эквивалентно,

[3]

Эта группа изоморфна группе кос с тремя нитями.

Трилистники в религии и культуре

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

См. также

Примечания

  1. Shaw, 1933, с. 11.
  2. 3_1, The Knot Atlas.
  3. Weisstein, Eric W. Trefoil Knot (англ.) на сайте Wolfram MathWorld. Accessed: May 5, 2013.

Литература

  • George Russell Shaw. Knots: Useful & Ornamental. — 1933. — ISBN 978-0-517-46000-9.

Ссылки