Search results
Results from the WOW.Com Content Network
Euclid gave the definition of parallel lines in Book I, Definition 23 [2] just before the five postulates. [3] Euclidean geometry is the study of geometry that satisfies all of Euclid's axioms, including the parallel postulate. The postulate was long considered to be obvious or inevitable, but proofs were elusive.
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).
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 relaxing the metric requirement.
The various attempted proofs of the parallel postulate produced a long list of theorems that are equivalent to the parallel postulate. Equivalence here means that in the presence of the other axioms of the geometry each of these theorems can be assumed to be true and the parallel postulate can be proved from this altered set of axioms.
Parallel lines are the subject of Euclid's parallel postulate. [2] 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.
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 relaxing the metric requirement. In the former case, one obtains hyperbolic geometry and elliptic geometry, the traditional non
In elliptic geometry, two lines are Clifford parallel or paratactic lines if the perpendicular distance between them is constant from point to point. The concept was first studied by William Kingdon Clifford in elliptic space and appears only in spaces of at least three dimensions.
These proofs of unprovability of the parallel postulate lead to several philosophical problems, the main one being that before this discovery, the parallel postulate and all its consequences were considered as true. So, the non-Euclidean geometries challenged the concept of mathematical truth.