Щільність послідовності

Щільність послідовності ― поняття загальної адитивної теорії чисел, що вивчає закони додавання цілих послідовностей загального вигляду. Щільність послідовності є мірою того, яка частина послідовності всіх натуральних чисел належить даній послідовності $A=\{a_{i}\}$ цілих невід'ємних чисел $0=a_{0}<a_{1}<a_{2}<\dots$. Під поняттям щільності послідовності мають на увазі щільність $d(A)$, введену в 1930 Шнірельманом (звідси англійська назва терміна — Schnirelmann density) послідовності, А саме:

$d(A)=\inf _{n\in \mathbb {Z} _{+}}(\pi _{A}(n)-1)/n$

де $\pi _{A}(n)$ — кількість членів послідовності $A$, що не перевищують $n$.

Пов'язані визначення

Нехай $A+B$ ― арифметична сума послідовностей $A=\{a_{i}\}$ і $B=\{b_{i}\}$, тобто множина $A+B=\{c\in \mathbb {Z} _{+}|c=a+b,a\in A,b\in B\}$.

Якщо $A=B$ вважають $2A=A+A$, аналогічно $3A=2A+A$ і т. д.

Якщо $nA=\mathbb {Z} _{+}$, то $A$ називається базисом $n$-го порядку.

Властивості

• Щільність $d(A)=1$ тоді і тільки тоді, коли $A$ збігається із множиною $\mathbb {Z} _{+}$ всіх цілих невід'ємних чисел.
• Нерівність Шнірельмана

$d(A+B)\geq d(A)+d(B)-d(A)d(B)$

• Нерівність Манна ― Дайсона

$d(A+B)\geq \min\{d(A)+d(B),1\}$

З нерівності Шнірельмана випливає, що будь-яка послідовність додатної щільності є базисом скінченного порядку. Застосування цього факту до адитивних задач, у яких часто підсумовуються послідовності нульової щільності, здійснюється за допомогою попереднього конструювання з заданих послідовностей нових з додатною щільністю. Наприклад, за допомогою методів решета доводиться, що послідовність $\{p\}+\{p\}$, де $p$ пробігає прості числа, має додатну щільність. Звідси випливає теорема Шнірельмана: існує таке ціле число $c_{0}>0$, що будь-яке натуральне число є сумою не більше ніж $c_{0}$ простих чисел. Ця теорема дає розв'язок так званої ослабленої проблеми Гольдбаха.

Варіації та узагальнення

Різновидом поняття щільності послідовності є поняття асимптотичної щільності, окремим випадком якої є натуральна щільність.

Поняття щільності послідовності узагальнюється на числові послідовності, відмінні від натурального ряду, наприклад на послідовності цілих чисел у полях алгебричних чисел. Завдяки цьому вдається вивчати базиси в алгебричних полях.