Absoluuttinen geometria (tai neutraali geometria ) on osa klassista geometriaa, riippumatta euklidisen aksiomaatiikan viidennestä postulaatista (eli absoluuttisessa geometriassa viides postulaatti voi täyttyä tai ei). Absoluuttinen geometria sisältää ehdotuksia, jotka ovat yhteisiä euklidiselle geometrialle ja Lobatševskin geometrialle [1] [2] .
Termiä ehdotti Janos Bolyai vuonna 1832 [3] . Totta, Bolyai itse asetti siihen hieman erilaisen merkityksen: hän kutsui absoluuttiseksi geometriaksi hänen erityisesti kehittämäänsä symboliikkaa, joka mahdollisti sekä euklidisen geometrian että Lobatševskin geometrian [4] lauseiden yhdistämisen yhdellä kaavalla .
Eukleideen " Prinsiippien " 28 ensimmäistä lausetta viittaavat absoluuttiseen geometriaan. Tässä on lisää esimerkkejä tällaisista teoreemoista [5] :
Euklidisen geometrian nykyaikainen aksiomatiikka (kuten Hilbertin aksiomatiikka ) on täydellinen , eli mikä tahansa oikea väite tässä teoriassa voidaan todistaa tai kumota. Absoluuttinen geometria on epätäydellinen: koska viides postulaatti määrittelee homogeenisen avaruuden metriset ominaisuudet , sen puuttuminen absoluuttisessa geometriassa tarkoittaa, että avaruusmetriikkaa ei ole määritelty, ja useimmat mittaukseen liittyvät lauseet (kuten Pythagoraan lause tai kolmion kulmien summa lause ) ei voida todistaa absoluuttisessa geometriassa [6] .
Muita esimerkkejä lauseista, jotka eivät sisälly absoluuttiseen geometriaan:
Absoluuttisessa geometriassa rinnakkaiset suorat ovat aina olemassa (katso Euklidesin elementtien lauseet 27 ja 28 , jotka on todistettu tukeutumatta viidenteen postulaattiin), joten pallogeometria , jossa ei ole yhdensuuntaisia viivoja, ei ole yhteensopiva absoluuttisen geometrian kanssa. On kuitenkin mahdollista rakentaa aksiomatiikka, joka yhdistää kaikki kolme ei- euklidisen geometrian tyyppiä (euklidinen, pallomainen ja Lobatševski-geometria) [8] , jolloin absoluuttinen geometria voidaan määritellä niiden yhteiseksi osaksi. Tämä uusi määritelmä on laajempi kuin vanha - esimerkiksi lause "kolmion kulmien summa ei ylitä 180 °" lakkaa olemasta totta.
Bibliografisissa luetteloissa |
---|