Geometri proyektif adalah cabang dari geometri yang mempelajari sifat-sifat geometris yang tetap tak berubah di bawah transformasi proyektif, yaitu jenis transformasi yang mempertahankan hubungan insidensi (misalnya, titik-titik yang terletak pada satu garis tetap terletak pada satu garis setelah transformasi). Berbeda dengan geometri Euklides yang berfokus pada panjang, sudut, dan jarak, geometri proyektif lebih tertarik pada struktur yang lebih mendasar, seperti titik, garis, dan bidang, tanpa memperhatikan ukuran atau sudut.
Geometri proyektif pertama kali muncul pada zaman Renaisans, ketika para seniman mulai mengeksplorasi cara untuk menggambarkan objek tiga dimensi pada bidang dua dimensi. Salah satu inovasi besar dalam seni pada masa ini adalah pengembangan teknik perspektif, yang memungkinkan seniman menggambarkan objek sedemikian rupa sehingga tampak realistis, dengan garis-garis paralel yang tampak bertemu di titik hilang di kejauhan.
Pionir dalam pengembangan teori matematika di balik perspektif adalah Girard Desargues (1591-1661), seorang matematikawan dan arsitek Prancis. Desargues dikenal karena mengembangkan gagasan dasar dalam geometri proyektif, terutama mengenai hubungan antara garis-garis yang tampak bertemu pada jarak tak terhingga. Teori Desargues menjadi dasar dari banyak konsep modern dalam geometri proyektif.
Kemajuan signifikan lainnya dalam geometri proyektif dilakukan oleh Jean-Victor Poncelet (1788-1867), seorang matematikawan Prancis yang memperluas ide Desargues dan mengembangkan teori transformasi proyektif. Karyanya dalam geometri proyektif menjadi landasan bagi studi lebih lanjut di bidang ini.
Salah satu konsep paling mendasar dalam geometri proyektif adalah ruang proyektif. Dalam ruang Euklides, dua garis yang paralel tidak pernah bertemu. Namun, dalam ruang proyektif, garis-garis paralel dipandang bertemu di “titik di tak terhingga.” Ruang proyektif dengan demikian menambahkan titik-titik di tak terhingga untuk memperluas ruang Euklides, sehingga semua garis akhirnya bertemu pada titik tertentu.
Misalnya, garis proyektif (sering dilambangkan dengan P1\mathbb{P}^1P1) adalah perpanjangan dari garis nyata R\mathbb{R}R, dengan tambahan satu titik di tak terhingga. Demikian pula, bidang proyektif (sering dilambangkan dengan P2\mathbb{P}^2P2) memperluas bidang dua dimensi R2\mathbb{R}^2R2 dengan menambahkan “garis di tak terhingga,” yang terdiri dari semua titik di mana garis-garis paralel bertemu.
Dalam geometri proyektif, tidak ada konsep “paralelisme” dalam arti Euklides. Semua garis dianggap bertemu, baik di titik nyata maupun di titik tak terhingga. Hal ini menyebabkan beberapa perbedaan signifikan dalam cara kita memahami hubungan antara titik, garis, dan bidang.
Sebagai contoh:
Salah satu aspek paling penting dari geometri proyektif adalah transformasi proyektif. Transformasi proyektif adalah transformasi yang memetakan titik-titik pada garis, garis-garis pada bidang, atau lebih umum, objek-objek dalam ruang proyektif, dengan mempertahankan hubungan insidensi (misalnya, jika dua garis berpotongan sebelum transformasi, mereka akan tetap berpotongan setelah transformasi).
Transformasi ini bisa dipandang sebagai perpanjangan dari transformasi afine, di mana kita tidak hanya mempertimbangkan translasi, rotasi, dan dilatasi, tetapi juga penggambaran dalam perspektif, di mana titik-titik yang jauh tampak lebih dekat.
Teorema Desargues adalah salah satu teorema fundamental dalam geometri proyektif. Teorema ini menyatakan bahwa jika dua segitiga ABCABCABC dan A′B′C′A’B’C’A′B′C′ berada dalam posisi perspektif, artinya garis-garis yang menghubungkan titik-titik yang sesuai dari kedua segitiga bertemu pada satu titik, maka garis-garis yang menghubungkan sisi-sisi yang sesuai dari segitiga tersebut akan berpotongan di tiga titik yang terletak pada satu garis.
Teorema ini tidak selalu berlaku dalam geometri Euklides, tetapi selalu berlaku dalam geometri proyektif, yang menunjukkan kekuatan dan generalitas dari geometri ini.
Teorema Pappus adalah teorema penting lainnya dalam geometri proyektif. Teorema ini menyatakan bahwa jika kita memiliki dua garis dengan tiga titik berbeda pada masing-masing garis (katakanlah A,B,CA, B, CA,B,C pada garis pertama dan A′,B′,C′A’, B’, C’A′,B′,C′ pada garis kedua), maka titik-titik perpotongan dari pasangan garis AB′AB’AB′ dan A′BA’BA′B, AC′AC’AC′ dan A′CA’CA′C, serta BC′BC’BC′ dan B′CB’CB′C akan terletak pada satu garis.
Teorema Pappus adalah contoh lain dari sifat-sifat insidensi yang dijaga dalam geometri proyektif.
Geometri proyektif memiliki berbagai aplikasi yang luas dalam sains dan teknologi modern. Beberapa aplikasi penting termasuk:
Dalam komputer grafis, geometri proyektif digunakan untuk memproyeksikan objek tiga dimensi ke dalam bidang dua dimensi layar komputer. Ini adalah dasar dari teknik rendering perspektif, di mana objek yang lebih dekat ke kamera tampak lebih besar daripada objek yang lebih jauh. Transformasi proyektif digunakan untuk menghitung bagaimana objek dalam ruang 3D diproyeksikan ke layar 2D.
Dalam fotografi dan pengolahan citra, geometri proyektif digunakan untuk memperbaiki distorsi perspektif dalam gambar. Misalnya, ketika gambar sebuah bangunan diambil dari sudut tertentu, bangunan itu mungkin terlihat miring atau terdistorsi. Dengan menggunakan teknik-teknik proyektif, distorsi ini dapat dikoreksi sehingga bangunan tampak tegak dan lurus.
Dalam robotika dan visi komputer, geometri proyektif digunakan untuk memahami dan memodelkan bagaimana robot atau sistem visi komputer melihat dunia sekitarnya. Teknik proyeksi digunakan untuk mengekstrak informasi tentang bentuk dan posisi objek di dunia nyata dari gambar atau rekaman video.
Geometri proyektif juga memiliki aplikasi penting dalam geometri aljabar dan teori bilangan, di mana ruang proyektif sering digunakan untuk mempelajari solusi dari persamaan polinomial dan objek-objek geometris lainnya. Banyak dari hasil-hasil modern dalam teori bilangan dan geometri aljabar melibatkan penggunaan ruang proyektif untuk menyederhanakan dan memahami struktur masalah yang kompleks.
Geometri proyektif adalah bidang yang kaya dan mendalam dalam matematika dengan aplikasi yang meluas dari seni dan desain hingga teknologi modern seperti komputer grafis, visi komputer, dan robotika. Dengan mempelajari struktur fundamental yang tetap tak berubah di bawah transformasi proyektif, geometri proyektif membuka wawasan baru dalam memahami hubungan antara titik, garis, dan ruang.
Teorema-teorema kunci seperti Teorema Desargues dan Teorema Pappus menunjukkan bahwa geometri proyektif menawarkan perspektif baru tentang sifat-sifat geometris yang tidak dapat dijelaskan dalam kerangka geometri Euklides. Aplikasi modernnya dalam berbagai disiplin ilmu menunjukkan relevansi dan kegunaan teori ini dalam teknologi dan ilmu pengetahuan.
Sumber : Coxeter, H. S. M. (1961). Introduction to Geometry. John Wiley & Sons.
