
Sayılar teorisinde sadece asal sayılara özgü önermeler bulmak genellikle oldukça zordur. Bu anlamda asal sayılar oldukça kaprislidir. Bütün asal sayıları üreten bir fonksiyon bulmak, ya da “asal sayıları veren bir formül” bulmak sanırım bütün matematikçiler için bir çeşit çocukluk düşüdür. Hepimiz en az bir kez bunu denemişizdir.
Elbette böyle bir fonksiyonun kullanışlı olması için bazı beklentilerimizi karşılaması lazım. Örneğin hesaplanması kolay olmalı; en azından bir bilgisayar yardımıyla. Yani hesaplanması çok süre almamalı. Daha da önemlisi $n$’inci asalı hesaplamak için bu asalın ne olduğunu bilmeyi gerektirmemesi! Mesela, bütün asaları olarak listeleyleim ve
sayısını
‘inci asala götüren fonksiyonu düşünelim. Bu elbette bütün asal sayıları veren bir fonksiyon, ama asal sayı “üreten” bir fonksiyon demek pek doğru olmaz. Çünkü
‘inci asalı üretmesi için zaten bu sayıyı biliyor olmamız gerekli!
Demek ki asal sayı üretmekten ne anlamamız gerektiği üzerinde biraz durmamız gerekli. İdeal olarak asal sayı üreten bir fonksiyon bütün asal sayıları üretmeli, daha da iyisi bu işi sırasıyla yapmalı. Yani her doğal sayısı için
olmalı. İlk bakışta bu isteğimiz oldukça aç gözlü görünüyor. Bu ideal isteğimizi karşılayan bir fonksiyon örneği vereceğim ama önce biraz
hazırlık gerekli.
Asal sayıların dağılımını anlamak için kullanılan en temel fonksiyonlardan biri herhangi bir doğal sayısını
‘den küçük asal sayıların sayısına götüren
fonksiyonudur. Başka bir deyişle
,
‘den küçük (yada eşit) asal sayıların sayısı olarak tanımlanır. Vereceğim örnek temel olarak
fonksiyonuna dayanıyor.
Örnek: ([6])
Herhangi bir ve
doğal sayıları için
rasyonel sayınısa bakalım,
, bu rasyonel sayının tam kısmı olsun. Öyleyse
sayısı 0 ve 1 arasında olmak zorunda.
Şimdi sayısına bakarsak, kolayca bu sayının 0 ya da 1 olduğunu görebiliriz. Hatta kolaylıkla bu sayının sadece
sayısı
‘yi böldüğünde (yani
doğal sayı olduğunda) 1’e eşit olduğunu da görebiliriz.
Bu gözlemlerden yola çıkarak
fonksiyonunu inceleyelim. Özellikle fonksiyonu hangi
değerlerinde 1 oluyor bunu hesaplayalım. Bütün
doğal sayıları 1’e bölündüğü için
ancak ve ancak
sayıları arasında
‘yi sadece 1 bölüyorsa; yani n asalsa. Öyleyse
fonksiyonu asal sayılarda 1 değerini alıyor, bileşik sayılarda ise 1’den büyük oluyor.
Asal sayılarda 1, bileşik sayılarda 0 değerlerini alan bir fonksiyon elde etmek için fonksiyonunu
olarak tanımlayalım. Öyleyse
asalken
yani
‘den küçük ya da eşit asalların sayısı;
bileşik ise
.
Herhangi bir doğal sayısı için
eğer ise
eğer değilse .
Yukarıdaki ifadenin tam olarak ne zaman ‘ye eşit olduğuna yakından bakalım. Bu ifadenin
‘ye eşit olması için
olmalı, aksi halde sıfıra eşit olur. Fakat
ifadesi
bir asal sayıysa ve kendisinden küçük veya eşit
tane asal sayı varsa doğru. Bu da
anlamına gelir!
Nerdeyse aradığımız fonksiyona ulaştık sayılır, fonksiyonu bulabilmek için sayılar teorisinin güçlü teoremlerinde birine ihityacımız var.
Teorem 1. Birden büyük herhangi bir doğal sayısıyla
arasında herzaman bir asal sayı vardır.
Sayılar teorisinde bu sonuç Bertrand postülası olarak bilinir. Sıklıkla olduğu gibi, basit gibi görünen bu teoremin kanıtı kolay değildir. Dileyen okur şık bir kanıtı [2]’de bulabilir.
Bertrand postülasının bizim için kullanışı olan bir sonucu:
Teorem 2. Her doğal sayısı için
Kanıt.
k üzerine tümvarımla kanıtlayalım, ise
. Şimdi önermemizin
için doğru olduğunu varsayalım ve
için doğru olduğunu kanıtlayalım.
Teorem 1’den dolayı . Tümevarım hipotezinden dolayı
. Öyleyse,
. ♦
Son olarak
fonksiyonuna bakalım. Toplamı 1’den ‘ya kadar aldığımız için, Teorem~\ref{bert-sonuc}’den dolayı
terimi mutlaka bu toplamda belirecek. Hata bu terim söz konusu toplamda sıfır olmayan tek terim olduğundan,
fonksiyonu
sayısını
‘inci asala götürüyor. Yani
.
İlk bakışta hedefimize ulaşmışız gibi görünüyor. Fakat oldukça güçlü bir teorem kullandık (Bertrand postülası). Üstelik bulduğumuz fonksiyonun hesap yükü de fazla. ‘inci asalı, yani
sayısını hesaplamak
tane terimin toplamını almamız gerekiyor, yani üretmemiz gereken terim sayısı üstel olarak büyüyor. Örneğin
sayısını hesaplayabilmek için
tane terim üretip bunların toplamını almamız lazım. Görüldüğü gibi ilk bir kaç asalı bulabilmek için bile üretmemiz gereken terim sayısı bir milyonun üzerinde. Daha büyük asalları üretmeye kalkarsak üretmemiz gereken terim sayısı daha hızlı aratacak. Daha da trajiği
asalını hesaplayabilmemiz için
asalını bilmemiz gerekiyor! Çünkü bize bu sayıyı vermesi gereken toplam
sayınısını içeren terime kadar ulaşamazsa sonuç sıfır. Demek ki yine
asalını ürettik diyemeyiz!
Bütün asalları -hem de sırasıyla- üreten bir fonksiyon bulma girişimimiz biraz hayal kırıklığı ile sonuçlandı. Benzer örnekleri kolayca da çoğaltabiliriz (benzer bir başka örnek için bkz. [7]). Bütün asalları gerçekten üreten, ve kullanışlı bir fonksiyon bulmak koaly görünmüyor. Bekletilerimizi düşürüp yeniden deneyelim.
Bu sefer bütün asallar yerine sonsuz sayıda asal üreten ve elbette kullanışlı olabilecek bir fonksiyon bulmaya çalışalım. Yani bu sefer öyle bir fonksiyonu bulmalıyız ki her
doğal sayısı için
asal olsun ve
ise
sağlansın. Bu koşulu sağlayan fonksiyonlar bulmamız da mümkün, ancak bulduktan sonra durumun yukrıdakinden pek de farklı olmadığını göreceğiz.
Herhangi bir $\mu$ reel sayısı için ifadesini
olarak gösterelim. Bu durumda
. Bu işlemi herhangi bir
doğal sayısı için
defa tekrar ederek bulduğumuz genel ifadeyi de
olarak yazabiliriz.
Burada tanımladığımız ikilik üstel fonksiyon, dolayısıyla ters fonksiyonu da ikilik tabanda logaritma fonksiyonu . Genel ifade için verdiğimiz fonksiyonun tersi de
olarak yazılabilir, yani 2 tabanında logaritma fonksiyonun peş peşe
defa uygulanması ile edilen fonksiyon.
Teorem 3. (Wright, 1951 [8]) Öyle bir reel sayısı vardır ki her
doğal sayısı için
asaldır.
Yani öyle bir reel sayısı vardır ki,
hep asaldır. Dolayısıyla bu teoremden yola çıkarak
olarak tanılayabileceğimiz fonksiyon her doğal sayı için bir asal üretir.
Kanıt. Bertrand postülasının (Teorem 1) bir sonucu olarak asal sayılardan oluşan öyle bir dizisi vardır ki
eşitsizliği her
doğal sayısı için doğru olsun.
Bu eşitsizliğin sonucu olarak
eşitisizliğini elde edebiliriz. Doalyısıyla dizisi artan ve üstten sınırlı bir dizi, doalyısıyla yakınsak. Bu dizinin limitine
diyelim.
Bu durumda, yukarıdaki eşitsizlikten dolayı, her için
. Bu eşitsizlikte her tarafa
fonksiyonu uygulayarak
eşitsizliğine ulaşırız. Dolayısıyla
doğal sayısı
ve
arasında olmalı. Yani
olmak zorunda. ♦
Yine ilk bakışta işimize yarar bir fonksiyon bulmuşuz gibi duruyor ama yine ilk durumdakine benzer problemler var. Birincisi yine Bertrand postülasını kullandık. İkincisi bulduğumuz fonksiyon üstel bir fonksiyon. Yani çok hızlı büyüyor, istediğimiz gibi hesaplaması kolay değil. En önemlisi bu yöntemle asal üretebilmek için sayısının tam olarak ne olduğunu bilmemiz lazım ama kanıtta
sayısının sadece varlığını gösterdik. Bu sayının nasıl hesaplanacağına dair herhangi bir yöntem kanıtımızda yok! Elbette bu
sayısını yaklaşık olarak hesaplamız mümkün. Fakat tam olarak bilmediğimiz için hesaplarımızda hata payı olacaktır. Bu hata payını iyi kontrol edemezsek ürettiğimiz sayı asal olmaktan uzaklaşır!
Wright’ın teoreminden daha önce, 1947’de Mills bu bu koşulu sağlayan başka bir fonksiyon buldu.
Theorem 4. Öyle bir reel sayısı vardır ki herhangi bir
doğal sayısı için
her zaman bir asal sayı olur.
Mills’in teoreminin kanıtındaki temel fikir Wrigth’ın teoremiyle benzerdir. Yine bir dizi oluşturup sayısını bu dizinin limiti olarak bulabiliriz. Yine benzer sebeplerle Mills’in fonksiyonu da asal üretmek için kullanışlı değil. Üstelik kanıtı Bertrand postülasından daha güçlü olan Ingham’a ait ([3]) bir sonuca dayanıyor:
Teorem 5. Öyle bir sabiti vardır ki
.
Mills’in ve Wright’ın sonuçlarını tek bir teoremde toplayan ise Ore’dur (\cite{Ore}).
Teorem 6. sürekli ve artan bir fonksiyon olsun. Asallardan oluşan bir
dizi ve
onu bir alt dizisi olsun. Sıfırdan büyük
ve
sayıları için
fonksiyonu
eşitsizliğini sağlıyosa, öyle bir $\Theta$ reel sayısı vardır ki
sayısı her n için bir asal sayıdır. Daha da fazlası
.
Ore’un teoreminde alırsak Mills’in teoremini,
alırsak Wright’ın teoremini elde ederiz.
KAYNAKLAR
[1] Dudley, U. , “History of a Formula for Primes”, The American Math. Monthly, Vol.76, No. 1 sayfa 23-28, Ocak 1969
[2] Göral, H., Paksoy, B., “Bertrand Postülası ve Asalların Dağılımı”, Matematik Dünyası, 2012-IV, sayfa 82-90.
[3] Ingham, A. E., “On the Difference Between Consecutive Primes”, Quart. J. Math., Oxford, Ser.(2) 8, sayfa 255-266, 1937.
[4] Matiyasevich, Yu., “Formula for Prime Numbers”, Tabachnikov, S., Kvant Selecta: Algebra and Analysis, II, American Math. Society, sayfa 13–24
[5] Ore, \O., “On the Seleciton of Subsequneces”, Proc. Amer. Math. Soc., 53, 1952.
[6] Regimbal, S., “An Explicit Formula for kth Prime”, Mathematics Magazine, Vol. 48, No. 4, sayfa 230-232, Eylül 1975.
[7] Ribenboim, P., “Are There Functions That Generate Prime Numbers”, The College Math. Journal, Vol. 28, No. 5 , sayfa 352-359, Kasım 1997.
[8] Wright, E. M., “A Prime Representing Function”, The American Math. Monthly, Vol. 58, sayfa 616-618, 1951.