10 Logaritma
Üssün tersi — çarpımı toplama çeviren işlem
Logaritma, üs almanın tersidir. Üs “bu tabanı şu kadar kez çarparsam ne olur?” diye sorar; logaritma ters yönden sorar: “bu sayıyı elde etmek için tabanı kaçıncı kuvvete yükseltmeliyim?” Bu ters bakış, makine öğrenmesinin en kritik araçlarından biridir (log-loss, olabilirlik).
10.1 Logaritma nedir?
Tanım iki yönde okunur:
\[\log_b(x) = y \quad\Longleftrightarrow\quad b^y = x\]
Örneğin \(\log_2(8) = 3\), çünkü \(2^3 = 8\). Yani \(\log_2 8\) sorusu aslında “2’yi kaçıncı kuvvete yükseltirsem 8 olur?” demektir.
Üs tablosundan okumak en kolayı:
| Üs ifadesi | Logaritma ifadesi |
|---|---|
| \(2^3 = 8\) | \(\log_2 8 = 3\) |
| \(10^2 = 100\) | \(\log_{10} 100 = 2\) |
| \(5^0 = 1\) | \(\log_5 1 = 0\) |
| \(3^1 = 3\) | \(\log_3 3 = 1\) |
10.2 Üs ve logaritma: ayna görüntüsü
İkisi birbirinin tersi olduğu için grafikleri \(y = x\) doğrusuna göre simetriktir — biri diğerinin aynadaki yansımasıdır:
10.3 Yaygın tabanlar
- Taban 10 — \(\log_{10}\), çoğu yerde sadece \(\log\) yazılır.
- Taban \(e\) — \(\log_e\) yerine \(\ln\) yazılır (doğal logaritma). \(e \approx 2{,}718\). Kalkülüs ve ML’de en sık bu kullanılır.
- Taban 2 — \(\log_2\), bilgisayar bilimi ve bilgi teorisinde.
10.4 Logaritma kuralları
Üssün tersi olduğu için kurallar da üs kurallarının aynası: üste toplanan şey, logaritmada çarpıma; üste çarpılan, logaritmada toplama karşılık gelir.
\[\log_b(xy) = \log_b x + \log_b y \qquad \log_b\!\left(\tfrac{x}{y}\right) = \log_b x - \log_b y\] \[\log_b(x^n) = n \log_b x \qquad \log_b 1 = 0 \qquad \log_b b = 1\]
Logaritma çarpımı toplamaya, kuvveti çarpmaya çevirir: \[\log(xy) = \log x + \log y \qquad \log(x^n) = n\log x\] Bu, devasa çarpımları ve kuvvetleri sıradan toplama/çarpmaya indirger — ML’de olabilirlik hesabının ve sayısal kararlılığın anahtarı.
- Toplama kuralı çarpım içindir, toplam için değil: \(\log(x+y) \neq \log x + \log y\).
- Logaritma yalnızca pozitif sayılar için tanımlıdır: \(\log 0\) ve negatif sayının logaritması yoktur.
10.5 Örnekler
Örnek 1. \(\log_2 16 = 4\), çünkü \(2^4 = 16\).
Örnek 2. \(\log_{10} 1000 = 3\), çünkü \(10^3 = 1000\).
Örnek 3 (ürün kuralı). \(\log_2(4 \cdot 8) = \log_2 4 + \log_2 8 = 2 + 3 = 5\) (kontrol: \(4 \cdot 8 = 32 = 2^5\)). ✓
Örnek 4 (kuvvet kuralı). \(\log_2(8^2) = 2\log_2 8 = 2 \cdot 3 = 6\) (kontrol: \(8^2 = 64 = 2^6\)). ✓
Bir modelin olabilirliği (likelihood), yüzlerce olasılığın çarpımıdır — her biri 1’den küçük olduğu için bu çarpım sayısal olarak sıfıra çöker (underflow). Logaritma alınca çarpım toplama dönüşür: \[\log(p_1 p_2 \cdots p_n) = \log p_1 + \log p_2 + \cdots + \log p_n\] İşte bu yüzden ML modelleri log-olabilirliği (log-likelihood) maksimize eder, çapraz entropi / log-loss kaybı \(-\log(p)\) kullanır. Bu dersteki ürün ve kuvvet kuralları, o kaybın cebirsel temelidir.
10.6 Alıştırmalar
- \(\log_2 16\)
- \(\log_{10} 100\)
- \(\log_7 1\)
- \(\log_5 5\)
- Ürün kuralıyla: \(\log_2(8 \cdot 2)\)
- Kuvvet kuralıyla: \(\log_3(9^2)\)
- \(4\) (çünkü \(2^4 = 16\))
- \(2\) (çünkü \(10^2 = 100\))
- \(0\) (her tabanın 0. kuvveti 1’dir)
- \(1\) (her tabanın 1. kuvveti kendisidir)
- \(\log_2 8 + \log_2 2 = 3 + 1 = 4\) (kontrol: \(16 = 2^4\))
- \(2\log_3 9 = 2 \cdot 2 = 4\) (kontrol: \(81 = 3^4\))
Bölüm 1 — Cebir tamamlandı. Sonraki bölüm: Fonksiyonlar.