Tam Sayı Bölümleri
Bir tam sayı bölümlemesi, pozitif bir tam sayıyı, pozitif tam sayıların sıralanmamış bir toplamı olarak ifade eder ve bu kuram, bu tür gösterimleri sayar ve aralarındaki ilişkileri inceler.
Tanım
Pozitif bir n tam sayısının bölümlemesi, n'yi, sıralamanın önemli olmadığı pozitif tam sayıların toplamı olarak yazma biçimidir; bölümleme fonksiyonu p(n), bu tür bölümlemelerin sayısını ifade etmektedir.
Kapsam
Bu konu, bölümleme fonksiyonu p(n)'yi, bölümleme özdeşliklerini, Young diyagramlarını ve eşleniklerini, ayrıca bölümlemeleri sonsuz çarpımlar olarak kodlayan üreteç fonksiyonu yöntemlerini incelemektedir. Farklı parçalara ayrılmış bölümlemeleri tek sayılı parçalara ayrılmış bölümlemelerle eşitleyen Euler özdeşliği ve kombinatoriği sayı teorisi ve q-serileri ile ilişkilendiren Rogers-Ramanujan özdeşlikleri gibi klasik sonuçları içermektedir.
Temel sorular
- Pozitif bir tam sayı, pozitif tam sayıların sıralanmamış bir toplamı olarak kaç farklı şekilde yazılabilir?
- Bölümleme sayılarını hangi üreteç fonksiyonu kodlamaktadır?
- Parçalar üzerindeki hangi kısıtlamalar eşit sayıda bölümleme ailesi üretmektedir?
- p(n) asimptotik olarak nasıl büyümektedir?
Anahtar kavramlar
- Bölümleme fonksiyonu p(n)
- Young (Ferrers) diyagramları
- Eşlenik bölümleme
- Farklı ve tek parçalar
- Beşgensel sayı teoremi
- Rogers-Ramanujan özdeşlikleri
Temel kuramlar
- Euler'in çarpım üreteç fonksiyonu
- p(n) için üreteç fonksiyonu, tüm pozitif k tam sayıları üzerinden 1/(1-x^k) sonsuz çarpımıdır; bu çarpımın manipülasyonu, Euler'in beşgensel sayı teoremi gibi bölümleme özdeşlikleri ve tekrarlama bağıntıları sağlamaktadır.
- Euler'in farklı-tek özdeşliği
- n'nin farklı parçalara ayrılmış bölümlemelerinin sayısı, tek parçalara ayrılmış bölümlemelerinin sayısına eşittir; bu, birebir eşleme yoluyla veya basit bir üreteç fonksiyonu argümanıyla kanıtlanabilen temel bir bölümleme özdeşliğidir.
Klinik önem
Bölümleme kuramı, simetrik grubun gösterim kuramı (bölümlemelerin indirgenemez gösterimleri indekslediği yer), istatistiksel mekanik (kafes modellerinde bölümleme benzeri toplamların ortaya çıktığı yer) ve sayı teorisindeki modüler formların incelenmesiyle bağlantılıdır.
Tarihçe
Euler, 18. yüzyılda üreteç fonksiyonları aracılığıyla modern bölümleme kuramını başlatmıştır; Hardy ve Ramanujan'ın 1918'deki p(n) için asimptotik formülü, bölümleme büyümesinin analitik incelemesini başlatmıştır.
Öne çıkan isimler
- Leonhard Euler
- Srinivasa Ramanujan
- Godfrey Harold Hardy
İlgili konular
Temel eserler
- stanley2011
- flajolet2009
Sıkça sorulan sorular
- Bölümleme, birleşimden (composition) nasıl farklıdır?
- Birleşim, sıralı toplamları sayar, bu nedenle 2+1 ve 1+2 farklıdır; oysa bölümleme, sıralama göz ardı edildiği için bunları aynı kabul etmektedir.
- Young diyagramı nedir?
- Young diyagramı, bir bölümlemeyi, her parça için bir sıra olmak üzere, sola hizalanmış hücre sıraları olarak temsil eder ve diyagramı yansıtarak özdeşlikleri kanıtlamak için görsel bir araç sunmaktadır.