Теорема Фари — Милнора о повороте узла

Теоре́ма Фа́ри — Ми́лнора утверждает что вариация поворота любого узла превышает $4{\cdot }\pi$ .

История править

Вопрос был сформулирован Каролем Борсуком и доказан независимо тремя математиками: Иштваном Фари, Хайнцем Хопфом в 1949 году и Джоном Милнором в 1950 году. Хайнц Хопф не опубликовал своё доказательство. Об этом доказательстве говорит замечание добавленное Иштваном Фари к гранкам своей статьи. В нём говорится, что Хопф использовал работу Эрики Панвиц^[en] о существовании прямой, пересекающей узел в четырёх точках.

Формулировка править

Пусть $K$ — узел в трёхмерном евклидовом пространстве. Если вариация поворота $K$ не превосходит $4{\cdot }\pi$ , то узел $K$ — тривиальный.

В частности, если $K$ — гладкий узел, и $k=k(p)$ — его кривизна в точке $p$ , то неравенство

\int \limits _{\ p\in K}k(p)\leqslant 4{\cdot }\pi

влечёт, что узел $K$ — тривиальный.

О доказательствах править

Доказательство Милнора основано на варианте формулы Крофтона для вариации поворота кривой и простом факте, что проекция узла на любую прямую имеет хотя бы 4 точки поворота. Доказательство Фари более сложное, оно также использует аналог формулы Крофтона для вариации поворота кривой и нетривиальный факт что вариация поворота проекции узла на любую плоскость не меньше $4\pi$ .

Доказательство Александер и Бишопа более элементарно, оно не использует формулы Крофтона и основывается на многократном использовании факта, что вариация поворота вписанной ломаной не превосходит вариации поворота кривой.

Другое доказательство основано на существовании альтернированной четырёхкратной секущей. То есть для любого узла можно найти прямую, пересекающую его в четырёх токах $a,b,c,d$ , которые появляются на прямой в том же порядке, а на кривой в порядке $a,c,b,d$ .^[1] По всей видимости, это и есть доказательство, найденное, но не опубликованное Хайнцем Хопфом.

Также есть доказательство, основанное на использовании минимальных поверхностей, оно опирается на тот факт, что если поворот кривой не превосходит $4\pi$ , то диск с границей на кривой, минимизирующий площадь, является вложенным.^[2]

Вариации и обобщения править

Верно также, что любая замкнутая простая кривая в CAT(0)-пространстве с вариацией поворота меньше чем $4\pi$ ограничивает вложенный диск^[3].

См. также править

Теорема Фенхеля о повороте кривой

Примечания править

↑ Denne, Elizabeth Jane (2004), Alternating quadrisecants of knots, Ph.D. thesis (англ.), University of Illinois at Urbana-Champaign, arXiv:math/0510561, Bibcode:2005math.....10561D.
↑ Ekholm T., White B., Wienholtz, D. Embeddedness of minimal surfaces with total boundary curvature at most 4π (англ.) // Ann. Math.. — 2002. — P. 209–234. Архивировано 15 февраля 2022 года.
↑ Alexander, Stephanie B.; Bishop, Richard L. The Fary–Milnor theorem in Hadamard manifolds (англ.) // Proc. Amer. Math. Soc.. — 1998. — Vol. 126, no. 11. — P. 3427–3436.

Литература править

I. Fary, Sur la courbure totale d’une courbe gauche faisant un nœud (фр.), Bulletin de la Société Mathématique de France, 77 (1949), 128—138.
Karol Borsuk. Sur la courbure totale des courbes fermées (фр.). Ann. Soc. Polon. Math. 20 (1947), 251–265 (1948).
J. W. Milnor, On the total curvature of knots (англ.), Annals of Mathematics, 52 (1950), 248—257.
Anton Petrunin, Stephan Stadler. Six proofs of the Fáry–Milnor theorem (англ.). — arXiv:2203.15137.

[1] Denne, Elizabeth Jane (2004), Alternating quadrisecants of knots, Ph.D. thesis (англ.), University of Illinois at Urbana-Champaign, arXiv:math/0510561, Bibcode:2005math.....10561D.

[2] Ekholm T., White B., Wienholtz, D. Embeddedness of minimal surfaces with total boundary curvature at most 4π (англ.) // Ann. Math.. — 2002. — P. 209–234. Архивировано 15 февраля 2022 года.

[3] Alexander, Stephanie B.; Bishop, Richard L. The Fary–Milnor theorem in Hadamard manifolds (англ.) // Proc. Amer. Math. Soc.. — 1998. — Vol. 126, no. 11. — P. 3427–3436.

[1]

[2]

[3]