# Line (mathematics)

A **line** can be described as an ideal zero-width,^{[1]} infinitely long, perfectly straight curve (the term curve in mathematics includes "straight curves")^{[2]} containing an infinite number of points. In Euclidean geometry, exactly one line can be found that passes through any two points. The line provides the shortest connection between the points.^{[3]}

In two dimensions, two different lines can either be parallel, meaning they never meet, or may intersect at one and only one point. In three or more dimensions, lines may also be skew, meaning they don't meet, but also don't define a plane. Two distinct planes intersect in at most one line. Three or more points that lie on the same line are called *collinear*.

## Examples

Lines in a Cartesian plane can be described algebraically by linear equations and linear functions. In two dimensions, the characteristic equation is often given by the *slope-intercept form*:

where:

*m*is the slope of the line.*b*is the y-intercept of the line.*x*is the independent variable of the function*y*.

In three dimensions, a line is described by parametric equations:

where:

*x*,*y*, and*z*are all functions of the independent variable*t*.- , , and are the initial values of each respective variable.
*a*,*b*, and*c*are related to the slope of the line, such that the vector (*a*,*b*,*c*) is a parallel to the line.

## Formal definitions

This intuitive concept of a line can be formalized in various ways. If geometry is developed axiomatically (as in Euclid's *Elements* and later in David Hilbert's *Foundations of Geometry*), then lines are not defined at all, but characterized axiomatically by their properties. While Euclid did define a line as "length without breadth", he did not use this rather obscure definition in his later development.

In Euclidean space **R**^{n} (and analogously in all other vector spaces), we define a line *L* as a subset of the form

where *a* and *b* are given vectors in **R**^{n} with *b* non-zero. The vector *b* describes the direction of the line, and *a* is a point on the line. Different choices of *a* and *b* can yield the same line.

## Properties

In a two-dimensional space, such as the plane, two different lines must either be parallel lines or must intersect at one point. In higher-dimensional spaces however, two lines may do neither, and two such lines are called skew lines.

In **R**^{2}, every line *L* is described by a linear equation of the form

with fixed real coefficients *a*, *b* and *c* such that *a* and *b* are not both zero (see Linear equation for other forms). Important properties of these lines are their slope, x-intercept and y-intercept. The eccentricity of a straight line is infinity.

More abstractly, one usually thinks of the real line as the prototype of a line, and assumes that the points on a line stand in a one-to-one correspondence with the real numbers. However, one could also use the hyperreal numbers for this purpose, or even the long line of topology.

The "straightness" of a line, interpreted as the property that it minimizes distances between its points, can be generalized and leads to the concept of geodesics on differentiable manifolds.

## Ray

In Euclidean geometry, a ray, or half-line, given two distinct points A (the origin) and B on the ray, is the set of points C on the line containing points A and B such that A is not strictly between C and B. In geometry, a ray starts at one point, then goes on forever in one direction.

## Notes

- ↑ The no-width length is the second definition in Book I of Euclid's
*Elements.*It is described as ideal (epistemological sense) because it is a concept only. The dimensions of small physical objects are limited by the Planck length; that is, real lines are impossible. - ↑ "Geometry".
*The Encyclopaedia Britannica: Eleventh Edition*.**11**. Cambridge University Press. 1910. p. 717. In Analytic geometry a straight line is a first-order curve; that is, no term in its equation has an exponent greater than 1. Second- and greater order curves better fit the English-language sense. - ↑ This principle is stated explicitly by Archimedes in the second assumption of Book I,
*On the Sphere and Cylinder.*It is implicitly proved by Proposition 20, Book I, Euclid's*Elements.*Euclid forms a triangle with any other point off the line at a vertex and shows that the one side between the points is shorter than the sum of the two other sides.

## See also

- Line segment
- Affine function
- Diffraction
- Glossary of Riemannian and metric geometry#R for its meaning in Riemannian geometry.
- Incidence (geometry)
- Minimal line representation
- Ridge detection and Hough transform for algorithms for detecting lines in digital images

## External links

- Detailed explanation of the line at MathWorld Encyclopedia
- Equations of the Straight Line at cut-the-knot

ast:Reuta bs:Prava (geometrija) br:Eeunenn (geometriezh) bg:Права линия ca:Recta cs:Přímka da:Linje de:Gerade el:Γραμμή et:Sirge eo:Linio fa:خط (هندسه) gd:Loidhne hr:Pravac io:Lineo is:Lína (stærðfræði) it:Retta he:ישר hu:Egyenes ht:Dwat lt:Tiesė lv:Taisne ml:നേര്രേഖ nl:Lijn (meetkunde) ko:직선 no:Linje sq:Drejtëza simple:Line sl:Premica sr:Права (линија) fi:Suora sv:Rät linje ta:கோடு th:เส้นตรง ur:خطوط مستقیم uz:Chiziq (uzunlik birligi) yi:שטריך