Покрывающее множество (теория чисел) (HktjdfgZpyy buk'yvmfk (mykjnx cnvyl))
В математике покрывающим множеством для последовательности целых чисел называется множество простых чисел, таких, что каждый член последовательности делится по меньшей мере на одно число множества. Термин «покрывающее множество» используется только для экспоненциально растущих последовательностей.
Числа Серпинского и Ризеля
[править | править код]Использование термина «покрывающее множество» связано с числами Серпинского и Ризеля. Это нечётные натуральные числа , для которых (число Серпинского) или (число Ризеля) составные.
С 1960 года известно, что существует бесконечно много как чисел Серпинского, так и Ризеля, но поскольку имеется бесконечно много чисел вида или для любого , то для доказательства принадлежности числам Серпинского и Ризеля необходимо проверить, что любой член последовательности или делится на простые числа покрывающего множества.
Эти покрывающие множества формируются из простых чисел, которые в двоичном представлении имеют короткий период. Можно показать, что для получения полного покрывающего множества период должен быть не менее 24 чисел.[прояснить] Период длиной 24 даёт покрывающее множество , а период длины 36 дает покрывающие множества: ; ; и . Числа Ризеля имеют те же покрывающие множества, что и числа Серпинского.
Другие покрывающие множества
[править | править код]Покрывающие множества применяются также для доказательства существования составных последовательностей Фибоначчи (свободная от простых последовательность).
Концепцию покрывающих множеств легко обобщить на другие последовательности. В следующих примерах + используется так же, как в регулярных выражениях – означает 1 и больше. Например 91+3 означает множество {913, 9113, 91113, 911113…}
В качестве примера можно привести последовательность:
- или
- или
- или
В каждом случае, каждый член делится на одно из простых чисел {3,7,11,13}. Эти простые формируют покрывающее множество в точности как для чисел Серпинского и Ризеля.
Ещё более простой случай — такая последовательность:
- (n должен быть нечетным) или [Последовательность: 7, 767, 76767, 7676767, 767676767 и т.д.]
Можно показать, что:
- Если , то (с соответствующим количеством повторений) делится на 7.
- Если , то делится на 13.
- Если , то делится на 3.
Таким образом, мы имеем покрывающее множество всего из трех простых чисел {3,7,13}. Это стало возможным только потому, что мы наложили условие, что n должен быть нечетным.
Покрывающее множество также обнаруживается в последовательности:
- или .
Можно показать, что:
- Если , то делится на 3.
- Если , то делится на 3.
- Если , то разлагается на .
Поскольку можно записать как , для последовательности мы имеем покрывающее множество — покрывающее множество с бесконечным числом членов.
Ссылки
[править | править код]- Plateau and Depression Primes Архивная копия от 26 июля 2013 на Wayback Machine
- Sierpinski-like numbers Архивная копия от 17 июля 2012 на Wayback Machine
- Yves Gallot, A search for some small brier numbers Архивная копия от 9 апреля 2016 на Wayback Machine
- Louis Helm lhelm. Phil Moore, Payam Samidoost, George Woltman. Resolution of the mixed Sierpiński problem Архивная копия от 12 марта 2016 на Wayback Machine, INTEGERS: Electronic journal of combinatorial number theory 8 (2008), #A61