esc
Type to search, or take a leap:
~1830 (Lobachevsky and Bolyai)·Measurement·verified

Non-Euclidean geometry

Geometry built by denying Euclid's parallel postulate instead of assuming it — and finding no contradiction. Consistent, complete geometries exist in which a point has many parallels to a given line and a triangle's angles sum to less than 180 degrees.

Das tiefe Archiv ist vorerst auf Englisch verfasst — geprüfte Übersetzungen stehen auf der Roadmap. Die Übersetzungsfunktion Ihres Browsers funktioniert auf dieser Seite gut.

Non-Euclidean geometry
No machine-readable author provided. Davius assumed (based on copyright claims). · Public domain · Wikimedia Commons

✦ Moment, wirklich?

Gauss had worked it out privately decades earlier but refused to publish, writing to Bessel in 1829 that he feared "the clamor of the Boeotians" — the dullards. When young János Bolyai's independent version reached him in 1832, Gauss replied that he could not praise it, "for to praise it would be to praise myself," since it matched his own unpublished work. Bolyai, robbed of both priority and applause, published nothing more in his lifetime.

Was es ist

Euclid's fifth postulate — that through a point beside a line there passes exactly one parallel — is wordier and less self-evident than his other four, and for two thousand years geometers tried to *prove* it from the rest. Every attempt failed. The reason, discovered around 1830, is that it cannot be proved: you can consistently assume its opposite and build a whole geometry with no contradiction in it. Nikolai Lobachevsky (published 1829–30) and János Bolyai (an 1832 appendix to his father's textbook) independently constructed *hyperbolic* geometry, where through the point pass infinitely many parallels, triangles have angle-sums *less* than 180 degrees, and the "defect" below 180 grows with the triangle's area — so a triangle's area cannot exceed a fixed maximum, and no two triangles can be similar without being identical.

Warum es zählte

It shattered a belief held since antiquity and enshrined by Kant as knowledge prior to all experience: that Euclid's was the one true, necessary geometry of space. Suddenly geometry was plural — a menu of axiom systems and their consequences, not a report on the physical world. Which geometry space *actually* obeys became a question for measurement, not for reason alone. This was one of the great liberations in the history of thought: mathematics no longer had to answer to intuition about the world; it could invent consistent worlds of its own and ask, afterward, which one we live in.

Was es erschloss

In 1854 Riemann generalized the whole idea to spaces of any dimension whose curvature can vary from point to point. That was the geometry Einstein needed. In general relativity (1915) gravity is not a force but the curvature of four-dimensional spacetime; light bends near the Sun because space itself is non-Euclidean where mass is present — confirmed by the bending of starlight at the 1919 eclipse. The abstract act of denying a 2,000-year-old axiom became, within a century, the working description of the cosmos, and the foundation of modern differential geometry and cosmology's question of the overall shape of the universe.

Dieser Eintrag wartet noch auf seine vollständige Darstellung — die Kartografen sind am Werk. Sein Platz im Graphen ist bereits verifiziert.

Setzt voraus

Erschloss

Die Grenze — dahinter ist noch nichts kartiert.

Stimmt etwas auf dieser Seite nicht? Jede Behauptung hier soll dem Widerspruch standhalten. Eine Korrektur vorschlagen →