Coba jelasin Dualitas dari Geometri proyektif dong

Pada tahun 1825, Joseph Gergonne mengajukan prinsip dualitas yang mengkarakterisasi geometri bidang projektif: diberikan sembarang teorema atau definisi geometri itu, lakukan substitusi titik untuk garis, terletak pada untuk melalui, kolinear untuk konkuren, memotong untuk menggabungi, atau begitu juga sebaliknya, menghasilkan teorema atau definisi sahih lainnya, "dual" dari yang pertama. Sama halnya dalam dimensi-3, relasi dualitas berlaku antara titik dan bidang, membolehkan sembarang teorema ditransformasi dengan cara mempertukarkan titik dan bidang, dimuat oleh dan memuat. Lebih umumnya, untuk bidang-bidang projektif berdimensi-N, terdapat sebuah dualitas antara subruang-subruang berdimensi-R dan berdimensi N−R−1. Untuk N = 2, bidang projektif ini menspesialisasi ke bentuk dualitas yang paling lazim dikenal-yakni antara titik dan garis. Prinsip dualitas juga telah ditemukan secara terpisah oleh Jean-Victor Poncelet.

Untuk membangun dualitas hanya diperlukan teorema yang sudah ada, yakni versi dual dari aksioma untuk dimensi yang dipertanyakan. Dengan demikian, untuk ruang-ruang berdimensi-3, seseorang harus membuktikan bahwa (1*) setiap titik berada dalam 3 bidang yang berbeda, (2*) setiap dua bidang berpotongan pada sebuah garis unik dan versi dual dari (3*) dampaknya: jika perpotongan bidang P dan Q koplanar dengan perpotongan bidang R dan S, maka perpotongan bidang P dan R juga koplanar dengan perpotongan Q dan S (dengan menganggap bahwa bidang P dan S berbeda dengan Q dan R).

Dalam praktiknya, prinsip dualitas membolehkan kita untuk menentukan korespondensi dual antara dua konstruksi geometri. Yang paling terkenal darinya adalah polaritas atau resiprositas dua gambar dalam kurva irisan kerucut (dalam dimensi-2) atau permukaan kuadrik (dalam dimensi-3). Sebuah contoh lazim ditemukan dalam resiprokasi polihedron simetris dalam bola konsentrik untuk mendapatkan polihedron dual.