1930'ların başında Rus matematikçi Aleksandr Yakovleviç Khinchin, sayıların içinde yatan şaşırtıcı bir düzeni gün yüzüne çıkardı. Keşfettiği olgu ilk bakışta inanılmaz görünüyor: Herhangi bir irrasyonel sayıyı sürekli kesir olarak yazdığınızda, bu kesirlerin terimlerinin geometrik ortalaması evrensel bir sabite yakınsar — sayının kendisi ne olursa olsun.
Bu sabit, bugün onun adıyla anılıyor: Khinchin Sabiti.
Sürekli Kesir Nedir?
Bunu anlamanın en kolay yolu, somut bir sayıdan başlamaktır. 2,75 sayısını ele alalım.
Adım adım gidelim:
Elde ettiğimiz sayılar sırasıyla: 2, 1, 3. İşte bunlar sürekli kesrin terimleridir. Bu sayıları iç içe kesir biçiminde yazarsak:
Kontrol edelim: En içten başlayalım. \(1 + \tfrac{1}{3} = \tfrac{4}{3}\). Bunun tersi \(\tfrac{3}{4} = 0{,}75\). Buna 2 ekleyince \(2{,}75\) — doğru!
İrrasyonel sayılarda bu işlem hiç bitmez — kalan hiçbir zaman sıfır olmaz. O yüzden \(\sqrt{2}\) gibi sayıların sürekli kesri sonsuz terimlidir. Peki bu sonsuz terimler rastgele mi dizilir, yoksa bir düzen var mı? Khinchin'in keşfettiği tam da buydu.
Rasyonel sayıların açılımı sonlu adımda tamamlanır; irrasyonel sayılarınki ise sonsuza uzanır. Cebirsel sayılar (köklerin kökleri gibi) genellikle periyodik bir desen tekrarlar. \(\pi\) gibi transandant sayılar ise hiçbir tekrar göstermeyen, tahmin edilemez bir dizi üretir.
Khinchin'in Keşfi: Evrensel Geometrik Ortalama
Khinchin şu soruyu sordu: Bir sayının sürekli kesir açılımındaki terimler \(a_1, a_2, a_3, \ldots\) uzun vadede nasıl bir dağılım gösterir?
Ve şaşırtıcı cevabı buldu: Bu terimlerin geometrik ortalaması, irrasyonel sayıların büyük çoğunluğu için aynı sabite yakınsar.
İrrasyonel sayıların büyük çoğunluğu için, sürekli kesir açılımı \(x = [a_0;\, a_1, a_2, \ldots]\) olmak üzere:
\[\lim_{n \to \infty} \left(a_1 \cdot a_2 \cdots a_n\right)^{1/n} = K_0 \approx 2{,}6854520010\ldots\]
Peki "büyük çoğunluk" derken ne kastediyoruz? Altın oran veya √2 gibi periyodik açılımlı sayılar bu kurala uymaz — ama bunlar sayı doğrusunda yalnızca izole noktalar oluşturur. Geri kalan her irrasyonel sayı, hangi sayı olduğundan bağımsız olarak, bu sabite yakınsar.
Sabitin Formülü
Khinchin Sabiti kendisi de bir sonsuz çarpım olarak ifade edilebilir:
Bu formül, sayıların sürekli kesir terimlerindeki istatistiksel dağılımdan türetilir. Her \(k\) tam sayısının, rastgele bir sayının açılımında ortaya çıkma olasılığı şu formülle verilir:
Yani sürekli kesir açılımında 1 terimi, 2 teriminden daha sık görünür; büyük terimler giderek seyrekleşir. Bu dağılımın geometrik ortalaması tam olarak \(K_0\)'ı verir.
Peki Ya İstisnalar?
Altın oran \(\phi = [1; 1, 1, 1, \ldots]\) tüm terimleri 1 olduğundan geometrik ortalaması 1'e yakınsar, \(K_0\)'a değil. \(\sqrt{2} = [1; 2, 2, 2, \ldots]\) için geometrik ortalama 2'ye yakınsar. Kısmi payda terimleri belirli bir deseni sonsuza tekrarlayan — yani periyodik açılımlı — tüm irrasyonel sayılar bu gruba girer.
Peki \(\pi\) ya da \(e\) için geometrik ortalama gerçekten \(K_0\)'a yakınsıyor mu? Bunu bilmiyoruz. Bu, bugün hâlâ açık bir problemdir. Sayısal hesaplamalar beklenen yönü gösteriyor; ama matematiksel kanıt mevcut değil.
Neden Bu Kadar Şaşırtıcı?
Khinchin Sabiti'nin çarpıcılığı, evrenselliğinden kaynaklanıyor. Sayı teorisinde çoğu zaman farklı sayılar çok farklı davranış gösterir. Oysa burada bambaşka yapıdaki sayılar — irrasyonel, transandant, rastgele görünen — aynı sabite yakınsar.
Bu olgu, istatistik ve ergodik teoriyle derin bir bağlantı kurar. Sürekli kesir dönüşümü adı verilen bir dinamik sistem, ergodik bir yapıya sahiptir: Yani uzun vadede sistemin zamansal ortalaması, uzay ortalamasına eşit olur. Khinchin Teoremi, bu ergodikliğin doğrudan bir sonucudur.
- Sürekli kesirler, sayıların en "doğal" temsil biçimi olarak kabul edilir — ondalık açılımdan çok daha derin bir yapı ortaya çıkarır.
- Ergodik teori, dinamik sistemlerdeki uzun vadeli istatistiksel düzeni inceler ve Khinchin'in kanıtının temelini oluşturur.
- Olasılıksal sayı teorisi, bu tür evrensel sabitlerin keşfedilmesinde kilit bir araçtır.
Mirası: Bir Sabit, Bir Alan, Bir Soru
Khinchin Sabiti, matematik tarihinin en güzel "neden?" sorularından birini barındırır. Sayı doğrusundaki neredeyse her nokta bu sabiti içinde taşır — ama bunu kanıtlamak, sayıları tek tek incelemekten çok farklı bir düşünce biçimi gerektirir.
Khinchin'in çalışmaları, olasılıksal sayı teorisinin ve metrik sayı teorisinin temellerinden biri olmayı sürdürüyor. Ve şu soru hâlâ yanıt bekliyor: \(\pi\) gerçekten de Khinchin'in sırrını taşıyor mu?