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

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску
[отпатрулированная версия][отпатрулированная версия]
Содержимое удалено Содержимое добавлено
оформление, стилевые правки, орфография
м стандартизация, оформление
Строка 1: Строка 1:
[[Файл: Hopf Link.png|thumb|right|Зацепление Хопфа
[[Файл: 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 /> Класс= тор
]]
]]


[[Файл:Skein-relation-link22-plus-sm.png|right|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|с= 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}}.


== Свойства ==
==Геометрическое представление==
В зависимости от относительной {{не переведено 5|Ориентация (геометрия)|ориентации||Orientation (geometry)}} двух компонентов [[коэффициент зацепления]] Хопфа равен ±1.{{sfn|Adams|2004}}.
Конкретная модель состоит из двух [[Единичная окружность|единичных окружностей]] в перпендикулярных плоскостях и каждая проходит через центр другой {{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}}.


Зацепления Хопфа является (2,2)-[[Торический узел|торическим зацеплением]]{{sfn|Kauffman|1987|с=373}} с [[Группа кос|описывающим словом]]{{sfn|Adams|2004|с=133, Exercise 5.22}} <math>\sigma_1^2</math>.
==Свойства==
В зависимости от относительной {{не переведено 5|Ориентация (геометрия)|ориентации||Orientation (geometry)}} двух компонентов [[коэффициент зацепления]] Хопфа равен &plusmn;1.{{sfn|Adams|2004}}.


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


Зацепление Хопфа не раскрашиваемо в три цвета. Это непосредственно следует из факта, что зацепление можно раскрасить лишь в два цвета, что противоречит второй части определения раскраски. В каждом пересечении будет максимум 2 цвета, так что при раскраске мы нарушим требование иметь 1 или 3 цвета в каждом пересечении, либо нарушим требование иметь более 1 цвета.
{{не переведено 5|Дополнение узла|Дополнение||knot complement}} зацепления Хопфа '''R'''&nbsp;&times;&nbsp;''S''<sup>1</sup>&nbsp;&times;&nbsp;''S''<sup>1</sup>, [[цилиндр]] над [[Тор (поверхность)|тором]]{{sfn|Turaev|2010|с=194 }}. Это пространство имеет [[Гипотеза Тёрстона|локальную евклидову геометрию]], так что зацепление Хопфа не является {{не переведено 5|Гиперболическое зацепление|гиперболическим||hyperbolic link}}. {{не переведено 5|Группа узлов|Группа узлов||knot group}} зацепления Хопфа ([[фундаментальная группа]] его дополнения) это '''Z'''<sup>2</sup> ( [[свободная абелева группа]] на двух генераторах) и она отличает зацепление Хопфа от двух незацеплённых окружностей, имеющих [[Свободная группа|свободную группу]] на двух генераторах{{sfn|Hatcher|2002|с=24}}.

Зацепление Хопфа не раскрашиваемо в три цвета. Это легко усматривается из факта, что зацепление можно раскрасить лишь в два цвета, что противоречит второй части определения раскраски. В каждом пересечении будет максимум 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|с=368}}.


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


