Eine Basis \(h\)-ter Ordnung für die Menge aller natürlichen Zahlen. (Q2602000)

Sei \textbf{A} eine Menge ganzer Zahlen \(\geqq 0\), \(h\cdot\)\textbf{A} die Menge aller natürlichen Zahlen, die sich als Summe von \(h\) Summanden aus \textbf{A} darstellen läßt, \(0 \in \)\textbf{A}. Ist dann \(h \cdot \)\textbf{A}\( = \Omega\) (Menge aller ganzen Zahlen \(\geqq 0\)), so heißt nach \textit{H. Rohrbach} (Ein Beitrag zur additiven Zahlentheorie, Math. Z. 42 (1936), 1-30; F. d. M. 62\(_{\text{II}}\)) \textbf{A} eine Basis \(h\)-ter Ordnung für \(\Omega\). \(k(n)\) sei für jedes \(n \geqq 0\) die Anzahl der Zahlen aus \textbf{A}, die \(\leqq n\) sind. Bei Annahme einer natürlichen Zahl \(g > 1\) wird ein \textbf{A} mit \(h \cdot\)\textbf{A} \(= \Omega\) konstruiert: gegeben \(h\) Mengen \(B^{(\nu)}\) von ganzen Zahlen des Intervalls \(\langle 0, g)\), so daß sich jede ganze Zahl dieses Intervalls als \(\sum\limits_{\nu=1}^h b_\nu\) darstellen läßt. Mit \textbf{A}\(^{(\nu)}\) als Gesamtheit der Zahlen \(\sum\limits_{\varrho=0}^r b_\nu^{(\varrho)}g^\varrho\) genügt die Annahme \textbf{A} \(= \sum\limits_{\nu=1}^h\) \textbf{A}\(^{(\nu)}\). Ist \(g = t^h\) (\(t\) natürliche Zahl) und besteht jedes \(B^{(\nu)}\) aus \(t\) Elementen, so erfüllt \textbf{A} auch noch: \(k(n) = O\left(n^{\tfrac 1h}\right)\) (Erweiterung eines Satzes von \textit{Rohrbach}). Der Satz wird für \(t = 2\), \(B^{(\nu)} = \{0, 2^{\nu-1}\}\) (\(0 < \nu \leqq h\)) näher ausgeführt. Ist \(\bar b_\nu = \max b_\nu \in B^{(\nu)}\), ferner \(\bar b_\nu - b_\nu\) für jedes \(b_\nu\) Element von \(B^{(\nu)}\), \(\sum\limits_{\nu=1}^h \bar b_\nu <g\), so ist \textbf{A} eine erweiterte Basis \(h\)-ter Ordnung für \(\Omega\), d. h. bei beliebig vorgegebenen \[ \varepsilon_\nu = \pm 1 \quad (0 < \nu \leqq h) \] gestattet jedes \(z \in \Omega\) eine Darstellung \(z = \sum\limits_{\nu=1}^h \varepsilon_\nu a_\nu\) mit \(a_\nu \in \)\textbf{A}, falls nur nicht alle \(\varepsilon_\nu = - 1\) sind.