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

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску
[отпатрулированная версия][отпатрулированная версия]
Содержимое удалено Содержимое добавлено
м +шаблон: некорректные викиссылки в сносках
исправление неработающей ссылки на источник
Строка 10: Строка 10:


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


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


== Свойства ==
== Свойства ==
В зависимости от относительной {{не переведено 5|Ориентация (геометрия)|ориентации||Orientation (geometry)}} двух компонент [[коэффициент зацепления]] Хопфа равен ±1.{{sfn|Adams|2004}}.
В зависимости от относительной {{не переведено 5|Ориентация (геометрия)|ориентации||Orientation (geometry)}} двух компонент [[коэффициент зацепления]] Хопфа равен ±1{{sfn|Adams|2004}}.


Зацепления Хопфа является (2,2)-[[Торический узел|торическим зацеплением]]{{sfn|Kauffman|1987|с=373}} с [[Группа кос|описывающим словом]]{{sfn|Adams|2004|с=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|с=194 }}. Это пространство имеет [[Гипотеза Тёрстона|локально евклидову геометрию]], так что зацепление Хопфа не является [[Гиперболическое зацепление|гиперболическим]]. [[Группа узла|Группа узлов]] зацепления Хопфа ([[фундаментальная группа]] его дополнения) — это <math>\Z^2</math> ([[свободная абелева группа]] на двух генераторах) и она отличает зацепление Хопфа от двух незацеплённых окружностей, которым соответствует [[свободная группа]] на двух генераторах{{sfn|Hatcher|2002|с=24}}.
{{не переведено 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}}.


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


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


== История ==
== История ==
[[Файл:Buzanha wachigai mon.jpg|thumb|Герб {{не переведено 5|Секта Бузан-ха школы Сингон-сю|Бузан-ха||Shingon-shu Buzan-ha}}]]
[[Файл:Buzanha wachigai mon.jpg|thumb|Герб {{не переведено 5|Секта Бузан-ха школы Сингон-сю|Бузан-ха||Shingon-shu Buzan-ha}}]]
Зацепление названо именем тополога [[Хопф, Хайнц|Хайнца Хопфа]], исследовавшего его в [[1931 год в науке|1931 году]] в работе по [[Расслоение Хопфа|расслоению Хопфа]]{{sfn|Hopf|1931|с=637–665}}. Однако такое зацепление использовал ещё [[Гаусс, Карл Фридрих|Гаусс]]{{sfn|Прасолов, Сосинский|1997|с=12}}, а вне математики оно встречалось задолго до этого, например, в качестве герба японской буддийской секты {{не переведено 5|Секта Бузан-ха школы Сингон-сю|Бузан-ха||Shingon-shu Buzan-ha}}, основанной в XVI столетии.
Зацепление названо именем тополога [[Хопф, Хайнц|Хайнца Хопфа]], исследовавшего его в [[1931 год в науке|1931 году]] в работе по [[Расслоение Хопфа|расслоению Хопфа]]{{sfn|Hopf|1931|p=637–665}}. Однако такое зацепление использовал ещё [[Гаусс, Карл Фридрих|Гаусс]]{{sfn|Прасолов, Сосинский|1997|с=12}}, а вне математики оно встречалось задолго до этого, например, в качестве герба японской буддийской секты {{не переведено 5|Секта Бузан-ха школы Сингон-сю|Бузан-ха||Shingon-shu Buzan-ha}}, основанной в XVI столетии.


== См. также ==
== См. также ==
Строка 39: Строка 39:


