# Curve

*This article is about the term used in mathematics. There is also a magazine called Curve.*

**curve**tries to capture our intuitive idea of a geometrical

**one-dimensional**and

**continuous**object. Simple examples are the circle or the straight line. A large number of other curves have been studied in geometry.

This article is about the general theory. The term ** curve** is also used in ways making it almost synonymous with mathematical function (as in

*learning curve*), or graph of a function (Phillips curve).

Table of contents |

2 Conventions and terminology 3 Length of curves 4 Differential geometry 5 Algebraic curve 6 History 7 Related articles 8 External links |

## Definitions

In mathematics, a (topological) **curve** is defined as follows. Let I be an interval of real numbers (i.e. a non-empty connected subset of **R**). Then a curve γ is a continuous mapping γ : I → X, where X is a topological space. The curve γ is said to be **simple** if it is injective, i.e. if for all *x*, *y* in I, we have γ(*x*) = γ(*y*) ⇒ *x* = *y*. If I is a closed bounded interval [*a*, *b*], we also allow the possibility γ(*a*) = γ(*b*) (this convention makes possible to talk about closed simple curve).

A curve γ is said to be **closed** or **a loop** if I = [*a*, *b*] and if γ(*a*) = γ(*b*). A closed curve is thus a continuous mapping of the circle *S*^{1}; a **simple closed curve** is also called a **Jordan curve**.

This definition of curve captures our intuitive notion of a curve as a connected, continuous geometric figure that is "like" a line, although it also includes figures that can be hardly called curves in common usage. For example, the image of a curve can cover a square in the plane (Peano curve). The image of simple plane curve can have Hausdorff dimension bigger than one (see Koch snowflake) and even positive Lebesgue measure (the last example can be obtained by small variation of the Peano curve construction). The dragon curve is yet another weird example.

## Conventions and terminology

The distinction between a curve and its image is important. Two distinct curves may have the same image. For example, a line segment can be traced out at different speeds, or a circle can be traversed a different number of times. Many times, however, we are just interested in the image of the curve. It is important to pay attention to context and convention in reading.

Terminology is also not uniform. Often, topologists use the term "path" for what we are calling a curve, and "curve" for what we are calling the image of a curve. The term "curve" is more common in vector calculus and differential geometry.

## Length of curves

If X is a metric space with metric *d*, then we can define the *length* of a curve γ : [*a*, *b*] → X by

**natural**(or

**unit speed**or

**parametrised by arc length**) if for any

*t*

_{1},

*t*

_{2}in [

*a*,

*b*], we have

*t*

_{0}as

**R**

^{n}is Euclidean space and γ : [

*a*,

*b*] →

**R**

^{n}is differentiable then

## Differential geometry

*See main article*

*differential geometry of curves*

While the first examples of curves that are met are mostly plane curves (that is, in everyday words, *curved lines* in *two-dimensional space*), there are obvious examples such as the helix which exist naturally in three dimensions. The needs of geometry, and also for example classical mechanics are to have a notion of curve in space of any number of dimensions. In general relativity, a world line is a curve in spacetime.

If *X* is a differentiable manifold, then we can define the notion of *differentiable curve* in *X*. This general idea is enough to cover many of the applications of curves in mathematics. From a local point of view one can take *X* to be Euclidean space. On the other hand it is useful to be more general, in that (for example) it is possible to define the tangent vectors to *X* by means of this notion of curve.

If *X* is a smooth manifold, a *smooth curve* in *X* is a smooth map

- γ :
*I*→*X*.

*X*is a

*C*

^{k}manifold (i.e. a manifold whose charts are

*k*times continuously differentiable), then a

*C*

^{k}curve in X is such a curve which aassumed only is

*C*

^{k}(i.e.

*k*times continuously differentiable). If

*X*is an analytic manifold (i.e.

*k*= ω, charts are expressible as power series), and γ is an analytic map, then γ is called an

*analytic curve*.

A differentiable curve is said to be *regular* if its derivative never vanishes. (In words, a regular curve never slows to a stop or backtracks on itself.) Two *C*^{k} differentiable curves

- γ
_{1}:*I*→*X*and - γ
_{2}: J → X

*equivalent*if there is a bijective

*C*

^{k}map

*p*: J → I

*p*^{−1}: I → J

*C*

^{k}, and

- γ
_{2}(*t*) = :γ_{1}(*p*(*t*))

- γ

*t*. The map :γ

_{2}is called a

*reparametrisation*of :γ

_{1}; and this makes an equivalence relation on the set of all

*C*

^{k}differentiable curves in X. A

*C*

^{k}

*arc*is an equivalence class of

*C*

^{k}curves under the relation of reparametrisation.

## Algebraic curve

*See main article **algebraic curve*

In the setting of algebraic geometry, a curve is usually defined to be an algebraic curve. These include, for example, elliptic curves, which are studied in number theory and which have important applications to cryptography. Algebraic curves are more akin to surfaces than curves. Non-singular complex projective algebraic curves are in fact compact Riemann surfaces.

## History

A curve may be a locus, or a path. That is, it may be a graphical representation of some property of points; or it may be traced out, for example by a stick in the sand on a beach. Of course if one says curved in ordinary language, it means bent (not straight), so refers to a locus. This leads to the general idea of curvature. As we now understand, after Newtonian dynamics, to follow a curved path a body must experience acceleration. Before that, the application of current ideas to (for example) the physics of Aristotle is probably anachronistic. This is important because major examples of curves are the orbits of the planets. One reason for the use of the Ptolemaic system of epicycle and deferent was the special status accorded to the circle as curve.

The conic sections had been deeply studied by Apollonius of Perga. They were applied in astronomy by Kepler. The Greek geometers had studied many other kinds of curves. One reason was their interest in geometric constructions, going beyond ruler-and-compass constructions. In that way, the intersection of curves could be used to solve some polynomial equations, such as that involved in trisecting an angle.

Newton also worked on an early example in the calculus of variations. Solutions to variational problems, such as the brachistochrone and tautochrone questions, introduced properties of curves in new ways (in this case, the cycloid). The catenary gets its name as the solution to the problem of a hanging chain, the sort of question that became routinely accessible by means of differential calculus.

In the eighteenth century came the beginnings of the theory of plane algebraic curves, in general. Newton had studied the cubic curves, in the general description of the real points into 'ovals'. The statement of Bézout's theorem showed a number of aspects which were not directly accessibel to the geometry of the time, to do with singular points and complex solutions.

From the nineteenth century there is not a separate curve theory, but rather the appearance of curves as the one-dimensional aspect of projective geometry, and differential geometry; and later topology, when for example the Jordan curve theorem was understood to lie quite deep, as well as being required in complex analysis. The era of the space-filling curves finally provoked the modern definitions of curve.

## Related articles

## External links