Fáry–Milnor theorem

Fáry–Milnor theorem This article is about curvature of knots. For the theorem concerning straight-line embeddings of planar graphs, see Fáry's theorem.

In the mathematical theory of knots, the Fáry–Milnor theorem, named after István Fáry and John Milnor, states that three-dimensional smooth curves with small total curvature must be unknotted. The theorem was proved independently by Fáry in 1949 and Milnor in 1950. It was later shown to follow from the existence of quadrisecants (Denne 2004).

Inhalt 1 Aussage 2 Generalizations to non-smooth curves 3 Verweise 4 External links Statement If K is any closed curve in Euclidean space that is sufficiently smooth to define the curvature κ at each of its points, and if the total absolute curvature is less than or equal to 4π, then K is an unknot, d.h.: {Anzeigestil {Text{Wenn}},Punkt _{K}!|Kappa (s)|,Name des Bedieners {d} sleq 4pi {Text{dann}} K {Text{is an unknot}}.} The seam of a baseball follows an unknotted curve with total curvature roughly 4π. By making the curve more convoluted, unknots can be made to have arbitrarily large curvature.

The contrapositive tells us that if K is not an unknot, d.h. K is not isotopic to the circle, then the total curvature will be strictly greater than 4π. Notice that having the total curvature less than or equal to 4π is merely a sufficient condition for K to be an unknot; it is not a necessary condition. Mit anderen Worten, although all knots with total curvature less than or equal to 4π are the unknot, there exist unknots with curvature strictly greater than 4π.

Generalizations to non-smooth curves For closed polygonal chains the same result holds with the integral of curvature replaced by the sum of angles between adjacent segments of the chain. By approximating arbitrary curves by polygonal chains one may extend the definition of total curvature to larger classes of curves, within which the Fáry–Milnor theorem also holds (Milnor 1950, Sullivan 2008).

References Denne, Elizabeth Jane (2004), Alternating quadrisecants of knots, Ph.D. These, University of Illinois at Urbana-Champaign, arXiv:math/0510561, Bibcode:2005math.....10561D. Fary, ich. (1949), "Sur la courbure totale d'une courbe gauche faisant un nœud", Bulletin der Mathematischen Gesellschaft von Frankreich, 77: 128–138. Milnor, J. W. (1950), "On the total curvature of knots", Annalen der Mathematik, 52 (2): 248–257, doi:10.2307/1969467. Sullivan, John M. (2008), "Curves of finite total curvature", Discrete differential geometry, Oberwolfach Semin., vol. 38, Birkhäuser, Basel, pp. 137–161, arXiv:math/0606007, doi:10.1007/978-3-7643-8621-4_7, HERR 2405664. External links Fenner, Stephen A. (1990), The total curvature of a knot (long). Fenner describes a geometric proof of the theorem, and of the related theorem that any smooth closed curve has total curvature at least 2π. Kategorien: Knot theoryTheorems in topology

Wenn Sie andere ähnliche Artikel wissen möchten Fáry–Milnor theorem Sie können die Kategorie besuchen Knot theory.

Hinterlasse eine Antwort

Deine Email-Adresse wird nicht veröffentlicht.

Geh hinauf

Wir verwenden eigene Cookies und Cookies von Drittanbietern, um die Benutzererfahrung zu verbessern Mehr Informationen