Total curvature

From Wikipedia, the free encyclopedia
Jump to: navigation, search
This curve has total curvature 6π, and index/turning number 3, though it only has winding number 2 about p.

In mathematical study of the differential geometry of curves, the total curvature of an immersed plane curve is the integral of curvature along a curve taken with respect to arc length:

\int_a^b k(s)\,ds.

The total curvature of a closed curve is always an integer multiple of 2π, called the index of the curve, or turning number – it is the winding number of the unit tangent vector about the origin, or equivalently the degree of the map to the unit circle assigning to each point of the curve, the unit velocity vector at that point. This map is similar to the Gauss map for surfaces.

Comparison to surfaces[edit]

This relationship between a local geometric invariant, the curvature, and a global topological invariant, the index, is characteristic of results in higher-dimensional Riemannian geometry such as the Gauss–Bonnet theorem.

Invariance[edit]

According to the Whitney–Graustein theorem, the total curvature is invariant under a regular homotopy of a curve: it is the degree of the Gauss map. However, it is not invariant under homotopy: passing through a kink (cusp) changes the turning number by 1.

By contrast, winding number about a point is invariant under homotopies that do not pass through the point, and changes by 1 if one passes through the point.

Generalizations[edit]

A closed polygonal chain, with total curvature 2π.

A finite generalization is that the exterior angles of a triangle, or more generally any simple polygon, add up to 360° = 2π radians, corresponding to a turning number of 1. More generally, polygonal chains that do not go back on themselves (no 180° angles) have well-defined total curvature, interpreting the curvature as point masses at the angles.

The total curvature of a curve γ in a higher dimensional Euclidean space (equipped with its arclength parameterization) can be obtained by flattening out the tangent developable to γ into a plane, and computing the total curvature of the resulting curve. That is, the total curvature of a curve in n-dimensional space is

\int_a^b \left|\gamma''(s)\right|\sgn \kappa_{n-1}(s)\,ds

where κn−1 is last Frenet curvature (the torsion of the curve) and sgn is the signum function.

The minimum total curvature of any three-dimensional curve representing a given knot is an invariant of the knot. This invariant has the value 2π for the unknot, but by the Fary–Milnor theorem it is at least 4π for any other knot.

References[edit]