Erdősova domněnka o aritmetických posloupnostech

Erdősova domněnka o aritmetických posloupnostech [1]  je předpoklad v aditivní kombinatorice formulovaný Palem Erdősem , podle kterého, pokud se součet převrácených hodnot kladných přirozených čísel určité množiny rozchází, pak množina obsahuje libovolně dlouhé aritmetické posloupnosti .

Formálně, pokud:

,

tedy  velké množství, pak obsahuje aritmetický průběh libovolné předem stanovené délky.

Erdős přislíbil svého času odměnu 3 tisíce amerických dolarů za prokázání hypotézy [2] , od roku 2008 byla stanovena cena 5 tisíc amerických dolarů [3] .

Vztah k jiným nárokům

Důsledky hypotézy

Erdősova domněnka je zobecněním Szemerediho věty (protože řada se rozchází jako harmonická ), stejně jako Green-Tao věty (protože součet , kde sumace je nad prvočísly, se také rozchází [4] ).

Výroky, z nichž hypotéza vyplývá

S ohledem na ekvivalenci s nesrovnalostí lze Erdősovu domněnku dokázat , pokud se prokáže , že .

V tuto chvíli však bylo prokázáno pouze [5] , že , kde , a také v konkrétním případě , že .

Poznámky

  1. Hypotéza je někdy zaměňována s hypotézou Erdős-Turan.
  2. Bollobas, Bela . To Prove and Conjecture: Paul Erdős and His Mathematics  (anglicky)  // American Mathematical Monthly  : journal. - 1988. - březen ( roč. 105 , č. 3 ). — S. 233 . — .
  3. Soifer, Alexander (2008); Matematická omalovánka: Matematika barvení a barevný život jejích tvůrců; New York: Springer. p. 354. ISBN 978-0-387-74640-1
  4. M. Aigner, G. Ziegler, "Důkazy z knihy" - M. "Mir", 2006, s. 13
  5. Shkredov, 2006 , s. 115-116.

Odkazy