f: A → B fonksiyonu bire bir ve örten olduğuna göre aşağıdakilerden hangisi kesinlikle doğrudur?
A) A ve B sonlu kümelerdir
B) A ve B kümelerinin eleman sayıları eşittir
C) f fonksiyonunun görüntü kümesi B'dir
D) f fonksiyonunun tersi yoktur
Sevgili öğrenciler, bu soruyu çözmek için öncelikle fonksiyon, bire bir fonksiyon ve örten fonksiyon kavramlarını çok iyi anlamamız gerekiyor. Adım adım ilerleyelim:
- 1. Fonksiyon Nedir?
- Bir $f: A \rightarrow B$ fonksiyonu, A kümesinin (tanım kümesi) her elemanını, B kümesinin (değer kümesi) yalnız bir elemanına eşleyen bir kuraldır.
- A kümesindeki elemanların fonksiyon altındaki görüntülerinden oluşan kümeye görüntü kümesi denir ve $f(A)$ ile gösterilir. $f(A) \subseteq B$ her zaman geçerlidir.
- 2. Bire Bir (Injective) Fonksiyon Nedir?
- Bir fonksiyonun bire bir olması demek, tanım kümesindeki farklı elemanların görüntülerinin de farklı olması demektir. Yani, $x_1 \neq x_2$ iken $f(x_1) \neq f(x_2)$ olmalıdır. Ya da eşdeğer olarak, $f(x_1) = f(x_2)$ ise $x_1 = x_2$ olmalıdır.
- 3. Örten (Surjective) Fonksiyon Nedir?
- Bir fonksiyonun örten olması demek, değer kümesindeki (B kümesi) her elemanın, tanım kümesindeki (A kümesi) en az bir elemanın görüntüsü olması demektir.
- Bu tanım, görüntü kümesinin ($f(A)$) değer kümesine (B) eşit olması anlamına gelir. Yani, $f(A) = B$ olmalıdır.
- 4. Seçenekleri Değerlendirelim:
- A) A ve B sonlu kümelerdir: Bire bir ve örten fonksiyonlar hem sonlu kümeler arasında (örneğin, $f: \{1,2\} \rightarrow \{a,b\}$, $f(1)=a, f(2)=b$) hem de sonsuz kümeler arasında (örneğin, $f: \mathbb{R} \rightarrow \mathbb{R}$, $f(x)=x$) tanımlanabilir. Dolayısıyla, A ve B'nin sonlu olması kesinlikle doğru değildir.
- B) A ve B kümelerinin eleman sayıları eşittir: Eğer A ve B sonlu kümelerse, bire bir ve örten bir fonksiyonun varlığı eleman sayılarının eşit olmasını gerektirir ($|A|=|B|$). Eğer A ve B sonsuz kümelerse, bire bir ve örten bir fonksiyonun varlığı bu kümelerin kardinalitelerinin (sonsuz eleman sayıları) eşit olduğunu gösterir. Bu ifade doğru olsa da, C seçeneği örtenliğin doğrudan tanımıdır ve daha temel bir kesinlik ifade eder.
- C) f fonksiyonunun görüntü kümesi B'dir: Yukarıda örten fonksiyon tanımında da belirttiğimiz gibi, bir fonksiyonun örten olması demek, görüntü kümesinin ($f(A)$) değer kümesine (B) eşit olması demektir. Soruda $f$ fonksiyonunun örten olduğu açıkça belirtildiğine göre, bu ifade kesinlikle doğrudur.
- D) f fonksiyonunun tersi yoktur: Bir fonksiyonun tersinin olabilmesi için hem bire bir hem de örten olması gerekir. Soruda $f$ fonksiyonunun bire bir ve örten olduğu belirtilmiştir. Bu durumda, $f$ fonksiyonunun tersi vardır ($f^{-1}: B \rightarrow A$). Dolayısıyla, bu ifade kesinlikle yanlıştır.
Sonuç olarak, $f$ fonksiyonunun örten olması tanım gereği görüntü kümesinin değer kümesine eşit olması demektir.
Cevap C seçeneğidir.