== Литература ==
== Литература ==
* {{книга
| автор =Прасолов В. В., Сосинский А. Б. 
| заглавие = Узлы, зацепления, косы и трёхмерные многообразия
| издательство = МЦНМО
| год = 1997
| место = М.
| ISBN = 5-900916-10-3
|ref=Прасолов, Сосинский
}}
* {{книга
* {{книга
| заглавие =The Knot Book: An Elementary Introduction to the Mathematical Theory of Knots
| заглавие =The Knot Book: An Elementary Introduction to the Mathematical Theory of Knots
| автор =Colin Conrad Adams
| автор =Adams, Colin Conrad
| издательство =American Mathematical Society
| издательство =American Mathematical Society
| год =2004
| год =2004
Строка 47: Строка 56:
| url =http://books.google.com/books?id=M-B8XedeL9sC&pg=PA151
| url =http://books.google.com/books?id=M-B8XedeL9sC&pg=PA151
|ref= Adams
|ref= Adams
}}
* {{книга
| заглавие =On Knots
| том =115
| серия =Annals of Mathematics Studies
| автор =Louis H. Kauffman
| издательство =Princeton University Press
| год =1987
|isbn=9780691084350
|url=http://books.google.com/books?id=BLvGkIY8YzwC&pg=PA373
|ref= Kauffman
}}
* {{книга
| заглавие =Quantum Invariants of Knots and 3-manifolds
| том =18
| серия =De Gruyter studies in mathematics
| автор =Vladimir G. Turaev
| издательство =Walter de Gruyter
| год =2010
| isbn =9783110221831
|url=http://books.google.com/books?id=w7dActmezxQC&pg=PA194
|ref= Turaev
}}
* {{книга
| заглавие =Basic Algebraic Topology
| автор =Anant R. Shastri
| издательство =CRC Press
| год =2013
|isbn=9781466562431
|url=http://books.google.com/books?id=lYMAAQAAQBAJ&pg=PA368|page=368
|ref= Shastri
}}
* {{книга
| автор = Robert B. Kusner, John M. Sullivan
| вклад = On distortion and thickness of knots
| doi = 10.1007/978-1-4612-1712-1_7
| место = New York
| mr = 1655037
| издательство = Springer
| серия = IMA Vol. Math. Appl.
| заглавие = Topology and geometry in polymer science (Minneapolis, MN, 1996)
| том = 103
| год = 1998
|ref= Kusner, Sullivan
}}
}}
* {{статья
* {{статья
| автор = Jason Cantarella, Robert B. Kusner, John M. Sullivan
| автор =Cantarella J., Kusner R. B., Sullivan J. M. 
| arxiv = math/0103224
| arxiv = math/0103224
| doi = 10.1007/s00222-002-0234-y
| doi = 10.1007/s00222-002-0234-y
| выпуск = 2
| издание = Inventiones Mathematicae
| издание = Inventiones Mathematicae
| mr = 1933586
| mr = 1933586
| заглавие = On the minimum ropelength of knots and links
| заглавие = On the minimum ropelength of knots and links
| том = 150
| volume = 150, no. 2
| год = 2002
| год = 2002
|ref= Cantarella, Kusner, Sullivan
|ref= Cantarella, Kusner, Sullivan
}}
}}
* {{статья
* {{статья
| автор = Hans Dirnböck, Hellmuth Stachel
| автор =Dirnböck H., Stachel H. 
| выпуск = 2
| издание = Journal for Geometry and Graphics
| издание = Journal for Geometry and Graphics
| mr = 1622664
| mr = 1622664
| заглавие = The development of the oloid
| заглавие = The development of the oloid
| url = http://www.heldermann-verlag.de/jgg/jgg01_05/jgg0113.pdf
| url = http://www.heldermann-verlag.de/jgg/jgg01_05/jgg0113.pdf
| том = 1
| volume = 1, no. 2
| год = 1997
| год = 1997
| ref=Dirnböck, Stachel
}}
}}
* {{книга
* {{книга
| заглавие=Algebraic Topology
| заглавие=Algebraic Topology
| год=2002
| год=2002
| автор=Allen Hatcher
| автор=Hatcher, Allen. 
| isbn= 9787302105886
| isbn= 9787302105886
| url=http://books.google.com/books?id=xsIiEhRfwuIC&pg=PA24
| url=http://books.google.com/books?id=xsIiEhRfwuIC&pg=PA24
Строка 123: Строка 87:
}}
}}
* {{статья
* {{статья
|автор= Heinz Hopf
|автор=Hopf, Heinz
|заглавие= Über die Abbildungen der dreidimensionalen Sphäre auf die Kugelfläche
|заглавие= Über die Abbildungen der dreidimensionalen Sphäre auf die Kugelfläche
|издание= [[Mathematische Annalen]]
|издание= [[Mathematische Annalen]]
|издательство= [[Springer-Verlag|Springer]]
|издательство= [[Springer-Verlag|Springer]]
|место= Berlin
|место= Berlin
|том= 104
|volume 104, no. 1
|выпуск= 1
|год= 1931
|год= 1931
|url= http://resolver.sub.uni-goettingen.de/purl?GDZPPN002274760
|url= http://resolver.sub.uni-goettingen.de/purl?GDZPPN002274760
Строка 136: Строка 99:
}}
}}
* {{книга
* {{книга
| заглавие =On Knots
| автор = В. В. Прасолов, А. Б. Сосинский
| volume =115
| заглавие = Узлы, зацепления, косы и трёхмерные многообразия
| серия =Annals of Mathematics Studies
| издательство = МЦНМО
| автор =Kauffman, Louis H. 
| год = 1997
| издательство =Princeton University Press
| место = М.
| год =1987
| ISBN = 5-900916-10-3
|isbn=9780691084350
|ref=Прасолов, Сосинский
|url=http://books.google.com/books?id=BLvGkIY8YzwC&pg=PA373
|ref= Kauffman
}}
* {{книга
| автор =Kusner R. B., Sullivan J. M. 
| вклад = On distortion and thickness of knots
| doi = 10.1007/978-1-4612-1712-1_7
| место = New York
| mr = 1655037
| издательство = Springer
| серия = IMA Vol. Math. Appl.
| заглавие = Topology and geometry in polymer science (Minneapolis, MN, 1996)
| volume = 103
| год = 1998
|ref= Kusner, Sullivan
}}
* {{книга
| заглавие =Basic Algebraic Topology
| автор =Shastri, Anant R. 
| издательство =CRC Press
| год =2013
|isbn=9781466562431
|url=http://books.google.com/books?id=lYMAAQAAQBAJ&pg=PA368|page=368
|ref= Shastri
}}
* {{книга
| заглавие =Quantum Invariants of Knots and 3-manifolds
| volume =18
| серия =De Gruyter studies in mathematics
| автор =Turaev, Vladimir G. 
| издательство =Walter de Gruyter
| год =2010
| isbn =9783110221831
|url=http://books.google.com/books?id=w7dActmezxQC&pg=PA194
|ref= Turaev
}}
}}


Строка 150: Строка 148:


{{rq|checktranslate|topic=math}}
{{rq|checktranslate|topic=math}}
{{Нет полных библиографических описаний}}


[[Категория:Теория узлов]]
[[Категория:Теория узлов]]

Версия от 17:31, 4 октября 2016

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

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

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

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

Свойства

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

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

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

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

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

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

История

Герб Бузан-ха[англ.]

Зацепление названо именем тополога Хайнца Хопфа, исследовавшего его в 1931 году в работе по расслоению Хопфа[13]. Однако такое зацепление использовал ещё Гаусс[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. См. en:tricolorability.
  12. Shastri, 2013, p. 368.
  13. 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.

Ссылки