Гипотеза Эрдёша — Грэма

Эта статья находится на начальном уровне проработки, в одной из её версий выборочно используется текст из источника, распространяемого под свободной лицензией
Материал из энциклопедии Руниверсалис

Гипотеза Эрдёша — Грэма — предположение в комбинаторной теории чисел относительно проблемы разбиения множества целых чисел, больших единицы, на конечное число подмножеств, одно из которых можно использовать для образования египетской дроби, представляющей единицу. Эрдёш и Грэм высказали предположение, что для любого [math]\displaystyle{ r\gt 0 }[/math] и любой [math]\displaystyle{ r }[/math]-раскраски целых чисел, больших единицы, имеется конечное одноцветное подмножество [math]\displaystyle{ S }[/math] этих целых чисел, такое что:

[math]\displaystyle{ \sum_{n\in S}\frac{1}{n} = 1 }[/math],

и максимальный элемент множества [math]\displaystyle{ S }[/math] можно ограничить значением [math]\displaystyle{ b^r }[/math] с некоторой константой [math]\displaystyle{ b }[/math], независимой от [math]\displaystyle{ r }[/math]. Известно, что для верности этого утверждения необходимо, чтобы [math]\displaystyle{ b }[/math] было не меньше числа [math]\displaystyle{ e }[/math].

Гипотеза доказана Эрнестом Крутом (англ. Ernest S. Croot, III) в 2003 году, установленная оценка [math]\displaystyle{ b }[/math] очень велика — число должно быть не больше [math]\displaystyle{ e^{167000} }[/math]. Результат Крута вытекает из более общей теоремы, утверждающий о существовании представления единицы в виде египетской дроби для множеств [math]\displaystyle{ C }[/math] гладких чисел в интервалах вида [math]\displaystyle{ [X, X^{1+\delta}] }[/math], где [math]\displaystyle{ C }[/math] содержит достаточно много чисел, сумма обратных величин которых не меньше шести. Гипотеза Эрдёша — Грэма выводится из этого результата путём нахождения интервала, в котором сумма обратных величин всех гладких чисел будет как минимум [math]\displaystyle{ 6r }[/math]. Таким образом, если целые числа [math]\displaystyle{ r }[/math]-раскрашены, должно существовать одноцветное подмножество [math]\displaystyle{ C }[/math], удовлетворяющее условию теоремы Крута.

Примечания

Ссылки