Euklides femte postulat faller som självklarhet
Årtusenden av bevisförsök visar sig smuggla in dolda antaganden tills Bolyai och Lobatjevskij bygger hyperbolisk geometri, Beltramis modell i en vanlig euklidisk cirkel gör den icke-euklidiska geometrin legitim och inte inbillad
Bilder
The more than 2,000‑year search for impossible geometries
english.elpais.com
I mer än två årtusenden låg Euklides femte postulat – den krångliga regeln om paralleller – i matematiken som en liten byråkratisk klausul som alla utgick från måste gå att härleda ur ”sunt förnuft”. De fyra första postulaten i Euklides Elementa känns nästan oundvikliga: en entydig linje genom två punkter, att förlänga sträckor, att rita cirklar. Det femte liknar däremot ett tjänstemannameddelande: genom en punkt utanför en linje finns exakt en parallell linje.
Som El País återger försökte generation efter generation ”bevisa” det femte postulatet utifrån de andra fyra, och misslyckades gång på gång därför att de i smyg förde in extra antaganden. Proklos i senantiken antog indirekt att linjer som inte skär varandra förblir lika långt ifrån varandra. Ibn al-Haytham antog att två räta linjer inte kan omsluta en yta. John Wallis antog i praktiken att trianglar alltid kan skalas om på det euklidiska sättet. Varje försök föll av samma incitamentsmässiga skäl: målet var inte att kartlägga det logiska rummet, utan att bevara en föredragen världsbild.
Det verkliga tekniska brottet kom på 1800-talet när János Bolyai (ungersk militär) och Nikolaj Lobatjevskij oberoende av varandra gjorde det som institutioner ofta bestraffar: de behandlade den ”självklara” regeln som valfri. Om man negerar parallellpostulatet kan man bygga en sammanhängande geometri där oändligt många ”paralleller” går genom en punkt – hyperbolisk geometri.
Men att påstå att en ny geometri finns är en sak; att visa att den inte motsäger sig själv är en annan. Den avgörande manövern var inte bättre intuition, utan bättre bokföring: modeller. Om man kan tolka axiomen i den nya teorin inuti ett system som redan åtnjuter brett förtroende för sin motsägelsefrihet (euklidisk geometri), då skulle en motsägelse i den nya teorin innebära en motsägelse i den gamla. Det är den spelteoretiska vändpunkten: man lånar trovärdighet från en etablerad konsensus genom att bygga ett översättningsskikt.
El País pekar på nyckelögonblicket 1868 när Eugenio Beltrami konstruerade en sådan modell, senare förknippad med Poincaréskivan. Inuti en vanlig euklidisk cirkel blir ”räta linjer” bågar som skär cirkelranden vinkelrätt, avstånd definieras om, och det femte postulatet faller medan de andra består. Den hyperboliska geometrin slutar vara ”inbillad” och blir ett legitimt alternativt regelsystem.
Det är därför modern matematik och teoretisk fysik kan arbeta med icke-euklidiska rum utan att låtsas att vardagsintuitionen ska följa med. När geometri förstås som studiet av strukturer definierade av axiom – snarare än som en statsauktoriserad beskrivning av den fysiska världen – kan flera geometrier samexistera. Riemanns vidare idé om geometri på krökta rum generaliserade begreppet rät linje till ”kortaste väg”, och resten är en historia om verktyg: mångfalder, metrik, krökning.
Ironin är att de ”omöjliga geometrierna” inte besegrades av filosofiska argument eller pedagogiska kampanjer, utan av en hård standard av det slag som privata aktörer tenderar att kräva: visa mig modellen, visa mig strategin för att säkra motsägelsefrihet, och sluta vifta med händerna. Euklides femte postulat var aldrig en naturlag – bara ett antagande vars monopol varade tills matematikerna till sist prissatte alternativet.