Editing Curve (section)

==Algebraic curve==
{{main|Algebraic curve}}
Algebraic curves are the curves considered in [[algebraic geometry]]. A plane algebraic curve is the [[set (mathematics)|set]] of the points of coordinates {{math|''x'', ''y''}} such that {{math|1=''f''(''x'', ''y'') = 0}}, where {{math|''f''}} is a polynomial in two variables defined over some field {{math|''F''}}. One says that the curve is ''defined over'' {{math|''F''}}. Algebraic geometry normally considers not only points with coordinates in {{math|''F''}} but all the points with coordinates in an [[algebraically closed field]] {{math|''K''}}. 

If ''C'' is a curve defined by a polynomial ''f'' with coefficients in ''F'', the curve is said to be defined over ''F''. 

In the case of a curve defined over the [[real number]]s, one normally considers points with [[complex number|complex]] coordinates. In this case, a point with real coordinates is a ''real point'', and the set of all real points is the ''real part'' of the curve. It is therefore only the real part of an algebraic curve that can be a topological curve (this is not always the case, as the real part of an algebraic curve may be disconnected and contain isolated points). The whole curve, that is the set of its complex point is, from the topological point of view a surface. In particular, the nonsingular complex projective algebraic curves are called [[Riemann surface]]s.

The points of a curve {{math|''C''}} with coordinates in a field {{math|''G''}} are said to be rational over {{math|''G''}} and can be denoted {{math|''C''(''G'')}}. When {{math|''G''}} is the field of the [[rational number]]s, one simply talks of ''rational points''. For example, [[Fermat's Last Theorem]] may be restated as: ''For'' {{math|''n'' > 2}}, ''every rational point of the [[Fermat curve]] of degree {{mvar|n}} has a zero coordinate''.

Algebraic curves can also be space curves, or curves in a space of higher dimension, say {{math|''n''}}. They are defined as [[algebraic varieties]] of [[dimension of an algebraic variety|dimension]] one. They may be obtained as the common solutions of at least {{math|''n''–1}} polynomial equations in {{math|''n''}} variables. If {{math|''n''–1}} polynomials are sufficient to define a curve in a space of dimension {{math|''n''}}, the curve is said to be a [[complete intersection]]. By eliminating variables (by any tool of [[elimination theory]]), an algebraic curve may be projected onto a [[plane algebraic curve]], which however may introduce new singularities such as [[cusp (singularity)|cusp]]s or [[double point]]s.

A plane curve may also be completed to a curve in the [[projective plane]]: if a curve is defined by a polynomial {{math|''f''}} of total degree {{math|''d''}}, then {{math|''w''<sup>''d''</sup>''f''(''u''/''w'', ''v''/''w'')}} simplifies to a [[homogeneous polynomial]] {{math|''g''(''u'', ''v'', ''w'')}} of degree {{math|''d''}}. The values of {{math|''u'', ''v'', ''w''}} such that {{math|1=''g''(''u'', ''v'', ''w'') = 0}} are the homogeneous coordinates of the points of the completion of the curve in the projective plane and the points of the initial curve are those such that {{math|''w''}} is not zero. An example is the Fermat curve {{math|1=''u''<sup>''n''</sup> + ''v''<sup>''n''</sup> = ''w''<sup>''n''</sup>}}, which has an affine form {{math|1=''x''<sup>''n''</sup> + ''y''<sup>''n''</sup> = 1}}. A similar process of homogenization may be defined for curves in higher dimensional spaces.

Except for [[line (geometry)|lines]], the simplest examples of algebraic curves are the [[conic section|conics]], which are nonsingular curves of degree two and [[genus (mathematics)|genus]] zero. [[Elliptic curve]]s, which are nonsingular curves of genus one, are studied in [[number theory]], and have important applications to [[cryptography]].