Sur les rapports entre les classifications des ensembles de MM. F. Hausdorff et Ch. de la Vallée Poussin. (Q563039)

Es sei \(K\) eine Menge von beliebigen Elementen, und \(F\) eine derartige Familie von Teilmengen von \(K\), daß: 1. jede endliche Summe von Mengen aus \(F\) zu \(F\) gehört, 2. jedes abzählbare Produkt von Mengen aus \(F\) zu \(F\) gehört. Man setze nun \(Q^1=F\) bezeichne durch \(P^1\) die Familie aller Komplementärmengen der Mengen aus \(F\) in bezug auf \(K\) und definiere für \(\alpha <\varOmega \) die Familien \(P^\alpha \) und \(Q^\alpha \) folgendermaßen: \(P^\alpha \) ist die Familie aller Mengen, welche abzählbare Summen der Mengen aus den Familien \(Q^\xi \) für \(\xi < \alpha \) sind; \(Q^\alpha \) ist die Familie aller Mengen, welche abzählbare Produkte der Mengen aus den Familien \(P^\xi \) für \(\xi < \alpha \) sind. - Eine solche Klassifikation der Mengen wurde von \textit{Hausdorff} (M. Z. 5 (1919), 292-309 (F. d. M. 47, 240 (JFM 47.0240.*)), insbes. S. 307) gegeben. Andererseits setze man \(L^0 = F\) und definiere für \(\alpha < \varOmega \) die Familien \(L^\alpha \) wie folgt: \(L^\alpha \) ist die Familie aller Mengen, welche Grenzen unendlicher Folgen von Mengen aus \(L^\xi (\xi <\alpha )\) sind. - Diese Klassifikation stammt von \textit{de la Vallée-Poussin} (Intégrales de Lebesgue, fonctions d'ensembles, classes de Baire (1. éd., 1916; F. d. M. 46, 1519 (JFM 46.1519.*)), p. 37). Verf. beweist folgende Relationen für \(P^\alpha,\;Q^\alpha \) und \(L^\alpha \): \[ \begin{alignedat}{2} L^{2n} =& Q^{2n+1} &\text{ für } &n = 0,1,2,3,\ldots,\\ L^{2n-1} =& P^{2n} &\text{ für } &n = 1,2,3,\ldots,\\ L^\alpha =& P^{\alpha +1}Q^{\alpha +1} &\text{ für } &\omega \leqq \alpha <\varOmega.\\ \end{alignedat} \]