==Смотрите также==
== См. также ==
*[[Катенаны]], химические соединения с двумя механически сцеплёнными молекулами
* [[Катенаны]], химические соединения с двумя механически сцеплёнными молекулами
*{{не переведено 5|Узел Соломона|Узел Соломона||Solomon's knot}}, два кольца с двойным зацеплением
* {{не переведено 5|Узел Соломона|Узел Соломона||Solomon's knot}}, два кольца с двойным зацеплением


==Примечания==
== Примечания ==
{{reflist|2}}
{{примечания|2}}


==Литература==
== Литература ==
*{{книга
* {{книга
| заглавие =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 Adams
Строка 50: Строка 48:
|ref= Adams
|ref= Adams
}}
}}
*{{книга
* {{книга
| заглавие =On Knots
| заглавие =On Knots
| том =115
| том =115
Строка 61: Строка 59:
|ref= Kauffman
|ref= Kauffman
}}
}}
*{{книга
* {{книга
| заглавие =Quantum Invariants of Knots and 3-manifolds
| заглавие =Quantum Invariants of Knots and 3-manifolds
| том =18
| том =18
Строка 72: Строка 70:
|ref= Turaev
|ref= Turaev
}}
}}
*{{книга
* {{книга
| заглавие =Basic Algebraic Topology
| заглавие =Basic Algebraic Topology
| автор =Anant R. Shastri
| автор =Anant R. Shastri
Строка 81: Строка 79:
|ref= Shastri
|ref= Shastri
}}
}}
*{{книга
* {{книга
| автор = Robert B. Kusner, John M. Sullivan
| автор = Robert B. Kusner, John M. Sullivan
| вклад = On distortion and thickness of knots
| вклад = On distortion and thickness of knots
Строка 94: Строка 92:
|ref= Kusner, Sullivan
|ref= Kusner, Sullivan
}}
}}
*{{статья
* {{статья
| автор = Jason Cantarella, Robert B. Kusner, John M. Sullivan
| автор = Jason Cantarella, Robert B. Kusner, John M. Sullivan
| arxiv = math/0103224
| arxiv = math/0103224
Строка 106: Строка 104:
|ref= Cantarella, Kusner, Sullivan
|ref= Cantarella, Kusner, Sullivan
}}
}}
*{{citation
* {{citation
| автор = Hans Dirnböck, Hellmuth Stachel
| автор = Hans Dirnböck, Hellmuth Stachel
| выпуск = 2
| выпуск = 2
Строка 116: Строка 114:
| год = 1997
| год = 1997
}}
}}
*{{книга
* {{книга
|заглавие=Algebraic Topology
|заглавие=Algebraic Topology
|год=2002
|год=2002
Строка 124: Строка 122:
|ref=Hatcher
|ref=Hatcher
}}
}}
*{{статья
* {{статья
|автор= Heinz Hopf
|автор= Heinz Hopf
|заглавие= Über die Abbildungen der dreidimensionalen Sphäre auf die Kugelfläche
|заглавие= Über die Abbildungen der dreidimensionalen Sphäre auf die Kugelfläche
Строка 137: Строка 135:
|ref=Hopf
|ref=Hopf
}}
}}
*{{книга
* {{книга
| автор = В. В. Прасолов, А.Б. Сосинский
| автор = В. В. Прасолов, А.Б. Сосинский
| заглавие = Узлы, зацепления, косы и трёхмерные многообразия
| заглавие = Узлы, зацепления, косы и трёхмерные многообразия
Строка 146: Строка 144:
|ref=Прасолов, Сосинский
|ref=Прасолов, Сосинский
}}
}}

==Внешние ссылки==
== Ссылки ==
*{{MathWorld|urlname=HopfLink|title=Hopf Link}}
* {{MathWorld|urlname=HopfLink|title=Hopf Link}}
*[http://katlas.math.toronto.edu/wiki/L2a1 Hopf link] Knot Atlas
* [http://katlas.math.toronto.edu/wiki/L2a1 Hopf link] Knot Atlas

{{rq|checktranslate|topic=math}}


[[Категория:Теория узлов]]
[[Категория:Теория узлов]]
{{rq|checktranslate}}

Версия от 09:42, 30 мая 2015

Зацепление Хопфа
Обозначение= 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, с. 67–78.
  3. 1 2 Прасолов, Сосинский, 1997, с. 12.
  4. Cantarella, Kusner, Sullivan, 2002, с. 257–286.
  5. Dirnböck, Stachel, 1997, с. 105–118.
  6. Adams, 2004.
  7. Kauffman, 1987, с. 373.
  8. Adams, 2004, с. 133, Exercise 5.22.
  9. Turaev, 2010, с. 194.
  10. Hatcher, 2002, с. 24.
  11. Shastri, 2013, с. 368.
  12. Hopf, 1931, с. 637–665.

Литература

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

Ссылки