![Parabola](https://upload.wikimedia.org/wikipedia/commons/9/9e/Parabola.svg)
In
mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...
, a curve (also called a curved line in older texts) is an object similar to a
line
Line most often refers to:
* Line (geometry), object with zero thickness and curvature that stretches to infinity
* Telephone line, a single-user circuit on a telephone communication system
Line, lines, The Line, or LINE may also refer to:
Arts ...
, but that does not have to be
straight.
Intuitively, a curve may be thought of as the trace left by a moving
point
Point or points may refer to:
Places
* Point, Lewis, a peninsula in the Outer Hebrides, Scotland
* Point, Texas, a city in Rains County, Texas, United States
* Point, the NE tip and a ferry terminal of Lismore, Inner Hebrides, Scotland
* Point ...
. This is the definition that appeared more than 2000 years ago in
Euclid's ''Elements'': "The
urvedline is
the first species of quantity, which has only one dimension, namely length, without any width nor depth, and is nothing else than the flow or run of the point which
will leave from its imaginary moving some vestige in length, exempt of any width."
This definition of a curve has been formalized in modern mathematics as: ''A curve is the
image
An image is a visual representation of something. It can be two-dimensional, three-dimensional, or somehow otherwise feed into the visual system to convey information. An image can be an artifact, such as a photograph or other two-dimensiona ...
of an
interval to a
topological space
In mathematics, a topological space is, roughly speaking, a geometrical space in which closeness is defined but cannot necessarily be measured by a numeric distance. More specifically, a topological space is a set whose elements are called points ...
by a
continuous function
In mathematics, a continuous function is a function such that a continuous variation (that is a change without jump) of the argument induces a continuous variation of the value of the function. This means that there are no abrupt changes in value ...
''. In some contexts, the function that defines the curve is called a ''parametrization'', and the curve is a
parametric curve. In this article, these curves are sometimes called ''topological curves'' to distinguish them from more constrained curves such as
differentiable curves. This definition encompasses most curves that are studied in mathematics; notable exceptions are
level curve
In mathematics, a level set of a real-valued function of real variables is a set where the function takes on a given constant value , that is:
: L_c(f) = \left\~,
When the number of independent variables is two, a level set is calle ...
s (which are
unions of curves and isolated points), and
algebraic curves (see below). Level curves and algebraic curves are sometimes called
implicit curves, since they are generally defined by
implicit equations.
Nevertheless, the class of topological curves is very broad, and contains some curves that do not look as one may expect for a curve, or even cannot be drawn. This is the case of
space-filling curve
In mathematical analysis, a space-filling curve is a curve whose range contains the entire 2-dimensional unit square (or more generally an ''n''-dimensional unit hypercube). Because Giuseppe Peano (1858–1932) was the first to discover one, space ...
s and
fractal curves. For ensuring more regularity, the function that defines a curve is often supposed to be
differentiable, and the curve is then said to be a
differentiable curve.
A
plane algebraic curve is the
zero set of a
polynomial
In mathematics, a polynomial is an expression consisting of indeterminates (also called variables) and coefficients, that involves only the operations of addition, subtraction, multiplication, and positive-integer powers of variables. An exa ...
in two
indeterminate
Indeterminate may refer to:
In mathematics
* Indeterminate (variable), a symbol that is treated as a variable
* Indeterminate system, a system of simultaneous equations that has more than one solution
* Indeterminate equation, an equation that ha ...
s. More generally, an
algebraic curve is the zero set of a finite set of polynomials, which satisfies the further condition of being an
algebraic variety
Algebraic varieties are the central objects of study in algebraic geometry, a sub-field of mathematics. Classically, an algebraic variety is defined as the set of solutions of a system of polynomial equations over the real or complex numbers. Mo ...
of
dimension
In physics and mathematics, the dimension of a Space (mathematics), mathematical space (or object) is informally defined as the minimum number of coordinates needed to specify any Point (geometry), point within it. Thus, a Line (geometry), lin ...
one. If the coefficients of the polynomials belong to a
field
Field may refer to:
Expanses of open ground
* Field (agriculture), an area of land used for agricultural purposes
* Airfield, an aerodrome that lacks the infrastructure of an airport
* Battlefield
* Lawn, an area of mowed grass
* Meadow, a grass ...
, the curve is said to be ''defined over'' . In the common case of a
real algebraic curve In mathematics, real algebraic geometry is the sub-branch of algebraic geometry studying real algebraic sets, i.e. real-number solutions to algebraic equations with real-number coefficients, and mappings between them (in particular real polynomial ...
, where is the field of
real number
In mathematics, a real number is a number that can be used to measure a ''continuous'' one-dimensional quantity such as a distance, duration or temperature. Here, ''continuous'' means that values can have arbitrarily small variations. Every real ...
s, an algebraic curve is a finite union of topological curves. When
complex zeros are considered, one has a ''complex algebraic curve'', which, from the
topological point of view, is not a curve, but a
surface, and is often called a
Riemann surface
In mathematics, particularly in complex analysis, a Riemann surface is a connected one-dimensional complex manifold. These surfaces were first studied by and are named after Bernhard Riemann. Riemann surfaces can be thought of as deformed vers ...
. Although not being curves in the common sense, algebraic curves defined over other fields have been widely studied. In particular, algebraic curves over a
finite field
In mathematics, a finite field or Galois field (so-named in honor of Évariste Galois) is a field that contains a finite number of elements. As with any field, a finite field is a set on which the operations of multiplication, addition, subtr ...
are widely used in modern
cryptography
Cryptography, or cryptology (from grc, , translit=kryptós "hidden, secret"; and ''graphein'', "to write", or ''-logia'', "study", respectively), is the practice and study of techniques for secure communication in the presence of adver ...
.
History
![Newgrange Entrance Stone](https://upload.wikimedia.org/wikipedia/commons/6/62/Newgrange_Entrance_Stone.jpg)
Interest in curves began long before they were the subject of mathematical study. This can be seen in numerous examples of their decorative use in art and on everyday objects dating back to prehistoric
times.
[Lockwood p. ix] Curves, or at least their graphical representations, are simple to create, for example with a stick on the sand on a beach.
Historically, the term was used in place of the more modern term . Hence the terms and were used to distinguish what are today called lines from curved lines. For example, in Book I of
Euclid's Elements
The ''Elements'' ( grc, Στοιχεῖα ''Stoikheîa'') is a mathematical treatise consisting of 13 books attributed to the ancient Greek mathematician Euclid in Alexandria, Ptolemaic Egypt 300 BC. It is a collection of definitions, postulat ...
, a line is defined as a "breadthless length" (Def. 2), while a line is defined as "a line that lies evenly with the points on itself" (Def. 4). Euclid's idea of a line is perhaps clarified by the statement "The extremities of a line are points," (Def. 3). Later commentators further classified lines according to various schemes. For example:
*Composite lines (lines forming an angle)
*Incomposite lines
**Determinate (lines that do not extend indefinitely, such as the circle)
**Indeterminate (lines that extend indefinitely, such as the straight line and the parabola)
![Conic sections with plane](https://upload.wikimedia.org/wikipedia/commons/d/d3/Conic_sections_with_plane.svg)
The Greek
geometers had studied many other kinds of curves. One reason was their interest in solving geometrical problems that could not be solved using standard
compass and straightedge
In geometry, straightedge-and-compass construction – also known as ruler-and-compass construction, Euclidean construction, or classical construction – is the construction of lengths, angles, and other geometric figures using only an ideali ...
construction.
These curves include:
*The conic sections, studied in depth by
Apollonius of Perga
Apollonius of Perga ( grc-gre, Ἀπολλώνιος ὁ Περγαῖος, Apollṓnios ho Pergaîos; la, Apollonius Pergaeus; ) was an Ancient Greek geometer and astronomer known for his work on conic sections. Beginning from the contribution ...
*The
cissoid of Diocles, studied by
Diocles and used as a method to
double the cube.
*The
conchoid of Nicomedes
In geometry, a conchoid is a curve derived from a fixed point , another curve, and a length . It was invented by the ancient Greek mathematician Nicomedes.
Description
For every line through that intersects the given curve at the two points ...
, studied by
Nicomedes Nicomedes may refer to:
*Nicomedes (mathematician), ancient Greek mathematician who discovered the conchoid
*Nicomedes of Sparta, regent during the youth of King Pleistoanax, commanded the Spartan army at the Battle of Tanagra (457 BC)
*Saint Nicom ...
as a method to both double the cube and to
trisect an angle
Angle trisection is a classical problem of straightedge and compass construction of ancient Greek mathematics. It concerns construction of an angle equal to one third of a given arbitrary angle, using only two tools: an unmarked straightedge a ...
.
*The
Archimedean spiral
The Archimedean spiral (also known as the arithmetic spiral) is a spiral named after the 3rd-century BC Greek mathematician Archimedes. It is the locus corresponding to the locations over time of a point moving away from a fixed point with a con ...
, studied by
Archimedes
Archimedes of Syracuse (;; ) was a Greek mathematician, physicist, engineer, astronomer, and inventor from the ancient city of Syracuse in Sicily. Although few details of his life are known, he is regarded as one of the leading scientists ...
as a method to trisect an angle and
square the circle
Squaring the circle is a problem in geometry first proposed in Greek mathematics. It is the challenge of constructing a square with the area of a circle by using only a finite number of steps with a compass and straightedge. The difficulty ...
.
*The
spiric sections, sections of
tori studied by
Perseus
In Greek mythology, Perseus (Help:IPA/English, /ˈpɜːrsiəs, -sjuːs/; Greek language, Greek: Περσεύς, Romanization of Greek, translit. Perseús) is the legendary founder of Mycenae and of the Perseid dynasty. He was, alongside Cadmus ...
as sections of cones had been studied by Apollonius.
![Folium Of Descartes](https://upload.wikimedia.org/wikipedia/commons/a/ad/Folium_Of_Descartes.svg)
A fundamental advance in the theory of curves was the introduction of
analytic geometry
In classical mathematics, analytic geometry, also known as coordinate geometry or Cartesian geometry, is the study of geometry using a coordinate system. This contrasts with synthetic geometry.
Analytic geometry is used in physics and engineerin ...
by
René Descartes
René Descartes ( or ; ; Latinized: Renatus Cartesius; 31 March 1596 – 11 February 1650) was a French philosopher, scientist, and mathematician, widely considered a seminal figure in the emergence of modern philosophy and science. Mathem ...
in the seventeenth century. This enabled a curve to be described using an equation rather than an elaborate geometrical construction. This not only allowed new curves to be defined and studied, but it enabled a formal distinction to be made between
algebraic curves that can be defined using
polynomial equations, and
transcendental curve In analytical geometry , a transcendental curve is a curve that is not an algebraic curve.Newman, JA, ''The Universal Encyclopedia of Mathematics'', Pan Reference Books, 1976, , "Transcendental curves". Here for a curve, ''C'', what matters is the ...
s that cannot. Previously, curves had been described as "geometrical" or "mechanical" according to how they were, or supposedly could be, generated.
Conic sections were applied in
astronomy
Astronomy () is a natural science that studies astronomical object, celestial objects and phenomena. It uses mathematics, physics, and chemistry in order to explain their origin and chronology of the Universe, evolution. Objects of interest ...
by
Kepler
Johannes Kepler (; ; 27 December 1571 – 15 November 1630) was a German astronomer, mathematician, astrologer, natural philosopher and writer on music. He is a key figure in the 17th-century Scientific Revolution, best known for his laws o ...
.
Newton also worked on an early example in the
calculus of variations
The calculus of variations (or Variational Calculus) is a field of mathematical analysis that uses variations, which are small changes in functions
and functionals, to find maxima and minima of functionals: mappings from a set of functions t ...
. Solutions to variational problems, such as the
brachistochrone
In physics and mathematics, a brachistochrone curve (), or curve of fastest descent, is the one lying on the plane between a point ''A'' and a lower point ''B'', where ''B'' is not directly below ''A'', on which a bead slides frictionlessly under ...
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 mathematics, differential calculus is a subfield of calculus that studies the rates at which quantities change. It is one of the two traditional divisions of calculus, the other being integral calculus—the study of the area beneath a curve. ...
.
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 accessible to the geometry of the time, to do with singular points and complex solutions.
Since the nineteenth century, curve theory is viewed as the special case of dimension one of the theory of
manifold
In mathematics, a manifold is a topological space that locally resembles Euclidean space near each point. More precisely, an n-dimensional manifold, or ''n-manifold'' for short, is a topological space with the property that each point has a n ...
s and
algebraic varieties. Nevertheless, many questions remain specific to curves, such as
space-filling curve
In mathematical analysis, a space-filling curve is a curve whose range contains the entire 2-dimensional unit square (or more generally an ''n''-dimensional unit hypercube). Because Giuseppe Peano (1858–1932) was the first to discover one, space ...
s,
Jordan curve theorem and
Hilbert's sixteenth problem
Hilbert's 16th problem was posed by David Hilbert at the Paris conference of the International Congress of Mathematicians in 1900, as part of his list of 23 problems in mathematics.
The original problem was posed as the ''Problem of the topolo ...
.
Topological curve
A topological curve can be specified by a
continuous function
In mathematics, a continuous function is a function such that a continuous variation (that is a change without jump) of the argument induces a continuous variation of the value of the function. This means that there are no abrupt changes in value ...
from an
interval of the
real number
In mathematics, a real number is a number that can be used to measure a ''continuous'' one-dimensional quantity such as a distance, duration or temperature. Here, ''continuous'' means that values can have arbitrarily small variations. Every real ...
s into a
topological space
In mathematics, a topological space is, roughly speaking, a geometrical space in which closeness is defined but cannot necessarily be measured by a numeric distance. More specifically, a topological space is a set whose elements are called points ...
. Properly speaking, the ''curve'' is the
image
An image is a visual representation of something. It can be two-dimensional, three-dimensional, or somehow otherwise feed into the visual system to convey information. An image can be an artifact, such as a photograph or other two-dimensiona ...
of
However, in some contexts,
itself is called a curve, especially when the image does not look like what is generally called a curve and does not characterize sufficiently
For example, the image of the
Peano curve
In geometry, the Peano curve is the first example of a space-filling curve to be discovered, by Giuseppe Peano in 1890. Peano's curve is a surjective, continuous function from the unit interval onto the unit square, however it is not injective. ...
or, more generally, a
space-filling curve
In mathematical analysis, a space-filling curve is a curve whose range contains the entire 2-dimensional unit square (or more generally an ''n''-dimensional unit hypercube). Because Giuseppe Peano (1858–1932) was the first to discover one, space ...
completely fills a square, and therefore does not give any information on how
is defined.
A curve
is closed or is a
loop
Loop or LOOP may refer to:
Brands and enterprises
* Loop (mobile), a Bulgarian virtual network operator and co-founder of Loop Live
* Loop, clothing, a company founded by Carlos Vasquez in the 1990s and worn by Digable Planets
* Loop Mobile, an ...
if