Dalam matematika, fungsi injektif (bahasa Inggris: injective function) atau fungsi satu-satu (bahasa Inggris: one-to-one function) adalah sebuah fungsi f yang memetakan anggota yang berbeda ke anggota yang lain. Hal ini mengartikan bahwa f(x1) = f(x2) menyiratkan x1 = x2, dan juga berlaku untuk pernyataan kontrapositif: x1 ≠ x2 menyiratkan .f(x1) ≠ f(x2). Dengan kata lain, setiap anggota dari kodomain fungsi merupakan bayangan dari setidaknya satu anggota dari domain fungsi.
Definisi Sunting
Misalkan f adalah sebuah fungsi, dan himpunan X adalah domainnya. Sebuah fungsi f dikatakan injektif asalkan untuk semua a dan b di X, jika f(a) = f(b), maka a = b. Hal ini mengartikan bahwa f(x1) = f(x2) menyiratkan x1 = x2, dan juga berlaku untuk pernyataan kontrapositif: x1 ≠ x2 menyiratkan f(x1) ≠ f(x2).
Secara matematis, dapat dituliskan sebagai
dan untuk pernyataan kontrapositif dapat ditulis sebagai
Catatan Sunting
- "Injective, Surjective and Bijective". www.mathsisfun.com. dari versi asli tanggal 2023-03-26. Diakses tanggal 2019-12-07.
- Farlow, S. J. "Injections, Surjections, and Bijections" (PDF). math.umaine.edu. (PDF) dari versi asli tanggal 2020-01-10. Diakses tanggal 2019-12-06.