Non-Euclidean Geometry · aiwiki.page

Non-Euclidean geometry refers principally to systems of geometry in which the Euclidean parallel postulate is replaced by a different assumption. Its classical forms are hyperbolic geometry and elliptic geometry, associated respectively with negative and positive constant curvature. These are mathematically coherent alternatives to the geometry of ordinary Euclidean space, not contradictions within it. In broader usage, the term also encompasses curved spaces studied through Riemannian geometry. Distances, angles, and “straight lines” depend on the structure of the space rather than necessarily matching their appearance in a diagram. (mphitchman.com)

Axioms and parallel lines

In Euclid’s Elements, the fifth postulate specifies when two lines intersect after being crossed by a transversal. An equivalent formulation in the usual Euclidean setting states that, through a point outside a given line, exactly one line does not intersect that line. Its complexity encouraged centuries of attempts to derive it from simpler assumptions. (mathshistory.st-andrews.ac.uk)

Hyperbolic geometry instead permits infinitely many nonintersecting lines through such a point. Elliptic geometry permits none: every pair of distinct complete lines intersects. The elliptic alternative also changes other features of Euclidean geometry, including the global behavior of lines and betweenness; it cannot simply retain every Euclidean axiom except the fifth. In particular, elliptic lines are closed rather than infinitely extended with the ordering properties of an ordinary straight line. (mphitchman.com)

A geometric model assigns concrete meanings to points, lines, and distance while satisfying the relevant axioms. Models establish relative consistency: a contradiction in the modeled geometry would imply a contradiction in the mathematical framework used to construct it. This differs from an unconditional proof that no contradiction is possible. (mphitchman.com)

Historical development

Carl Friedrich Gauss investigated alternatives to the parallel postulate but did not publish a systematic account. Independently, Nikolai Lobachevsky published work on the new geometry in 1829, while János Bolyai presented his theory in an appendix to his father’s mathematical treatise in 1832. Their achievement was to develop the consequences of the alternative assumption rather than merely search for a contradiction. (mathshistory.st-andrews.ac.uk)

Bernhard Riemann’s 1854 inaugural lecture broadened geometry to spaces equipped with rules for measuring length. In 1868, Eugenio Beltrami supplied interpretations connecting hyperbolic geometry with surfaces of negative curvature and geometric models. Felix Klein subsequently developed models using projective geometry. These developments helped distinguish the logical validity of a geometry from the separate question of whether it describes physical space. (mathshistory.st-andrews.ac.uk)

Hyperbolic geometry and its models

The hyperbolic plane is a complete, simply connected surface of constant negative Gaussian curvature. Its lines are geodesics: intrinsically straight paths that locally minimize distance. Two distinct points determine a unique complete line, although disjoint lines need not behave like equidistant Euclidean parallels. Among lines through an external point, two limiting parallels separate intersecting lines from the remaining nonintersecting lines. (sites.math.duke.edu)

The Poincaré disk model represents this infinite plane inside an open Euclidean disk. Hyperbolic lines appear as diameters or circular arcs orthogonal to its boundary. The boundary itself is not part of the plane and lies infinitely far away in hyperbolic distance. The model preserves angles, but not Euclidean lengths: equal hyperbolic objects appear progressively smaller near the edge. (pi.math.cornell.edu)

For curvature normalized to $-1$ , its metric tensor gives the line element

ds^2=\frac{4(dx^2+dy^2)}{(1-x^2-y^2)^2}, \qquad x^2+y^2<1.

The increasing scale factor explains how a bounded drawing represents an unbounded metric space. The Beltrami–Klein model uses the disk differently: geodesics appear as straight chords, but angles are generally distorted. These representations describe the same intrinsic geometry through different coordinates. (sites.math.duke.edu)

Elliptic and spherical geometry

Spherical geometry provides a familiar positive-curvature example. On a sphere, geodesics are great circles, and any two distinct great circles intersect at two antipodal points. Antipodal points lie on infinitely many great circles, so the sphere does not globally satisfy the rule that two distinct points determine exactly one line. (math.toronto.edu)

The elliptic plane resolves this by treating each antipodal pair as a single point. It is the real projective plane equipped with the metric inherited from the sphere. Great circles become elliptic lines; two distinct lines intersect at one point, and two distinct points determine one line. Spherical and elliptic geometry consequently share local curvature properties but differ in their global topology. (math.toronto.edu)

Triangles and curvature

Curvature changes elementary measurement laws. A Euclidean triangle has angle sum $\pi$ radians. A hyperbolic triangle has a smaller sum, while a spherical triangle bounded by suitable great-circle arcs has a larger sum. For a geodesic triangle enclosing a disk-shaped region on a surface of constant curvature $K$ ,

\alpha+\beta+\gamma-\pi=KA,

where $A$ is its area. This is a special case of the Gauss–Bonnet theorem, relating curvature to angular excess or deficit. (lamington.wordpress.com)

For $K=-1/R^2$ , the area is $R^2(\pi-\alpha-\beta-\gamma)$ . Hyperbolic circles likewise depart from the Euclidean circumference law: a circle of radius $r$ has circumference $2\pi R\sinh(r/R)$ , involving hyperbolic functions. When $r$ is small compared with $R$ , this approaches $2\pi r$ , illustrating the local Euclidean approximation. (sites.math.duke.edu)

Broader geometric and physical setting

Differential geometry extends these ideas to manifolds with variable curvature. Intrinsic curvature does not require imagining a space bent inside a higher-dimensional Euclidean environment. In general relativity, gravity is described through the geometry of spacetime. Its Lorentzian metric differs from the positive-definite metrics of classical hyperbolic and elliptic geometry, so relativistic spacetime is not simply one of those classical spaces. (einstein-online.info)