Eine Bemerkung über Mengen natürlicher Zahlen. (Q2590626)

Es seien \(\alpha\), \(\beta\), \(\delta\) reelle Zahlen mit \(\alpha>0\), \(\beta>0\), \(\alpha+\beta<1\), \(0\leqq\beta-\delta<1\), ferner \(\mathfrak M_1\) und \(\mathfrak M_2\) Mengen natürlicher Zahlen und \(M_\nu(x)\) für jedes natürliche \(x\) die Anzahl der Elemente \(\leqq x\) von \(\mathfrak M_\nu\). Dann wird gezeigt: Ist \[ M_1(x)\geqq\alpha x;\quad M_2(x)\geqq\beta x+\delta \] für alle \(x\) (also \(\alpha\) die Dichte von \(\mathfrak M_1\) und \(\beta\) für \(\delta\neq 0\) eine Modifizierung der Dichte von \(\mathfrak M_2\), wie sie für \(\delta=\beta\) von \textit{Besicovitch} betrachtet wurde; J. London Math. Soc. 10 (1935), 246-248; F.~d.~M. 61\(_{\text{II}}\), 1069), so gilt für die Dichte \(\gamma\) von \(\mathfrak M_1+\mathfrak M_2\) (die Summe im Sinne von Besicovitch genommen) die Abschätzung \[ \gamma\geqq\operatorname{Max}\left(\frac{\alpha+\delta}{1-\beta+\delta}, \frac{\alpha+\beta}{1+\beta-\delta},\alpha+\beta-\alpha(\beta-\delta)\right). \] Diese Abschätzung stellt eine bemerkenswerte Verbindung zwischen den Abschätzungen von \textit{Schur} (und \textit{Landau}) (\(\delta=0\)) und der von Besicovitch (\(\delta=\beta\)) her. Der Beweis wird nach dem Verfahren von Besicovitch geführt.