Über die Cantorschen Reihen und \(g\)-adischen Zahlen. (Q1440577)

Es werden die Sätze von \textit{Perron} (Irrationalzahlen: 1921; F. d. M. 48, 190-191; vgl. insbesondere S. 39, S. 94 und S. 40, S. 95) vervollständigt. Jede reelle Zahl \(\alpha\) läß\ t sich auf eine und nur eine Weise in der Form eines \(g\)-adischen Bruches \[ \alpha=a_0+\frac{a_1}{g}+\frac{a_2}{g^2}+\cdots \] darstellen. Die ganzen Zahlen \(a_0,a_1,a_2,\dots\) ergeben sich dabei durch den \(g\)-adischen Algorithmus erster Art; sie genügen den Ungleichungen \[ \begin{aligned} 0 \leqq& a_\nu \leqq g-1 \;\text{für} \;\nu \geqq 1,\\ &a_\nu \leqq g-2 \;\text{für unendlich viele }\nu.\end{aligned} \] Die Zahl \(\alpha\) läß\ t sich auf eine und nur eine Weise in der Form eines unendlichen \(g\)-adischen Bruches darstellen. Die ganzen Zahlen \(a_0,a_1,a_2,\ldots\) ergeben sich dabei durch den \(g\)-adischen Algorithmus zweiter Art; sie genügen den Ungleichungen \[ \begin{aligned} 0 \leqq &a_\nu \leqq g-1 \;\text{für}\;\nu \geqq 1\\ &a_\nu \geqq 1 \;\text{für unendlich viele }\nu.\end{aligned} \] Bei dem \(g\)adischen Algorithmus zweiter Art wird statt der \textit{Gauß}schen Funktion \([x]\) die Funktion \([x]'\) (größte ganze Zahl \(<x\)) benützt. Läß\ t sich \(\alpha\) mit Hilfe des Algorithmus erster Art durch einen endlichen \(g\)-adischen Bruch darstellen: \[ \alpha=a_0+\frac{a_1}{g}+\frac{a_2}{g^2}+\cdots +\frac{a_p}{g^p},\;a_p \neq 0, \] so kann \(\alpha\) mit Hilfe des Algorithmus zweiter Art durch einen unendlichen \(g\)-adischen Bruch \[ \alpha=a_0+\frac{a_1}{g}+\frac{a_2}{g^2}+\cdots +\frac{a_p-1}{g^p}+\frac{g1}{g^{p+1}}+\frac{g-1}{g^{p+2}}+\cdots \] dargestellt werden. In den übrigen Fällen fallen die beiden Algorithmen zusammen. Ein ganz ähnlicher Satz gilt für die \textit{Cantor}schen Reihen. (\textit{Perron}, Irrationalzahlen; S. 45, S. 113). Die Cantorschen Reihen kommen schon in der ``Funktionenlehre'' von \textit{Bolzano} vor.