Sur la théorie des fonctions discontinues. (Q1512915)

(Siehe auch JFM 30.0078.02) Eine ``Zahlengruppe der \(p\)-ten Ordnung'' ist eine Folge von \(p\) ganzen positiven Zahlen \((\alpha_1,\alpha_2,\dots,\alpha_p)\). Man sagt, dass die Gruppe \((\alpha_1,\alpha_2,\dots,\alpha_p)\) in jeder der Gruppen \((\alpha_1)\), \((\alpha_1,\alpha_2)\), ..., \((\alpha_1,\alpha_2,\dots,\alpha_{p-1})\) ``enthalten'' ist. Eine ``Zahlenfolge'' ist eine Folge von unendlich vielen ganzen positiven Zahlen \((\alpha_1,\alpha_2,\dots,\alpha_p,\dots)\); man sagt, sie ist in jeder Gruppe \((\alpha_1,\alpha_2,\dots,\alpha_p)\) ``enthalten''. Von diesen Definitionen ausgehend, versucht der Verf., eine Theorie der Mengen von Zahlengruppen und von Zahlenfolgen zu begründen. Die Anwendung dieser Theorie auf die Functionenlehre findet folgendermassen statt: Ist \(\Phi\) eine Menge von mit unendlich vielen Indices behafteten Elementen \(x_{\alpha_1,\alpha_2\dots}\), und wird jedem Elemente von \(\Phi\) ein reeller Wert zugeordnet, so bildet die Gesamtheit dieser Werte eine im Gebiete \(\Phi\) existirende Function \(f(x)\). Es werden dann das ``Maximum'' von \(f(x)\) \(M[f(x),x_{\alpha_1,\alpha_2\dots}]\) und das ``Minimum'' \(m\) \([f(x),x_{\alpha_1,\alpha_2\dots}]\) für das Element \(x_{\alpha_1,\alpha_2\dots}\) definirt; ist \(f=M\) oder \(f=m\) und \(M>m\), so ist die Function ``halbstetig'', ist \(f=M=m\), so ist sie ``stetig''. Endlich weist der Verf. auf eine Klassification der unstetigen (mit Einschluss der stetigen) Functionen hin. Die Klassen schreiten den (endlichen und überendlichen) Cantor'schen Ordnungszahlen gemäss fort. Die Klasse 0 wird von den stetigen Functionen gebildet. Die Klasse 1 ist früher vom Verf. untersucht worden; siehe Annali di Mat. (3) 3, 1-129, Bericht in diesem Bande (siehe JFM 30.0359.01).