Зацепление Хопфа: различия между версиями

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску
Интерактивная навигация по истории
[отпатрулированная версия][отпатрулированная версия]
← Предыдущая правка
Содержимое удалено Содержимое добавлено
ВизуальныйВики-текст
Нет описания правки
 
(не показано 7 промежуточных версий 4 участников)
Строка 1: Строка 1:
[[Файл: Hopf Link.png|thumb|Зацепление Хопфа
[[Файл:Hopf Link.png|thumb|Зацепление Хопфа
<BR /> Обозначение= L2a1
<BR> Обозначение= L2a1
<BR /> Число нитей = 2
<BR> Число нитей = 2
<BR /> Длина косы= 2
<BR> Длина косы= 2
<BR /> Число пересечений= 2
<BR> Число пересечений= 2
<BR /> Коэффициент зацепления= 1
<BR> Коэффициент зацепления= 1
<BR /> Гиперболический объём= 0
<BR> Гиперболический объём= 0
<BR /> Класс= тор
<BR> Класс= тор
]]
]]
⚫
'''Зацепление Хопфа''' — простейшее нетривиальное [[Теория узлов|зацепление]] с двумя и более компонентами{{sfn|Adams|2004|с=151}}, состоит из двух [[Окружность|окружностей]], зацеплённых однократно{{sfn|Kusner, Sullivan|1998|p=67–78}} и названо по имени [[Хопф, Хайнц|Хайнца Хопфа]]{{sfn|Прасолов, Сосинский|1997|с=12}}.

⚫
[[Файл:Skein-relation-link22-plus-sm.png|thumb|[[Скейн-соотношение]] для зацепления Хопфа.]]
⚫
'''Зацепление Хопфа''' — простейшее нетривиальное [[Теория узлов|зацепление]] с двумя и более компонентами {{sfn|Adams|2004|с=151}}, состоит из двух [[Окружность|окружностей]], зацеплённых однократно{{sfn|Kusner, Sullivan|1998|p=67–78}} и названо по имени [[Хопф, Хайнц|Хайнца Хопфа]]{{sfn|Прасолов, Сосинский|1997|с=12}}.


== Геометрическое представление ==
== Геометрическое представление ==

Конкретная модель состоит из двух [[Единичная окружность|единичных окружностей]] в перпендикулярных плоскостях, таких что каждая проходит через центр другой{{sfn|Kusner, Sullivan|1998|p=67–78}}. Эта модель минимизирует {{не переведено 5|Длина верёвки (теория узлов)|длину верёвки||ropelength}} (длина верёвки — инвариант теории узлов) зацепления и до 2002 года зацепление Хопфа являлось единственным, у которого длина верёвки была известна {{sfn|Cantarella, Kusner, Sullivan|2002|p=257–286}}. [[Выпуклая оболочка]] этих двух окружностей образует тело, называемое [[олоид]]ом{{sfn|Dirnböck, Stachel|1997|p=105–118}}.
Конкретная модель состоит из двух [[Единичная окружность|единичных окружностей]] в перпендикулярных плоскостях, таких что каждая проходит через центр другой{{sfn|Kusner, Sullivan|1998|p=67–78}}. Эта модель минимизирует {{не переведено 5|Длина верёвки (теория узлов)|длину верёвки||ropelength}} (длина верёвки — инвариант теории узлов) зацепления и до 2002 года зацепление Хопфа являлось единственным, у которого длина верёвки была известна {{sfn|Cantarella, Kusner, Sullivan|2002|p=257–286}}. [[Выпуклая оболочка]] этих двух окружностей образует тело, называемое [[олоид]]ом{{sfn|Dirnböck, Stachel|1997|p=105–118}}.


== Свойства ==
== Свойства ==
⚫
[[Файл:Skein-relation-link22-plus-sm.png|thumb|100px|[[Скейн-соотношение]] для зацепления Хопфа]]
В зависимости от относительной {{не переведено 5|Ориентация (геометрия)|ориентации||Orientation (geometry)}} двух компонент [[коэффициент зацепления]] Хопфа равен ±1{{sfn|Adams|2004}}.
В зависимости от относительной {{не переведено 5|Ориентация (геометрия)|ориентации||Orientation (geometry)}} двух компонент [[коэффициент зацепления]] Хопфа равен ±1{{sfn|Adams|2004}}.


Зацепления Хопфа является (2,2)-[[Торический узел|торическим зацеплением]]{{sfn|Kauffman|1987|p=373}} с [[Группа кос|описывающим словом]]{{sfn|Adams|2004|p=133, Exercise 5.22}} <math>\sigma_1^2</math>.
Зацепления Хопфа является (2,2)-[[Торический узел|торическим зацеплением]]{{sfn|Kauffman|1987|p=373}} с [[Группа кос|описывающим словом]]{{sfn|Adams|2004|p=133, Exercise 5.22}} <math>\sigma_1^2</math>.


