Un théorème concernant la puissance d'ensembles de points. (Q577926)

\(S\) bezeichne die kleinste Klasse von linearen Mengen, die (1) alle Intervalle enthält, (2) jedes Resultat der \(A\)-Operation auf die Mengen aus \(S\) enthält, (3) alle Komplementärmengen zu den Mengen aus \(S\) enthält. Es wird der Satz bewiesen: Wenn \(E\) der Klasse \(S\) angehört, dann ist \(E\) von der Mächtigkeit \(\leqq\aleph_0\), \(\aleph_1\) oder \(2^{\aleph_0}\). Insbesondere ist jede hyperborelsche nicht abzählbare Menge von der Mächtigkeit \(\aleph_1\) oder \(2^{\aleph_0}\). (Von den \textit{Borel}schen, oder allgemeiner von den \(A\)-Mengen, weiß man bekanntlich, daß sie von einer Mächtigkeit entweder \(\leqq\aleph_0\) oder \(2^{\aleph_0}\) sind.)