TEORI URUTAN PADA GEOMETRI

1. TEORI URUTAN PADA GEOMETRI Ada dua teori urutan yang terkenal yaitu : a. Teori precedence (yang lebih didahulukan) b. Teori betwenness (ke-antaraan)

2. Jika dinyatakan secara formal, teori precedence meliputi relasi dua suku (biner). a<b (dibaca a mendahului b, bukan a kurang dari b) dan teori betwenness meliputi relasi tiga suku (ternary)

3. 1. Postulat untuk urutanhimpunan dasar S yang memiliki elemen a,b,c,...yang memenuhi postulat berikut ini;

4. P1. a<a akan selalu salahP2. a<b, b<c, secara tak langsung menyatakan a<cP3. jika a dan b keduanya berbeda maka akan berlaku salah satu dari relasi a<b, b<a

5. 2. Postulat untuk Ke-antaraanKita asumsikan bahwa relasi ‘antara’ memenuhi postulat berikut ini:B1. (abc) secara tak langsung menyatakan (cba),(sifat simetri).B2. (abc) secara tak langsung menyatakan ketidakbenaran dari (bca), (sifat antisiklik)

6. B3. a,b,c berbeda dan kolinier, jika dan hanya jika (abc), (bca), atau (cab), sifat kohenrensi linierB4. misalkan p kolinier dan berbeda dari a, b, c, maka (apb) secara tak langsung menyatakan (bpc atau (apc) tetapi tidak keduanya, sifat pemisahan

7. B5. jika a≠b ada x,y,z sedemikian sehingga (xab), (ayb), (abz), sifat aksistensiKeterangan:B1 merupakan sifat simetri sederhanaB2 menyatakan bahwa kita dapat merusak kevaliditasan (abc) jika kita gunakan permutasi siklik yang menggantikan a,b,c dengan b,c,a

8. B3 menghubungkan ide dasar antara titik dan garis dalam teori insidensi. B3 mudah diingat karena relasi yang terlibat adalah permutasi siklik (abc)B3.1. (abc) secara tak langsung menyatakan a,b,c berbeda dan kolinierB3.2. jika a,b,c berbeda dan kolinier maka (abc), (bca), atau (cab) sesungguhnya B3 ekuivalan dengan

9. B3.1. dan B3.2. dan merupakan formulasi untuk kedua sifat ini.B4 diformulasikan sebagai sifat segitiga. “Jika p memisahkan a dari b, maka p pasti memisahkan a atau b dari c, tetapi tidak keduanya”.B5 diperkenalkan untuk menjamin titik yang ada dalam bahasan kita. B5 berguna untuk mencegah teori menjadi trivial.

10. 3. Sifat Ke-antaraan ElementerKita dapat menurunkan prinsip-prinsip dibawah ini:i. (abc) menyatakan ab=bc=acii. (abc) menyatakan bahwa ab memuat c, bc memuat a, dan ac memuat b

11. Teorema 1. (abc) secara tak langsung menyatakan (cba), dan (abc) secara tak langsung ketidakbenaran dari (bca), (bac), (acb), dan (cab). Bukti :

12. Corollary. (abc) ↔ (cba) yakni (cba) dan (abc) adalah ekivalen.4. SegmenBangun geometrik yang paling sederhana setelah garis adalah segmen.Definisi. Jika a≠b, himpunan semua titik x sedemikian sehingga (axb)

13. Disebut segmen ab, yang dinotasikan , a dan b disebut titik ujung segmen ab atau menghubungkan a dan b

14. Teorema 2. jika a≠b makai. ii. merupakan subset dari abiii. a, b, bukan elemen dariiv. bukan himpunan kosong

15. Bukti. Jika x berada pada , maka akan dibuktikan jika x berada pada , juga berada dalam . Menurut definisi , x berada dalam jika (axb). Lalu x juga berada pada ba jika (bxa). Jadi harus dibuktikan bahwa (axb) secara tak langsung menyatakan (bxa) dan konversinya juga berlaku.

16. Yakni (axb) dan (bxa) ekivalen. Hal ini berlaku menurut corollary teorema 1. jadi kita simpulkan