Bölünebilirlik ve Asal Sayılar
Bölünebilirlik, en büyük ortak bölen ve asal sayılar, sayı teorisinin temelini oluşturmaktadır: her tam sayı, asal sayılardan çarpımsal olarak inşa edilmekte ve bu inşa şekli, sonraki hemen hemen her sonucu belirlemektedir.
Tanım
Bir a tam sayısı b'yi böler, eğer b, a çarpı bir tam sayıya eşitse; bir asal sayı, birden büyük olup yalnızca bir ve kendisi pozitif bölenlerine sahip olan bir tam sayıdır. Bölünebilirlik ve asal sayılar, tam sayıların çarpımsal ayrışımını ve bu ayrışımın indirgenemez yapı taşlarını ilgilendirmektedir.
Kapsam
Bu konu, tam sayılar üzerindeki bölünebilirlik ilişkisini, bölme algoritmasını, Öklid algoritması aracılığıyla hesaplanan en büyük ortak bölenleri ve en küçük ortak katları, Bezout özdeşliğini, Öklid'in lemmasını, aritmetiğin temel teoremini ve asal sayıların temel teorisini — sonsuzluklarını, dağılım sezgilerini ve asallıklarını — ele almaktadır.
Temel sorular
- Öklid algoritması en büyük ortak bölenleri nasıl hesaplar ve Bezout özdeşliğini nasıl verir?
- Öklid'in lemmasının asal çarpanlara ayırmayı neden tekil olmaya zorladığı nasıl açıklanır?
- Sonsuz sayıda asal sayı olduğunu nasıl kanıtlayabiliriz ve bu tür kanıtlar neyi ortaya koyar?
- Asal sayılar tam sayılar arasında nasıl dağılmıştır ve asallık pratikte nasıl belirlenir?
Temel kuramlar
- Bölme algoritması ve Öklid algoritması
- Herhangi bir tam sayı pozitif bir tam sayıya bölündüğünde tekil bir bölüm ve kalan bırakır; bu işlemin tekrarlanması en büyük ortak böleni verir ve geri yerine koyma yoluyla, onu doğrusal bir kombinasyon olarak ifade eden tam sayılar (Bezout özdeşliği) elde edilir.
- Aritmetiğin temel teoremi
- Birden büyük her tam sayı, sıralama dışında tekil olan asal sayıların bir çarpımıdır; Öklid'in lemmasının (bir çarpımı bölen bir asal sayı, çarpanlardan birini de böler) anahtar adım olduğu belirtilmektedir.
- Asal sayıların sonsuzluğu
- Öklid'in klasik argümanı, hiçbir sonlu asal sayı listesinin tam olmadığını göstermektedir; Euler'in zeta fonksiyonu için çarpım formülü analitik bir kanıt sunmakta ve asal sayıların terslerinin toplamının ıraksaması yoluyla asal yoğunluğunu nicel olarak belirlemektedir.
Klinik önem
Hızlı çarpanlara ayırma ve asallık testi, kriptografinin temelini oluşturmaktadır: RSA güvenliği, iki asal sayının büyük çarpımlarını çarpanlara ayırmanın zorluğuna dayanmakta olup, verimli asallık testleri (Miller-Rabin gibi) anahtar üretimini pratik hale getirmektedir.
Tarihçe
Öklid'in Elementler'i (yaklaşık MÖ 300) zaten Öklid algoritmasını, Öklid'in lemmasını ve asal sayıların sonsuz olduğuna dair kanıtı içermekteydi. Eratosthenes kalburu, asal sayıları listelemek için ilk sistematik yöntemi sağlamış ve on sekizinci ve on dokuzuncu yüzyıllarda Euler, Legendre ve Gauss tarafından yapılan çalışmalar, asal sayı dağılımını nicel bir problem olarak yeniden ele almıştır.
Öne çıkan isimler
- Euclid
- Eratosthenes
- Leonhard Euler
- Etienne Bezout
İlgili konular
Temel eserler
- hardyWright2008
Sıkça sorulan sorular
- Bir asal sayı mıdır?
- Hayır. Bir, asal çarpanlara ayırmanın tekil olması için tanım gereği dışlanmıştır; eğer bir asal sayı olarak sayılırsa, her sayının sonsuz sayıda çarpanlara ayrılışı olurdu.
- Bezout özdeşliği ne için kullanılır?
- İki tam sayının en büyük ortak böleninin, bu sayıların bir tam sayı doğrusal kombinasyonu olduğunu belirtir; bu da modüler tersleri hesaplamak ve doğrusal Diophantine denklemlerini çözmek için temel oluşturmaktadır.