{{не переведено 5|Дополнение узла|Дополнение||knot complement}} зацепления Хопфа — <math>\R \times S^1 \times S^1</math>, [[цилиндр]] над [[Тор (поверхность)|тором]]{{sfn|Turaev|2010|p=194}}. Это пространство имеет [[Гипотеза Тёрстона|локально евклидову геометрию]], так что зацепление Хопфа не является [[Гиперболическое зацепление|гиперболическим]]. [[Группа узла|Группа узлов]] зацепления Хопфа ([[фундаментальная группа]] его дополнения) — это <math>\Z^2</math> ([[свободная абелева группа]] на двух генераторах) и она отличает зацепление Хопфа от двух незацеплённых окружностей, которым соответствует [[свободная группа]] на двух генераторах{{sfn|Hatcher|2002|p=24}}.
[[Дополнение узла|Дополнение]] зацепления Хопфа — <math>\R \times S^1 \times S^1</math>, [[цилиндр]] над [[Тор (поверхность)|тором]]{{sfn|Turaev|2010|p=194}}. Это пространство имеет [[Гипотеза Тёрстона|локально евклидову геометрию]], так что зацепление Хопфа не является [[Гиперболическое зацепление|гиперболическим]]. [[Группа узла|Группа узлов]] зацепления Хопфа ([[фундаментальная группа]] его дополнения) — это <math>\Z^2</math> ([[свободная абелева группа]] на двух генераторах) и она отличает зацепление Хопфа от двух незацеплённых окружностей, которым соответствует [[свободная группа]] на двух генераторах{{sfn|Hatcher|2002|p=24}}.


Зацепление Хопфа не раскрашиваемо в три цвета<ref>См. [[:en:tricolorability]].</ref>. Это непосредственно следует из факта, что зацепление можно раскрасить лишь в два цвета, что противоречит второй части определения раскраски. В каждом пересечении будет максимум 2 цвета, так что при раскраске мы нарушим требование иметь 1 или 3 цвета в каждом пересечении, либо нарушим требование иметь более 1 цвета.
Зацепление Хопфа не может быть [[Трёхцветная раскраска|раскрашено в три цвета]]. Это непосредственно следует из факта, что зацепление можно раскрасить лишь в два цвета, что противоречит второй части определения раскраски. В каждом пересечении будет максимум 2 цвета, так что при раскраске мы нарушим требование иметь 1 или 3 цвета в каждом пересечении, либо нарушим требование иметь более 1 цвета.


== Расслоение Хопфа ==
== Расслоение Хопфа ==
[[Расслоение Хопфа]] — это непрерывное отображение из [[3-сфера|3-сферы]] (трёхмерная поверхность в четырёхмерном евклидовом пространстве) в более привычную [[Сфера|2-сферу]], такое, что прообраз каждой точки на 2-сфере является окружностью. Таким образом получается разложение 3-сферы на непрерывное семейство окружностей и каждые две различных окружности из этого семейства образуют зацепление Хопфа. Этот факт и побудил Хопфа заняться изучением зацеплений Хопфа — поскольку любые два слоя зацеплены, расслоение Хопфа является нетривиальным {{не переведено 5|Расслоение (топология)|расслоением||fibration}}. С этого началось изучение [[Гомотопические группы сфер|гомотопических групп сфер]]{{sfn|Shastri|2013|p=368}}.
[[Расслоение Хопфа]] — это [[непрерывное отображение]] из [[3-сфера|3-сферы]] (трёхмерная поверхность в четырёхмерном [[Евклидово пространство|евклидовом пространстве]]) в более привычную [[Сфера|2-сферу]], такое, что прообраз каждой точки на 2-сфере является окружностью. Таким образом получается разложение 3-сферы на непрерывное семейство окружностей и каждые две различных окружности из этого семейства образуют зацепление Хопфа. Этот факт и побудил Хопфа заняться изучением зацеплений Хопфа — поскольку любые два слоя [[Зацепление (теория узлов)|зацеплены]], расслоение Хопфа является нетривиальным {{не переведено 5|Расслоение (топология)|расслоением||fibration}}. С этого началось изучение [[Гомотопические группы сфер|гомотопических групп сфер]]{{sfn|Shastri|2013|p=368}}.


== История ==
== История ==
Строка 149: Строка 149:
{{rq|checktranslate|topic=math}}
{{rq|checktranslate|topic=math}}


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

Текущая версия от 19:27, 4 сентября 2023

Зацепление Хопфа
Обозначение= L2a1
Число нитей = 2
Длина косы= 2
Число пересечений= 2
Коэффициент зацепления= 1
Гиперболический объём= 0
Класс= тор

Зацепление Хопфа — простейшее нетривиальное зацепление с двумя и более компонентами[1], состоит из двух окружностей, зацеплённых однократно[2] и названо по имени Хайнца Хопфа[3].

Геометрическое представление

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

Конкретная модель состоит из двух единичных окружностей в перпендикулярных плоскостях, таких что каждая проходит через центр другой[2]. Эта модель минимизирует длину верёвки[англ.] (длина верёвки — инвариант теории узлов) зацепления и до 2002 года зацепление Хопфа являлось единственным, у которого длина верёвки была известна [4]. Выпуклая оболочка этих двух окружностей образует тело, называемое олоидом[5].

Свойства

[править | править код]
Скейн-соотношение для зацепления Хопфа

