Зацепление Хопфа: различия между версиями
[отпатрулированная версия] | [отпатрулированная версия] |
м +шаблон: некорректные викиссылки в сносках |
исправление неработающей ссылки на источник |
||
Строка 10: | Строка 10: | ||
[[Файл:Skein-relation-link22-plus-sm.png|thumb|[[Скейн-соотношение]] для зацепления Хопфа.]] |
[[Файл:Skein-relation-link22-plus-sm.png|thumb|[[Скейн-соотношение]] для зацепления Хопфа.]] |
||
'''Зацепление Хопфа''' — простейшее нетривиальное [[Теория узлов|зацепление]] с двумя и более компонентами {{sfn|Adams|2004|с=151}}, состоит из двух [[Окружность|окружностей]], зацеплённых однократно{{sfn|Kusner, Sullivan|1998| |
'''Зацепление Хопфа''' — простейшее нетривиальное [[Теория узлов|зацепление]] с двумя и более компонентами {{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}}. [[Выпуклая оболочка]] этих двух окружностей образует тело, называемое {{не переведено 5|Олоид|олоидом||oloid}}{{sfn|Dirnböck, Stachel|1997|p=105–118}}. |
||
== Свойства == |
== Свойства == |
||
В зависимости от относительной {{не переведено 5|Ориентация (геометрия)|ориентации||Orientation (geometry)}} двух компонент [[коэффициент зацепления]] Хопфа равен ±1 |
В зависимости от относительной {{не переведено 5|Ориентация (геометрия)|ориентации||Orientation (geometry)}} двух компонент [[коэффициент зацепления]] Хопфа равен ±1{{sfn|Adams|2004}}. |
||
Зацепления Хопфа является (2,2)-[[Торический узел|торическим зацеплением]]{{sfn|Kauffman|1987| |
Зацепления Хопфа является (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| |
{{не переведено 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| |
[[Расслоение Хопфа]] — это непрерывное отображение из [[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| |
Зацепление названо именем тополога [[Хопф, Хайнц|Хайнца Хопфа]], исследовавшего его в [[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, 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 |
|||
}} |
}} |
||
* {{статья |
* {{статья |
||
| автор = |
| автор =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 |
||
| |
| volume = 150, no. 2 |
||
| год = 2002 |
| год = 2002 |
||
|ref= Cantarella, Kusner, Sullivan |
|ref= Cantarella, Kusner, Sullivan |
||
}} |
}} |
||
* {{статья |
* {{статья |
||
| автор = |
| автор =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 |
||
| |
| volume = 1, no. 2 |
||
| год = 1997 |
| год = 1997 |
||
| ref=Dirnböck, Stachel |
|||
}} |
}} |
||
* {{книга |
* {{книга |
||
| заглавие=Algebraic Topology |
| заглавие=Algebraic Topology |
||
| год=2002 |
| год=2002 |
||
| автор= |
| автор=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, 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 |
||
| |
|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
Зацепление Хопфа — простейшее нетривиальное зацепление с двумя и более компонентами [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 столетии.
См. также
- Катенаны, химические соединения с двумя механически сцеплёнными молекулами
- Узел Соломона, два кольца с двойным зацеплением
Примечания
- ↑ Adams, 2004, с. 151.
- ↑ 1 2 Kusner, Sullivan, 1998, p. 67–78.
- ↑ 1 2 Прасолов, Сосинский, 1997, с. 12.
- ↑ Cantarella, Kusner, Sullivan, 2002, p. 257–286.
- ↑ Dirnböck, Stachel, 1997, p. 105–118.
- ↑ Adams, 2004.
- ↑ Kauffman, 1987, p. 373.
- ↑ Adams, 2004, p. 133, Exercise 5.22.
- ↑ Turaev, 2010, p. 194.
- ↑ Hatcher, 2002, p. 24.
- ↑ См. en:tricolorability.
- ↑ Shastri, 2013, p. 368.
- ↑ 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.
Ссылки
Для улучшения этой статьи по математике желательно:
|