Birebir örten fonksiyon, hem birebir (enjektif) hem de örten (sürjektif) olan fonksiyonlara denir. Yani, tanım kümesindeki her elemanın, değer kümesinde farklı bir görüntüsü vardır ve değer kümesinde boşta eleman kalmaz.
Birebir örten fonksiyon sayısını bulmak için permütasyon bilgisini kullanırız. Eğer tanım kümesi ve değer kümesi aynı sayıda elemana sahipse (örneğin, her ikisi de $n$ elemanlıysa), birebir örten fonksiyon sayısı $n!$ (n faktöriyel) olur.
Örnek:
A = {1, 2, 3} ve B = {a, b, c} kümeleri verilsin. A'dan B'ye kaç tane birebir örten fonksiyon tanımlanabilir?
Çözüm:
Her iki küme de 3 elemanlı olduğu için, birebir örten fonksiyon sayısı 3! = 3 x 2 x 1 = 6'dır.
Faktöriyel, bir sayının 1'den kendisine kadar olan tüm pozitif tam sayıların çarpımıdır. $n! = n \times (n-1) \times (n-2) \times ... \times 1$ şeklinde hesaplanır.
Birebir örten fonksiyon sayısı, aslında bir permütasyon problemidir. $n$ elemanlı bir kümenin $n$ elemanlı permütasyonlarının sayısı $n!$ olduğundan, bu bilgi birebir örten fonksiyon sayısını bulmada işimize yarar.
Soru: A = {1, 2, 3, 4} ve B = {x, y, z, t} kümeleri veriliyor. A'dan B'ye tanımlanabilecek birebir örten fonksiyon sayısı kaçtır?
Çözüm:
Her iki küme de 4 elemanlıdır. Bu nedenle, birebir örten fonksiyon sayısı 4! = 4 x 3 x 2 x 1 = 24'tür.
Bazı sorularda, birebir örten fonksiyonun tanım kümesi ve değer kümesi üzerinde ek kısıtlamalar olabilir. Bu durumlarda, permütasyon hesaplamasını bu kısıtlamalara göre uyarlamak gerekir.
Örnek:
A = {1, 2, 3, 4} ve B = {a, b, c, d} kümeleri veriliyor. f(1) = a olmak şartıyla, A'dan B'ye kaç tane birebir örten fonksiyon tanımlanabilir?
Çözüm:
f(1) = a olduğu için, 1 elemanı a elemanına eşlenmiştir. Geriye kalan 3 eleman (2, 3, 4) için 3 eleman (b, c, d) kalır. Bu durumda, kalan 3 elemanın permütasyonu 3! = 3 x 2 x 1 = 6'dır. Yani, f(1) = a şartını sağlayan 6 tane birebir örten fonksiyon vardır.