В зависимости от относительной ориентации[англ.] двух компонент коэффициент зацепления Хопфа равен ±1[6].

Зацепления Хопфа является (2,2)-торическим зацеплением[7] с описывающим словом[8] .

Дополнение зацепления Хопфа — , цилиндр над тором[9]. Это пространство имеет локально евклидову геометрию, так что зацепление Хопфа не является гиперболическим. Группа узлов зацепления Хопфа (фундаментальная группа его дополнения) — это (свободная абелева группа на двух генераторах) и она отличает зацепление Хопфа от двух незацеплённых окружностей, которым соответствует свободная группа на двух генераторах[10].

Зацепление Хопфа не может быть раскрашено в три цвета. Это непосредственно следует из факта, что зацепление можно раскрасить лишь в два цвета, что противоречит второй части определения раскраски. В каждом пересечении будет максимум 2 цвета, так что при раскраске мы нарушим требование иметь 1 или 3 цвета в каждом пересечении, либо нарушим требование иметь более 1 цвета.

Расслоение Хопфа

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

Расслоение Хопфа — это непрерывное отображение из 3-сферы (трёхмерная поверхность в четырёхмерном евклидовом пространстве) в более привычную 2-сферу, такое, что прообраз каждой точки на 2-сфере является окружностью. Таким образом получается разложение 3-сферы на непрерывное семейство окружностей и каждые две различных окружности из этого семейства образуют зацепление Хопфа. Этот факт и побудил Хопфа заняться изучением зацеплений Хопфа — поскольку любые два слоя зацеплены, расслоение Хопфа является нетривиальным расслоением[англ.]. С этого началось изучение гомотопических групп сфер[11].

История

[править | править код]
Герб Бузан-ха[англ.]

Зацепление названо именем тополога Хайнца Хопфа, исследовавшего его в 1931 году в работе по расслоению Хопфа[12]. Однако такое зацепление использовал ещё Гаусс[3], а вне математики оно встречалось задолго до этого, например, в качестве герба японской буддийской секты Бузан-ха[англ.], основанной в XVI столетии.

См. также

[править | править код]
  • Катенаны, химические соединения с двумя механически сцеплёнными молекулами
  • Узел Соломона, два кольца с двойным зацеплением

Примечания

[править | править код]
  1. ↑ Adams, 2004, с. 151.
  2. ↑ 1 2 Kusner, Sullivan, 1998, p. 67–78.
  3. ↑ 1 2 Прасолов, Сосинский, 1997, с. 12.
  4. ↑ Cantarella, Kusner, Sullivan, 2002, p. 257–286.
  5. ↑ Dirnböck, Stachel, 1997, p. 105–118.
  6. ↑ Adams, 2004.
  7. ↑ Kauffman, 1987, p. 373.
  8. ↑ Adams, 2004, p. 133, Exercise 5.22.
  9. ↑ Turaev, 2010, p. 194.
  10. ↑ Hatcher, 2002, p. 24.
  11. ↑ Shastri, 2013, p. 368.
  12. ↑ Hopf, 1931, p. 637–665.

Литература

[править | править код]
  • Прасолов В. В., Сосинский А. Б. . Узлы, зацепления, косы и трёхмерные многообразия. — М.: МЦНМО, 1997. — ISBN 5-900916-10-3.
  • Adams, Colin Conrad. . The Knot Book: An Elementary Introduction to the Mathematical Theory of Knots. — American Mathematical Society, 2004. — ISBN 9780821836781.
  • Cantarella J., Kusner R. B., Sullivan J. M.  On the minimum ropelength of knots and links // Inventiones Mathematicae. — 2002. — Vol. 150, no. 2. — doi:10.1007/s00222-002-0234-y. — arXiv:math/0103224.
  • Dirnböck H., Stachel H.  The development of the oloid // Journal for Geometry and Graphics. — 1997. — Vol. 1, no. 2.
  • Hatcher, Allen. . Algebraic Topology. — 2002. — ISBN 9787302105886.
  • Hopf, Heinz.  Über die Abbildungen der dreidimensionalen Sphäre auf die Kugelfläche // Mathematische Annalen. — Berlin: Springer, 1931. — doi:10.1007/BF01457962.
  • Kauffman, Louis H. . On Knots. — Princeton University Press, 1987. — Vol. 115. — (Annals of Mathematics Studies). — ISBN 9780691084350.
  • Kusner R. B., Sullivan J. M. . Topology and geometry in polymer science (Minneapolis, MN, 1996). — New York: Springer, 1998. — Vol. 103. — (IMA Vol. Math. Appl.). — doi:10.1007/978-1-4612-1712-1_7.
  • Shastri, Anant R. . Basic Algebraic Topology. — CRC Press, 2013. — ISBN 9781466562431.
  • Turaev, Vladimir G. . Quantum Invariants of Knots and 3-manifolds. — Walter de Gruyter, 2010. — Vol. 18. — (De Gruyter studies in mathematics). — ISBN 9783110221831.

Ссылки

[править | править код]
Источник — https://ru.wikipedia.org/ruwiki/w/index.php?title=Зацепление_Хопфа&oldid=132755889