Русская Википедия:Покрывающее множество (теория чисел)
В математике покрывающим множеством для последовательности целых чисел называется множество простых чисел, таких, что каждый член последовательности делится по меньшей мере на одно число множества. Термин «покрывающее множество» используется только для экспоненциально растущих последовательностей.
Числа Серпинского и Ризеля
Использование термина «покрывающее множество» связано с числами Серпинского и Ризеля. Это нечётные натуральные числа <math>k</math>, для которых <math>k2^n + 1</math> (число Серпинского) или <math>k2^n - 1</math> (число Ризеля) составные.
С 1960 года известно, что существует бесконечно много как чисел Серпинского, так и Ризеля, но поскольку имеется бесконечно много чисел вида <math>k2^n + 1</math> или <math>k2^n - 1</math> для любого <math>k</math>, то для доказательства принадлежности <math>k</math> числам Серпинского и Ризеля необходимо проверить, что любой член последовательности <math>k2^n + 1</math> или <math>k2^n - 1</math> делится на простые числа покрывающего множества.
Эти покрывающие множества формируются из простых чисел, которые в двоичном представлении имеют короткий период. Можно показать, что для получения полного покрывающего множества период должен быть не менее 24 чисел.Шаблон:Прояснить Период длиной 24 даёт покрывающее множество <math>\{\,3, 5, 7, 13, 17, 241\,\}</math>, а период длины 36 дает покрывающие множества: <math>\{\,3, 5, 7, 13, 19, 37, 73,\}</math>; <math>\{\,3, 5, 7, 13, 19, 37, 109\,\}</math>; <math>\{\,3, 5, 7, 13, 19, 73, 109\,\}</math> и <math>\{\,3, 5, 7, 13, 37, 73, 109\,\}</math>. Числа Ризеля имеют те же покрывающие множества, что и числа Серпинского.
Другие покрывающие множества
Покрывающие множества применяются также для доказательства существования составных последовательностей Фибоначчи (свободная от простых последовательность).
Концепцию покрывающих множеств легко обобщить на другие последовательности. В следующих примерах + используется так же, как в регулярных выражениях – означает 1 и больше. Например 91+3 означает множество {913, 9113, 91113, 911113…}
В качестве примера можно привести последовательность:
- <math>(82 \cdot 10^n + 17) / 9</math> или <math>91^+3</math>
- <math>(85 \cdot 10^n + 41) / 9</math> или <math>94^+9</math>
- <math>(86 \cdot 10^n + 31) / 9</math> или <math>95^+9</math>
В каждом случае, каждый член делится на одно из простых чисел {3,7,11,13}. Эти простые формируют покрывающее множество в точности как для чисел Серпинского и Ризеля.
Ещё более простой случай — такая последовательность:
- <math>(76 \cdot 10^n - 67) / 99</math> (n должен быть нечетным) или <math>(76)^+7</math> [Последовательность: 7, 767, 76767, 7676767, 767676767 и т.д.]
Можно показать, что:
- Если <math>n = 6k + 1</math>, то <math> (76)^+7</math> (с соответствующим количеством повторений) делится на 7.
- Если <math>n = 6k + 3</math>, то <math> (76)^+7</math> делится на 13.
- Если <math>n = 6k + 5</math>, то <math> (76)^+7 </math> делится на 3.
Таким образом, мы имеем покрывающее множество всего из трех простых чисел {3,7,13}. Это стало возможным только потому, что мы наложили условие, что n должен быть нечетным.
Покрывающее множество также обнаруживается в последовательности:
- <math>(343 \cdot 10^n - 1) / 9</math> или <math>381^+</math>.
Можно показать, что:
- Если <math>n = 3^k + 1</math>, то <math>(343 \cdot 10^n - 1) / 9</math> делится на 3.
- Если <math>n = 3^k + 2</math>, то <math>(343 \cdot 10^n - 1) / 9</math> делится на 3.
- Если <math>n = 3^k</math>, то <math>(343 \cdot 10^n - 1) / 9</math> разлагается на <math>((7 \cdot 10^k - 1) / 3) \cdot ((49 \cdot 10^2k + 7 \cdot 10^k + 1) / 3)</math>.
Поскольку <math>(7 \cdot 10^k - 1) / 3</math> можно записать как <math>23^+</math>, для последовательности <math>381^+</math> мы имеем покрывающее множество <math>\{\,3,37,23^+\,\}</math> — покрывающее множество с бесконечным числом членов.
Ссылки
- Plateau and Depression Primes Шаблон:Wayback
- Sierpinski-like numbers Шаблон:Wayback
- Yves Gallot, A search for some small brier numbers Шаблон:Wayback
- Louis Helm lhelm. Phil Moore, Payam Samidoost, George Woltman. Resolution of the mixed Sierpiński problem Шаблон:Wayback, INTEGERS: Electronic journal of combinatorial number theory 8 (2008), #A61
