Отворите главни мени

Apsolutna geometrija je geometrija u kojoj nije pretpostavljen postulat paralelnosti (Euklidov peti postulat) niti bilo koja od njegovih alternativa. Njene teoreme su, prema tome, istinite i u neeuklidskim geometrijama, takvim kao što je hiperbolička geometrija, jednako kao što su istinite i u Euklidovoj geometriji. Tako, na primer, Euklid u privih 28 propozicija u svojim Elementima izbegava upotrebu postulata paralelnosti, zbog čega one mogu biti uključene u potpunosti i u apsolutnu geometriju.

Ova geometrija ponekad se naziva i neutralnom geometrijom, s obzirom da je neutralna u odnosu na postulat paralelnosti.

Apsolutna geometrija je dobar primer jednog nepotputnog aksiomatskog sistema (sistema postulata). Uzmimo u obzir tvrđenje: „Zbir uglova u svakom trouglu jednak je zbiru dva prava ugla“. Ovo nije dokazivo u okvirima apsolutne geometrije, jer kada bi to bilo, to bi bilo istinito i u hiperboličkoj geometriji, ali je u hiperboličkoj geometriji zbir uglova u trouglu manji od dva prava ugla. Osim toga, negacija tvrđenja, da postoji trougao čiji uglovi nisu dostatni za dva prava ugla, nije dokazivo takođe, jer kada bi to bilo, ono bi bilo dokazivo i u euklidskoj geometriji, ali suma uglova u trouglu u euklidskoj geometriji uvek iznosi dva prava ugla. Prema tome, unutar apsolutne geometrije ne može se odlučiti o istinitosti ove propozicije.

AksiomeУреди

Apsolutna geometrija je zasnovana na aksiomama incidencije (pripadanja), poretka i podudarnosti.

Aksiome incidencijeУреди

  • Za svake dve tačke   i   postoji prava   koja je incidentna i sa tačkom   i sa tačkom  .
  • Za svake dve tačke   i   postoji najviše jedna prava koja je incidentna sa svakom od tačaka   i  .
  • Za svaku pravu postoje bar dve tačke koje su sa njom incidentne. Postoje bar tri tačke koje nisu incidentne sa istom pravom.
  • Za svake tri tačke  ,   i   koje nisu incidentne sa istom pravom, postoji ravan koja je incidentna sa svakom od tačaka  ,  ,  . Svakoj ravni je incidentna bar jedna tačka.
  • Za svake tri tačke  ,   i   koje nisu incidentne sa istom pravom postoji najviše jedna ravan koja je incidentna sa svakom od tačaka  ,  ,  .
  • Ako su dve tačke prave   incidentne sa ravni α, tada je svaka tačka prave   incidentne sa ravni α.
  • Ako postoji jedna tačka koja je incidentna i sa ravni α i sa ravni β, tada postoji bar još jedna tačka koja je incidentna i sa ravni α i sa ravni β.
  • Postoje bar četri tačke koje nisu incidentne sa istom ravni.

Aksiome poretkaУреди

  • Ako je   -   -  , tada su  ,   i   tri različite tačke jedne iste prave i takođe je   -   -  .
  • Za svake dve tačke   i   postoji tačka  , takva da je   -   -  .
  • Ako su  ,   i   tri tačke jedne prave, tada važi najviše jedna od relacija:   -   -  ,   -   -   ili   -   -  .
  • (Pašova aksioma) Neka su  ,  ,   tri nekolinearne tačke i neka je   prava koja je incidentna sa ravni   i nije incidentna ni sa jednom od tačaka  ,  ,  . Ako postoji tačka       takva da je   -   -  , tada postoji tačka       takva da važi bar jedna od relacija   -   -   ili   -   -  .

Aksiome podudarnostiУреди

  • Za svaku polupravu   sa početnom tačkom   i za svaku duž  , postoji tačka      , takva da je duž   podudarna sa duži  , i to zapisujemo   =  .
  • Ako je:       i      , tada je      .
  • Ako je   -   -   i   -   -   i ako je       i      , tada je       .
  • Za svaku poluravan α' sa ivicom u pravoj  , za svaku polupravu       sa početnom tačkom  , za svaki ugao ∠ab, postoji jedna i samo jedna poluprava     α' sa početnom tačkom  , takva da je ugao ∠ab podudaran sa uglom ∠a'b', što zapisujemo ∠ab   ∠a'b'
  • Ako za trouglove   i   važi da je      ,      , ∠BAC   ∠B'A'C', tada je i ∠CBA   ∠C'B'A'.

Vidi jošУреди

LiteraturaУреди

  • Geometry: Euclid and Beyond, Robin Hartshorne, Springer
  • Zoran Lučić, Euklidska i hiperbolička geometrija (1997),TOTAL DESIGN i Matematički fakultet u Beogradu