Sur deux définitions des ensemble fermés . (Q568202)

In einer Vorlesung an der Sorbonne hat Verf. von zwei Definitionen der abgeschlossenen Mengen gesprochen, von denen die eine auf dem Begriff des Häufungspunktes, die andere auf dem des Grenzpunktes beruht, und er hat auf die Tatsache hingewiesen, daß\ die Äquivalenz dieser beiden Definitionen nicht ohne Zuhilfenahme des Auswahlaxioms bewiesen werden kann. \textit{E. Borel} hat diesbezüglich das folgende Problem gestellt: Kann man eine Menge aufweisen, von der sich ohne Benutzung des Auswahlaxioms beweisen läßt, daß\ sie abgeschlossen ist nach einer jener Definitionen, während sich ihre Abgeschlossenheit nach der anderen nicht ohne dieses Axiom beweisen läßt? Die positive Beantwortung dieser Frage ist der Gegenstand der Arbeit.