bijektif

Bijektif adalah jenis fungsi yang memenuhi dua sifat utama: injektif (satu-ke-satu) dan surjektif (tonto). Secara formal, sebuah fungsi f dari himpunan A ke himpunan B dikatakan bijektif jika untuk setiap elemen y di B terdapat tepat satu elemen x di A sehingga f(x) = y. Delap-satu-satu memastikan tidak ada dua elemen berbeda di A yang dipetakan ke elemen yang sama di B, sementara onto memastikan setiap elemen di B muncul sebagai gambar dari setidaknya satu elemen di A.

Karakteristik lain dari bijektif adalah keberadaan fungsi invers f^-1: B → A yang juga merupakan fungsi. Untuk setiap x di A, f^-1(f(x)) = x, dan untuk setiap y di B, f(f^-1(y)) = y. Eksistensi invers ini membuat bijeksi menjadi alat penting dalam membuktikan kesetaraan kardinalitas antara dua himpunan: jika ada bijeksi antara A dan B, maka keduanya memiliki kardinalitas yang sama. Pada himpunan berhingga, adanya bijeksi antara dua himpunan berarti keduanya memiliki jumlah elemen yang sama.

Contoh sederhana: f: {1, 2, 3} → {a, b, c} dengan f(1) = a, f(2) = b, f(3) = c adalah bijektif. Contoh non-bijektif: f: {1, 2, 3} → {a, b, c} dengan f(1) = a, f(2) = b, f(3) = b. Contoh bijektif lainnya adalah f(x) = x^3 dari R ke R, dengan invers f^-1(y) = ∛y.

Bijektif digunakan dalam berbagai bidang matematika untuk mendefinisikan isomorfisme, menganalisis kardinalitas, dan membangun hubungan struktural antara dua himpunan atau ruang.