11 Fonksiyon Kavramı
Girdiyi çıktıya bağlayan kural — ML modellerinin temel taşı
Bölüm 1’de denklemleri çözdük. Şimdi bir adım yukarı çıkıyoruz: fonksiyon. Fonksiyon, bir girdiyi bir çıktıya bağlayan kuraldır. Bu kavram tüm bölümün — ve aslında makine öğrenmesinin — temelidir: bir model, sonuçta bir fonksiyondur.
11.1 Fonksiyon nedir?
Fonksiyonu bir makine gibi düşün: içine bir girdi koyarsın, kuralını uygular, sana tek bir çıktı verir.
Fonksiyonun tek belirleyici kuralı şudur: her girdiye karşılık tam olarak bir çıktı vardır. Aynı girdi her seferinde aynı çıktıyı vermelidir.
11.2 \(f(x)\) gösterimi
\(f(x)\), “\(f\) fonksiyonunun \(x\) girdisindeki değeri” demektir — \(f\) çarpı \(x\) değil. Kural genelde bir formülle yazılır:
\[f(x) = 2x + 1\]
Bir değeri hesaplamak için \(x\) yerine sayıyı koyarsın:
\[f(3) = 2(3) + 1 = 7 \qquad f(0) = 1 \qquad f(-2) = -3\]
11.3 Tanım ve görüntü kümesi
- Tanım kümesi (domain): fonksiyona girebilecek tüm geçerli girdiler.
- Görüntü kümesi (range): çıkabilecek tüm olası çıktılar.
Bazı kurallar her girdiyi kabul etmez:
\[f(x) = \sqrt{x} \;\Rightarrow\; \text{tanım kümesi } x \ge 0 \qquad h(x) = \frac{1}{x-2} \;\Rightarrow\; x \neq 2\]
Çünkü negatifin karekökü ve sıfıra bölme tanımsızdır.
Her girdi tam olarak bir çıktıya gider. Bir girdi iki farklı çıktı verebiliyorsa, o bir fonksiyon değildir. (Grafikte: dikey bir doğru eğriyi en fazla bir noktada kesmeli — dikey doğru testi.)
- \(f(x)\) bir çarpım değildir; “\(x\)’teki \(f\) değeri” demektir.
- Tanım kümesini kontrol et: paydada sıfır olamaz, kök içinde negatif olamaz.
11.4 Örnekler
Örnek 1. \(f(x) = 2x + 1\) için \(f(5) = 2(5) + 1 = 11\).
Örnek 2. \(g(x) = x^2\) için \(g(-3) = (-3)^2 = 9\).
Örnek 3 (tanım kümesi). \(f(x) = \dfrac{1}{x}\) için tanım kümesi \(x \neq 0\).
Bir makine öğrenmesi modeli, fonksiyonun ta kendisidir: girdi olarak özellikleri (\(x\)) alır, çıktı olarak tahmini (\(f(x)\)) verir. Daha önce gördüğümüz \(y = wx + b\) bir fonksiyondur; bir sinir ağı ise iç içe geçmiş dev bir fonksiyon bileşkesidir (bunu ileride göreceğiz). Bir olasılık çıktısının görüntü kümesi \([0, 1]\)’dir — Bölüm 1’deki eşitsizlik aralığıyla aynı fikir.
11.5 Alıştırmalar
- \(f(x) = 3x - 2\) için \(f(4) = ?\)
- \(f(x) = x^2 + 1\) için \(f(-3) = ?\)
- \(g(x) = 2x + 5\) için \(g(0) = ?\)
- \(f(x) = \sqrt{x}\) fonksiyonunun tanım kümesi nedir? (aralık notasyonuyla)
- \(f(x) = \dfrac{1}{x}\) fonksiyonunun tanım kümesi nedir?
- \(f(x) = 5 - 2x\) için \(f(3) = ?\)
- \(3(4) - 2 = 10\)
- \((-3)^2 + 1 = 9 + 1 = 10\)
- \(2(0) + 5 = 5\)
- \(x \ge 0\), yani \([0, \infty)\) (kareköke negatif giremez)
- \(x \neq 0\) (sıfıra bölme tanımsız)
- \(5 - 2(3) = 5 - 6 = -1\)
Sonraki ders: Doğrusal Fonksiyon ve Eğim.