Behrends teoremi - Behrends theorem - Wikipedia

İçinde aritmetik kombinatorik, Behrend teoremi alt kümelerinin tamsayılar 1'den kümenin hiçbir üyesinin diğerinin katı olmadığı durumlarda bir logaritmik yoğunluk sıfıra gider büyür. Teorem adını almıştır Felix Behrend, 1935'te yayınlayan.

Beyan

1'den 1'e kadar olan bir tam sayılar kümesinin logaritmik yoğunluğu her tamsayının ağırlığı ayarlanarak tanımlanabilir olmak ve setin toplam ağırlığının şuna bölünmesi: (veya eşdeğer olarak asimptotik analiz, bölerek kısmi toplamı harmonik seriler ). Elde edilen sayı, küme bu aralıktaki tüm tam sayıları içerdiğinde 1 veya 1'e yakındır, ancak birçok tam sayı eksik olduğunda ve özellikle eksik tam sayıların kendileri küçük olduğunda daha küçüktür.[1]

Altkümesi denir ilkel Eğer hiçbir alt küme elemanının diğer herhangi bir elemanın katı olmaması özelliğine sahipse, Behrend teoremi herhangi bir ilkel alt kümenin logaritmik yoğunluğunun küçük olması gerektiğini belirtir.Daha kesin olarak, böyle bir kümenin logaritmik yoğunluğu .[1]

Sonsuz ilkel diziler için mümkün olan maksimum yoğunluk daha küçüktür, .[2]

Örnekler

Büyük ilkel alt kümeleri vardır . Bununla birlikte, bu kümeler hala küçük logaritmik yoğunluğa sahiptir.

  • Alt kümede , tüm sayı çiftleri ikiden daha küçük bir faktör içindedir, bu nedenle hiçbiri kat olamaz. Aşağıdaki sayıların yaklaşık yarısını içerir -e . Tarafından Dilworth teoremi (tam sayıların tek sayı ile çarpılan ikinin üslerinin zincirlerine bölünmesi kullanılarak) bu alt küme, ikisinin kat olmadığı tüm alt kümeler arasında maksimum kardinaliteye sahiptir. Ancak tüm öğeleri büyük olduğundan, bu alt kümenin logaritmik yoğunluğu düşüktür, yalnızca .
  • Başka bir ilkel alt küme kümesidir asal sayılar. Önceki örnekteki eleman sayısından daha az asal sayı olmasına rağmen, bu set daha büyük logaritmik yoğunluğa sahiptir, , göre asalların karşılıklılarının toplamının ıraksaması.

Bu alt kümelerin her ikisi de, Behrend teoremi tarafından verilen sınırdan önemli ölçüde daha küçük logaritmik yoğunluğa sahiptir. Bir varsayımın çözümlenmesi G. H. Hardy, her ikisi de Paul Erdős ve Subbayya Sivasankaranarayana Pillai bunu gösterdi tam olarak olan sayılar kümesi asal çarpanlar (çokluk ile sayılır) logaritmik yoğunluğa sahiptir

Behrend teoremi ile tam olarak eşleşiyor.[3] Bu örnek, başka hiçbir ilkel alt kümenin aynı biçime sahip logaritmik yoğunluğa ve daha büyük bir ana sabite sahip olmaması açısından mümkün olan en iyi örnektir.[4]

Tarih

Bu teorem Behrend teoremi olarak bilinir çünkü Felix Behrend 1934'te kanıtladı,[1] ve 1935'te yayınladı.[5] Paul Erdős Aynı sonucu, 1934'te, o dönemde Avrupa'nın artan anti-semitizminden kaçmak için Macaristan'dan Cambridge'e gittiği bir tren yolculuğunda kanıtladı, ancak vardığında Behrend'in kanıtının zaten bilindiğini keşfetti.[1]

Referanslar

  1. ^ a b c d Sárközy, A. (2013), "Tamsayı dizilerinin bölünebilirlik özellikleri hakkında", in Graham, Ronald L.; Nešetřil, Jaroslav (eds.), Paul Erdős'un matematiği, IAlgoritmalar ve Kombinatorikler, 13 (2. baskı), Berlin: Springer, s. 221–232, doi:10.1007/978-3-642-60408-9_19, BAY  1425189. Özellikle bakın s. 222.
  2. ^ Erdős, P.; Sárközy, A.; Szemerédi, E. (1967), "Behrend teoremi hakkında" (PDF), Avustralya Matematik Derneği Dergisi, 7: 9–16, BAY  0209246
  3. ^ Erdős, P. (1948), "Tam olarak sahip olan tam sayılarda asal faktörler " (PDF), Matematik Yıllıklarıİkinci Seri, 49: 53–66, doi:10.2307/1969113, BAY  0023279
  4. ^ Erdős, P.; Sárközy, A.; Szemerédi, E. (1967), "İlkel dizilerle ilgili aşırı bir sorun hakkında" (PDF), Journal of the London Mathematical Society İkinci Seri, 42: 484–488, doi:10.1112 / jlms / s1-42.1.484, BAY  0218325
  5. ^ Behrend Felix (Ocak 1935), "Birbirine bölünemeyen sayı dizileri üzerine", Journal of the London Mathematical Society, s1-10 (1): 42–44, doi:10.1112 / jlms / s1-10.37.42