C

O

l

A

B

Satu perbedaan mendasar Euclid dan Elliptik adalah konsep ‘betweeness’. Pada geometri Euclid, suatu titik B terletak antara A dan C jika {A, B, C} kolinier, dan jumlah jarak dari A ke B dan dari B ke C sama dengan jarak dari A ke C. Hal tersebut menjadi definisi yang tidak mungkin digunakan pada geometri Elliptik. Pada geometri Euclid, segmen AB terdiri dari titik A dan B dan semua titik diantara keduanya. Kita dapat melihat kenapa lingkaran tidak memenuhi definisi ini. Untuk aksioma pemisahan telah dikembangkan untuk memberikan dasar geometri Elliptik. SA1: Jika (A,B|C,D), maka A, B, C, D satu garis dan merupakan titik berbeda. SA2: Jika (A,B|C,D) maka (C,D|A,B) dan (B,A|C,D) SA3: Jika (A,B|C,D) maka tidak (A,C|B,D) Jika A dan B memisahkan C dan D, sangat tidak mungkin untuk A dan C memisahkan B dan D. SA4: Jika titik A, B, C, D segaris dan merupakan titik berbeda, maka (A,B|C,D) atau (A,C|B,D) atau (A,D|B,C) Karena A, B, C, D segaris, titik A dan satu dari titik lainnya harus memisahkan 2 titik sisanya. Karena ada 3 titik setelah A, maka ada 3 hubungan pemisahan yang mungkin.

SA5: Jika titik A. B. B.D).B|C.B|C.D’). C. dengan kata lain jika (A. Jika (A. C. maka (A’. C segaris dan berbeda. D dan jika A’.E) maka (A. D’ merupakan titik yang sama pada garis m dibawah perspektif. C’.B|C. D dan E.B’|C’.B|C.E) SA7: Perspektif mempertahankan pemisahan. B’. sedemikian sehingga (A.D) atau (A. B. SA6: Untuk sembarang 5 titik segaris dan berbeda A. Aksioma ini menunjukkan bahwa ada titik-titik dengan jumlah tidak terbatas pada garis. sehingga tidak masalah sedekat apa B dengan A.D) dan l garis yang melalui A. kemudian ada titik D. titik D tetap dapat digambar.B|D. .

Sign up to vote on this title
UsefulNot useful