Non-Euclidean geometry refers to any geometric system that modifies or rejects one of the assumptions used in classical geometry. In practice this term usually denotes geometries that alter Euclid’s fifth postulate (the parallel postulate) while keeping many other familiar rules from Euclidean geometry.
Basic idea
Euclid’s parallel postulate states, roughly, that through a point not on a given line there is exactly one line that never meets the given line. Non-Euclidean geometries change that statement: some remove the uniqueness and allow many such lines, while others remove them entirely. The concept of a straight line is replaced by the notion of a geodesic, the shortest path between two nearby points in the chosen geometry.
Main types
- Hyperbolic geometry: In this form there are infinitely many distinct lines through a point that do not meet a given line. Models of hyperbolic space include the Poincaré disk and the hyperboloid model, and the subject is linked to the study of constant negative curvature. Hyperbolic geometry
- Elliptic (spherical) geometry: Here no two distinct geodesics are parallel; any pair of great circles on a sphere meet in two antipodal points. This corresponds to constant positive curvature and has no parallels in the Euclidean sense.
Parallels and geodesics
The notion of parallel lines differs between these systems. On a flat plane (Euclidean geometry) parallel lines remain at a fixed distance and never meet. On a sphere, geodesics such as great circles can appear locally parallel but still intersect elsewhere (for example, meridians meet at the poles). In hyperbolic space many geodesics through a point avoid a given reference line.
Examples and applications
A simple illustration of non-Euclidean behavior is drawing "straight" lines on a sphere: the shortest routes between points are arcs of great circles, and these arcs can intersect even when they seem parallel from a local viewpoint. Non-Euclidean ideas are important in modern mathematics and physics — for instance, models of curved space play a role in general relativity and in certain areas of topology and group theory.
Historical notes
During the early 19th century mathematicians such as Gauss, János Bolyai and Nikolai Lobachevsky developed consistent systems that contradicted the parallel postulate, while Bernhard Riemann later described geometries of arbitrary curvature. Their work showed that Euclid’s fifth assumption was not a logical necessity but a choice that determines the global behavior of lines and distances.