Spatial atlas

VOYAGE NINE · SPACE WAS NOT UNIQUE

When Parallels Broke — From a Postulate to Curved Spacetime

Walk 2,200 years as a sentence people tried to prove became an independent choice, an unfamiliar geometry gained models, and curvature became a language for the path of starlight.

QUESTION FOR THE ROUTE

Are the rules of space truths fixed by visual intuition, consequences of chosen axioms, or physical hypotheses that observation must test?

WHAT THE LINE DOES NOT CLAIM

This line is not the transmission route of one manuscript, nation, or school from Alexandria to Principe. It is a comparative edit of generations that rearranged parallels, curvature, models, and observation. Non-Euclidean geometry is not identical to general relativity.

The camera rests on each city while you read, then eases through the runway between scenes. Select any marker or scene link to travel in either direction.

The same route, four questions

A lens never hides a scene or proves a cause. It changes which places you compare first, and the URL preserves your choice.

Commercial demand · READING QUESTION

Which recurring problems and audiences made this mathematics useful and worth transmitting?

Commerce is not the main pressure on this route. Recurring problems in geodesy, astronomy, mapping, and physics connected abstract axioms to calculation, models, and observation, without practical use proving a geometry true.

Demand can shape selection and circulation; it does not prove an invention site, a single cause, or civilizational superiority.

15 scroll-controlled map scenes

Live map · 지도를 불러오는 중…

07 / 15 · 1832 CE

