Bicompactness of Cartesian products. (Q2584341)

Verf. betrachten Räume, in denen jeder Teilmenge \(A\) des Raumes eine Teilmenge \(A\) dieses Raumes entspricht, die die abgeschlossene Hülle von \(A\) heißt und das einzige Axiom erfüllt: Aus \(A\subset B\) folgt \(\bar A\subset \bar B\). Dieses Axiom ist gleichwertig mit dem Axiom: Zu jedem Punkt \(x\) des betrachteten Raumes gibt es ein System von Teilmengen (Umgebungen von \(x\) genannt), so daß \(x\in \bar A\) dann und nur dann gilt, wenn jede Umgebung von \(x\) mindestens einen Punkt von \(A\) enthält. Zu einem gegebenen System von Räumen \(B_k\) dieses Typus definieren Verf. das topologische Produkt dieser \(B_k\) als Raum \(P\) vom gleichen Typus, indem sie ausgehend von den in jedem \(B_k\) gegebenen Umgebungen, durch eine unmittelbare Verallgemeinerung der Definition von \textit{A. Tychonoff} (Math. Ann., Berlin, 102 (1929), 544-561; JFM 55.0963.*) die Umgebungen in \(P\) einführen. -- Ein Mengensystem \(S\) besitze die Eigenschaft endlichen Durchschnitts, wenn je endlich viele Mengen von \(S\) mindestens ein gemeinsames Element enthalten. Ein Raum \(B\) heiße bikompakt, wenn für jedes System \(S\) von Teilmengen von \(B\), das die Eigenschaft endlichen Durchschnitts besitzt, mindestens ein Punkt von \(B\) existiert, der allen abgeschlossenen Hüllen aller Mengen von \(S\) gemeinsam ist. Diese Definition bikompakter Räume ist z. B. im Fall Hausdorffscher Räume mit der gewöhnlichen Definition gleichwertig. Verf. beweisen folgende Verallgemeinerung des Tychonoffschen Satzes (a. a. O.): Satz 1: \ Jedes topologische Produkt bikompakter Räume ist bikompakt. Andererseits heißt ein Hausdorffscher Raum \(H\) absolut abgeschlossen, wenn jedes homöomorphe Bild von \(H\), das Teilmenge eines Hausdorffschen Raumes \(K\) ist, in \(K\) abgeschlossen ist. Verf. beweisen: Satz 2: \ Ein Hausdorffscher Raum \(H\) ist dann und nur dann absolut abgeschlossen, wenn für jedes System \(S\) offener Mengen von \(H\) mit der Eigenschaft endlichen Durchschnittes mindestens ein Punkt von \(H\) existiert, der allen abgeschlossenen Hüllen aller Mengen von \(S\) gemeinsam ist. Satz 3: \ Jedes topologische Produkt absolut abgeschlossener Hausdorffscher Räume ist ein absolut abgeschlossener Hausdorffscher Raum. Die Beweise der Sätze 1, 2, 3 benutzen den Begriff des Maximalsystems von Mengen mit der Eigenschaft endlichen Durchschnittes, das ferner ein gegebenes Mengensystem mit derselben Eigenschaft enthält. Der Beweis des Satzes 3 läuft demjenigen von Satz 1 parallel.