Geometri proyektif itu apa sih?

Di dalam matematika, geometri projektif adalah kajian sifat-sifat geometris yang invarian di bawah transformasi projektif. Ini berarti bahwa geometri projektif memiliki tatanan, ruang projektif, dan himpunan selektif yang berbeda dibandingkan konsep-konsep geometri elementer. Intuisi-intuisi dasarnya adalah bahwa ruang projektif memiliki lebih banyak titik daripada ruang euklides, di dalam dimensi yang diberikan, dan bahwa transformasi geometris adalah diizinkan untuk memindahkan titik-titik ekstra (yang disebut "titik di ketakhinggaan") ke titik-titik tradisional, dan begitu juga sebaliknya.

Sifat-sifat yang penuh makna di dalam geometri projektif disokong oleh gagasan baru transformasi ini, yang lebih radikal dalam efek-efeknya dibanding keterekspresiannya oleh suatu matriks transformasi dan translasi (transformasi afin). Isu pertama bagi para ahli geometri adalah bahasa geometri manakah yang memadai bagi situasi baru ini? Tidaklah mungkin untuk memperbincangkan sudut dalam geometri projektif karena ia ada dalam geometri euklides, karena sudut adalah sebuah contoh dari konsep yang tidak invarian di bawah transformasi projektif, seperti yang tampak jelas dalam gambar perspektif. Satu sumber untuk geometri projektif adalah tentu saja teori perspektif. Perbedaan lainnya dari geometri elementer adalah cara di mana garis-garis sejajar dapat dikatakan saling bertemu di sebuah titik di ketakhinggaan, ketika konsep ini ditranslasikan ke dalam suku-suku geometri projektif. Dan lagi, gagasan ini memiliki landasan intuitif, misalnya rel kereta api yang bertemu di cakrawala menurut gambar perspektif. Lihatlah bidang projektif untuk dasar-dasar geometri projektif dalam dua dimensi.

Sementara beberapa gagasan telah hadir terlebih dahulu, geometri projektif sebagian besarnya merupakan hasil pengembangan dari abad ke-19. Satu rancang bangun raksasa dari berbagai penelitian telah menjadikannya sebagai cabang geometri yang paling representatif pada masa itu. Geometri projektif adalah teori tentang ruang projektif kompleks, karena koordinat-koordinat yang digunakan (koordinat homogen) adalah bilangan kompleks. Beberapa lembaran utama matematika yang lebih abstrak (termasuk teori invarian, mazhab Italia geometri aljabar, dan program Erlangen-nya Felix Klein yang mengarah pada kajian grup klasik) dibangun di atas geometri aljabar. Geometri projektif juga merupakan subjek dengan banyak praktisi yang bekerja deminya, di bawah panji-panji geometri sintetis. Cabang lain yang muncul dari kajian-kajian aksiomatis geometri projektif adalah geometri berhingga.

Cabang geometri projektif sendiri saat ini dibagi ke dalam banyak sub-cabang penelitian, dua contoh darinya adalah geometri aljabar projektif (kajian varietas projektif) dan geometri diferensial projektif (kajian invarian diferensial transformasi projektif).