Le théorème de Borel-Lebesgue dans la théorie des ensembles abstraits. (Q1461603)

\(p\) sei ein Element, \(M\) eine Menge einer Klasse (\(L\)). Im Anschluß an G. Cantor werde definiert: \(M\) hat in der Umgebung von \(p\) die Mächtigkeit \(\mathfrak n\), wenn jede ``Umgebung'' von \(p\) (d. h. jede Menge, für die \(p\) ein innerer Punkt ist) eine Teilmenge von \(M\) von der Mächtigkeit \(\mathfrak n\) enthält, wenn dies aber nicht der Fall ist für eine Mächtigkeit \(>\mathfrak n\). Dann wird bewiesen: Damit der allgemeine Borelsche Überdeckungssatz (mit beliebig vielen überdeckenden Mengen) in einer Klasse (\(L\)) gelte, ist notwendig und hinreichend, daß jede unendliche Menge \(M\) (dieser Klasse), die zugleich mit ihrer Ableitung kompakt ist -- die Mächtigkeit von \(M\) sei mit \(\mathfrak m\) bezeichnet -- zu mindestens einem Element Veranlassung gibt, in dessen Umgebung \(M\) die Mächtigkeit \(\mathfrak m\) besitzt. Ferner: Damit der Lindelöfsche Überdeckungssatz in einer Klasse (\(L\)) gelte, ist notwendig und hinreichend, daß jede nicht-abzählbare Menge \(M\) mindestens ein Element enthält, in dessen Umgebung \(M\) nicht abzählbar ist.