Remarque sur les produits cartésiens d'espaces topologiques. (Q2584340)

Verf. sagt, daß ein topologischer Raum \textit{schwach separabel} ist, wenn in ihm jedes System offener, paarweise fremder Mengen höchstens abzählbar ist. Ein separabler Raum (d. h. ein Raum mit abzählbarer Basis) ist stets schwach separabel, aber nicht umgekehrt. Die Menge aller isolierten Punkte eines schwach separablen Raumes ist höchstens abzählbar. Das stetige Bild eines schwach separablen Raumes ist wieder ein solcher. Damit eine Menge \(E\) eines Raumes \(A\) selbst als Raum betrachtet schwach separabel sei, ist es notwendig und hinreichend, daß ihre abgeschlossene Hülle \(\bar E\) in \(A\) ein schwach separabler Raum sei. -- Die beiden Hauptsätze lauten dann: \ (1) Ist \(R\) das topologische Produkt unabzählbar vieler Räume, von denen jeder mehrpunktig ist, dann enthält \(R\) eine abgeschlossene Menge, die selbst als Raum betrachtet nicht schwach separabel ist. \ (2) Jedes topologische Produkt von abzählbar oder unabzählbar vielen separablen Räumen ist schwach separabel. -- Es handelt sich schließlich um das \textit{verallgemeinerte Cantorsche Diskontinuum}, d. h. das topologische Produkt beliebig vieler Räume, die alle derselbe nur aus zwei Punkten bestehende Raum \(D\) sind. Das topologische Produkt von abzählbar vielen \(D\) ist mit dem gewöhnlichen Cantorschen Diskohtinuum homöomorph. Bei einer beliebig unabzählbaren Anzahl von \(D\) enthält das topologische Produkt \(P\) eine abgeschlossene Menge, die kein stetiges Bild von \(P\) ist. Dieser Umstand kann bekanntlich nicht beim gewöhnlichen Cantorschen Diskontinuum eintreten.