Sopra una serie speciale per la rappresentazione d'una quantità reale variabile nell' intervallo \((0 \dots \alpha)\). (Q1541876)

Bezeichnet man mit \(m_k\) das allgemeine Glied einer Reihe von ganzen positiven Zahlen \(m_1,m_2, \dots\), den Bedingungen \[ m_1 >1, \quad m_{k+1} \geqq m_k \] genügen (wo aber das Gleichheitszeichen nicht durchgängig vorkommen darf), und ist \(x\) eine veränderliche Grösse, welche sämtliche Werte eines positiven Intervalles \(0 \dots \alpha\) (die Grenzwerte ausgeschlossen) annehmen kann, so lässt sich für jeden Wert von \(x\) eine und nur eine Reihe \(m_k\) derart angeben, dass \[ x= \alpha \left( \frac{1}{m_1} + \frac{1}{m_1 m_2} + \frac{1}{m_1 m_2 m_3} + \cdots \right) \] ist. Die Reihe ist endlich oder unendlich, jenachdem \(\frac{x}{\alpha}\) rational oder irrational ist. Sind \(n\) Reihen \(m_k\) vonhanden, nämlich \(a_{1,k},a_{2,k},\dots ,a_{n,k}\), so convergirt die Reihe \[ \frac{1}{a_{1,1}} + \frac{1}{a_{1,1} a_{2,1}} + \cdots + \frac{1}{a_{1,1} a_{2,1} \dots a_{n,1}} \] \[ \begin{multlined} + \frac{1}{a_{1,1} a_{2,1} \dots a_{n,1} a_{1,2}} + \frac{1}{a_{1,1} a_{2,1} \dots a_{n,1} a_{1,2} a_{2,2}} + \cdots\\ + \frac{1}{a_{1,1} a_{2,1} \dots a_{n,1} a_{1,2} a_{2,2} \dots a_{n,2}}\end{multlined} \] \[ +\;\dots \dots \dots \dots \dots \dots \dots \dots \dots \dots, \] und ihre Summe ist eine irrationale Zahl des Intervalles \(0 \dots 1\). Hieraus ergiebt sich leicht das folgende Theorem, das aber eine nur scheinbare Verallgemeinerung des bekannten Cantor'schen Satzes (Acta Math. II. 316) bildet: Sind: \[ \begin{aligned} & x_1 = \alpha \left( \frac{1}{a_{1,1}} + \frac{1}{a_{1,1} a_{1,2}} + \cdots \right),\\ & x_2 = \alpha \left( \frac{1}{a_{2,1}} + \frac{1}{a_{2,1}a_{2,2}} + \cdots \right),\\ & \hdotsfor1\\ & x_n = \alpha \left( \frac{1}{a_{n,1}} + \frac{1}{a_{n,1} a_{n,2}} + \cdots \right)\end{aligned} \] \(n\) unabhängige veränderliche Grössen, die jeden Wert des Intervalles \(0 \dots \alpha\) annehmen können, der zu \(\alpha\) in irrationalem Verhältnisse steht, und ist \[ y= \beta \left( \frac{1}{b_1} + \frac{1}{b_2} + \cdots \right) \] eine veränderliche Grösse von derselben Beschaffenheit im Intervalle \(0 \dots \beta\), so lässt sich eine eindeutige und vollständige Correspondenz zwischen den Wertsystemen \((x_1,x_2,\dots,x_n)\) einerseits und den Werten \(y\) andererseits aufstellen.