Curvature of Riemannian manifolds of dimension at least two can be defined intrinsically without reference to a larger space.
In Tractatus de configurationibus qualitatum et motuum,[1] the 14th-century philosopher and mathematician Nicole Oresme introduces the concept of curvature as a measure of departure from straightness; for circles he has the curvature as being inversely proportional to the radius; and he attempts to extend this idea to other curves as a continuously varying magnitude.
In this setting, Augustin-Louis Cauchy showed that the center of curvature is the intersection point of two infinitely close normal lines to the curve.
To be meaningful, the definition of the curvature and its different characterizations require that the curve is continuously differentiable near P, for having a tangent that varies continuously; it requires also that the curve is twice differentiable at P, for insuring the existence of the involved limits, and of the derivative of T(s).
[6] In the case of a plane curve, this means the existence of a parametrization γ(s) = (x(s), y(s)), where x and y are real-valued differentiable functions whose derivatives satisfy This means that the tangent vector has a length equal to one and is thus a unit tangent vector.
Here proper means that on the domain of definition of the parametrization, the derivative dγ/dt is defined, differentiable and nowhere equal to the zero vector.
With such a parametrization, the signed curvature is where primes refer to derivatives with respect to t. The curvature κ is thus These can be expressed in a coordinate-free way as These formulas can be derived from the special case of arc-length parametrization in the following way.
More precisely, using big O notation, one has It is common in physics and engineering to approximate the curvature with the second derivative, for example, in beam theory or for deriving the wave equation of a string under tension, and other applications where small slopes are involved.
This results from the formula for general parametrizations, by considering the parametrization For a curve defined by an implicit equation F(x, y) = 0 with partial derivatives denoted Fx , Fy , Fxx , Fxy , Fyy , the curvature is given by[7] The signed curvature is not defined, as it depends on an orientation of the curve that is not provided by the implicit equation.
The above formula for the curvature can be derived from the expression of the curvature of the graph of a function by using the implicit function theorem and the fact that, on such a curve, one has It can be useful to verify on simple examples that the different formulas given in the preceding sections give the same result.
This parametrization gives the same value for the curvature, as it amounts to division by r3 in both the numerator and the denominator in the preceding formula.
The (unsigned) curvature is maximal for x = –b/2a, that is at the stationary point (zero derivative) of the function, which is the vertex of the parabola.
Substituting into the formula for general parametrizations gives exactly the same result as above, with x replaced by t. If we use primes for derivatives with respect to the parameter t. The same parabola can also be defined by the implicit equation F(x, y) = 0 with F(x, y) = ax2 + bx + c – y.
The expression of the curvature In terms of arc-length parametrization is essentially the first Frenet–Serret formula where the primes refer to the derivatives with respect to the arc length s, and N(s) is the normal unit vector in the direction of T′(s).
As planar curves have zero torsion, the second Frenet–Serret formula provides the relation For a general parametrization by a parameter t, one needs expressions involving derivatives with respect to t. As these are obtained by multiplying by ds/dt the derivatives with respect to s, one has, for any proper parametrization A curvature comb[8] can be used to represent graphically the curvature of every point on a curve.
For a parametrically-defined space curve in three dimensions given in Cartesian coordinates by γ(t) = (x(t), y(t), z(t)), the curvature is where the prime denotes differentiation with respect to the parameter t. This can be expressed independently of the coordinate system by means of the formula[9] where × denotes the vector cross product.
Furthermore, by considering the limit independently on either side of P, this definition of the curvature can sometimes accommodate a singularity at P. The formula follows by verifying it for the osculating circle.
Let the curve be arc-length parametrized, and let t = u × T so that T, t, u form an orthonormal basis, called the Darboux frame.
Taking all possible tangent vectors, the maximum and minimum values of the normal curvature at a point are called the principal curvatures, k1 and k2, and the directions of the corresponding tangent vectors are called principal normal directions.
Some curved surfaces, such as those made from a smooth sheet of paper, can be flattened down into the plane without distorting their intrinsic features in any way.
It has a dimension of length−2 and is positive for spheres, negative for one-sheet hyperboloids and zero for planes and cylinders.
For example, an ant living on a sphere could measure the sum of the interior angles of a triangle and determine that it was greater than 180 degrees, implying that the space it inhabited had positive curvature.
This is Gauss's celebrated Theorema Egregium, which he found while concerned with geographic surveys and mapmaking.
An intrinsic definition of the Gaussian curvature at a point P is the following: imagine an ant which is tied to P with a short thread of length r. It runs around P while the thread is completely stretched and measures the length C(r) of one complete trip around P. If the surface were flat, the ant would find C(r) = 2πr.
Such an intrinsically curved two-dimensional surface is a simple example of a Riemannian manifold.
After the discovery of the intrinsic definition of curvature, which is closely connected with non-Euclidean geometry, many mathematicians and scientists questioned whether ordinary physical space might be curved, although the success of Euclidean geometry up to that time meant that the radius of curvature must be astronomically large.
Although an arbitrarily curved space is very complex to describe, the curvature of a space which is locally isotropic and homogeneous is described by a single Gaussian curvature, as for a surface; mathematically these are strong conditions, but they correspond to reasonable physical assumptions (all points and all directions are indistinguishable).
An example of negatively curved space is hyperbolic geometry (see also: non-positive curvature).
This generalization of curvature depends on how nearby test particles diverge or converge when they are allowed to move freely in the space; see Jacobi field.
A closely related notion of curvature comes from gauge theory in physics, where the curvature represents a field and a vector potential for the field is a quantity that is in general path-dependent: it may change if an observer moves around a loop.