Dirichlet'in Asal Sayılar Teoremi: Her Aritmetik Dizide Sonsuz Asal

1850 yılı, Berlin'de bir tahta

Bir matematik profesörü tahtaya şu diziyi yazar: $1, 6, 11, 16, 21, 26, 31, 36, 41, 46, ...$ (her seferinde 5 ekleyin). Soruyu sorar: "Bu dizide kaç asal sayı vardır?"

Öğrenci dener: $1$ asal değil, $6$ değil, $11$ asal!, $16$ değil, $21 = 3 \cdot 7$ değil, $26$ değil, $31$ asal!, $41$ asal!, ... Asallar geliyor — $11, 31, 41, 61, 71, 101, ...$ Ama sonsuz mu?

Profesör — kendi adı Peter Gustav Lejeune Dirichlet — gülümseyerek: "Evet, sonsuz. Aslında her $a + kd$ dizisinde (eğer $\gcd(a, d) = 1$) sonsuz asal vardır. Bu, kanıtladım."

Teoremin tam ifadesi

Dirichlet'in aritmetik dizilerde asal sayılar teoremi (1837):

$a$ ve $d$ pozitif tam sayılar olsun, $\gcd(a, d) = 1$. O zaman $a, a+d, a+2d, a+3d, \ldots$ dizisi sonsuz sayıda asal içerir.

Niçin $\gcd(a, d) = 1$ gerekli? Çünkü eğer $\gcd(a, d) = g > 1$ ise, dizinin her terimi $g$ ile bölünür: $a + kd = g(a/g + k \cdot d/g)$. Yani trivial olarak asal olamaz ($g$ asal olmadıkça ve dizinin başında bulunmadıkça).

EBOB = 1 koşulu zorunlu ve yeterli (Dirichlet). İşte güzellik bu.

Niçin önemli?

Öklid (~300 MÖ) asal sayıların sonsuz olduğunu kanıtladı. Bu, basit bir gerçek. Dirichlet'in teoremi çok daha derin: asalların belirli kalıntı sınıflarında sonsuz olduğunu söylüyor. Yani asallar her yere yayılmış — bir aritmetik dizide saklanıp kalmıyorlar.

Modern dilde: $\bmod d$ kalıntı sınıflarına bakıldığında, $\gcd(a, d) = 1$ olan her $a$ için sonsuz asal vardır. Hatta sayısal olarak: $\bmod d$'nin EBOB-1 kalıntıları arasında asallar eşit dağılır.

Dirichlet'in dehası — ispatın yeni paradigma

Öklid'in asal sayı ispatı cebirseldir: bir çelişki yarat. Dirichlet'in ispatı tamamen yeni bir aracı kullanır: kompleks analiz.

Adım 1: Dirichlet karakterleri

$\bmod d$ kalıntı sınıflarına bakın. Karakter ($\chi$), bu yapıdan kompleks sayılara giden çarpımsal bir fonksiyondur:

$\chi : (\mathbb{Z}/d\mathbb{Z})^* \to \mathbb{C}^*, \quad \chi(ab) = \chi(a)\chi(b)$

Örnek: $d = 4$. Tek karakterler: trivial $\chi_0(1) = \chi_0(3) = 1$, ve özel $\chi(1) = 1, \chi(3) = -1$.

Adım 2: Dirichlet $L$-fonksiyonu

Her karakter için bir analitik fonksiyon:

$L(s, \chi) = \sum_{n=1}^{\infty} \frac{\chi(n)}{n^s}$

Bu Riemann zeta fonksiyonunun karakterlerle genelleştirilmiş hali. $\chi$ trivial ise $L = \zeta$.

Adım 3: Euler çarpımı

Tam sayıların asal çarpan ayrışımı sayesinde:

$L(s, \chi) = \prod_{p \text{ asal}} \left(1 - \frac{\chi(p)}{p^s}\right)^{-1}$

Sonsuz çarpım. Bu özdeşlik modern analitik sayı teorisinin temel taşı.

Adım 4: Logaritma ve asallar

$\log L(s, \chi) = -\sum_p \log(1 - \chi(p)/p^s) \approx \sum_p \chi(p)/p^s$ (yaklaşık olarak).

