Maß- und Inhaltstheorie des Baireschen Nullraumes. (Q565429)

Die Punkte eines \textit{Baire}schen Nullraumes \({\mathfrak R}\) sind Folgen \newline \((e_{1}^{(\varrho _1)}e_{2}^{(\varrho _2)},\cdots )\), bei denen das \(\nu \)-te Element \(e_{\nu }^{(\varrho _\nu )}\) einer gewissen, höchstens abzähl\-baren Menge \(M_{\nu }\) entnommen ist; die Entfernung zweier Punkte \[ (e_{1}^{(\varrho _1)} e_{2}^{(\varrho _2)},\cdots ) \quad \text{und} \quad (e_{1}^{(\sigma _1)}e_{2}^{(\sigma _2)},\cdots ) \] ist \(\frac {1}{n}\) für die kleinste Zahl \(n\) derart, daß\^^M\(\varrho _{\nu }=\sigma _{\nu }\) für \(\nu \geqq n\) ist. Biespiele von \textit{Baire}schen Nullräumen bilden die sämtlichen Folgen natürlicher Zahlen, die sämtlichen echten Dualbrüche. Eine Menge von Punkten, die bei festem \(\varrho _1,\cdots,\varrho _n\) alle mit \(e_1^{(\varrho _1)},\cdots,e_n^{(\varrho _n)}\) beginnenden Punkte umfaßt, heißt Grundmenge \(n\)-ter Stufe. Jede Grundmenge ist sowohl offen als auch abgeschlossen (a. o. Menge). Jede offene Menge läßt sich eindeutig als Summe von verschiedenen größten Grundmengen daestellen. Ist für die Grundmengen eine additive Mengenfunktion \(\geqq 0\) als Maßfunktion gegeben, so kann nun für den gegebenen Nullraum \({\mathfrak R}\) eine \textit{Lebesgue}she Maßtheorie aufgebaut werden, wobei eine gewisse Schwierigkeit dadurch entsteht, daß\ es kein Analogon zu dem \textit{Borel}schen Überdeckungssatz gibt. Ist in dem Nullraum \({\mathfrak R}\) ein körper \(\chi \) von meßbaren Mengen gegeben, unter denen sich auch \({\mathfrak R}\) selber befindet, so kann man einen Bereich von Mengen mit Inhalt (Teilbereich der meßbaren Mengen) dadurch abgrenzen, daß\ man bei den etwas abgeänderten früheren Maßdefinitionen statt beliebiger offener Mengen Mengen aus \(\chi \) nimmt. Für den weiteren Ausbau der Theorie vgl. \textit{Tornier}, Acta math. 60 (1933), 239-380 (F. d. M. \(59_{\text{II}}\), 1151) sowie dessen Buch ``Wahrscheinlichkeitsrechnung und allgemeine Integrationstheorie'' (Leipzig, 1936; F. d. M. 62).