Geometri
Geometri (Yunani Kuno: γεωμετρία, geo-"bumi",-metron "pengukuran") adalah cabang matematika yang bersangkutan dengan pertanyaan bentuk, ukuran, posisi relatif gambar, dan sifat ruang. Seorang ahli matematika yang bekerja di bidang geometri disebut ahli ilmu ukur. Geometri muncul secara independen di sejumlah budaya awal sebagai ilmu pengetahuan praktis tentang panjang, luas, dan volume, dengan unsur-unsur dari ilmu matematika formal yang muncul di Barat sedini Thales (abad 6 SM). Pada abad ke-3 SM geometri dimasukkan ke dalam bentuk aksiomatik oleh Euclid, yang dibantu oleh geometri Euclid, menjadi standar selama berabad-abad. Archimedes mengembangkan teknik cerdik untuk menghitung luas dan isi, dalam banyak cara mengantisipasi kalkulus integral yang modern. Bidang astronomi, terutama memetakan posisi bintang dan planet pada falak dan menggambarkan hubungan antara gerakan benda langit, menjabat sebagai sumber penting masalah geometrik selama satu berikutnya dan setengah milenium. Kedua geometri dan astronomi dianggap di dunia klasik untuk menjadi bagian dari Quadrivium tersebut, subset dari tujuh seni liberal dianggap penting untuk warga negara bebas untuk menguasai.
Abstraksi (matematika)
Abstraksi adalah proses yang sinambung di dalam matematika dan pengembangan bersejarah dari banyak topik matematika yang memamerkan kemajuan dari hal yang konkret ke hal yang abstrak. Sebagai contoh, pengembangan bernilai sejarah dari geometri adalah; langkah pertama di dalam abstraksi geometri dibuat oleh orang Yunani kuno, dengan Elemen Euklides menjadi dokumentasi terdini dari aksioma-aksioma geometri bidang—meskipun Proclus berpendapat bahwa aksiomatisasi yang lebih dini dilakukan oleh Hippocrates dari Chios. Pada abad ke-17, Descartes memperkenalkan koordinat Kartesian yang mengikuti pengembangan geometri analitis. Langkah-langkah yang lebih jauh mengenai abstraksi dilakukan oleh Lobachevsky, Bolyai, Riemann, dan Gauss yang memperumum konsep-konsep geometri untuk mengembangkan Geometri non-Euclid. Kemudian pada abad ke-19, para matematikawan memperumum geometri lebih luas lagi, mengembangkan wilayah-wilayah itu sebagai geometri pada dimensi "n", geometri projektif, geometri afin, dan geometri hingga. Akhirnya "Program Erlangen" karya Felix Klein mengidentifikasi tema-tema geometri ini, medefinisikan tiap-tiap mereka sebagai penelaahan sifat-sifat invarian di bawah grup-grup simetri yang diberikan. Jenjang abstraksi ini menyibak keterkaitan yang mendalam di antara geometri dan aljabar abstrak.