Sonra Dirichlet, $\chi$'leri ortogonal olarak birleştirdi. Karakterlerin "Fourier dönüşümü" ile $a \bmod d$ kalıntı sınıfındaki asalları izole etti:

$\sum_{p \equiv a \bmod d} \frac{1}{p^s} = \frac{1}{\varphi(d)} \sum_{\chi} \overline{\chi(a)} \log L(s, \chi)$

Burada $\varphi(d)$, $d$'nin Euler totient fonksiyonu.

Adım 5: $s \to 1^+$ limitinde

Trivial karakter için $L(s, \chi_0) \to \infty$ ($\zeta$-fonksiyonu gibi). Diğer karakterler için $L(1, \chi) \neq 0$ — Dirichlet bu kritik anahtarı kanıtladı. (Bu adım ispatın en zorudur; Dirichlet bunu için özel teknikler geliştirdi.)

Sonuç: $\sum_{p \equiv a \bmod d} 1/p$ ıraksak — yani sonsuz asal var.

Niçin "analitik sayı teorisi" doğdu?

Dirichlet'in ispatı, diskret bir gerçek (sonsuz asal) için sürekli analiz araçlarını (kompleks fonksiyonlar, limit, türev, Fourier) kullandı. Bu, matematik felsefesinde devrim:

"Sayı teorisi sadece tam sayılarla yapılır" yanılsamasını yok etti.

Sonraki yıllarda Riemann (1859) bu yaklaşımı zeta fonksiyonu ile derinleştirdi → Riemann hipotezi. Hadamard ve de la Vallée Poussin (1896) asal sayı teoremini $L$-fonksiyonlarıyla ispatladı. Bütün analitik sayı teorisi Dirichlet'in 1837 makalesinden filizlendi.

Nicelik versiyonu

Sadece "sonsuz" yetmez. Hangi yoğunlukta?

Dirichlet-Çebişev: $a \bmod d$ ($\gcd(a,d)=1$) sınıfındaki asalların doğal yoğunluğu $1/\varphi(d)$.

Yani $\bmod 4$ baktığınızda, $1 \bmod 4$ ve $3 \bmod 4$ asalları eşit sayıda görürsünüz (her biri tüm asalların ~yarısı). $\varphi(4) = 2$. ✓

Daha incelikli: Çebişev önyargısı — $3 \bmod 4$ asalları küçük sayılarda biraz fazla görünür. Sonsuzda bu önyargı çözülür ama her zaman geçerli olmaz. Modern sayı teorisinin ilginç bir alanı.

Genelleştirmeler

• Asal sayı teoremi: $\pi(x) \sim x/\ln(x)$ — tüm asallar (Dirichlet'in özel hali).
• Çebişev fonksiyonu: $\psi(x) = \sum_{p^k \leq x} \log p$ — daha hassas asal sayım.
• Linnik teoremi: $\bmod d$ sınıfındaki ilk asal $O(d^L)$ ($L$ Linnik sabiti, $\leq 5.2$).
• Bombieri-Vinogradov teoremi: asalların aritmetik dizilerde ortalama dağılımı için Riemann-hipotezi tipi tahmin.

Pratik uygulamalar

• RSA ve kriptografi: büyük asal sayıların bulunabilmesi Dirichlet teoremine güvenir.
• Sözde rastgele dizilerin asal taraması: verim için.
• Pi-fonksiyon kestirimleri: Çebişev fonksiyonu üzerinden işlem.

Sonuç

Dirichlet'in 1837 teoremi:

• Klasik bilim önyargısını kırdı: sayı teorisi kompleks analizden yararlanır.
• Asal sayı teoreminin habercisidir.
• Modern analitik sayı teorisinin temel sütunudur.
• Hâlâ aktif araştırma alanı: Linnik sabiti, kompozit modüller, GRH varsayımları altında geliştirmeler.

Bir cümle: "Aralarında asal $a, d$ için $a + kd$ sonsuz asal içerir." Ama bu cümlenin altında modern matematiğin temel bir paradigma değişimi yatar — diskret nesneler için sürekli araçlar kullanmak.

Dirichlet, bu paradigmayı 32 yaşında, Berlin'de bir tahtaya yazdı. Matematik tarihinde Newton-Leibniz devriminden sonraki en önemli yöntem buluşu budur.