Icke-euklidisk geometri
En icke-euklidisk geometri är en geometrisk teori där Euklides femte axiom, parallellaxiomet, inte gäller. Både hyperbolisk och elliptisk geometri är icke-euklidiska. Den väsentliga skillnaden mellan euklidisk och icke-euklidisk geometri är de parallella linjernas natur. Inom euklidisk geometri och med start i en punkt A och en linje l, går det att dra endast en linje genom A som är parallell med l. Inom hyperbolisk geometri finns det oändligt många linjer genom A parallella med l och inom elliptisk geometri existerar inte parallella linjer.
Ett annat sätt att beskriva skillnaderna mellan geometrierna: betrakta två linjer i ett plan som båda är vinkelräta mot en tredje linje. Inom euklidisk och hyperbolisk geometri är de två linjerna parallella. Inom euklidisk geometri förblir avståndet mellan de två linjerna konstant, medan inom hyperbolisk geometri ökar avståndet mellan linjerna med ökande avstånd från skärningspunkterna med den gemensamma vinkelräta linjen. Inom elliptisk geometri minskar avståndet mellan linjerna tills linjerna skär varandra; således existerar inga parallella linjer inom elliptisk geometri.
Beteende hos linjer med gemensam ortogonal linje i vardera av de tre sorternas geometri
Historik
[redigera | redigera wikitext]Medan euklidisk geometri (namngiven efter den grekiske matematikern Euklides) inkluderar några av de äldsta kända matematiska satserna, dröjde det ända till 1800-talet innan icke-euklidisk geometri blev allmänt accepterad. Debatten som slutligen ledde till upptäckandet av icke-euklidiska geometrier började nästan så snart Euklides verk Elementa var klar. I Elementa försöker Euklides etablera en fullständigt logisk bas för matematiken under hans era. Hans arbete började med ett begränsat antal antaganden (kallade axiom och postulat) och försökte bevisa alla andra resultat (satser) i hans arbete. Det mest välbekanta postulatet kallas ofta "Euklides femte postulat", eller helt enkelt "parallellpostulatet", och i Euklides originalformulering lyder det:
” | Om en rät linje skär två räta linjer på så sätt att de inre vinklarna på samma sida tillsammans är mindre än två räta vinklar, så möts de räta linjerna, om de förlängs i oändlighet, på den sida där vinklarna är mindre än de två räta vinklarna. | „ |
Enklare formuleringar av detta postulat har skrivits (se artikeln om parallellpostulat för några exempel på ekvivalenta påståenden). Oavsett hur det formuleras, tycks det alltid vara mer komplicerat än Euklides övriga postulat (som till exempel inkluderar, "Mellan valfria två punkter kan en rät linje dras").
Under flera hundra år var geometriker bekymrade över det femte postulatets speciella komplexitet och trodde att det kunde bevisas som en sats ur de övriga fyra. Många försökte finna ett bevis genom motsägelse, i synnerhet italienaren Giovanni Gerolamo Saccheri. I ett arbete med titeln Euclides ab Omnio Naevo Vindicatus (Euklides befriad från alla brister), publicerad 1733, förkastade han snabbt elliptisk geometri som en möjlighet (några andra av Euklides axiom måste modifieras för att elliptisk geometri skall fungera) och satte igång att bevisa ett stort antal resultat i hyperbolisk geometri. Till slut nådde han en punkt där han trodde att hans resultat visade på motsägelser i systemet och därmed bevisade att hyperbolisk geometri är ologisk. Hans hävdande om motsägelse tycks grundas på euklidiska antaganden, eftersom någon motsägelse inte fanns i hans eget verk.
Cirka hundra år senare, 1829, publicerade den ryska matematikern Nikolaj Lobatjevskij en avhandling om hyperbolisk geometri, och hyperbolisk geometri kallas därför ibland för Lobatjevskijsk geometri. Vid samma tid skrev även ungraren Janos Bolyai en avhandling om hyperbolisk geometri, som publicerades 1832 som ett appendix till ett verk av dennes far. Den store matematikern Carl Friedrich Gauss läste appendixet och berättade för Bolyai att han själv hade utarbetat samma resultat någon gång tidigare. Den fundamentala skillnaden mellan dessa och tidigare arbeten, som Saccheris, är att de var de första att öppet hävda att euklidisk geometri inte var den enda geometrin och inte heller den enda möjliga geometriska strukturen för universum. Dock återstod ännu möjligheten att axiomen för hyperbolisk geometri var logiskt självmotsägande.
Det behövdes dock mera arbete för att etablera elliptisk geometri. Bernhard Riemann grundlade under en berömd föreläsning 1854 fältet riemanngeometri, som särskilt diskuterade idéerna som nu kallas "mångfalder", riemannmetrik och krökning. Han konstruerade en oändlig familj av icke-euklidiska geometrier genom att ge en formel för en familj av riemannmetriker på enhetsklotet i euklidiska rum. Ibland förbises delar av hans upptäckter, men hans konstruktioner visar att hans arbete var långtgående, och hans satser är giltiga för alla geometrier.
Euklidisk geometri modelleras genom vårt begrepp om ett "platt plan". Den enklaste modellen för elliptisk geometri är en sfär, där linjer är storcirklar (som ekvatorn eller meridianer på en jordglob). Även efter Lobatjevskijs, Gauss, och Bolyais arbeten återstod frågan: existerar någon sådan modell för hyperbolisk geometri? Denna fråga besvarades av Eugenio Beltrami 1864, som bevisade att en yta kallad pseudosfär har den lämpliga krökningen för att modellera hyperbolisk geometri. Hans arbete byggde direkt på Riemanns. Betydelsen av Beltramis arbete ligger i att han visade att hyperbolisk geometri är logiskt motsägelsefri om euklidisk geometri är det.
Utvecklingen av icke-euklidisk geometri visade sig vara mycket viktig för fysik på 1900-talet. Einsteins Relativitetsteori beskriver rummet som allmänt platt (det vill säga euklidiskt), men krökt (det vill säga icke-euklidiskt) i regioner nära materia. Denna typ av geometri, där krökningen ändras från punkt till punkt, kallas pseudoeuklidisk geometri.
Se även
[redigera | redigera wikitext]Referenser
[redigera | redigera wikitext]- Ian Stewart; Flatterland; Perseus Publishing; ISBN 0-7382-0675-X (softcover, 2001)
Externa länkar
[redigera | redigera wikitext]Wikimedia Commons har media som rör Icke-euklidisk geometri.
- MacTutor Archive article on non-Euclidean geometry