Garis (geometri)

Garis, dalam geometri Euklides, adalah sebuah lengkungan lurus. Ketika geometri digunakan untuk memodel dunia nyata, garis digunakan untuk menggambarkan objek lurus dengan lebar dan tinggi yang berbeda. Garis adalah idealisasi dari objek semacam itu dan tidak punya lebar atau tinggi dan panjangnya dianggap tak hingga. Dalam geometri, sebuah garis biasanya merupakan satu anggapan primitif dari sistem aksioma. 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.