Loading field map
Geometry is the branch of mathematics concerned with the properties and relations of points, lines, surfaces, solids, and higher-dimensional spaces. At its core, it studies the notion of space itself: how it can be measured, how figures within it can be transformed, and what properties remain invariant under those transformations. More abstractly, geometry asks what it means for two objects to be the "same" shape, and what kinds of spaces are possible beyond the familiar three-dimensional world of everyday experience.
The field is unified by a few enduring questions. The oldest is measurement: determining lengths, areas, volumes, and angles. A second question concerns classification: what are all the possible regular polygons, polyhedra, or surfaces, and how can they be distinguished? A third concerns rigidity and flexibility: which properties of a figure are preserved when it is moved, stretched, or projected? A fourth, more modern question asks about the intrinsic geometry of a space—what can be determined from within the space itself, without reference to an external "ambient" space in which it sits.
The stakes of these questions have always been practical as well as theoretical. Geometry provided the basis for land surveying, architecture, navigation, and astronomy in ancient societies. In the modern era, it underpins fields as diverse as general relativity (which models gravity as the curvature of spacetime), computer graphics, robotics, and data analysis. But geometry also carries a deep philosophical weight: it has historically served as the model of certain, deductive knowledge, and questions about the nature of geometric objects—whether they exist independently of the mind or are constructions—have occupied philosophers since antiquity.
Geometry's recorded history begins with practical measurement traditions in ancient Egypt, Mesopotamia, India, and China, which produced rules for calculating areas and volumes. The decisive transformation came in ancient Greece, where geometry was reorganized as a deductive science. The Elements of Euclid (c. 300 BCE) became the canonical presentation: starting from definitions, postulates, and common notions, it derived hundreds of propositions about plane and solid figures. For over two millennia, Euclid's axiomatic method defined what rigorous mathematics meant.
The Greek tradition also produced important results beyond Euclid. Apollonius of Perga wrote a comprehensive treatise on conic sections (the curves formed by slicing a cone: ellipse, parabola, hyperbola). Archimedes computed areas and volumes of curved figures using methods that anticipated integral calculus. Later, Greek mathematicians such as Pappus and Proclus commented on and extended the Euclidean corpus.
After the decline of the Greek world, geometry continued to develop in the Islamic world, where scholars translated and preserved Greek texts, solved new problems in spherical geometry for astronomical purposes, and developed algebraic approaches to geometric problems. In India and China, geometry remained more closely tied to calculation and astronomy, with sophisticated results in trigonometry and the geometry of the circle.
The European Renaissance and early modern period brought a new synthesis. The invention of analytic geometry by René Descartes and Pierre de Fermat in the 17th century allowed geometric problems to be translated into algebraic equations, and vice versa. This made it possible to study curves and surfaces that were difficult or impossible to describe purely synthetically. The development of calculus by Isaac Newton and Gottfried Wilhelm Leibniz provided powerful tools for studying curvature, tangents, and lengths of curves.
The 19th century was a period of revolutionary expansion. The discovery of non-Euclidean geometries by Carl Friedrich Gauss, Nikolai Lobachevsky, and János Bolyai showed that Euclid's parallel postulate could be denied without contradiction, yielding hyperbolic geometry. This shattered the ancient assumption that Euclidean geometry was the unique geometry of physical space. Bernhard Riemann then generalized the notion of a space to include any smoothly varying "metric" (a way of measuring distances), founding what is now called Riemannian geometry. At the same time, Felix Klein proposed a unifying framework: a geometry is the study of properties invariant under a given group of transformations. This "Erlangen Programme" organized existing geometries (Euclidean, affine, projective, hyperbolic) into a single hierarchy.
The 20th century saw geometry become increasingly abstract and intertwined with other branches of mathematics. Algebraic geometry, which studies solutions to polynomial equations, grew into a vast field using tools from abstract algebra. Differential geometry became the language of general relativity and later of gauge theories in physics. Topology, which began as the study of properties preserved under continuous deformation, developed into a discipline of its own while remaining closely allied with geometry. More recently, computational geometry has emerged as a practical field concerned with algorithms for geometric problems.
Several distinct approaches to geometry have developed, each addressing different problems and employing different methods. These are not mutually exclusive; many geometers work in several traditions, and the boundaries between them are porous.
The oldest approach, synthetic geometry, works directly with geometric objects and their relations, using axioms and logical deduction rather than coordinates or algebra. Its paradigm is Euclid's Elements. In this tradition, a proof consists of constructing auxiliary lines or figures and arguing from congruence, similarity, or incidence. Synthetic methods remain valuable in elementary geometry, in the study of Euclidean constructions (using straightedge and compass), and in the modern field of incidence geometry, which studies configurations of points and lines satisfying simple axioms. The approach's strength is its intuitive clarity and its direct connection to visual reasoning. Its limitation is that it becomes unwieldy for complex problems, which is why analytic methods largely superseded it for advanced work.
Analytic geometry, also called coordinate geometry, represents geometric objects by equations and uses algebraic manipulation to solve geometric problems. A point in the plane is identified with a pair of numbers (x, y); a line is the set of points satisfying a linear equation; a circle is the set satisfying a quadratic equation. This translation allows the full power of algebra to be brought to bear. The approach is extremely general and algorithmic: many problems that are difficult synthetically become routine computations. Its limitation is that it can obscure geometric intuition, and the choice of coordinates is arbitrary—a good coordinate system can make a problem trivial, while a poor one can make it intractable. Modern analytic geometry extends to any dimension and to curved spaces, where it merges with differential geometry.
Projective geometry studies the properties of figures that are preserved under projection—for example, the properties that remain unchanged when a drawing is viewed from a different angle or when a shadow is cast. It arose from Renaissance artists' study of perspective and was formalized in the 17th century by Gérard Desargues and later developed systematically in the 19th century by Jean-Victor Poncelet and others. In projective geometry, parallel lines meet at a "point at infinity," and the basic notion is incidence (which points lie on which lines) rather than distance or angle. This approach reveals deep uniformities: for example, all conic sections are equivalent under projective transformations, even though they look very different in Euclidean geometry. Projective geometry is important in computer vision and in algebraic geometry, where projective spaces provide a natural setting for studying polynomial equations.
Differential geometry uses calculus to study curves, surfaces, and higher-dimensional manifolds—spaces that locally resemble Euclidean space but may be curved globally. Its central concepts are the metric (which determines distances), curvature (which measures how the space deviates from flatness), and geodesics (the shortest paths, generalizing straight lines). The field began with Gauss's work on surfaces, which established that curvature is an intrinsic property: it can be measured from within the surface without reference to the surrounding space. Riemann generalized this to arbitrary dimensions, and Einstein's general relativity made Riemannian geometry the language of physics. Differential geometry is now a vast field with deep connections to topology, analysis, and mathematical physics. Its methods are computational and analytical, and its objects are smooth (differentiable) rather than discrete.
Algebraic geometry studies the geometric objects defined by polynomial equations: curves, surfaces, and higher-dimensional varieties. A circle is the set of points satisfying x² + y² = 1; an elliptic curve is the set satisfying y² = x³ + ax + b. The field asks questions about the shape, dimension, and singularities of these solution sets, and about the rational or algebraic functions defined on them. Over the 20th century, algebraic geometry became extraordinarily abstract, using tools from commutative algebra, sheaf theory, and category theory. Its results have found surprising applications in number theory (where Diophantine equations are studied geometrically), in coding theory, and in theoretical physics. The field's strength is its ability to handle very rigid, exact structures; its limitation is that its technical demands are formidable.
Topology, sometimes called "rubber-sheet geometry," studies properties preserved under continuous deformation—stretching, bending, and twisting, but not tearing or gluing. A coffee cup and a doughnut are topologically equivalent because one can be deformed into the other. Geometric topology is the branch that studies topological questions using geometric tools, such as metrics and curvature. It includes the study of knots, of surfaces and their classification, and of three- and four-dimensional manifolds. This field has been one of the most active in recent mathematics, producing results such as the classification of surfaces and the resolution of the Poincaré conjecture (which characterizes the three-dimensional sphere). Topology provides the broadest notion of "space," and its methods are a blend of combinatorial, algebraic, and geometric techniques.
These approaches are not rival schools in the sense of competing for supremacy; they are complementary tools, each suited to different problems. Synthetic geometry offers clarity and intuition; analytic geometry offers computational power; projective geometry reveals hidden uniformities; differential geometry handles smooth curved spaces; algebraic geometry handles rigid algebraic structures; topology handles the most flexible notion of shape. A single problem may be attacked from several angles. For example, the study of a curve might involve its algebraic equation (algebraic geometry), its curvature and arc length (differential geometry), its behavior under projection (projective geometry), and its topological type (whether it is a circle or a line, for instance).
The relationships among these approaches have themselves been objects of study. Klein's Erlangen Programme showed how Euclidean, affine, projective, and hyperbolic geometries are all special cases of the study of invariants under different transformation groups. The discovery of non-Euclidean geometry showed that the choice of axioms is not forced by nature, and Riemann's work showed that many different geometries can coexist as special cases of a general theory of manifolds. In the modern era, the distinction between geometry and topology has blurred: many results in geometric topology use differential or algebraic methods, and algebraic geometry often uses topological ideas.
Contemporary geometry is a highly interconnected discipline. Differential geometry and algebraic geometry are both large, active fields with deep internal structure and strong connections to physics and number theory, respectively. Geometric topology remains vigorous, with major advances in the understanding of low-dimensional manifolds. Computational geometry has grown into a practical field with applications in computer graphics, geographic information systems, and robotics. Discrete geometry studies combinatorial questions about points, lines, and polytopes, often with computational methods.
A notable feature of the modern landscape is the increasing use of geometric ideas in other sciences. General relativity remains a geometric theory, and modern theoretical physics uses sophisticated geometry in string theory and gauge theory. In statistics and machine learning, data are often modeled as points on a manifold, and "geometric data analysis" uses curvature and geodesics to understand data structure. In computer science, geometric algorithms are essential for rendering, simulation, and path planning.
At the same time, the internal structure of geometry has become more unified. The distinction between "pure" and "applied" geometry is increasingly artificial, as the same tools—manifolds, curvature, homology—appear in both contexts. The field continues to be defined less by a fixed set of objects than by a characteristic way of thinking: the insistence on spatial intuition, the study of invariance and symmetry, and the search for structures that are robust under transformation. Geometry remains, as it has been for millennia, the mathematics of space in all its forms.