Targu Mures

  1. 01 · c. 300 BCE

    Alexandria · Composition

    A Parallel Was Not Yet 'Exactly One' — Euclid's Original Wording

    The fifth postulate of the Elements says that when a line crossing two lines makes the interior angles on one side total less than two right angles, the two lines meet on that side. The classroom statement that exactly one parallel passes through a point off a line is Playfair's equivalent formulation, not Euclid's wording. Its unusual complexity encouraged attempts at proof, but it does not mean Euclid secretly possessed non-Euclidean geometry.

    PAUSE AND ASK

    Why did Euclid's actual fifth postulate look longer and less self-evident than the others?

    How the idea changed

    Set aside the familiar 'one parallel' summary and inspect an original condition about a transversal, angles, and eventual intersection.

    What this place made possible

    Alexandria's mathematical textual and teaching environment arranged definitions, postulates, and propositions in a dependency order later readers could interrogate.

    How it moved

    Greek ordering of the Elements → commentary, copying, and translation → equivalent statements including Playfair's → a long dispute over assumption versus theorem

    Do not overclaim

    'Exactly one parallel through a point' is Playfair's equivalent axiom, not Euclid's wording. The c. 300 BCE date and exact writing room are not fixed facts.

    Evidence sources
    Stable link to this scene
    AlexandriaIsfahan
  2. 02 · 1077 CE

    Isfahan · Main activity

    Trying to Prove It Exposes Other Assumptions — Khayyam's Quadrilateral

    Omar Khayyam analyzed a quadrilateral with equal perpendicular sides and tried to reconstruct Euclid's parallel theory from assumptions he considered more evident. The structure later associated with Saccheri let geometers calculate the consequences of alternative hypotheses for centuries. The commentary was completed in December 1077, but the city name is missing from the manuscript; the Isfahan pin marks Khayyam's Seljuk court and observational network, not a known writing room.

    PAUSE AND ASK

    How did trying to prove the postulate from more evident assumptions expose the consequences of alternatives?

    How the idea changed

    A failed proof becomes an experiment that separates hidden assumptions responsible for Euclidean conclusions.

    What this place made possible

    Isfahan marks Khayyam's contemporary courtly, calendrical, and observational network, not a replacement for the missing city name in the 1077 manuscript.

    How it moved

    Euclidean commentary → Khayyam's quadrilateral and auxiliary assumptions → Persianate and Arabic geometric discussion → comparison with later Saccheri-type hypothesis analysis

    Do not overclaim

    The treatise was completed in December 1077, but its surviving manuscript lacks the city name. Khayyam is not retroactively made the sole founder of completed non-Euclidean geometry.

    Evidence sources
    Stable link to this scene
    IsfahanMaragheh
  3. 03 · c. 1259 CE

    Maragheh · Main activity

    Keeping the Parallel Problem inside a Network of Geometry and Astronomy — Al-Tusi

    Nasir al-Din al-Tusi continued arguments in the Khayyam tradition, attempted a proof of the parallel postulate, and examined consequences of a triangle-angle sum below two right angles. The Maragheh observatory established around 1259 shows the institutional setting in which he and scholars from several regions compared geometry, instruments, and astronomical models. It is not the known writing room of his parallel treatise, and this work was not yet a completed hyperbolic geometry.

    PAUSE AND ASK

    How did work on parallels and astronomical models share the habit of calculating an assumption to its consequences?

    How the idea changed

    Attention moves from one successful proof to a network that preserved, criticized, and refined geometric models, even under a mistaken goal.

    What this place made possible

    The Maragheh observatory's books, instruments, salaries, and scholars from several regions supported comparison of geometry and astronomical models.

    How it moved

    Khayyam-line parallel arguments → al-Tusi's reconstruction and triangle-angle consequences → geometry and astronomy at Maragheh → continued axiom debate across Arabic, Persian, and Latin texts

    Do not overclaim

    The year 1259 is an editorial anchor for observatory activity, not the exact date or room of al-Tusi's parallel treatise or proof of one direct line into Europe.

    Evidence sources
    Stable link to this scene
    MaraghehMilan
  4. 04 · 1733 CE

    Milan · Publication

    Negating the Postulate to Hunt a Contradiction — Saccheri's Unexpected Results

    In Euclides ab Omni Naevo Vindicatus, published in Milan, the Jesuit mathematician Giovanni Saccheri assumed alternatives to the fifth postulate and tried to drive them to contradictions so that Euclid would be 'freed of every flaw.' He excluded the obtuse hypothesis and derived many results later recognized as hyperbolic under the acute one, but his final contradiction imported Euclidean intuition. He did not intend to found non-Euclidean geometry, yet sustained deduction exposed a new structure.

    PAUSE AND ASK

    If negating a postulate yields no contradiction, should the hypothesis or the assumed uniqueness of geometry be doubted?

    How the idea changed

    Reductio was meant to rescue Euclid, yet the continued production of rich theorems under the acute hypothesis becomes evidence of a new object.

    What this place made possible

    Milanese print within Jesuit and Latin scholarly networks made Saccheri's extended hypothesis analysis available for later scrutiny.

    How it moved

    Euclidean commentary and Khayyam-type quadrilateral → Saccheri's three hypotheses → unintended hyperbolic results → reassessment by Klugel, Lambert, and the nineteenth century

    Do not overclaim

    Saccheri sought to defend Euclid and claimed a final contradiction rather than accepting a new geometry. Later concepts are not simply projected onto his intentions.

    Evidence sources
    Stable link to this scene
    MilanGöttingen
  5. 05 · 1824 CE

    Göttingen · Letter sent

    Knowing a New Geometry but Leaving It in Letters — Gauss's Private Priority

    Commercial demand · lens spotlight

    From Göttingen, Gauss discussed with Taurinus in an 1824 letter the possibility that a geometry without Euclid's fifth postulate could develop consistently and have startling consequences. He did not establish priority through a systematic public work and later recognized similarities when Lobachevsky and Bolyai published. Private notes and correspondence matter historically, but they are not a certificate of the 'real first' that erases public scrutiny or independent discovery.

    PAUSE AND ASK

    How does private precedence differ from priority established through public, checkable work?

    How the idea changed

    Separate who thought earlier from who made a system public when comparing Gauss, Lobachevsky, and Bolyai.

    What this place made possible

    Göttingen's observatory, geodetic work, and correspondence network let Gauss think across physical measurement and axiomatic possibility.

    How it moved

    Geodesy, surfaces, and doubt about parallels → 1824 letter to Taurinus → 1831 response to Bolyai's manuscript → posthumous notes and priority disputes

    Do not overclaim

    Gauss's private work was real but not equivalent to a completed public paper. One story about fear of ridicule does not fully explain every decision not to publish.

    Evidence sources
    Stable link to this scene
    GöttingenKazan
  6. 06 · 1829 CE

    Kazan · Publication

    Publishing a World with More than One Parallel — Lobachevsky

    After presenting his new geometry at Kazan University in 1826, Nikolai Lobachevsky published its first account in the Kazan Messenger in 1829–1830. He developed a system, including trigonometry, in which limiting lines in two directions separate intersecting from non-intersecting lines through a point. The regional Russian publication was initially little read. The decisive change was not the slogan 'infinitely many parallels' alone, but public, consistent calculation from altered assumptions.

    PAUSE AND ASK

    If triangles and trigonometry remain calculable after changing the parallel postulate, what qualifies a system as geometry?

    How the idea changed

    An alternative hypothesis stops being a temporary target for contradiction and becomes a public mathematical system in its own right.

    What this place made possible

    Kazan University's teaching, administration, and regional journal made work far from imperial centers public while limiting its first readership.

    How it moved

    1826 university presentation → 1829–1830 Russian Kazan Messenger → later French and German works → international recognition and comparison with other non-Euclidean systems

    Do not overclaim

    The first paper dates to 1829 and the presentation to 1826. 'Infinitely many parallels' does not exhaust the system or subordinate independent work by Gauss and Bolyai.

    Evidence sources
    Stable link to this scene
    KazanTargu Mures
  7. 07 · 1832 CE

    Targu Mures · Publication

    Creating a New World 'Out of Nothing' — Bolyai's Appendix

    Janos Bolyai published his Latin Appendix in his father Farkas Bolyai's Tentamen at Marosvasarhely in 1832, developing an 'absolute geometry' independent of the parallel postulate and its hyperbolic case. It was independent of Lobachevsky's publication. Gauss's reply that he had long held similar ideas deeply discouraged Bolyai. The two public systems are better read as distinct peripheral print networks reaching the same logical possibility than as a simple race ranking.

    PAUSE AND ASK

    When two people unaware of each other's work discover the same axiomatic freedom, how should center and periphery be reconsidered?

    How the idea changed

    Discovery need not await validation from one center; independent systems can emerge through different languages, families, and regional print networks.

    What this place made possible

    Printing at Marosvasarhely placed the son's concise Latin Appendix inside his father's textbook, creating a limited but durable public record.

    How it moved

    Farkas Bolyai's correspondence with Gauss → Janos's independent work → 1832 Appendix → Gauss's response and later comparison with Lobachevsky

    Do not overclaim

    The year 1832 is the publication date, and there is no basis for saying Bolyai copied Lobachevsky. Gauss's claim of prior thought does not erase Bolyai's public achievement.

    Evidence sources
    Stable link to this scene
    Targu MuresGöttingen
  8. 08 · 1854 CE

    Göttingen · Presentation

    Asking about All Possible Spaces, Not One Plane — Riemann's Lecture

    In his Göttingen habilitation lecture, Riemann asked how dimension, a rule for measuring length, and curvature that can vary from point to point define a space. He also separated what geometry supplies conceptually from what experience might decide about physical space. The 1854 manuscript became widely available only with posthumous publication in 1868; today's definition of a Riemannian manifold and general relativity were not completed in that one lecture.

    PAUSE AND ASK

    How many spaces become possible when dimension, metric, and curvature—not one parallel rule—are allowed to vary?

    How the idea changed

    The question expands from alternative plane geometries to local geometry on manifolds where measurement and curvature can vary point by point.

    What this place made possible

    Göttingen's habilitation lecture, on a topic selected by Gauss, gave Riemann a forum to recast the foundations of geometry before a small audience.

    How it moved

    Gauss's intrinsic curvature of surfaces → Riemann's lecture on dimension, metric, and curvature → posthumous 1868 publication → later manifold and tensor geometry in mathematics and physics

    Do not overclaim

    The lecture was delivered in 1854 and published in 1868. It did not already contain today's full formal definition of a manifold or Einstein's field equations.

    Evidence sources
    Stable link to this scene
    GöttingenNaples
  9. 09 · 1868 CE

    Naples · Publication

    Building an Unfamiliar Geometry inside Familiar Surfaces — Beltrami's Model

    Commercial demand · lens spotlight

    In a paper published in a Naples mathematics journal, Eugenio Beltrami interpreted hyperbolic propositions through surfaces of constant negative curvature and projective representations within Euclidean geometry. If Euclidean geometry is consistent, the modeled non-Euclidean geometry is consistent with it, opening the route to relative consistency. The initial pseudosphere does not cover the whole hyperbolic plane, so one curved trumpet did not complete every model or settle absolute consistency.

    PAUSE AND ASK

    How can modeling an unfamiliar geometry inside a familiar one test the intuition that it must be contradictory?

    How the idea changed

    Separate what physical space is like from whether one axiomatic system can be interpreted consistently within another.

    What this place made possible

    Battaglini's Naples mathematics journal connected Italian work on new geometry to European readers and made the model publicly revisable.

    How it moved

    Lobachevsky and Bolyai's systems → Riemann's curvature language → Beltrami's surface and projective models → Klein's complete model and the understanding of relative consistency

    Do not overclaim

    The pseudosphere does not cover the entire hyperbolic plane. A model gives consistency relative to Euclidean geometry, not absolute consistency or the truth of physical space by itself.

    Evidence sources
    Stable link to this scene
    NaplesErlangen
  10. 10 · 1872 CE

    Erlangen · Presentation

    Comparing Geometries through Invariants of Transformations — Klein

    Following his 1871 work on non-Euclidean models, Felix Klein proposed in his 1872 Erlangen inaugural address that a geometry studies properties invariant under a chosen transformation group. Euclidean, projective, and non-Euclidean geometries could be compared as structures defined by permitted transformations rather than only as rival pictures of reality. The address did not complete all modern geometry or remove genuine differences among curvatures.

    PAUSE AND ASK

    What becomes unified when geometries are classified by what survives transformations rather than by their pictures?

    How the idea changed

    Rival pictures of space are reorganized as geometries studying invariants under chosen transformation groups.

    What this place made possible

    The Erlangen inaugural address was an institutional form for a young professor to announce a research and teaching program, widening model work into a classification of disciplines.

    How it moved

    Beltrami's models → Klein's 1871 projective hyperbolic and elliptic models → 1872 transformation-group program → later reconstruction through Lie groups, topology, and modern geometry

    Do not overclaim

    The Erlangen Program is an influential program, not one theorem completing every geometry. It does not erase differences among curvatures or local and global questions.

    Evidence sources
    • MacTutor — Felix Klein

      Supports: The historical sequence from Klein's 1871 non-Euclidean models to the 1872 Erlangen Program

    Stable link to this scene
    ErlangenParis
  11. 11 · 1881 CE

    Paris · Publication

    Using the Hyperbolic Plane as a Workshop for Functions — Poincare

    In reports and papers presented through the Paris Academy in 1881, Poincare used hyperbolic geometry in the disk and half-plane to study Fuchsian functions and groups. Non-Euclidean geometry moved from a strange possibility in an axiomatic dispute into a working tool connected with complex analysis and differential equations. He did not invent every feature of the disk model at once; Beltrami, Klein, Schwarz, and contentious correspondence remain part of the path.

    PAUSE AND ASK

    What changes when a geometry born in an axiomatic dispute becomes a working space for complex functions and differential equations?

    How the idea changed

    Non-Euclidean geometry moves from a strange possibility needing defense to a productive organizer of other mathematical problems.

    What this place made possible

    The Paris Academy's rapid Comptes rendus, prizes and manuscript submissions, and correspondence with Klein accelerated publication and correction of functions, groups, and models.

    How it moved

    Beltrami and Klein's models plus Schwarz's disk tiling → Poincare's Fuchsian functions and groups → disk and half-plane hyperbolic geometry → expansion into complex analysis, topology, and dynamics

    Do not overclaim

    Poincare did not invent every element of the disk model alone and disputed names and precedence with Klein. The year 1881 anchors a sequence of papers.

    Evidence sources
    Stable link to this scene
    ParisCologne
  12. 12 · 1908 CE

    Cologne · Presentation

    Putting Space and Time into One Geometry — Minkowski's Lecture

    Commercial demand · lens spotlight

    At a congress of natural scientists in Cologne, Minkowski recast special relativity as a four-dimensional spacetime combining three spatial coordinates with time. Observers divide space and time differently while the spacetime interval and light-cone structure remain invariant, making physical law geometric. This is flat pseudo-Euclidean spacetime, not the dynamically curved spacetime of general relativity, and time is not simply an ordinary fourth spatial direction.

    PAUSE AND ASK

    When observers divide space and time differently, which geometric structure can remain shared?

    How the idea changed

    Special relativity's transformations become a geometry of four-dimensional events, light cones, and invariant intervals rather than clocks inside three-space.

    What this place made possible

    The large Cologne congress gave a public stage to a mathematical reinterpretation developed in Göttingen before researchers from many disciplines.

    How it moved

    Relativity transformations of Lorentz, Poincare, and Einstein → Minkowski's 1907–1908 geometrization → four-dimensional spacetime and tensor physics → the next problem of dynamical curvature in general relativity

    Do not overclaim

    Minkowski spacetime is flat pseudo-Euclidean geometry. Time differs in sign and causal structure from ordinary spatial axes, and this lecture did not complete general relativity.

    Evidence sources
    Stable link to this scene
    CologneZurich
  13. 13 · 1913 CE

    Zurich · Composition

    Matching the Physics of Gravity to the Language of Curvature — Einstein and Grossmann

    Commercial demand · lens spotlight

    In Zurich, Einstein brought physical ideas linking gravity and acceleration while Marcel Grossmann brought the tensor and curvature methods of Riemann, Ricci, and Levi-Civita into their 1913 Entwurf theory. Mathematics was not decoration added after the physics: candidate equations and physical principles tested one another. The Entwurf field equations restricted general covariance and were not the final theory of general relativity.

    PAUSE AND ASK

    To write gravity as curvature, how did physical intuition and unfamiliar tensor calculus have to correct one another?

    How the idea changed

    Move beyond a lone-intuition story to iterative collaboration, the mathematics Grossmann located, and candidate equations that proved wrong.

    What this place made possible

    ETH collegial ties, books, and teaching let physicist Einstein and mathematician Grossmann test Riemannian curvature and gravity in the same notebook.

    How it moved

    Equivalence principle and rotating disk → Grossmann's guidance to Riemann, Ricci, and Levi-Civita → candidate equations in the Zurich Notebook → limits of the 1913 Entwurf → return to generally covariant equations in 1915

    Do not overclaim

    The 1913 Entwurf was a crucial scaffold but not the modern field equations and restricted general covariance. Grossmann was more than a supplier of references.

    Evidence sources
    Stable link to this scene
    ZurichBerlin
  14. 14 · 1915 CE

    Berlin · Presentation

    Putting Matter and Spacetime Geometry into One Equation — November 1915

    At the Prussian Academy in Berlin, Einstein revised his gravitational theory across four communications in November 1915 and reached the modern form of the field equations in the paper submitted on the 25th. Matter and energy on one side relate to spacetime curvature on the other, and free fall becomes motion along spacetime geometry. This was neither a solitary lightning stroke erasing Riemann, Ricci, Levi-Civita, Grossmann, and Hilbert nor a declaration fixing one global curvature for the universe.

    PAUSE AND ASK

    What does gravity become when matter-energy and spacetime curvature are joined in one relation?

    How the idea changed

    Gravity moves from only a force pulling at a distance to matter and geometry constraining each other while free fall follows geodesics.

    What this place made possible

    Weekly Prussian Academy communications and Berlin's correspondence network formed a compressed public arena in which Einstein revised the equations four times in November 1915.

    How it moved

    Curvature calculus of Riemann, Ricci, and Levi-Civita → Entwurf with Grossmann → contemporary exchange and competition with Hilbert → four November papers and the 25 November equations → astronomical and cosmological tests

    Do not overclaim

    The final equations were submitted on 25 November 1915, without erasing that month's four stages or prior mathematics. General relativity does not say every possible geometry is the actual universe.

    Evidence sources
    Stable link to this scene
    BerlinRoca Sundy, Principe
  15. 15 · 1919 CE

    Roca Sundy, Principe · Main activity

    Measuring a Curved Path with Starlight — The 1919 Eclipse

    Commercial demand · lens spotlight

    At Roca Sundy on Principe, Eddington and Cottingham photographed stars close to the eclipsed Sun and compared their apparent positions with ordinary plates, alongside data from the Sobral expedition. Only two Principe plates were good enough for measurement, but the combined result favored Einstein's light-deflection prediction over the Newtonian value and made the theory world news. Its uncertainties and instrument choices remain visible; one eclipse did not finally prove every prediction of general relativity.

    PAUSE AND ASK

    How can the claim that curvature describes the physical world be tested through tiny shifts in apparent starlight?

    How the idea changed

    Move beyond internal consistency of axioms and models to compare a theory's numerical prediction with observation amid instruments, weather, and error.

    What this place made possible

    The eclipse path over Principe and the Roca Sundy site offered minutes to photograph background stars while depending on cloud, equipment, and a colonial plantation setting.

    How it moved

    Einstein's light-deflection prediction → British joint eclipse committee and postwar expeditions → different telescopes and plates at Principe and Sobral → joint London announcement and global press → later, more precise repeated tests

    Do not overclaim

    Stars appeared on seven Principe plates and only two were usable as evidence. Together with Sobral they gave strong contemporary support, not a single final proof of every prediction of general relativity.

    Evidence sources
    Stable link to this scene

TOUCH THE MATHEMATICS

When Parallels Broke — From Euclid's Postulate to Curved Spacetime

Fifteen scenes connect Euclid's fifth postulate in Alexandria, attempted proofs in Isfahan and Maragheh, Saccheri's search for contradiction in Milan, independent geometries around Göttingen, Kazan, and Targu Mures, models and transformations in Naples, Erlangen, and Paris, spacetime in Cologne, gravity in Zurich and Berlin, and starlight measured on Principe. One assumed space becomes a set of questions about axioms, models, curvature, and observation.

Continue as a fifteen-scene cinematic journey

OPEN THE FULL MAP

Go deeper into the concept of non-Euclidean geometry

Revisit the differences among hyperbolic, elliptic, and Riemannian geometry and their modern uses on the concept page.

Explore the full map