Certain sequences making a partition of the set of positive integers (Q1912690)

Hauptergebnis der vorliegenden Arbeit ist folgender Satz: \(f_1, \dots, f_s\) seien \(s \geq 2\) stetig reellwertige Funktionen auf \(\mathbb{R}_{\geq 0}\), die streng monoton wachsen und unbeschränkt sind. Dann ist die Bedingung \(f_i^{-1} (\mathbb{Z}) \cap f_j^{-1} (\mathbb{Z}) \cap \mathbb{R}_+ = \emptyset\) für alle \(i,j\) mit \(i \neq j\) notwendig und hinreichend dafür, daß man eine Partition \[ \dot \cup_i \left\{ \sum_j \Biggl( \Biggl[ f_j \Bigl( f_i^{-1} \biggl( \bigl[ f_i (0) \bigr] + n \biggr) \Bigr) \Biggr] - \bigl[ f_j (0) \bigr] \Biggr); n \in \mathbb{N} \right\} = \mathbb{N} \] von \(\mathbb{N}\) hat. Dabei ist \([y]\) für \(y \in \mathbb{R}\) die größte ganze Zahl \(\leq y\) und die Vereinigung disjunkt. Der Spezialfall \(f_i (x) = \alpha_i x + \beta_i\) mit reellen \(\alpha_i > 0\) und \(\beta_i\) wird einleitend gesondert bewiesen. Die Arbeit endet mit einigen offenen Fragen über Transzendenz bzw. Komplexität, die sich im Rahmen der hier behandelten Probleme stellen.