Parallel (geometry)

From Knowino
Jump to: navigation, search
Picture of railroad tracks.
Straight railway tracks may be considered as segments of parallel lines, railway tracks with curves are parallel curves.

According to the common explanation two straight lines in a plane are said to be parallel (or parallel to each other) if they do not meet (or intersect), i.e., do not have a point in common. The term parallel is also used for line segments that are part of parallel lines.

This definition is correct if (silently) the "natural" (Euclidean) geometry is assumed.
In it, the explicit condition "in a plane" is necessary because in space two straight lines that do not intersect need not be parallel. Non-intersecting lines that do not belong to a common plane are called skew.

Important properties of the notion "parallel" in Euclidean geometry are:


[edit] Mathematical significance

The statement that on a plane, to a straight line, there is only one parallel through a point plays an important role in the development of geometry and mathematics in general. Euclid states it — somewhat disguised — in his Elements as his fifth (and last) postulate. Therefore it is usually called the Parallel Postulate or Parallel Axiom.

Since this statement is much less natural or evident than Euclid's other axioms and postulates, mathematicians of all periods tried to prove it from the other assumptions, but in vain. Only as late as the nineteenth century the reason became clear, namely, that it can be neither proven nor disproven (Details). The statement is independent of the other axioms.

This discovery led to the development of an alternative geometry, that of the non-Euclidean or hyperbolic plane in which, to a given line and a point not on the line, there are infintely many non-intersecting lines through this point. Among these lines — usually also called parallels — there are two boundary lines — called horoparallel (also limiting, asymptotically or critically parallel) — that enclose the other parallels called hyperparallel (or ultra-parallel). Some authors reserve the word "parallel" for the two exceptional lines.

While Newton's classical mechanics is based on Euclidean geometry, Einstein's relativity theory showed that physical space — while locally Euclidean — is not Euclidean in the large.

[edit] Mathematical properties

In mathematical formulas, "is parallel to" is usually denoted by the symbol   ∥   (Unicode U+2225) — two parallel vertical lines — and its negation "is not parallel to" by   ∦   (Unicode U+2226).

Thus, for two straight lines f and g, and for four points A,B,C,D

 f \parallel g  \qquad \textrm{and} \qquad  AB \parallel CD

mean that the lines f and g, and the line segments determined by AB and CD, respectively, are parallel.

[edit] Binary relation

The relation  \parallel is a binary relation on the set of straight lines.

In mathematics, it is usual to define — in addition to the common meaning — that any line is parallel to itself.
This convention is convenient in the following statements (transitivity, parallel through a point).

The relation  \parallel is an equivalence relation:

The Parallel Axiom consists of the following two statements:

 (\forall g,P) (\exists h) P \in h, h \parallel g


 \textrm{if} \quad P \in h_1,h_2 \quad \textrm{and} \quad h_1\parallel g, \; h_2 \parallel g \quad \textrm{then} \quad h_1 = h_2

These statements remain true if (instead of straight lines) line segments, or planes are considered.
However, transitivity and the uniqueness of a parallel fail when lines and planes are considered simultaneously. They also fail in the non-Euclidean case, of course.

Information.svg Some content on this page may previously have appeared on Citizendium.
Personal tools