Parallel postulate in the context of Postulates

An axiom, postulate, or assumption is a statement that is taken to be true, to serve as a premise or starting point for further reasoning and arguments. The word comes from the Ancient Greek word ἀξίωμα (axíōma), meaning 'that which is thought worthy or fit' or 'that which commends itself as evident'.

The precise definition varies across fields of study. In classic philosophy, an axiom is a statement that is so evident or well-established, that it is accepted without controversy or question. In modern logic, an axiom is a premise or starting point for reasoning.

Euclidean geometry is a mathematical system attributed to Euclid, an ancient Greek mathematician, which he described in his textbook on geometry, Elements. Euclid's approach consists in assuming a small set of intuitively appealing axioms (postulates) and deducing many other propositions (theorems) from these. One of those is the parallel postulate which relates to parallel lines on a Euclidean plane. Although many of Euclid's results had been stated earlier, Euclid was the first to organize these propositions into a logical system in which each result is proved from axioms and previously proved theorems.

The Elements begins with plane geometry, still taught in secondary school (high school) as the first axiomatic system and the first examples of mathematical proofs. It goes on to the solid geometry of three dimensions. Much of the Elements states results of what are now called algebra and number theory, explained in geometrical language.

In mathematics, a plane is a two-dimensional space or flat surface that extends indefinitely. A plane is the two-dimensional analogue of a point (zero dimensions), a line (one dimension) and three-dimensional space. When working exclusively in two-dimensional Euclidean space, the definite article is used, so the Euclidean plane refers to the whole space.

Several notions of a plane may be defined. The Euclidean plane follows Euclidean geometry, and in particular the parallel postulate. A projective plane may be constructed by adding "points at infinity" where two otherwise parallel lines would intersect, so that every pair of lines intersects in exactly one point. The elliptic plane may be further defined by adding a metric to the real projective plane. One may also conceive of a hyperbolic plane, which obeys hyperbolic geometry and has a negative curvature.

Euclidean space is the fundamental space of geometry, intended to represent physical space. Originally, in Euclid's Elements, it was the three-dimensional space of Euclidean geometry, but in modern mathematics there are Euclidean spaces of any positive integer dimension n, which are called Euclidean n-spaces when one wants to specify their dimension. For n equal to one or two, they are commonly called respectively Euclidean lines and Euclidean planes. The qualifier "Euclidean" is used to distinguish Euclidean spaces from other spaces that were later considered in physics and modern mathematics.

Ancient Greek geometers introduced Euclidean space for modeling the physical space. Their work was collected by the ancient Greek mathematician Euclid in his Elements, with the great innovation of proving all properties of the space as theorems, by starting from a few fundamental properties, called postulates, which either were considered as evident (for example, there is exactly one straight line passing through two points), or seemed impossible to prove (parallel postulate).

In mathematics, non-Euclidean geometry consists of two geometries based on axioms closely related to those that specify Euclidean geometry. As Euclidean geometry lies at the intersection of metric geometry and affine geometry, non-Euclidean geometry arises by either replacing the parallel postulate with an alternative, or consideration of quadratic forms other than the definite quadratic forms associated with metric geometry. In the former case, one obtains hyperbolic geometry and elliptic geometry, the traditional non-Euclidean geometries. When isotropic quadratic forms are admitted, then there are affine planes associated with the planar algebras, which give rise to kinematic geometries that have also been called non-Euclidean geometry.

In geometry, parallel lines are coplanar infinite straight lines that do not intersect at any point. Parallel planes are infinite flat planes in the same three-dimensional space that never meet. In three-dimensional Euclidean space, a line and a plane that do not share a point are also said to be parallel. However, two noncoplanar lines are called skew lines. Line segments and Euclidean vectors are parallel if they have the same direction or opposite direction (not necessarily the same length).

Parallel lines are the subject of Euclid's parallel postulate. Parallelism is primarily a property of affine geometries and Euclidean geometry is a special instance of this type of geometry.In some other geometries, such as hyperbolic geometry, lines can have analogous properties that are referred to as parallelism.The concept can also be generalized to non-straight parallel curves and non-flat parallel surfaces, which keep a fixed minimum distance and do not touch each other or intersect.

Elliptic geometry is an example of a geometry in which Euclid's parallel postulate does not hold. Instead, as in spherical geometry, there are no parallel lines since any two lines must intersect. However, unlike in spherical geometry, two lines are usually assumed to intersect at a single point (rather than two). Because of this, the elliptic geometry described in this article is sometimes referred to as single elliptic geometry whereas spherical geometry is sometimes referred to as double elliptic geometry.

The appearance of work on this geometry in the nineteenth century stimulated the development of non-Euclidean geometry generally, including hyperbolic geometry.

In mathematics, hyperbolic geometry (also called Lobachevskian geometry or Bolyai–Lobachevskian geometry) is a non-Euclidean geometry. The parallel postulate of Euclidean geometry is replaced with:

(Compare the above with Playfair's axiom, the modern version of Euclid's parallel postulate.)

In Euclidean geometry, a parallelogram is a simple (non-self-intersecting) quadrilateral with two pairs of parallel sides. The opposite or facing sides of a parallelogram are of equal length and the opposite angles of a parallelogram are of equal measure. The congruence of opposite sides and opposite angles is a direct consequence of the Euclidean parallel postulate and neither condition can be proven without appealing to the Euclidean parallel postulate or one of its equivalent formulations.

By comparison, a quadrilateral with at least one pair of parallel sides is a trapezoid in American English or a trapezium in British English.

John Playfair FRSE, FRS (10 March 1748 – 20 July 1819) was a Church of Scotland minister, remembered as a scientist and mathematician, and a professor of natural philosophy at the University of Edinburgh. He is best known for his book Illustrations of the Huttonian Theory of the Earth (1802), which summarised the work of James Hutton. It was through this book that Hutton's principle of uniformitarianism, later taken up by Charles Lyell, first reached a wide audience. Playfair's textbook Elements of Geometry made a brief expression of Euclid's parallel postulate known now as Playfair's axiom.

In 1783 he was a co-founder of the Royal Society of Edinburgh. He served as General Secretary to the society 1798–1819.