Fonksiyon Kavramına Kısa Hatırlatma
Birebir ve örten kavramlarına geçmeden önce fonksiyonun temel tanımını hatırlatalım.
Fonksiyon: A kümesindeki her elemanı, B kümesindeki tam olarak bir elemanla eşleştiren bağıntıya fonksiyon denir. Yani tanım kümesindeki hiçbir eleman boşta kalmaz ve hiçbir eleman iki farklı değere gitmez.
📌 A = Tanım kümesi (domain), B = Görüntü kümesi (codomain). f: A → B şeklinde gösterilir. |
Bu temel üzerine birebir ve örten kavramları inşa edilir.
Birebir Fonksiyon Nedir?
Birebir fonksiyon (injektif fonksiyon): Tanım kümesindeki farklı elemanlar, görüntü kümesinde farklı elemanlara gönderiliyorsa bu fonksiyon birebir fonksiyondur.
Sade anlatımla: "Farklı girdi → Farklı çıktı" kuralı geçerliyse fonksiyon birebir (injektif) dir.
📐 Matematiksel tanım: a₁ ≠ a₂ ise f(a₁) ≠ f(a₂) olmalıdır. |
Birebir Fonksiyonun Özellikleri
- İki farklı eleman aynı değere gidemez.
- Görüntü kümesindeki bir elemanın en fazla bir tane kaynağı vardır.
- Tanım kümesi görüntü kümesinden büyük olamaz (|A| ≤ |B|).
- Grafik üzerinde: Yatay doğru testi — yatay bir doğru grafiği en fazla bir noktada keser.
- Eşleme şemasında: B'de hiçbir eleman birden fazla ok almaz.
Birebir Fonksiyon Örnekleri
Aşağıdaki örnekler sınav soruları için en çok kullanılan tipler olup açıklamalarıyla verilmiştir.
Örnek 1 — Eşleme şeması:
A = {1, 2, 3}, B = {a, b, c, d}
f: 1 → a, 2 → b, 3 → c
Sonuç: Her eleman farklı bir yere gidiyor. B'de d kullanılmıyor ama bu birebir olmayı bozmaz. ✅ Birebir fonksiyon.
Örnek 2 — Birebir olmayan örnek:
A = {1, 2, 3}, B = {a, b}
f: 1 → a, 2 → a, 3 → b
Sonuç: 1 ve 2 aynı çıktıya (a) gidiyor. ❌ Birebir değil.
Örnek 3 — Gerçek sayılarda:
f(x) = 2x + 3 fonksiyonu birebir midir?
x₁ ≠ x₂ iken 2x₁ + 3 ≠ 2x₂ + 3 olduğu için evet. ✅ Birebir.
Örnek 4 — Birebir olmayan gerçek sayı örneği:
f(x) = x² fonksiyonu (tüm gerçek sayılar) birebir midir?
f(2) = 4 ve f(−2) = 4 → iki farklı girdi aynı çıktıya gidiyor. ❌ Birebir değil.
Örten Fonksiyon Nedir?
Örten fonksiyon (sürjektif fonksiyon): Görüntü kümesindeki (B) her elemanın tanım kümesinde en az bir kaynağı varsa, bu fonksiyon örten fonksiyondur.
Sade anlatımla: "B'de boşta kalan eleman yok." Yani f'nin görüntüsü tam olarak B'ye eşittir.
📐 Matematiksel tanım: Her b ∈ B için en az bir a ∈ A vardır; f(a) = b. |
- Görüntü kümesi = B (kodomain) olmalıdır.
- B'deki her eleman en az bir ok alır.
- Bir eleman birden fazla ok alabilir — bu örten olmayı bozmaz.
- Tanım kümesi, görüntü kümesinden küçük olamaz (|A| ≥ |B|).
Örnek — Örten fonksiyon:
A = {1, 2, 3}, B = {a, b}
f: 1 → a, 2 → a, 3 → b
B'deki a ve b her ikisi de kullanıldı. ✅ Örten.
Örnek — Örten olmayan fonksiyon:
A = {1, 2, 3}, B = {a, b, c}
f: 1 → a, 2 → a, 3 → b
c hiçbir elemana eşlenmedi. ❌ Örten değil.
Birebir ve Örten Fonksiyon
Bir fonksiyon hem birebir hem de örten olabilir. Bu duruma matematiksel literatürde bijektif (birebir örten) fonksiyon denir.
Bijektif fonksiyon: Her girdi farklı bir çıktıya gider ve görüntü kümesinde hiç boşta kalan eleman yoktur. Bu, A ile B arasında mükemmel bir bire bir eşleşme demektir.
Örnek — Bijektif fonksiyon:
A = {1, 2, 3}, B = {a, b, c}
f: 1 → a, 2 → b, 3 → c
- Birebir mi? Evet — farklı elemanlar farklı yerlere gitti.
- Örten mi? Evet — a, b, c hepsinin kaynağı var.
✅ Birebir ve örten (bijektif) fonksiyon.
💡 TYT/AYT'de birebir ve örten fonksiyon ayrı ayrı da sorulur. Hangisini incelediğine dikkat et. |
Birebir ve Örten Fonksiyon Olma Şartı
Sınavda şartları doğru uygulamak kritik. İşte her kavram için kısa ve net şartlar:
Birebir Olma Şartı:
- a₁ ≠ a₂ ⟹ f(a₁) ≠ f(a₂) olmalı.
- Görüntü kümesindeki hiçbir eleman birden fazla kaynak almamalı.
- Eşleme sayısı: |A| ≤ |B| olmalı (sonlu kümeler için).
Örten Olma Şartı:
- Her b ∈ B için en az bir a ∈ A olmalı; f(a) = b.
- Fonksiyonun görüntüsü tam olarak B'ye eşit olmalı.
- Eşleme sayısı: |A| ≥ |B| olmalı (sonlu kümeler için).
Birebir ve Örten (Bijektif) Olma Şartı:
- Hem birebir hem örten şartları aynı anda sağlanmalı.
- |A| = |B| olmalı (sonlu kümeler için).
- Her eleman tam olarak bir kez eşlenmiş olmalı.
Birebir – Örten Karşılaştırması
Aşağıdaki tablo iki kavramı yan yana görmeni sağlar; sınavda kafa karışıklığını önler.
Özellik | Birebir (İnjektif) | Örten (Sürjektif) |
Aynı çıktıya izin | Hayır ❌ | Evet ✅ |
Görüntü kümesi | Daralır (⊆ B) | Tam B'ye eşit (= B) |
Küme büyüklüğü şartı | |A| ≤ |B| | |A| ≥ |B| |
B'de boşta eleman olabilir mi? | Evet ✅ | Hayır ❌ |
Ters fonksiyon her zaman var mı? | Hayır | Hayır |
💡 Her iki şart da sağlandığında ters fonksiyon her zaman vardır. Bijektif fonksiyonlar tam da bu yüzden özeldir. |
Sık Yapılan Hatalar
Her birebir fonksiyonu örten sanmak
Birebir olmak, örteni garanti etmez. Görüntü kümesinde boşta eleman kalabilir. Örnek: f: {1,2} → {a,b,c} eşlemesi 1→a, 2→b şeklindeyse birebir ama örten değil.
Örtenliği yalnızca eşleme sayısına bakarak yorumlamak
B'deki her elemanın kaynağı olması gerekir ama 'eşleme sayısı fazlaysa örtendir' şeklinde bir kural yoktur. Odak noktası her zaman B'de boşta eleman kalmamasıdır.
Tanım ve görüntü kümesini karıştırmak
Görüntü kümesi (image/range) ile kodomain (B) farklı kavramlardır. Kodomain tüm olası çıktı kümesi, görüntü kümesi ise f'nin gerçekten ürettiği çıktı kümesidir. Örten: görüntü = kodomain.
🎯 TYT/AYT Hızlı Özet: • Birebir: Farklı girdi → Farklı çıktı | B'de boşta eleman kalabilir | |A| ≤ |B| • Örten: B'de boşta eleman yok | Görüntü = B | |A| ≥ |B| • Bijektif: Her ikisi birden | |A| = |B| | Ters fonksiyon vardır |
