Additive completion of lacunary sequences (Q5955202)

Zwei Mengen \(A, B \subseteq \mathbb N\) heißen additive Komplemente, wenn ihre Summe \[ A+B=\{a+b \mid a\in A,\;b\in B\} \] alle genüngend großen natürlichen Zahlen enthält. Dabei gilt natürlich \(A(x)B(x)\geq x-K\) mit einer geeigneten Konstanten \(K\) \((A(x)\) Anzahl der Elemente der Menge \(A\), die \(\leq x\) sind). Additive Komplemente \(A\), \(B\) mit der Eigenschaft \(A(x) B(x)\sim x\) heißen exakt, und mit der Eigenschaft \(A(x)B(x)=0\) heißen ``economic'' (ökonomisch). Die Hauptergebnisse dieser Arbeit sind: Theorem 1: Die Menge der Zweierpotenzen besitzt ein exaktes Komplement. (Der Fall einer beliebigen Potenz \(a^n\) \((a>2)\) wurde vom Verf. früher schon behandelt [Stud. Sci. Math. Hung. 32, 51-57 (1996; Zbl 0864.11008)]). Ferner sei erwähnt: Für eine Menge \(A=\{a_1,a_2,\dots\}\in \mathbb N\) mit \(1\leq a_1<a_2<\dots\) und \(\frac{a_{n+1}}{na_n}\to \infty \) gibt es ein exaktes Komplement, und mit \(\frac{a_{n+k}}{na_n}\to \infty\) (\(k\) Konstante) hat \(A\) ein economic Komplement. Als Folgerung ergibt sich etwa, dass die Menge \(A=\{(2n)!\}\) ein exaktes Komplement besitzt.