Sur une hypothèse de M. Borel. (Q1829227)

Es werden lineare Mengen \(M\) von der folgenden Eigenschaft betrachtet: (C) Wie immer eine Folge positiver Zahlen \(\{a_n\}\) vorgegeben ist, kann \(M\) mit einer Folge von Intervallen \(\{\delta_n\}\) überdeckt werden, so daß die Länge von \(\delta_n\) gleich \(a_n\) ist. Von \textit{E. Borel} wurde die Vermutung ausgesprochen, daß jede Menge von der Eigenschaft (C) \textit{abzählbar} ist. (Indessen ist von \textit{W. Sierpiński} gezeigt worden, daß, wenn die \textit{Cantor}sche Kontinuumshypothese richtig ist, die \textit{Borel}sche Vermutung nicht zutreffen kann.) Verf. zeigt mit ganz einfachen Mitteln, daß jede Menge mit der Eigenschaft (C) \textit{total imperfekt} ist (d. h. keine perfekte Teilmenge enthält), woraus sich laut einem bekannten Satze sofort ergibt, daß \textit{unter den analytischen Mengen} die abzählbaren Mengen tatsächlich die einzigen Mengen von der Eigenschaft (C) sind. Im Bereich der analytischen Mengen ist also die Vermutung von \textit{Borel} richtig.