Apsolutna geometrija

Из Википедије, слободне енциклопедије

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 A i B postoji prava a koja je incidentna i sa tačkom A i sa tačkom B.
  • Za svake dve tačke A i B postoji najviše jedna prava koja je incidentna sa svakom od tačaka A i B.
  • 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 A, B i C koje nisu incidentne sa istom pravom, postoji ravan koja je incidentna sa svakom od tačaka A, B, C. Svakoj ravni je incidentna bar jedna tačka.
  • Za svake tri tačke A, B i C koje nisu incidentne sa istom pravom postoji najviše jedna ravan koja je incidentna sa svakom od tačaka A, B, C.
  • Ako su dve tačke prave a incidentne sa ravni α, tada je svaka tačka prave a 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 A - B - C, tada su A, B i C tri različite tačke jedne iste prave i takođe je C - B - A.
  • Za svake dve tačke A i B postoji tačka C, takva da je A - B - C.
  • Ako su A, B i C tri tačke jedne prave, tada važi najviše jedna od relacija: A - B - C, B - C - A ili A - C - B.
  • (Pašova aksioma) Neka su A, B, C tri nekolinearne tačke i neka je p prava koja je incidentna sa ravni ABC i nije incidentna ni sa jednom od tačaka A, B, C. Ako postoji tačka D \in p takva da je A - D - B, tada postoji tačka E \in p takva da važi bar jedna od relacija B - E - C ili C - E - A.

Aksiome podudarnosti[уреди]

  • Za svaku polupravu a' sa početnom tačkom A' i za svaku duž AB, postoji tačka B' \in A', takva da je duž AB podudarna sa duži A'B', i to zapisujemo AB = A'B'.
  • Ako je: A'B' \cong AB i A''B'' \cong AB, tada je A'B' \cong A''B''.
  • Ako je A - B - C i A' - B' - C' i ako je AB \cong A'B' i BC \cong B'C', tada je AC \cong A'C' .
  • Za svaku poluravan α' sa ivicom u pravoj p', za svaku polupravu a' \subseteq p' sa početnom tačkom O', za svaki ugao ∠ab, postoji jedna i samo jedna poluprava b' \subseteq α' sa početnom tačkom O', takva da je ugao ∠ab podudaran sa uglom ∠a'b', što zapisujemo ∠ab \cong ∠a'b'
  • Ako za trouglove \Delta ABC i \Delta A'B'C' važi da je AB \cong A'B', AC \cong A'C', ∠BAC \cong ∠B'A'C', tada je i ∠CBA \cong ∠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