Garis (geometri)
Dalam geometri Euklides, sebuah garis adalah sebuah lengkungan lurus. Ketika geometri digunakan untuk memodel dunia nyata, garis digunakan untuk menggambarkan obyek lurus dengan lebar dan tinggi yang berbeda. Garis adalah idealisasi dari obyek semacam itu dan tidak punya lebar atau tinggi dan panjangnya dianggap tak hingga
Dalam geometri, sebuah garis biasanya merupakan satu anggapan primitif dari sistem aksiom. Garis terdiri dari himpunan titik dan merupakan subhimpunan dari bidang. Dalam geometri diferensial, konsep garis digeneralisasikan menjadi geodesi. Dalam geometri sintetis, sebuah garis adalah satu anggapan lama dalam sistem Euklides, Karl von Staudt, dan David Hilbert. Sebuah garis adalah sebutan terdefinisikan dalam sistem Giuseppe Peano, Mario Pieri dan Alessandro Padoa.
Sebuah ruas garis adalah bagian dari garis yang dikelilingi oleh dua ujung berbeda dan terdiri dari setiap titik di garis antara kedua ujungnya. Tergantung cara ruas garis ini dideginisikan, satu dari dua ujung tersebut bisa jadi atau bukan bagian dari ruas garis. Dua ruas garis atau lebih bisa memiliki hubungan yang sama seperti garis, seperti paralel, perpotongan, atau kemiringan.
Lihat pula
Catatan kaki
Bahan pustaka
- Faber, Richard L. (1983). Foundations of Euclidean and Non-Euclidean Geometry. New York, United States: Marcel Dekker. ISBN 0-8247-1748-1.