Bijeksi

Dalam matematika, bijeksi, fungsi bijektif, korespondensi satu-ke-satu, atau fungsi terbalikkan adalah fungsi yang melibatkan elemen-elemen dari dua himpunan. Setiap elemen dari satu himpunan dipasangkan dengan tepat ke satu elemen dari himpunan lainnya. Setiap elemen dari himpunan lainnya dipasangkan dengan tepat ke satu elemen dari himpunan pertama. Tidak ada elemen yang tidak berpasangan atau memiliki lebih dari satu pasangan. Dalam istilah matematika, fungsi bijektif f: X → Y adalah pemetaan satu-ke-satu (injeksi) dan onto (surjektif) dari himpunan X ke himpunan Y. Istilah korespondensi satu-ke-satu tidak boleh disalahartikan dengan fungsi satu-ke-satu. Sebuah bijeksi dari himpunan X ke himpunan Y memiliki fungsi invers dari Y ke X. Jika X dan Y adalah himpunan hingga, maka keberadaan suatu bijeksi berarti bahwa kedua himpunan tersebut memiliki jumlah elemen yang sama. Untuk himpunan tak berhingga, digunakan konsep bilangan kardinal—cara untuk membedakan berbagai ukuran himpunan tak berhingga. Fungsi bijektif dari suatu himpunan ke dirinya sendiri disebut permutasi dan himpunan semua permutasi dari suatu himpunan membentuk sebuah grup simetris. Fungsi bijektif sangat penting dalam berbagai bidang matematika termasuk definisi isomorfisme, homeomorfisme, difeomorfisme, kelompok permutasi, dan peta projektif.