Трилистник (узел): различия между версиями
[отпатрулированная версия] | [отпатрулированная версия] |
MBH (обсуждение | вклад) |
Kalendar (обсуждение | вклад) оформление |
||
Строка 1: | Строка 1: | ||
[[Файл:Blue Trefoil Knot.png |thumb|right|Трилистник |
[[Файл:Blue Trefoil Knot.png |thumb|right|Трилистник |
||
<BR |
<BR> ab-обозначение= 3<sub>1</sub> |
||
<BR |
<BR> Обозначение Даукера= 4, 6, 2 |
||
<BR |
<BR> Обозначение Конвея= [3] |
||
<BR |
<BR>Допускает раскраску в три цвета |
||
<BR |
<BR> Род=1 |
||
<BR |
<BR> Число нитей = 3 |
||
<BR |
<BR> Длина косы= 3 |
||
<BR |
<BR> Число пересечений= 3 |
||
<BR |
<BR> Гиперболический объём= 0 |
||
<BR |
<BR> Класс= торический |
||
]] |
]] |
||
В [[Теория узлов|теории узлов]] '''трилистник''' |
В [[Теория узлов|теории узлов]] '''трилистник''' — это простейший нетривиальный [[Узел (топология)|узел]]. Трилистник можно получить, соединив 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> с |
В [[Алгебраическая геометрия|алгебраической геометрии]] трилистник можно получить как пересечение в '''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|Трилистник позволяет |
[[Файл:Tricoloring.png|thumb|180px|Трилистник позволяет [[Трёхцветная раскраска|трёхцветную раскраску]].]] |
||
[[Файл:Example of Knots.svg|180px|thumb|Простой узел становится трилистником после соединения концов.]] |
[[Файл:Example of Knots.svg|180px|thumb|Простой узел становится трилистником после соединения концов.]] |
||
== Нетривиальность == |
== Нетривиальность == |
||
Трилистник нетривиален, что означает, что невозможно «развязать» трилистник в трёхмерном пространстве без разрезания. С математической точки зрения это означает, что |
Трилистник нетривиален, что означает, что невозможно «развязать» трилистник в трёхмерном пространстве без разрезания. С математической точки зрения это означает, что трилистник не изотопен [[Тривиальный узел|тривиальному узлу]]. В частности, не существует последовательности [[Движение Рейдемейстера|движений Рейдемейстера]], с помощью которых узел развязывается. |
||
Доказательство этого требует построения [[Инвариант узла|инварианта узла]], который отличен от инварианта тривиального узла. Простейший такой инвариант |
Доказательство этого требует построения [[Инвариант узла|инварианта узла]], который отличен от инварианта тривиального узла. Простейший такой инвариант — [[трёхцветная раскраска]] — трилистник позволяет трёхцветную раскраску, а тривиальный узел — нет. Кроме того, любой основной [[многочлен узла]] трилистника отличается от многочлена тривиального узла, как и большинство других инвариантов. |
||
== Классификация == |
== Классификация == |
||
В теории узлов трилистник является первым нетривиальным узлом и единственным узлом с [[Число пересечений (теория узлов)|числом пересечений]] три. Он является [[Простой узел (топология)|простым]] и перечислен с под номером 3<sub>1</sub> в [[Нотация Александера-Бриггса|нотации Александера-Бриггса]]. {{не переведено 5|Нотация Даукера|Нотация Даукера||Dowker notation}} для трилистника |
В теории узлов трилистник является первым нетривиальным узлом и единственным узлом с [[Число пересечений (теория узлов)|числом пересечений]] три. Он является [[Простой узел (топология)|простым]] и перечислен с под номером 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> является [[Локально тривиальное расслоение|локально тривиальным расслоением]] над [[ |
Трилистник является {{не переведено 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] |
||
⚫ | |||
{{rq|checktranslate|style}} |
{{rq|checktranslate|style}} |
||
⚫ | |||
[[Категория:Узлы и зацепления]] |
[[Категория:Узлы и зацепления]] |
Версия от 06:52, 12 сентября 2018
В теории узлов трилистник — это простейший нетривиальный узел. Трилистник можно получить, соединив 2 свободных конца обычного простого узла, в результате чего получаем заузленное кольцо. Как простейший узел, трилистник является фундаментальным объектом при изучении математической теории узлов, которая имеет многообразные приложения в топологии, геометрии, физике, химии и иллюзионизме.
Описания
Трилистник можно определить как кривую, которая получается из следующих параметрических уравнений:
(2,3)-торический узел является трилистником. Следующие параметрические уравнения задают (2,3)-торический узел на торе :
Любая непрерывная деформация этой кривой также считается трилистником. В частности, любая изотопная трилистнику кривая также считается трилистником. Кроме того, зеркальное отражение трилистника также считается трилистником. В топологии и теории узлов трилистник обычно задаётся с помощью диаграммы.
В алгебраической геометрии трилистник можно получить как пересечение в C2 единичной 3-сферы S3 с комплексной плоской кривой нулей комплексного многочлена z2 + w3 (полукубическая парабола).
Если один конец ленты повернуть 3 раза, а затем склеить с другим концом, получим трилистник[1].
Симметрия
Трилистник хирален в том смысле, что трилистник отличается от своего собственного зеркального отражения. Два варианта трилистника известны как левосторонний и правосторонний. Невозможно путём деформации левосторонний вариант непрерывным образом перевести в правосторонний или наоборот, то есть, эти два трилистника не изотопны.
Хотя трилистник хирален, он обратим, что означает, что нет разницы в каком направлении трилистник обходится — по часовой стрелке или против.
Нетривиальность
Трилистник нетривиален, что означает, что невозможно «развязать» трилистник в трёхмерном пространстве без разрезания. С математической точки зрения это означает, что трилистник не изотопен тривиальному узлу. В частности, не существует последовательности движений Рейдемейстера, с помощью которых узел развязывается.
Доказательство этого требует построения инварианта узла, который отличен от инварианта тривиального узла. Простейший такой инвариант — трёхцветная раскраска — трилистник позволяет трёхцветную раскраску, а тривиальный узел — нет. Кроме того, любой основной многочлен узла трилистника отличается от многочлена тривиального узла, как и большинство других инвариантов.
Классификация
В теории узлов трилистник является первым нетривиальным узлом и единственным узлом с числом пересечений три. Он является простым и перечислен с под номером 31 в нотации Александера-Бриггса. Нотация Даукера[англ.] для трилистника — 4 6 2, а нотация Конвея трилистника — [3].
Трилистник можно описать как (2,3)-торический узел. Можно получить этот узел путём замыкания косы σ13.
Трилистник является альтернирующим узлом[англ.]*. Однако, он не является срезанным узлом, что означает, что он не ограничивает 2-мерный диск на 4-мерной сфере. Чтобы это показать, следует заметить, что его сигнатура[англ.] ненулевая. Другое доказательство — многочлен Александера не удовлетворяет условию Фокса — Милнора.
Трилистник является расслоённым[англ.]*, что означает, что его дополнение?! в является локально тривиальным расслоением над окружностью . В модели трилистника как множества пар комплексных чисел, таких что и , это локально тривиальное расслоение имеет отображение Милнора[англ.] в качестве расслоения[англ.], а тор с выколотой точкой в качестве поверхности расслоения.
Инварианты
Многочлен Александера трилистника есть
а Многочлен Конвея —
а Многочлен Кауфмана трилистника —
Группа узла трилистника задаётся представлением
или эквивалентно,
Эта группа изоморфна группе кос с тремя нитями.
Трилистники в религии и культуре
В качестве простейшего нетривиального узла, трилистник является частым мотивом в иконографии и изобразительном искусстве.
-
Древнескандинавский подвеска мьёльнир с трилистником
-
Простой символ трикветр
-
Плотный трикветр
-
Металлический Валкнут в виде трилистника
-
Математическая поверхность, которые являются границами трилистника под разными углами.
-
Математическая поверхность, которые являются границами трилистника под разными углами.
См. также
- Кружевное зацепление
- Узел «Лапчатка»
- Восьмёрка (теория узлов)
- Узел (топология)
- Бесконечный узел
- Трикветр
- Гордиев узел
Примечания
- ↑ Shaw, 1933, с. 11.
- ↑ 3_1, The Knot Atlas.
- ↑ Weisstein, Eric W. Trefoil Knot (англ.) на сайте Wolfram MathWorld. Accessed: May 5, 2013.
Литература
- George Russell Shaw. Knots: Useful & Ornamental. — 1933. — ISBN 978-0-517-46000-9.
Ссылки
Для улучшения этой статьи желательно:
|